Trace number 4404243

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-20 parallel? (TO) 18658.7 2520.16

General information on the benchmark

NameXCSP19/ConsecutiveSquarePacking/
ConsecutiveSquarePacking-sp-20-054.xml
MD5SUM3ff211d871d85a956d1d429dedc73eaa
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 benchmark6.5032
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints190
Number of domains20
Minimum domain size35
Maximum domain size54
Distribution of domain sizes[{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2},{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2}]
Minimum variable degree19
Maximum variable degree19
Distribution of variable degrees[{"degree":19,"count":40}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":190}]
Number of extensional constraints0
Number of intensional constraints190
Distribution of constraint types[{"type":"intension","count":190}]
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-4404243-1569012337.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404243-1569012337.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
357.87/223.17	c solve instance...
18657.98/2520.07	s UNKNOWN
18657.98/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 (13228 MiB free)
  memory of node 1: 16384 MiB (11402 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404243-1569012337/watcher-4404243-1569012337 -o /tmp/evaluation-result-4404243-1569012337/solver-4404243-1569012337 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569005478-4701 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2131324478 HOME/instance-4404243-1569012337.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=5849, runsolver pid=5846
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 8.34 8.29 8.25 2/212 5870
/proc/meminfo: memFree=25206088/32770624 swapFree=66935532/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28227396 memory=30008 CPUtime=0.12 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 5915 0 0 0 10 2 0 0 20 0 20 0 477171570 28904853504 7502 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7056849 7502 3153 1 0 7019032 0
[pid=5851/tid=5852] ppid=5849 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) R 5849 5849 4674 0 -1 4202560 3812 0 0 0 8 1 0 0 20 0 20 0 477171570 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170365413168 140170361191830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28227396 memory=732369830816455653 CPUtime=0 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28227396 memory=139692479002240 CPUtime=0 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5856] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5856/stat : 5856 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170310642832 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5857] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5857/stat : 5857 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170309589264 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5858] ppid=5849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5851/task/5858/stat : 5858 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170308536720 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5859] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5859/stat : 5859 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170307484176 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5860] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5860/stat : 5860 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 7502 33554432000 4194304 4196468 140732650908912 140170306431632 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5861] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5861/stat : 5861 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171572 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168958679536 140170361191042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5862] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5862/stat : 5862 (java) S 5849 5849 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477171573 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168957625760 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5863] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5863/stat : 5863 (java) S 5849 5849 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477171573 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168956573168 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5864] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5864/stat : 5864 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168955521744 140170361198491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5865] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5865/stat : 5865 (java) S 5849 5849 4674 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168954468336 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5866] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5866/stat : 5866 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168953415792 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5867] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5867/stat : 5867 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168952363248 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5868] ppid=5849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5851/task/5868/stat : 5868 (java) R 5849 5849 4674 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168951310704 140170361201242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5869] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5869/stat : 5869 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168950258400 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5870] ppid=5849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5851/task/5870/stat : 5870 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 7502 33554432000 4194304 4196468 140732650908912 140168949205936 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31464 KiB

[startup+0.210531 s]*
/proc/loadavg: 8.34 8.29 8.25 2/212 5870
/proc/meminfo: memFree=25194820/32770624 swapFree=66935532/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28227396 memory=40148 CPUtime=0.33 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 9359 0 0 0 30 3 0 0 20 0 20 0 477171570 28904853504 10037 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7056849 10037 3253 1 0 7019032 0
[pid=5851/tid=5852] ppid=5849 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) R 5849 5849 4674 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 20 0 477171570 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170365409616 140170361191830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28227396 memory=279384813909752 CPUtime=0 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28227396 memory=139692479002240 CPUtime=0 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5856] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5856/stat : 5856 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170310642832 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5857] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5857/stat : 5857 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170309589264 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5858] ppid=5849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5851/task/5858/stat : 5858 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170308536720 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5859] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5859/stat : 5859 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170307484176 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5860] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5860/stat : 5860 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171571 28904853504 10037 33554432000 4194304 4196468 140732650908912 140170306431632 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5861] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5861/stat : 5861 (java) S 5849 5849 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477171572 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168958679536 140170361191042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5862] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5862/stat : 5862 (java) S 5849 5849 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477171573 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168957625760 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5863] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5863/stat : 5863 (java) S 5849 5849 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477171573 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168956573168 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5864] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5864/stat : 5864 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168955521744 140170361198491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5865] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5865/stat : 5865 (java) S 5849 5849 4674 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168954468336 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5866] ppid=5849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5851/task/5866/stat : 5866 (java) S 5849 5849 4674 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168953415792 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5867] ppid=5849 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5851/task/5867/stat : 5867 (java) S 5849 5849 4674 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168952363248 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5868] ppid=5849 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/5851/task/5868/stat : 5868 (java) R 5849 5849 4674 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168951310704 140170361191830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5869] ppid=5849 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5869/stat : 5869 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168950258400 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5870] ppid=5849 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5851/task/5870/stat : 5870 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28904853504 10037 33554432000 4194304 4196468 140732650908912 140168949205936 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41604 KiB

