Trace number 4399621

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) 19985.9 2520.11

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesT/
StripPacking-T1e.xml
MD5SUMf7b8b642e131c8af917aaf97f4ae3b24
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 benchmark123.921
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size2
Maximum domain size200
Distribution of domain sizes[{"size":2,"count":51},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"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-4399621-1568700918.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399621-1568700918.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.55/0.74	c solve instance...
19985.25/2520.06	s UNKNOWN
19985.25/2520.06	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 (14603 MiB free)
  memory of node 1: 16384 MiB (15367 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10013 s]*
/proc/loadavg: 4.17 5.84 6.90 2/212 12639
/proc/meminfo: memFree=30671976/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28227396 memory=29384 CPUtime=0.12 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 5813 0 0 0 11 1 0 0 20 0 20 0 446360632 28904853504 7346 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7056849 7346 3122 1 0 7019032 0
[pid=12620/tid=12621] ppid=12618 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) R 12618 12618 12574 0 -1 4202560 3731 0 0 0 8 0 0 0 20 0 20 0 446360633 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741131212912 139741104981824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28227396 memory=3473038420463859360 CPUtime=0 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12625] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12625/stat : 12625 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741076441360 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12626] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12626/stat : 12626 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741075389584 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12627] ppid=12618 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12627/stat : 12627 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741074336784 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12628] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12628/stat : 12628 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741073283984 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12629] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12629/stat : 12629 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 7346 33554432000 4194304 4196468 140720503873776 139741072231184 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12630] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12630/stat : 12630 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360635 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740109044080 139741126990466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12631] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12631/stat : 12631 (java) S 12618 12618 12574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446360636 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740107990048 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12632] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12632/stat : 12632 (java) S 12618 12618 12574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446360636 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740106937200 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12633] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12633/stat : 12633 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740105885520 139741126997915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12634] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12634/stat : 12634 (java) S 12618 12618 12574 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740104833904 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12635] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12635/stat : 12635 (java) S 12618 12618 12574 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740103781104 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12636] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12636/stat : 12636 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740102728304 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12637] ppid=12618 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12620/task/12637/stat : 12637 (java) R 12618 12618 12574 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740101675504 139741105424064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12638] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12638/stat : 12638 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740100622944 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12639] ppid=12618 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12639/stat : 12639 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360639 28904853504 7346 33554432000 4194304 4196468 140720503873776 139740099570224 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30836 KiB

[startup+0.210726 s]*
/proc/loadavg: 4.17 5.84 6.90 3/212 12639
/proc/meminfo: memFree=30659080/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28227396 memory=41008 CPUtime=0.34 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 9506 0 0 0 31 3 0 0 20 0 20 0 446360632 28904853504 10252 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7056849 10252 3305 1 0 7019032 0
[pid=12620/tid=12621] ppid=12618 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) R 12618 12618 12574 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 20 0 446360633 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741131213024 139741126991254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28227396 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28227396 memory=140568612444173 CPUtime=0 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12625] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12625/stat : 12625 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741076441360 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12626] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12626/stat : 12626 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741075389584 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12627] ppid=12618 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12627/stat : 12627 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741074336784 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12628] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12628/stat : 12628 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741073283984 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12629] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12629/stat : 12629 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28904853504 10252 33554432000 4194304 4196468 140720503873776 139741072231184 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12630] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12630/stat : 12630 (java) S 12618 12618 12574 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446360635 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740109044080 139741126990466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12631] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12631/stat : 12631 (java) S 12618 12618 12574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446360636 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740107990048 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12632] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12632/stat : 12632 (java) S 12618 12618 12574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446360636 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740106937200 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12633] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12633/stat : 12633 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740105885520 139741126997915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12634] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12634/stat : 12634 (java) S 12618 12618 12574 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740104833904 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12635] ppid=12618 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12620/task/12635/stat : 12635 (java) S 12618 12618 12574 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740103781104 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12636] ppid=12618 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/12620/task/12636/stat : 12636 (java) S 12618 12618 12574 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740102728304 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12637] ppid=12618 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/12620/task/12637/stat : 12637 (java) R 12618 12618 12574 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740101675312 139741126991254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12638] ppid=12618 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12638/stat : 12638 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360638 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740100622944 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12639] ppid=12618 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12639/stat : 12639 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360639 28904853504 10252 33554432000 4194304 4196468 140720503873776 139740099570224 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42460 KiB

