Trace number 4393746

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14 parallel? (TO) 19788.5 2520.15

General information on the benchmark

NameStripPacking/StripPacking-m1-seriesN/
StripPacking-N6d.xml
MD5SUM2c28ca4ad49bcbb6099e9194469961d5
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables485
Number of constraints292
Number of domains97
Minimum domain size1
Maximum domain size200
Distribution of domain sizes[{"size":1,"count":8},{"size":2,"count":283},{"size":200,"count":194}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":97},{"degree":2,"count":194},{"degree":3,"count":194}]
Minimum constraint arity2
Maximum constraint arity388
Distribution of constraint arities[{"arity":2,"count":194},{"arity":3,"count":97},{"arity":388,"count":1}]
Number of extensional constraints97
Number of intensional constraints194
Distribution of constraint types[{"type":"extension","count":97},{"type":"intension","count":194},{"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-4393746-1568419339.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4393746-1568419339.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
3.44/1.13	c solve instance...
19787.64/2520.07	s UNKNOWN
19787.64/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 (12307 MiB free)
  memory of node 1: 16384 MiB (11792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393746-1568419339/watcher-4393746-1568419339 -o /tmp/evaluation-result-4393746-1568419339/solver-4393746-1568419339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568416737-666 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017921039 HOME/instance-4393746-1568419339.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=1783, runsolver pid=1780
Current StackSize limit: 8192 KiB


[startup+0.100144 s]*
/proc/loadavg: 0.08 0.03 0.20 3/212 1804
/proc/meminfo: memFree=24657972/32770624 swapFree=67004752/67108860
[pid=1783] ppid=1780 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1783/stat : 1783 (xcsp3-exec) S 1780 1783 638 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418201734 115843072 364 33554432000 4194304 5098028 140727074219360 140727074217464 140083797471868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140727074227061 140727074227305 140727074227305 140727074230218 0
/proc/1783/statm: 28282 364 305 221 0 87 0
[pid=1785] ppid=1783 vsize=28227388 memory=28764 CPUtime=0.11 cores=0-7
/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 5652 0 0 0 10 1 0 0 20 0 20 0 418201734 28904845312 7191 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7056847 7191 3119 1 0 7019032 0
[pid=1785/tid=1786] ppid=1783 vsize=28227388 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1783 638 0 -1 4202560 3619 0 0 0 8 1 0 0 20 0 20 0 418201734 28904845312 7191 33554432000 4194304 4196468 140725328432128 140628028879656 140628024669341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28227388 memory=139628527652213 CPUtime=0 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1790] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627974110096 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1791] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627973057040 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1792] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627972004496 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1793] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627970951440 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1794] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 7191 33554432000 4194304 4196468 140725328432128 140627969898896 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1795] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201736 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626622401264 140628024658562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1796] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1783 638 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201737 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626621347488 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1797] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1783 638 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201737 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626620294384 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1798] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626619242960 140628024666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1799] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1783 638 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626618190064 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1800] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1783 638 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626617137520 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1801] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626616084464 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1802] ppid=1783 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/1785/task/1802/stat : 1802 (java) R 1783 1783 638 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626615031920 140628003935187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1803] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626613980128 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1804] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1804/stat : 1804 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 7191 33554432000 4194304 4196468 140725328432128 140626612927664 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30220 KiB