[startup+0.310196 s]*
/proc/loadavg: 8.34 8.29 8.25 3/212 5870
/proc/meminfo: memFree=25189224/32770624 swapFree=66935532/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28231652 memory=49604 CPUtime=0.52 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 10742 0 0 0 48 4 0 0 20 0 20 0 477171570 28909211648 12401 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7057913 12401 3342 1 0 7019032 0
[pid=5851/tid=5852] ppid=5849 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) R 5849 5849 4674 0 -1 4202560 7703 0 0 0 27 2 0 0 20 0 20 0 477171570 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170365411008 140170345260382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5856] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5856/stat : 5856 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170310642832 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5857] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5857/stat : 5857 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170309589264 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5858] ppid=5849 vsize=28231652 memory=139692335000239 CPUtime=0 cores=0-7
/proc/5851/task/5858/stat : 5858 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170308536720 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5859] ppid=5849 vsize=28231652 memory=139692335002544 CPUtime=0 cores=0-7
/proc/5851/task/5859/stat : 5859 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170307484176 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5860] ppid=5849 vsize=28231652 memory=139692335004848 CPUtime=0 cores=0-7
/proc/5851/task/5860/stat : 5860 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171571 28909211648 12444 33554432000 4194304 4196468 140732650908912 140170306431632 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5861] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5861/stat : 5861 (java) S 5849 5849 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477171572 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168958679536 140170361191042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5862] ppid=5849 vsize=28231652 memory=279384670023568 CPUtime=0 cores=0-7
/proc/5851/task/5862/stat : 5862 (java) S 5849 5849 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477171573 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168957625760 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5863] ppid=5849 vsize=28231652 memory=279384670021264 CPUtime=0 cores=0-7
/proc/5851/task/5863/stat : 5863 (java) S 5849 5849 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477171573 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168956573168 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5864] ppid=5849 vsize=28231652 memory=279384670028176 CPUtime=0 cores=0-7
/proc/5851/task/5864/stat : 5864 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168955521744 140170361198491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5865] ppid=5849 vsize=28231652 memory=279384669969456 CPUtime=0.01 cores=0-7
/proc/5851/task/5865/stat : 5865 (java) S 5849 5849 4674 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168954468336 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5866] ppid=5849 vsize=28231652 memory=279384670042000 CPUtime=0.03 cores=0-7
/proc/5851/task/5866/stat : 5866 (java) R 5849 5849 4674 0 -1 4202560 237 0 0 0 3 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168953406176 140170338831760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5867] ppid=5849 vsize=28231652 memory=279384670048912 CPUtime=0.02 cores=0-7
/proc/5851/task/5867/stat : 5867 (java) S 5849 5849 4674 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168952363248 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5868] ppid=5849 vsize=28231652 memory=279384670046608 CPUtime=0.12 cores=0-7
/proc/5851/task/5868/stat : 5868 (java) S 5849 5849 4674 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168951310704 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5869] ppid=5849 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5869/stat : 5869 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168950258400 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5870] ppid=5849 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5851/task/5870/stat : 5870 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171576 28909211648 12444 33554432000 4194304 4196468 140732650908912 140168949205936 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51060 KiB

[startup+0.704028 s]
/proc/loadavg: 8.34 8.29 8.25 3/212 5870
/proc/meminfo: memFree=25175676/32770624 swapFree=66935532/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28233776 memory=108748 CPUtime=1.73 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 15272 0 0 0 166 7 0 0 20 0 20 0 477171570 28911386624 27187 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7058444 27187 3451 1 0 7019544 0
[pid=5851/tid=5852] ppid=5849 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) R 5849 5849 4674 0 -1 4202560 9295 0 0 0 63 4 0 0 20 0 20 0 477171570 28911386624 27187 33554432000 4194304 4196468 140732650908912 140170365414624 140169970278098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28911386624 27187 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477171571 28911386624 27187 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477171571 28911386624 27187 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0

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