[startup+0.310511 s]*
/proc/loadavg: 4.17 5.84 6.90 5/212 12639
/proc/meminfo: memFree=30652056/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28231652 memory=50056 CPUtime=0.52 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 10910 0 0 0 48 4 0 0 20 0 20 0 446360632 28909211648 12514 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7057913 12514 3369 1 0 7019032 0
[pid=12620/tid=12621] ppid=12618 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) R 12618 12618 12574 0 -1 4202560 7851 0 0 0 27 2 0 0 20 0 20 0 446360633 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741131204128 139741111059806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12625] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12625/stat : 12625 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741076441360 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12626] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12626/stat : 12626 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741075389584 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12627] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12627/stat : 12627 (java) S 12618 12618 12574 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741074336784 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12628] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12628/stat : 12628 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741073283984 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12629] ppid=12618 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/12620/task/12629/stat : 12629 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28909211648 12514 33554432000 4194304 4196468 140720503873776 139741072231184 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12630] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12630/stat : 12630 (java) S 12618 12618 12574 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446360635 28909211648 12514 33554432000 4194304 4196468 140720503873776 139740109044080 139741126990466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12631] ppid=12618 vsize=28231652 memory=281137016675712 CPUtime=0 cores=0-7
/proc/12620/task/12631/stat : 12631 (java) S 12618 12618 12574 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446360636 28909211648 12514 33554432000 4194304 4196468 140720503873776 139740107990048 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12632] ppid=12618 vsize=28231652 memory=281137016680320 CPUtime=0 cores=0-7
/proc/12620/task/12632/stat : 12632 (java) S 12618 12618 12574 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446360636 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740106937200 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12633] ppid=12618 vsize=28231652 memory=281137016684928 CPUtime=0 cores=0-7
/proc/12620/task/12633/stat : 12633 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740105885520 139741126997915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12634] ppid=12618 vsize=28231652 memory=281137016689536 CPUtime=0.01 cores=0-7
/proc/12620/task/12634/stat : 12634 (java) S 12618 12618 12574 0 -1 1077944384 330 0 0 0 1 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740104833904 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12635] ppid=12618 vsize=28231652 memory=281137016694144 CPUtime=0.02 cores=0-7
/proc/12620/task/12635/stat : 12635 (java) S 12618 12618 12574 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740103781104 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12636] ppid=12618 vsize=28231652 memory=281137016698752 CPUtime=0.04 cores=0-7
/proc/12620/task/12636/stat : 12636 (java) R 12618 12618 12574 0 -1 4202560 390 0 0 0 4 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740102718688 139741108523495 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12637] ppid=12618 vsize=28231652 memory=281137016703360 CPUtime=0.12 cores=0-7
/proc/12620/task/12637/stat : 12637 (java) S 12618 12618 12574 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740101675504 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12638] ppid=12618 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12638/stat : 12638 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360638 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740100622944 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12639] ppid=12618 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12620/task/12639/stat : 12639 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360639 28909211648 12579 33554432000 4194304 4196468 140720503873776 139740099570224 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51508 KiB

[startup+0.702748 s]
/proc/loadavg: 4.17 5.84 6.90 3/212 12639
/proc/meminfo: memFree=30635048/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28233776 memory=86604 CPUtime=1.55 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 15345 0 0 0 149 6 0 0 20 0 20 0 446360632 28911386624 21651 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7058444 21651 3453 1 0 7019544 0
[pid=12620/tid=12621] ppid=12618 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) R 12618 12618 12574 0 -1 4202560 9426 0 0 0 64 4 0 0 20 0 20 0 446360633 28911386624 21651 33554432000 4194304 4196468 140720503873776 139741131215704 139740740777445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28911386624 21651 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446360634 28911386624 21651 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446360634 28911386624 21651 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0

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

[pid=12620/tid=12647] ppid=12618 vsize=28768336 memory=1452 CPUtime=2398.88 cores=0-7
/proc/12620/task/12647/stat : 12647 (java) R 12618 12618 12574 0 -1 4202560 181011 0 0 0 239811 77 0 0 20 0 28 0 446360708 29458776064 589159 33554432000 4194304 4196468 140720503873776 139740080885800 139740745405393 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 19367 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2358088 KiB