[startup+0.21012 s]*
/proc/loadavg: 0.08 0.03 0.20 2/212 1804
/proc/meminfo: memFree=24643904/32770624 swapFree=67004752/67108860
[pid=1783] ppid=1780 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1783/stat : 1783 (xcsp3-exec) S 1780 1783 638 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418201734 115843072 364 33554432000 4194304 5098028 140727074219360 140727074217464 140083797471868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140727074227061 140727074227305 140727074227305 140727074230218 0
/proc/1783/statm: 28282 364 305 221 0 87 0
[pid=1785] ppid=1783 vsize=28227388 memory=41092 CPUtime=0.33 cores=0-7
/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 9522 0 0 0 30 3 0 0 20 0 20 0 418201734 28904845312 10273 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7056847 10273 3304 1 0 7019032 0
[pid=1785/tid=1786] ppid=1783 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1783 638 0 -1 1077944384 6621 0 0 0 17 2 0 0 20 0 20 0 418201734 28904845312 10273 33554432000 4194304 4196468 140725328432128 140628028881120 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28227388 memory=139628527652213 CPUtime=0 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1790] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627974110096 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1791] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627973057040 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1792] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627972004496 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1793] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627970951440 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1794] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28904845312 10273 33554432000 4194304 4196468 140725328432128 140627969898896 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1795] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1783 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418201736 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626622401264 140628024658562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1796] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1783 638 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201737 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626621347488 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1797] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1783 638 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201737 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626620294384 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1798] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626619242960 140628024666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1799] ppid=1783 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1785/task/1799/stat : 1799 (java) R 1783 1783 638 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626618190064 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1800] ppid=1783 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1785/task/1800/stat : 1800 (java) R 1783 1783 638 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626617137520 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1801] ppid=1783 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/1785/task/1801/stat : 1801 (java) R 1783 1783 638 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626616084464 140628024658562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1802] ppid=1783 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/1785/task/1802/stat : 1802 (java) R 1783 1783 638 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626615031920 140628024659350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1803] ppid=1783 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626613980128 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1804] ppid=1783 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1804/stat : 1804 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28904845312 10273 33554432000 4194304 4196468 140725328432128 140626612927664 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42548 KiB

[startup+0.309663 s]*
/proc/loadavg: 0.08 0.03 0.20 3/212 1804
/proc/meminfo: memFree=24637776/32770624 swapFree=67004752/67108860
[pid=1783] ppid=1780 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1783/stat : 1783 (xcsp3-exec) S 1780 1783 638 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418201734 115843072 364 33554432000 4194304 5098028 140727074219360 140727074217464 140083797471868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140727074227061 140727074227305 140727074227305 140727074230218 0
/proc/1783/statm: 28282 364 305 221 0 87 0
[pid=1785] ppid=1783 vsize=28231644 memory=50020 CPUtime=0.52 cores=0-7
/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 10807 0 0 0 48 4 0 0 20 0 20 0 418201734 28909203456 12505 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7057911 12505 3358 1 0 7019032 0
[pid=1785/tid=1786] ppid=1783 vsize=28231644 memory=60420 CPUtime=0.29 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1783 638 0 -1 4202560 7720 0 0 0 26 3 0 0 20 0 20 0 418201734 28909203456 12505 33554432000 4194304 4196468 140725328432128 140628028881200 140628008727902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28231644 memory=62724 CPUtime=0 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12505 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28231644 memory=279256904837232 CPUtime=0 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12505 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28231644 memory=67 CPUtime=0 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12505 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1790] ppid=1783 vsize=28231644 memory=279256760547296 CPUtime=0 cores=0-7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12544 33554432000 4194304 4196468 140725328432128 140627974110096 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1791] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12544 33554432000 4194304 4196468 140725328432128 140627973057040 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1792] ppid=1783 vsize=28231644 memory=328 CPUtime=0 cores=0-7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12544 33554432000 4194304 4196468 140725328432128 140627972004496 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1793] ppid=1783 vsize=28231644 memory=232199 CPUtime=0 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12544 33554432000 4194304 4196468 140725328432128 140627970951440 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1794] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28909203456 12544 33554432000 4194304 4196468 140725328432128 140627969898896 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1795] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1783 638 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418201736 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626622401264 140628024658562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1796] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1783 638 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418201737 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626621347488 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1797] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1783 638 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418201737 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626620294384 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1798] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626619242960 140628024666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1799] ppid=1783 vsize=28231644 memory=0 CPUtime=0.02 cores=0-7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1783 638 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626618190064 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1800] ppid=1783 vsize=28231644 memory=0 CPUtime=0.03 cores=0-7
/proc/1785/task/1800/stat : 1800 (java) R 1783 1783 638 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626617127904 140628002667744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1801] ppid=1783 vsize=28231644 memory=0 CPUtime=0.03 cores=0-7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1783 638 0 -1 1077944384 176 0 0 0 3 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626616084464 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1802] ppid=1783 vsize=28231644 memory=0 CPUtime=0.12 cores=0-7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1783 638 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626615031920 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1803] ppid=1783 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626613980128 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1804] ppid=1783 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/1785/task/1804/stat : 1804 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201740 28909203456 12544 33554432000 4194304 4196468 140725328432128 140626612927664 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51476 KiB