/proc/meminfo: memFree=13730608/32770624 swapFree=66935548/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28768336 memory=11479080 CPUtime=18516.8 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 1997713 0 0 0 1848938 2738 0 0 20 0 28 0 477171570 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7192084 2869770 3558 1 0 7153184 0
[pid=5851/tid=5852] ppid=5849 vsize=28768336 memory=11479080 CPUtime=193.68 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) S 5849 5849 4674 0 -1 1077944384 64619 0 0 0 19250 118 0 0 20 0 28 0 477171570 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170365420672 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28768336 memory=11479080 CPUtime=29.69 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 148589 0 0 0 2761 208 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28768336 memory=1456 CPUtime=29.76 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 119232 0 0 0 2739 237 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28768336 memory=11479080 CPUtime=29.93 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 112004 0 0 0 2741 252 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5856] ppid=5849 vsize=28768336 memory=1456 CPUtime=29.84 cores=0-7
/proc/5851/task/5856/stat : 5856 (java) S 5849 5849 4674 0 -1 1077944384 110328 0 0 0 2764 220 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170310642832 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5857] ppid=5849 vsize=28768336 memory=1456 CPUtime=29.66 cores=0-7
/proc/5851/task/5857/stat : 5857 (java) S 5849 5849 4674 0 -1 1077944384 136079 0 0 0 2737 229 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170309589264 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5858] ppid=5849 vsize=28768336 memory=0 CPUtime=29.65 cores=0-7
/proc/5851/task/5858/stat : 5858 (java) S 5849 5849 4674 0 -1 1077944384 128385 0 0 0 2731 234 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170308536720 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5859] ppid=5849 vsize=28768336 memory=1456 CPUtime=29.73 cores=0-7
/proc/5851/task/5859/stat : 5859 (java) S 5849 5849 4674 0 -1 1077944384 142720 0 0 0 2764 209 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170307484176 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5860] ppid=5849 vsize=28768336 memory=1456 CPUtime=29.74 cores=0-7
/proc/5851/task/5860/stat : 5860 (java) S 5849 5849 4674 0 -1 1077944384 137456 0 0 0 2755 219 0 0 20 0 28 0 477171571 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140170306431632 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5861] ppid=5849 vsize=28768336 memory=11479080 CPUtime=13.29 cores=0-7
/proc/5851/task/5861/stat : 5861 (java) S 5849 5849 4674 0 -1 1077944384 45417 0 0 0 1313 16 0 0 20 0 28 0 477171572 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168958679536 140170361191042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5862] ppid=5849 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/5851/task/5862/stat : 5862 (java) S 5849 5849 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 477171573 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168957625824 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5863] ppid=5849 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/5851/task/5863/stat : 5863 (java) S 5849 5849 4674 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 477171573 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168956573184 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5864] ppid=5849 vsize=28768336 memory=11479052 CPUtime=0 cores=0-7
/proc/5851/task/5864/stat : 5864 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168955521744 140170361198491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5865] ppid=5849 vsize=28768336 memory=1560 CPUtime=2.49 cores=0-7
/proc/5851/task/5865/stat : 5865 (java) S 5849 5849 4674 0 -1 1077944384 22015 0 0 0 245 4 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168954468336 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5866] ppid=5849 vsize=28768336 memory=932 CPUtime=1.95 cores=0-7
/proc/5851/task/5866/stat : 5866 (java) S 5849 5849 4674 0 -1 1077944384 18509 0 0 0 193 2 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168953415792 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5867] ppid=5849 vsize=28768336 memory=1456 CPUtime=2.16 cores=0-7
/proc/5851/task/5867/stat : 5867 (java) S 5849 5849 4674 0 -1 1077944384 18468 0 0 0 212 4 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168952363248 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5868] ppid=5849 vsize=28768336 memory=11479080 CPUtime=0.94 cores=0-7
/proc/5851/task/5868/stat : 5868 (java) S 5849 5849 4674 0 -1 1077944384 15603 0 0 0 90 4 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168951310704 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5869] ppid=5849 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/5851/task/5869/stat : 5869 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168950258400 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5870] ppid=5849 vsize=28768336 memory=1172 CPUtime=0.96 cores=0-7
/proc/5851/task/5870/stat : 5870 (java) S 5849 5849 4674 0 -1 1077944384 2393 0 0 0 43 53 0 0 20 0 28 0 477171576 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168949205936 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5885] ppid=5849 vsize=28768336 memory=2116 CPUtime=2255.08 cores=0-7
/proc/5851/task/5885/stat : 5885 (java) R 5849 5849 4674 0 -1 4202560 29205 0 0 0 225492 16 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168872840488 140169974117608 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5886] ppid=5849 vsize=28768336 memory=17856 CPUtime=2251.27 cores=0-7
/proc/5851/task/5886/stat : 5886 (java) R 5849 5849 4674 0 -1 4202560 17625 0 0 0 225095 32 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168871789144 140169973721914 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5887] ppid=5849 vsize=28768336 memory=17856 CPUtime=2261.6 cores=0-7
/proc/5851/task/5887/stat : 5887 (java) R 5849 5849 4674 0 -1 4202560 49533 0 0 0 226075 85 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168870735576 140169973563647 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5888] ppid=5849 vsize=28768336 memory=528 CPUtime=2261.55 cores=0-7
/proc/5851/task/5888/stat : 5888 (java) R 5849 5849 4674 0 -1 4202560 37953 0 0 0 226063 92 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168869682744 140169974118155 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5889] ppid=5849 vsize=28768336 memory=1456 CPUtime=2263.39 cores=0-7
/proc/5851/task/5889/stat : 5889 (java) R 5849 5849 4674 0 -1 4202560 33172 0 0 0 226280 59 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168868630432 140169974117204 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5890] ppid=5849 vsize=28768336 memory=1456 CPUtime=2251.4 cores=0-7
/proc/5851/task/5890/stat : 5890 (java) R 5849 5849 4674 0 -1 4202560 9258 0 0 0 225129 11 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168867577944 140169973561061 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5891] ppid=5849 vsize=28768336 memory=11479080 CPUtime=2257.9 cores=0-7
/proc/5851/task/5891/stat : 5891 (java) R 5849 5849 4674 0 -1 4202560 81098 0 0 0 225500 290 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168866525416 140169974988797 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5892] ppid=5849 vsize=28768336 memory=1456 CPUtime=2260.86 cores=0-7
/proc/5851/task/5892/stat : 5892 (java) R 5849 5849 4674 0 -1 4202560 516546 0 0 0 225904 182 0 0 20 0 28 0 477193889 29458776064 2869770 33554432000 4194304 4196468 140732650908912 140168865475712 140169973311855 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
Current children cumulated CPU time: 18516.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 11480536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.11 8.22 8.12 9/219 6110
/proc/meminfo: memFree=13703752/32770624 swapFree=66935548/67108860
[pid=5849] ppid=5846 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/5849/stat : 5849 (xcsp3-exec) S 5846 5849 4674 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477171570 115843072 364 33554432000 4194304 5098028 140733707974672 140733707972776 140127227753084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32575488 140733707977589 140733707977833 140733707977833 140733707980746 0
/proc/5849/statm: 28282 364 305 221 0 87 0
[pid=5851] ppid=5849 vsize=28768336 memory=11505728 CPUtime=18658 cores=0-7
/proc/5851/stat : 5851 (java) S 5849 5849 4674 0 -1 1077944320 2000311 0 0 0 1863054 2744 0 0 20 0 28 0 477171570 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140732650891456 140170361179895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
/proc/5851/statm: 7192084 2876432 3558 1 0 7153184 0
[pid=5851/tid=5852] ppid=5849 vsize=28768336 memory=8317482817917895235 CPUtime=193.68 cores=0-7
/proc/5851/task/5852/stat : 5852 (java) S 5849 5849 4674 0 -1 1077944384 64619 0 0 0 19250 118 0 0 20 0 28 0 477171570 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170365420672 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5853] ppid=5849 vsize=28768336 memory=-7003737579269690708 CPUtime=29.75 cores=0-7
/proc/5851/task/5853/stat : 5853 (java) S 5849 5849 4674 0 -1 1077944384 148606 0 0 0 2766 209 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170313800464 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5854] ppid=5849 vsize=28768336 memory=7449355523459541355 CPUtime=29.82 cores=0-7
/proc/5851/task/5854/stat : 5854 (java) S 5849 5849 4674 0 -1 1077944384 119244 0 0 0 2744 238 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170312747920 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5855] ppid=5849 vsize=28768336 memory=7449355523459541355 CPUtime=29.98 cores=0-7
/proc/5851/task/5855/stat : 5855 (java) S 5849 5849 4674 0 -1 1077944384 112554 0 0 0 2746 252 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170311695376 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5856] ppid=5849 vsize=28768336 memory=7379547556183630165 CPUtime=29.9 cores=0-7
/proc/5851/task/5856/stat : 5856 (java) S 5849 5849 4674 0 -1 1077944384 110340 0 0 0 2769 221 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170310642832 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5857] ppid=5849 vsize=28768336 memory=7596278864635057510 CPUtime=29.72 cores=0-7
/proc/5851/task/5857/stat : 5857 (java) S 5849 5849 4674 0 -1 1077944384 136098 0 0 0 2742 230 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170309589264 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5858] ppid=5849 vsize=28768336 memory=513 CPUtime=29.71 cores=0-7
/proc/5851/task/5858/stat : 5858 (java) S 5849 5849 4674 0 -1 1077944384 128430 0 0 0 2737 234 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170308536720 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5859] ppid=5849 vsize=28768336 memory=1056 CPUtime=29.79 cores=0-7
/proc/5851/task/5859/stat : 5859 (java) S 5849 5849 4674 0 -1 1077944384 142724 0 0 0 2770 209 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170307484176 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 59 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5860] ppid=5849 vsize=28768336 memory=11620 CPUtime=29.79 cores=0-7
/proc/5851/task/5860/stat : 5860 (java) S 5849 5849 4674 0 -1 1077944384 137474 0 0 0 2760 219 0 0 20 0 28 0 477171571 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140170306431632 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5861] ppid=5849 vsize=28768336 memory=3608 CPUtime=13.29 cores=0-7
/proc/5851/task/5861/stat : 5861 (java) S 5849 5849 4674 0 -1 1077944384 45431 0 0 0 1313 16 0 0 20 0 28 0 477171572 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168958679536 140170361191042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5862] ppid=5849 vsize=28768336 memory=2828 CPUtime=0 cores=0-7
/proc/5851/task/5862/stat : 5862 (java) S 5849 5849 4674 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 477171573 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168957625824 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5863] ppid=5849 vsize=28768336 memory=1000 CPUtime=0 cores=0-7
/proc/5851/task/5863/stat : 5863 (java) S 5849 5849 4674 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 28 0 477171573 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168956573184 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5864] ppid=5849 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/5851/task/5864/stat : 5864 (java) S 5849 5849 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168955521744 140170361198491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5865] ppid=5849 vsize=28768336 memory=1172 CPUtime=2.49 cores=0-7
/proc/5851/task/5865/stat : 5865 (java) S 5849 5849 4674 0 -1 1077944384 22023 0 0 0 245 4 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168954468336 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5866] ppid=5849 vsize=28768336 memory=14004 CPUtime=1.95 cores=0-7
/proc/5851/task/5866/stat : 5866 (java) S 5849 5849 4674 0 -1 1077944384 18512 0 0 0 193 2 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168953415792 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5867] ppid=5849 vsize=28768336 memory=14076 CPUtime=2.16 cores=0-7
/proc/5851/task/5867/stat : 5867 (java) S 5849 5849 4674 0 -1 1077944384 18471 0 0 0 212 4 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168952363248 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5868] ppid=5849 vsize=28768336 memory=8112282956445269571 CPUtime=0.94 cores=0-7
/proc/5851/task/5868/stat : 5868 (java) S 5849 5849 4674 0 -1 1077944384 15607 0 0 0 90 4 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168951310704 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5869] ppid=5849 vsize=28768336 memory=5908 CPUtime=0 cores=0-7
/proc/5851/task/5869/stat : 5869 (java) S 5849 5849 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168950258400 140170361190101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5870] ppid=5849 vsize=28768336 memory=588 CPUtime=0.96 cores=0-7
/proc/5851/task/5870/stat : 5870 (java) S 5849 5849 4674 0 -1 1077944384 2419 0 0 0 43 53 0 0 20 0 28 0 477171576 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168949205936 140170361191042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5885] ppid=5849 vsize=28768336 memory=780 CPUtime=2272.73 cores=0-7
/proc/5851/task/5885/stat : 5885 (java) R 5849 5849 4674 0 -1 4202560 29256 0 0 0 227256 17 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168872840440 140169973980960 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5886] ppid=5849 vsize=28768336 memory=1056 CPUtime=2268.57 cores=0-7
/proc/5851/task/5886/stat : 5886 (java) R 5849 5849 4674 0 -1 4202560 17840 0 0 0 226825 32 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168871789144 140169974116133 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5887] ppid=5849 vsize=28768336 memory=11620 CPUtime=2279.23 cores=0-7
/proc/5851/task/5887/stat : 5887 (java) R 5849 5849 4674 0 -1 4202560 49728 0 0 0 227837 86 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168870735528 140169974397750 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5888] ppid=5849 vsize=28768336 memory=3608 CPUtime=2279.19 cores=0-7
/proc/5851/task/5888/stat : 5888 (java) R 5849 5849 4674 0 -1 4202560 38238 0 0 0 227827 92 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168869682904 140169972635920 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5889] ppid=5849 vsize=28768336 memory=2828 CPUtime=2281.02 cores=0-7
/proc/5851/task/5889/stat : 5889 (java) R 5849 5849 4674 0 -1 4202560 33292 0 0 0 228043 59 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168868630360 140169973563688 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5890] ppid=5849 vsize=28768336 memory=1000 CPUtime=2269.04 cores=0-7
/proc/5851/task/5890/stat : 5890 (java) R 5849 5849 4674 0 -1 4202560 9368 0 0 0 226893 11 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168867577736 140169973312091 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5891] ppid=5849 vsize=28768336 memory=1560 CPUtime=2275.54 cores=0-7
/proc/5851/task/5891/stat : 5891 (java) R 5849 5849 4674 0 -1 4202560 81685 0 0 0 227262 292 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168866528208 140169974988699 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
[pid=5851/tid=5892] ppid=5849 vsize=28768336 memory=8112282956445269571 CPUtime=2278.51 cores=0-7
/proc/5851/task/5892/stat : 5892 (java) R 5849 5849 4674 0 -1 4202560 516846 0 0 0 227668 183 0 0 20 0 28 0 477193889 29458776064 2876432 33554432000 4194304 4196468 140732650908912 140168865472672 140169973193258 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13672448 140732650910698 140732650910870 140732650910870 140732650913743 0
Current children cumulated CPU time: 18658 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 11507184 KiB

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

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