[startup+2502.31 s]
/proc/loadavg: 8.82 8.33 8.19 9/219 12832
/proc/meminfo: memFree=28622800/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28768336 memory=2077224 CPUtime=19844.3 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 1585546 0 0 0 1982259 2174 0 0 20 0 28 0 446360632 29458776064 519306 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7192084 519306 3546 1 0 7153184 0
[pid=12620/tid=12621] ppid=12618 vsize=28768336 memory=2077224 CPUtime=0.73 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) S 12618 12618 12574 0 -1 1077944384 9497 0 0 0 69 4 0 0 20 0 28 0 446360633 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741131220096 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28768336 memory=1986980 CPUtime=18.3 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 61376 0 0 0 1728 102 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28768336 memory=1919084 CPUtime=18.24 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 60186 0 0 0 1723 101 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28768336 memory=2077224 CPUtime=18.23 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 47820 0 0 0 1723 100 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12625] ppid=12618 vsize=28768336 memory=1452 CPUtime=18.26 cores=0-7
/proc/12620/task/12625/stat : 12625 (java) S 12618 12618 12574 0 -1 1077944384 53959 0 0 0 1729 97 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741076441360 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12626] ppid=12618 vsize=28768336 memory=1452 CPUtime=18.3 cores=0-7
/proc/12620/task/12626/stat : 12626 (java) S 12618 12618 12574 0 -1 1077944384 56215 0 0 0 1726 104 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741075389584 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12627] ppid=12618 vsize=28768336 memory=2090904 CPUtime=18.18 cores=0-7
/proc/12620/task/12627/stat : 12627 (java) S 12618 12618 12574 0 -1 1077944384 46349 0 0 0 1720 98 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741074336784 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12628] ppid=12618 vsize=28768336 memory=1452 CPUtime=18.25 cores=0-7
/proc/12620/task/12628/stat : 12628 (java) S 12618 12618 12574 0 -1 1077944384 50159 0 0 0 1723 102 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741073283984 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12629] ppid=12618 vsize=28768336 memory=1919084 CPUtime=18.36 cores=0-7
/proc/12620/task/12629/stat : 12629 (java) S 12618 12618 12574 0 -1 1077944384 51946 0 0 0 1742 94 0 0 20 0 28 0 446360634 29458776064 519306 33554432000 4194304 4196468 140720503873776 139741072231184 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12630] ppid=12618 vsize=28768336 memory=1986980 CPUtime=15.58 cores=0-7
/proc/12620/task/12630/stat : 12630 (java) S 12618 12618 12574 0 -1 1077944384 142259 0 0 0 622 936 0 0 20 0 28 0 446360635 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740109044080 139741126990466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12631] ppid=12618 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/12620/task/12631/stat : 12631 (java) S 12618 12618 12574 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 446360636 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740107990112 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12632] ppid=12618 vsize=28768336 memory=1834916 CPUtime=0 cores=0-7
/proc/12620/task/12632/stat : 12632 (java) S 12618 12618 12574 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 446360636 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740106937216 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12633] ppid=12618 vsize=28768336 memory=3624 CPUtime=0 cores=0-7
/proc/12620/task/12633/stat : 12633 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740105885520 139741126997915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12634] ppid=12618 vsize=28768336 memory=48160 CPUtime=4.09 cores=0-7
/proc/12620/task/12634/stat : 12634 (java) S 12618 12618 12574 0 -1 1077944384 18450 0 0 0 405 4 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740104833904 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12635] ppid=12618 vsize=28768336 memory=988 CPUtime=3.89 cores=0-7
/proc/12620/task/12635/stat : 12635 (java) S 12618 12618 12574 0 -1 1077944384 18946 0 0 0 386 3 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740103781104 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12636] ppid=12618 vsize=28768336 memory=1452 CPUtime=4.56 cores=0-7
/proc/12620/task/12636/stat : 12636 (java) S 12618 12618 12574 0 -1 1077944384 27033 0 0 0 450 6 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740102728304 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12637] ppid=12618 vsize=28768336 memory=1452 CPUtime=0.92 cores=0-7
/proc/12620/task/12637/stat : 12637 (java) S 12618 12618 12574 0 -1 1077944384 12905 0 0 0 89 3 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740101675504 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12638] ppid=12618 vsize=28768336 memory=281137017128384 CPUtime=0 cores=0-7
/proc/12620/task/12638/stat : 12638 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446360638 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740100622944 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12639] ppid=12618 vsize=28768336 memory=-8604618211523990361 CPUtime=0.88 cores=0-7
/proc/12620/task/12639/stat : 12639 (java) S 12618 12618 12574 0 -1 1077944384 5254 0 0 0 29 59 0 0 20 0 28 0 446360639 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740099570224 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12640] ppid=12618 vsize=28768336 memory=1919084 CPUtime=2459.98 cores=0-7
/proc/12620/task/12640/stat : 12640 (java) R 12618 12618 12574 0 -1 4202560 96961 0 0 0 245961 37 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740088255984 139740747664089 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12641] ppid=12618 vsize=28768336 memory=1452 CPUtime=2454.31 cores=0-7
/proc/12620/task/12641/stat : 12641 (java) R 12618 12618 12574 0 -1 4202560 79727 0 0 0 245389 42 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740087201192 139740747072783 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12642] ppid=12618 vsize=28768336 memory=6791534058613427641 CPUtime=2460.51 cores=0-7
/proc/12620/task/12642/stat : 12642 (java) R 12618 12618 12574 0 -1 4202560 77957 0 0 0 246005 46 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740086149224 139740748509909 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12643] ppid=12618 vsize=28768336 memory=1384 CPUtime=2459.61 cores=0-7
/proc/12620/task/12643/stat : 12643 (java) R 12618 12618 12574 0 -1 4202560 103216 0 0 0 245910 51 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740085096752 139740745405787 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12644] ppid=12618 vsize=28768336 memory=1764 CPUtime=2457.89 cores=0-7
/proc/12620/task/12644/stat : 12644 (java) R 12618 12618 12574 0 -1 4202560 126098 0 0 0 245726 63 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740084044200 139740745405231 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12645] ppid=12618 vsize=28768336 memory=111632 CPUtime=2459.35 cores=0-7
/proc/12620/task/12645/stat : 12645 (java) R 12618 12618 12574 0 -1 4202560 162320 0 0 0 245861 74 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740082991528 139740749150209 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12646] ppid=12618 vsize=28768336 memory=1452 CPUtime=2457.54 cores=0-7
/proc/12620/task/12646/stat : 12646 (java) R 12618 12618 12574 0 -1 4202560 92689 0 0 0 245715 39 0 0 20 0 28 0 446360707 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740081938600 139740745771131 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12647] ppid=12618 vsize=28768336 memory=1452 CPUtime=2458.15 cores=0-7
/proc/12620/task/12647/stat : 12647 (java) R 12618 12618 12574 0 -1 4202560 182837 0 0 0 245736 79 0 0 20 0 28 0 446360708 29458776064 519306 33554432000 4194304 4196468 140720503873776 139740080885800 139740745405423 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 19844.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2078676 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.78 8.35 8.20 9/219 12832
/proc/meminfo: memFree=28358944/32770624 swapFree=66953076/67108860
[pid=12618] ppid=12615 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12618/stat : 12618 (xcsp3-exec) S 12615 12618 12574 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446360632 115843072 363 33554432000 4194304 5098028 140723527491712 140723527489816 139733258031740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29671424 140723527500661 140723527500905 140723527500905 140723527503818 0
/proc/12618/statm: 28282 363 304 221 0 87 0
[pid=12620] ppid=12618 vsize=28768336 memory=2342324 CPUtime=19985.2 cores=0-7
/proc/12620/stat : 12620 (java) S 12618 12618 12574 0 -1 1077944320 1591913 0 0 0 1996335 2190 0 0 20 0 28 0 446360632 29458776064 585581 33554432000 4194304 4196468 140720503873776 140720503856320 139741126979319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
/proc/12620/statm: 7192084 585581 3546 1 0 7153184 0
[pid=12620/tid=12621] ppid=12618 vsize=28768336 memory=1656 CPUtime=0.73 cores=0-7
/proc/12620/task/12621/stat : 12621 (java) S 12618 12618 12574 0 -1 1077944384 9497 0 0 0 69 4 0 0 20 0 28 0 446360633 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741131220096 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12622] ppid=12618 vsize=28768336 memory=8317482817917895235 CPUtime=18.42 cores=0-7
/proc/12620/task/12622/stat : 12622 (java) S 12618 12618 12574 0 -1 1077944384 61434 0 0 0 1739 103 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741079599760 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12623] ppid=12618 vsize=28768336 memory=1056 CPUtime=18.36 cores=0-7
/proc/12620/task/12623/stat : 12623 (java) S 12618 12618 12574 0 -1 1077944384 60432 0 0 0 1734 102 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741078546960 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12624] ppid=12618 vsize=28768336 memory=1188 CPUtime=18.35 cores=0-7
/proc/12620/task/12624/stat : 12624 (java) S 12618 12618 12574 0 -1 1077944384 47835 0 0 0 1734 101 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741077494160 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12625] ppid=12618 vsize=28768336 memory=1536 CPUtime=18.37 cores=0-7
/proc/12620/task/12625/stat : 12625 (java) S 12618 12618 12574 0 -1 1077944384 54007 0 0 0 1739 98 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741076441360 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12626] ppid=12618 vsize=28768336 memory=9592 CPUtime=18.41 cores=0-7
/proc/12620/task/12626/stat : 12626 (java) S 12618 12618 12574 0 -1 1077944384 56232 0 0 0 1737 104 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741075389584 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12627] ppid=12618 vsize=28768336 memory=2828 CPUtime=18.29 cores=0-7
/proc/12620/task/12627/stat : 12627 (java) S 12618 12618 12574 0 -1 1077944384 46366 0 0 0 1731 98 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741074336784 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12628] ppid=12618 vsize=28768336 memory=780 CPUtime=18.37 cores=0-7
/proc/12620/task/12628/stat : 12628 (java) S 12618 12618 12574 0 -1 1077944384 50258 0 0 0 1734 103 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741073283984 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12629] ppid=12618 vsize=28768336 memory=2024 CPUtime=18.47 cores=0-7
/proc/12620/task/12629/stat : 12629 (java) S 12618 12618 12574 0 -1 1077944384 51980 0 0 0 1753 94 0 0 20 0 28 0 446360634 29458776064 585581 33554432000 4194304 4196468 140720503873776 139741072231184 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12630] ppid=12618 vsize=28768336 memory=1384 CPUtime=15.61 cores=0-7
/proc/12620/task/12630/stat : 12630 (java) S 12618 12618 12574 0 -1 1077944384 142517 0 0 0 623 938 0 0 20 0 28 0 446360635 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740109044080 139741126990466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12631] ppid=12618 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/12620/task/12631/stat : 12631 (java) S 12618 12618 12574 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 446360636 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740107990112 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12632] ppid=12618 vsize=28768336 memory=4104 CPUtime=0 cores=0-7
/proc/12620/task/12632/stat : 12632 (java) S 12618 12618 12574 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 446360636 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740106937216 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12633] ppid=12618 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/12620/task/12633/stat : 12633 (java) S 12618 12618 12574 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740105885520 139741126997915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12634] ppid=12618 vsize=28768336 memory=916 CPUtime=4.09 cores=0-7
/proc/12620/task/12634/stat : 12634 (java) S 12618 12618 12574 0 -1 1077944384 18450 0 0 0 405 4 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740104833904 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12635] ppid=12618 vsize=28768336 memory=3908 CPUtime=3.89 cores=0-7
/proc/12620/task/12635/stat : 12635 (java) S 12618 12618 12574 0 -1 1077944384 18946 0 0 0 386 3 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740103781104 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12636] ppid=12618 vsize=28768336 memory=1412 CPUtime=4.56 cores=0-7
/proc/12620/task/12636/stat : 12636 (java) S 12618 12618 12574 0 -1 1077944384 27033 0 0 0 450 6 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740102728304 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12637] ppid=12618 vsize=28768336 memory=3584 CPUtime=0.92 cores=0-7
/proc/12620/task/12637/stat : 12637 (java) S 12618 12618 12574 0 -1 1077944384 12905 0 0 0 89 3 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740101675504 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12638] ppid=12618 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/12620/task/12638/stat : 12638 (java) S 12618 12618 12574 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446360638 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740100622944 139741126989525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12639] ppid=12618 vsize=28768336 memory=2342324 CPUtime=0.88 cores=0-7
/proc/12620/task/12639/stat : 12639 (java) S 12618 12618 12574 0 -1 1077944384 5269 0 0 0 29 59 0 0 20 0 28 0 446360639 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740099570224 139741126990466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12640] ppid=12618 vsize=28768336 memory=1656 CPUtime=2477.39 cores=0-7
/proc/12620/task/12640/stat : 12640 (java) R 12618 12618 12574 0 -1 4202560 97191 0 0 0 247701 38 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740088253720 139740745738337 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12641] ppid=12618 vsize=28768336 memory=8317482817917895235 CPUtime=2471.84 cores=0-7
/proc/12620/task/12641/stat : 12641 (java) R 12618 12618 12574 0 -1 4202560 79909 0 0 0 247141 43 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740087204304 139740747510868 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12642] ppid=12618 vsize=28768336 memory=14012 CPUtime=2478.05 cores=0-7
/proc/12620/task/12642/stat : 12642 (java) R 12618 12618 12574 0 -1 4202560 78802 0 0 0 247756 49 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740086149400 139740747069848 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12643] ppid=12618 vsize=28768336 memory=2116 CPUtime=2476.94 cores=0-7
/proc/12620/task/12643/stat : 12643 (java) R 12618 12618 12574 0 -1 4202560 103860 0 0 0 247642 52 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740085096752 139740745405744 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12644] ppid=12618 vsize=28768336 memory=26132 CPUtime=2475.43 cores=0-7
/proc/12620/task/12644/stat : 12644 (java) R 12618 12618 12574 0 -1 4202560 126720 0 0 0 247480 63 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740084043464 139740745405438 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12645] ppid=12618 vsize=28768336 memory=14068 CPUtime=2476.89 cores=0-7
/proc/12620/task/12645/stat : 12645 (java) R 12618 12618 12574 0 -1 4202560 162539 0 0 0 247613 76 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740082991528 139740744364797 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12646] ppid=12618 vsize=28768336 memory=6791534058613427641 CPUtime=2475.08 cores=0-7
/proc/12620/task/12646/stat : 12646 (java) R 12618 12618 12574 0 -1 4202560 92807 0 0 0 247468 40 0 0 20 0 28 0 446360707 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740081938680 139740747664081 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
[pid=12620/tid=12647] ppid=12618 vsize=28768336 memory=1568 CPUtime=2475.69 cores=0-7
/proc/12620/task/12647/stat : 12647 (java) R 12618 12618 12574 0 -1 4202560 185537 0 0 0 247489 80 0 0 20 0 28 0 446360708 29458776064 585581 33554432000 4194304 4196468 140720503873776 139740080885800 139740745405565 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 35639296 140720503882730 140720503882902 140720503882902 140720503885775 0
Current children cumulated CPU time: 19985.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2343776 KiB

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

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