[startup+0.700864 s]
/proc/loadavg: 0.08 0.03 0.20 6/212 1804
/proc/meminfo: memFree=24620284/32770624 swapFree=67004752/67108860
[pid=1783] ppid=1780 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1783/stat : 1783 (xcsp3-exec) S 1780 1783 638 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418201734 115843072 364 33554432000 4194304 5098028 140727074219360 140727074217464 140083797471868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140727074227061 140727074227305 140727074227305 140727074230218 0
/proc/1783/statm: 28282 364 305 221 0 87 0
[pid=1785] ppid=1783 vsize=28233768 memory=88544 CPUtime=1.63 cores=0-7
/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 15990 0 0 0 157 6 0 0 20 0 20 0 418201734 28911378432 22136 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7058442 22136 3447 1 0 7019544 0
[pid=1785/tid=1786] ppid=1783 vsize=28233768 memory=984 CPUtime=0.67 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) R 1783 1783 638 0 -1 4202560 8966 0 0 0 63 4 0 0 20 0 20 0 418201734 28911378432 22136 33554432000 4194304 4196468 140725328432128 140628028883040 140628008727902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28233768 memory=111628 CPUtime=0 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418201735 28911378432 22136 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28233768 memory=804 CPUtime=0 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418201735 28911378432 22136 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28233768 memory=1780 CPUtime=0 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418201735 28911378432 22136 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0

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