[startup+2520.16 s]
# the end of solver process 5851 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=18631.2 s, system=27.5195 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.11 8.22 8.12 2/192 6112
/proc/meminfo: memFree=20092644/32770624 swapFree=66935548/67108860
Current cumulated CPU time of completed processes: 0.002443 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 18658.7
CPU user time (s): 18631.2
CPU system time (s): 27.5195
CPU usage (%): 740.377
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 13867020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18631.2
system time used= 27.5195
maximum resident set size= 13865564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2001670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84418
involuntary context switches= 217834


# summary of solver processes directly reported to runsolver:
#   pid: 5849,5851
#   total CPU time (s): 18658.7
#   total CPU user time (s): 18631.2
#   total CPU system time (s): 27.5195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4841 second user time and 29.5424 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-20 22:44:55
IDJOB=4404243
IDBENCH=141704
IDSOLVER=2865
FILE ID=node141/4404243-1569012337
RUNJOBID= node141-1569005478-4701
PBS_JOBID= 21704759
Free space on /tmp= 22932 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-20-054.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-4404243-1569012337/watcher-4404243-1569012337 -o /tmp/evaluation-result-4404243-1569012337/solver-4404243-1569012337 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569005478-4701 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2131324478 HOME/instance-4404243-1569012337.xml

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

MD5SUM BENCH= 3ff211d871d85a956d1d429dedc73eaa
RANDOM SEED=2131324478

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
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:        25222588 kB
MemAvailable:   31826984 kB
Buffers:           45616 kB
Cached:          6839076 kB
SwapCached:        62316 kB
Active:          3422148 kB
Inactive:        3529664 kB
Active(anon):       2892 kB
Inactive(anon):   108160 kB
Active(file):    3419256 kB
Inactive(file):  3421504 kB
Unevictable:      108436 kB
Mlocked:          108436 kB
SwapTotal:      67108860 kB
SwapFree:       66935532 kB
Dirty:             26192 kB
Writeback:             0 kB
AnonPages:        316328 kB
Mapped:            48456 kB
Shmem:             35316 kB
Slab:             187844 kB
SReclaimable:     158944 kB
SUnreclaim:        28900 kB
KernelStack:        3872 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22904 MiB
End job on node141 at 2019-09-20 23:26:55