[startup+2520.11 s]
# the end of solver process 12620 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19964 s, system=21.93 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.11
CPU time (s): 19985.9
CPU user time (s): 19964
CPU system time (s): 21.93
CPU usage (%): 793.057
Max. virtual memory (cumulated for all children) (KiB): 28885568
Max. memory (cumulated for all children) (KiB): 2604192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19964
system time used= 21.93
maximum resident set size= 2614552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1593014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150444
involuntary context switches= 241297


# summary of solver processes directly reported to runsolver:
#   pid: 12618,12620
#   total CPU time (s): 19985.9
#   total CPU user time (s): 19964
#   total CPU system time (s): 21.93

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4437 second user time and 27.3472 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-17 08:14:38
IDJOB=4399621
IDBENCH=120457
IDSOLVER=2854
FILE ID=node127/4399621-1568700918
RUNJOBID= node127-1568700877-12601
PBS_JOBID= 21703908
Free space on /tmp= 61312 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.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-4399621-1568700918/watcher-4399621-1568700918 -o /tmp/evaluation-result-4399621-1568700918/solver-4399621-1568700918 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568700877-12601 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2144032403 HOME/instance-4399621-1568700918.xml

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

MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24
RANDOM SEED=2144032403

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30690140 kB
MemAvailable:   31830056 kB
Buffers:           93416 kB
Cached:          1331080 kB
SwapCached:        51464 kB
Active:           500244 kB
Inactive:         980496 kB
Active(anon):      14140 kB
Inactive(anon):    91388 kB
Active(file):     486104 kB
Inactive(file):   889108 kB
Unevictable:      109276 kB
Mlocked:          109276 kB
SwapTotal:      67108860 kB
SwapFree:       66953076 kB
Dirty:             26012 kB
Writeback:             0 kB
AnonPages:        114980 kB
Mapped:            48144 kB
Shmem:             40672 kB
Slab:             191276 kB
SReclaimable:     161076 kB
SUnreclaim:        30200 kB
KernelStack:        3296 kB
PageTables:         5288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61288 MiB
End job on node127 at 2019-09-17 08:56:38