/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 1178164 0 0 0 1960238 4844 0 0 20 0 28 0 418201734 29458767872 369698 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7192082 369698 3550 1 0 7153184 0
[pid=1785/tid=1786] ppid=1783 vsize=28768328 memory=1456 CPUtime=1.13 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1783 638 0 -1 1077944384 11396 0 0 0 107 6 0 0 20 0 28 0 418201734 29458767872 369698 33554432000 4194304 4196468 140725328432128 140628028888192 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28768328 memory=1451208 CPUtime=16.02 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 43091 0 0 0 1490 112 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28768328 memory=1450684 CPUtime=16.08 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 45145 0 0 0 1494 114 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28768328 memory=1456 CPUtime=16.03 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 44418 0 0 0 1490 113 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1790] ppid=1783 vsize=28768328 memory=1451192 CPUtime=16.07 cores=0-7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1783 638 0 -1 1077944384 50046 0 0 0 1491 116 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627974110096 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1791] ppid=1783 vsize=28768328 memory=1478792 CPUtime=16.09 cores=0-7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1783 638 0 -1 1077944384 36404 0 0 0 1497 112 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627973057040 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1792] ppid=1783 vsize=28768328 memory=1456 CPUtime=16.1 cores=0-7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1783 638 0 -1 1077944384 45004 0 0 0 1501 109 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627972004496 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1793] ppid=1783 vsize=28768328 memory=1456 CPUtime=16.09 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1783 638 0 -1 1077944384 45605 0 0 0 1499 110 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627970951440 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1794] ppid=1783 vsize=28768328 memory=8112282956445269571 CPUtime=16.05 cores=0-7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1783 638 0 -1 1077944384 43754 0 0 0 1490 115 0 0 20 0 28 0 418201735 29458767872 369698 33554432000 4194304 4196468 140725328432128 140627969898896 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1795] ppid=1783 vsize=28768328 memory=1453600 CPUtime=55.17 cores=0-7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1783 638 0 -1 1077944384 105998 0 0 0 2149 3368 0 0 20 0 28 0 418201736 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626622401264 140628024658562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1796] ppid=1783 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1783 638 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418201737 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626621347552 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1797] ppid=1783 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1783 638 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 418201737 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626620294400 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1798] ppid=1783 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626619242960 140628024666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1799] ppid=1783 vsize=28768328 memory=1447608 CPUtime=5.17 cores=0-7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1783 638 0 -1 1077944384 28156 0 0 0 512 5 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626618190064 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1800] ppid=1783 vsize=28768328 memory=0 CPUtime=5.08 cores=0-7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1783 638 0 -1 1077944384 29724 0 0 0 504 4 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626617137520 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1801] ppid=1783 vsize=28768328 memory=2524434138625 CPUtime=5.52 cores=0-7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1783 638 0 -1 1077944384 35689 0 0 0 546 6 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626616084464 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1802] ppid=1783 vsize=28768328 memory=772 CPUtime=1.57 cores=0-7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1783 638 0 -1 1077944384 23682 0 0 0 153 4 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626615031920 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1803] ppid=1783 vsize=28768328 memory=952 CPUtime=0 cores=0-7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626613980128 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1804] ppid=1783 vsize=28768328 memory=1466948 CPUtime=0.92 cores=0-7
/proc/1785/task/1804/stat : 1804 (java) S 1783 1783 638 0 -1 1077944384 4875 0 0 0 27 65 0 0 20 0 28 0 418201740 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626612927664 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1805] ppid=1783 vsize=28768328 memory=772 CPUtime=2424.32 cores=0-7
/proc/1785/task/1805/stat : 1805 (java) R 1783 1783 638 0 -1 4202560 62022 0 0 0 242383 49 0 0 20 0 28 0 418201849 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626601856232 140627651311863 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1806] ppid=1783 vsize=28768328 memory=1456 CPUtime=2416.07 cores=0-7
/proc/1785/task/1806/stat : 1806 (java) R 1783 1783 638 0 -1 4202560 244176 0 0 0 241443 164 0 0 20 0 28 0 418201849 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626600804456 140627650669585 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1807] ppid=1783 vsize=28768328 memory=1467028 CPUtime=2424.3 cores=0-7
/proc/1785/task/1807/stat : 1807 (java) R 1783 1783 638 0 -1 4202560 58894 0 0 0 242352 78 0 0 20 0 28 0 418201849 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626599751752 140627660204935 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1808] ppid=1783 vsize=28768328 memory=1452572 CPUtime=2430.45 cores=0-7
/proc/1785/task/1808/stat : 1808 (java) R 1783 1783 638 0 -1 4202560 118373 0 0 0 242953 92 0 0 20 0 28 0 418201849 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626598699040 140627660776711 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1809] ppid=1783 vsize=28768328 memory=1456 CPUtime=2441.85 cores=0-7
/proc/1785/task/1809/stat : 1809 (java) R 1783 1783 638 0 -1 4202560 19648 0 0 0 244137 48 0 0 20 0 28 0 418201850 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626597646120 140627660776714 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1810] ppid=1783 vsize=28768328 memory=1456 CPUtime=2422.53 cores=0-7
/proc/1785/task/1810/stat : 1810 (java) R 1783 1783 638 0 -1 4202560 43990 0 0 0 242209 44 0 0 20 0 28 0 418201850 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626596597152 140627655435148 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1811] ppid=1783 vsize=28768328 memory=1447096 CPUtime=2444.3 cores=0-7
/proc/1785/task/1811/stat : 1811 (java) R 1783 1783 638 0 -1 4202560 20157 0 0 0 244380 50 0 0 20 0 28 0 418201850 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626595544632 140627660776806 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1812] ppid=1783 vsize=28768328 memory=1456 CPUtime=2443.7 cores=0-7
/proc/1785/task/1812/stat : 1812 (java) R 1783 1783 638 0 -1 4202560 16531 0 0 0 244328 42 0 0 20 0 28 0 418201850 29458767872 369698 33554432000 4194304 4196468 140725328432128 140626594488864 140627660776833 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
Current children cumulated CPU time: 19650.8 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1480248 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.05 7.56 9/220 2001
/proc/meminfo: memFree=23171956/32770624 swapFree=67004752/67108860
[pid=1783] ppid=1780 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1783/stat : 1783 (xcsp3-exec) S 1780 1783 638 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418201734 115843072 364 33554432000 4194304 5098028 140727074219360 140727074217464 140083797471868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23072768 140727074227061 140727074227305 140727074227305 140727074230218 0
/proc/1783/statm: 28282 364 305 221 0 87 0
[pid=1785] ppid=1783 vsize=28768328 memory=1507908 CPUtime=19787.6 cores=0-7
/proc/1785/stat : 1785 (java) S 1783 1783 638 0 -1 1077944320 1191353 0 0 0 1973853 4911 0 0 20 0 28 0 418201734 29458767872 376977 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7192082 376977 3550 1 0 7153184 0
[pid=1785/tid=1786] ppid=1783 vsize=28768328 memory=1398722017469774279 CPUtime=1.13 cores=0-7
/proc/1785/task/1786/stat : 1786 (java) S 1783 1783 638 0 -1 1077944384 11396 0 0 0 107 6 0 0 20 0 28 0 418201734 29458767872 376977 33554432000 4194304 4196468 140725328432128 140628028888192 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1787] ppid=1783 vsize=28768328 memory=4126316290023845779 CPUtime=16.11 cores=0-7
/proc/1785/task/1787/stat : 1787 (java) S 1783 1783 638 0 -1 1077944384 43735 0 0 0 1498 113 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627977268240 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1788] ppid=1783 vsize=28768328 memory=1276 CPUtime=16.16 cores=0-7
/proc/1785/task/1788/stat : 1788 (java) S 1783 1783 638 0 -1 1077944384 45931 0 0 0 1501 115 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627976215696 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1789] ppid=1783 vsize=28768328 memory=1060 CPUtime=16.11 cores=0-7
/proc/1785/task/1789/stat : 1789 (java) S 1783 1783 638 0 -1 1077944384 45874 0 0 0 1497 114 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627975162640 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1790] ppid=1783 vsize=28768328 memory=752 CPUtime=16.15 cores=0-7
/proc/1785/task/1790/stat : 1790 (java) S 1783 1783 638 0 -1 1077944384 51188 0 0 0 1498 117 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627974110096 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1791] ppid=1783 vsize=28768328 memory=1228 CPUtime=16.18 cores=0-7
/proc/1785/task/1791/stat : 1791 (java) S 1783 1783 638 0 -1 1077944384 36768 0 0 0 1505 113 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627973057040 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1792] ppid=1783 vsize=28768328 memory=9584 CPUtime=16.19 cores=0-7
/proc/1785/task/1792/stat : 1792 (java) S 1783 1783 638 0 -1 1077944384 46435 0 0 0 1509 110 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627972004496 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1793] ppid=1783 vsize=28768328 memory=1564 CPUtime=16.18 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) S 1783 1783 638 0 -1 1077944384 45791 0 0 0 1507 111 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627970951440 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1794] ppid=1783 vsize=28768328 memory=928 CPUtime=16.14 cores=0-7
/proc/1785/task/1794/stat : 1794 (java) S 1783 1783 638 0 -1 1077944384 44793 0 0 0 1498 116 0 0 20 0 28 0 418201735 29458767872 376977 33554432000 4194304 4196468 140725328432128 140627969898896 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1795] ppid=1783 vsize=28768328 memory=924 CPUtime=56.03 cores=0-7
/proc/1785/task/1795/stat : 1795 (java) S 1783 1783 638 0 -1 1077944384 106800 0 0 0 2181 3422 0 0 20 0 28 0 418201736 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626622401264 140628024658562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1796] ppid=1783 vsize=28768328 memory=4204 CPUtime=0 cores=0-7
/proc/1785/task/1796/stat : 1796 (java) S 1783 1783 638 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 418201737 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626621347552 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1797] ppid=1783 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/1785/task/1797/stat : 1797 (java) S 1783 1783 638 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 418201737 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626620294400 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1798] ppid=1783 vsize=28768328 memory=1502284 CPUtime=0 cores=0-7
/proc/1785/task/1798/stat : 1798 (java) S 1783 1783 638 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626619242960 140628024666011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1799] ppid=1783 vsize=28768328 memory=12028 CPUtime=5.17 cores=0-7
/proc/1785/task/1799/stat : 1799 (java) S 1783 1783 638 0 -1 1077944384 28162 0 0 0 512 5 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626618190064 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1800] ppid=1783 vsize=28768328 memory=496 CPUtime=5.08 cores=0-7
/proc/1785/task/1800/stat : 1800 (java) S 1783 1783 638 0 -1 1077944384 29728 0 0 0 504 4 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626617137520 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1801] ppid=1783 vsize=28768328 memory=1564 CPUtime=5.52 cores=0-7
/proc/1785/task/1801/stat : 1801 (java) S 1783 1783 638 0 -1 1077944384 35693 0 0 0 546 6 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626616084464 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1802] ppid=1783 vsize=28768328 memory=928 CPUtime=1.57 cores=0-7
/proc/1785/task/1802/stat : 1802 (java) S 1783 1783 638 0 -1 1077944384 23686 0 0 0 153 4 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626615031920 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1803] ppid=1783 vsize=28768328 memory=1660 CPUtime=0 cores=0-7
/proc/1785/task/1803/stat : 1803 (java) S 1783 1783 638 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626613980128 140628024657621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1804] ppid=1783 vsize=28768328 memory=1984 CPUtime=0.93 cores=0-7
/proc/1785/task/1804/stat : 1804 (java) S 1783 1783 638 0 -1 1077944384 4932 0 0 0 28 65 0 0 20 0 28 0 418201740 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626612927664 140628024658562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1805] ppid=1783 vsize=28768328 memory=1456 CPUtime=2441.06 cores=0-7
/proc/1785/task/1805/stat : 1805 (java) R 1783 1783 638 0 -1 4202560 62676 0 0 0 244056 50 0 0 20 0 28 0 418201849 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626601855640 140627659328097 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1806] ppid=1783 vsize=28768328 memory=1506372 CPUtime=2432.79 cores=0-7
/proc/1785/task/1806/stat : 1806 (java) R 1783 1783 638 0 -1 4202560 246368 0 0 0 243114 165 0 0 20 0 28 0 418201849 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626600804152 140627659973108 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1807] ppid=1783 vsize=28768328 memory=1276 CPUtime=2441.03 cores=0-7
/proc/1785/task/1807/stat : 1807 (java) R 1783 1783 638 0 -1 4202560 59460 0 0 0 244025 78 0 0 20 0 28 0 418201849 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626599751240 140627660075172 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1808] ppid=1783 vsize=28768328 memory=1060 CPUtime=2447.58 cores=0-7
/proc/1785/task/1808/stat : 1808 (java) R 1783 1783 638 0 -1 4202560 118723 0 0 0 244666 92 0 0 20 0 28 0 418201849 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626598699176 140627660776714 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1809] ppid=1783 vsize=28768328 memory=752 CPUtime=2458.75 cores=0-7
/proc/1785/task/1809/stat : 1809 (java) R 1783 1783 638 0 -1 4202560 20069 0 0 0 245826 49 0 0 20 0 28 0 418201850 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626597645984 140627660776724 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1810] ppid=1783 vsize=28768328 memory=1228 CPUtime=2439.28 cores=0-7
/proc/1785/task/1810/stat : 1810 (java) R 1783 1783 638 0 -1 4202560 44534 0 0 0 243884 44 0 0 20 0 28 0 418201850 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626596596320 140627655435152 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1811] ppid=1783 vsize=28768328 memory=9584 CPUtime=2461.51 cores=0-7
/proc/1785/task/1811/stat : 1811 (java) R 1783 1783 638 0 -1 4202560 20563 0 0 0 246101 50 0 0 20 0 28 0 418201850 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626595541408 140627660776699 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
[pid=1785/tid=1812] ppid=1783 vsize=28768328 memory=4140 CPUtime=2460.78 cores=0-7
/proc/1785/task/1812/stat : 1812 (java) R 1783 1783 638 0 -1 4202560 16662 0 0 0 246035 43 0 0 20 0 28 0 418201850 29458767872 376977 33554432000 4194304 4196468 140725328432128 140626594488752 140627660776810 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
Current children cumulated CPU time: 19787.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1509364 KiB

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

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

[startup+2520.15 s]
# the end of solver process 1785 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19739.3 s, system=49.1514 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

[startup+2520.13 s]*
/proc/loadavg: 8.07 8.05 7.56 4/219 2003
/proc/meminfo: memFree=23171832/32770624 swapFree=67004752/67108860
[pid=1785] ppid=1780 vsize=28901456 memory=1508116 CPUtime=19788.5 cores=0-7
/proc/1785/stat : 1785 (java) S 1780 1783 638 0 -1 1077944320 1191956 0 0 0 1973933 4913 0 0 20 0 28 0 418201734 29595090944 377029 33554432000 4194304 4196468 140725328432128 140725328414672 140628024647415 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18919424 140725328434154 140725328434326 140725328434326 140725328437199 0
/proc/1785/statm: 7225364 377029 3552 1 0 7186466 0
[pid=1785/tid=1793] ppid=1780 vsize=0 memory=1564 CPUtime=16.18 cores=0-7
/proc/1785/task/1793/stat : 1793 (java) R 1780 1783 638 0 -1 4203588 45791 0 0 0 1507 111 0 0 20 0 2 0 418201735 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 12 0 0 0 0 0 0 0 0 0 0
Current cumulated CPU time of completed processes: 0.002472 s
Current children cumulated CPU time: 19788.5 s
Current children cumulated vsize: 28901456 KiB
Current children cumulated memory: 1508116 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19788.5
CPU user time (s): 19739.3
CPU system time (s): 49.1514
CPU usage (%): 785.211
Max. virtual memory (cumulated for all children) (KiB): 28901456
Max. memory (cumulated for all children) (KiB): 2264160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19739.3
system time used= 49.1514
maximum resident set size= 2262752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1192528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163217
involuntary context switches= 223317


# summary of solver processes directly reported to runsolver:
#   pid: 1783,1785
#   total CPU time (s): 19788.5
#   total CPU user time (s): 19739.3
#   total CPU system time (s): 49.1514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5364 second user time and 27.8514 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-14 02:01:42
IDJOB=4393746
IDBENCH=120428
IDSOLVER=2841
FILE ID=node126/4393746-1568419339
RUNJOBID= node126-1568416737-666
PBS_JOBID= 21702265
Free space on /tmp= 55776 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N6d.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-4393746-1568419339/watcher-4393746-1568419339 -o /tmp/evaluation-result-4393746-1568419339/solver-4393746-1568419339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568416737-666 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017921039 HOME/instance-4393746-1568419339.xml

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

MD5SUM BENCH= 2c28ca4ad49bcbb6099e9194469961d5
RANDOM SEED=1017921039

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24677932 kB
MemAvailable:   31857896 kB
Buffers:          179324 kB
Cached:          7243208 kB
SwapCached:         2860 kB
Active:          2778584 kB
Inactive:        4651384 kB
Active(anon):       4540 kB
Inactive(anon):    43752 kB
Active(file):    2774044 kB
Inactive(file):  4607632 kB
Unevictable:      108624 kB
Mlocked:          108624 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:             25936 kB
Writeback:             0 kB
AnonPages:        117312 kB
Mapped:            45028 kB
Shmem:             32816 kB
Slab:             256844 kB
SReclaimable:     226748 kB
SUnreclaim:        30096 kB
KernelStack:        3728 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55748 MiB
End job on node126 at 2019-09-14 02:43:42