Trace number 4404469

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

General information on the benchmark

NameXCSP19/hcp/
graph223.xml
MD5SUMc2ae7594dad59fdbc475d1849bdfa679
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 benchmark178.186
Satisfiable
(Un)Satisfiability was proved
Number of variables1386
Number of constraints1
Number of domains1386
Minimum domain size2
Maximum domain size5
Distribution of domain sizes[{"size":2,"count":462},{"size":3,"count":420},{"size":4,"count":168},{"size":5,"count":336}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1386}]
Minimum constraint arity1386
Maximum constraint arity1386
Distribution of constraint arities[{"arity":1386,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","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-4404469-1569012115.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404469-1569012115.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.22/0.87	c solve instance...
19993.94/2520.08	s UNKNOWN
19993.94/2520.08	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 (4517 MiB free)
  memory of node 1: 16384 MiB (4608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404469-1569012115/watcher-4404469-1569012115 -o /var/tmp/evaluation-result-4404469-1569012115/solver-4404469-1569012115 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569004489-19989 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1044871113 HOME/instance-4404469-1569012115.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=21241, runsolver pid=21238
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 6.54 7.92 8.17 3/212 21262
/proc/meminfo: memFree=9329436/32770624 swapFree=67021952/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28227396 memory=28948 CPUtime=0.12 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 477484019 28904853504 7171 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7056849 7237 3179 1 0 7019032 0
[pid=21243/tid=21244] ppid=21241 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) R 21241 21241 19962 0 -1 4202560 3599 0 0 0 8 1 0 0 20 0 20 0 477484019 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426369166336 140426364947862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28227396 memory=139945689175680 CPUtime=0 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21248] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21248/stat : 21248 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426314398864 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21249] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21249/stat : 21249 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426313345296 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21250] ppid=21241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21250/stat : 21250 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426312292752 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21251] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21251/stat : 21251 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426311240208 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21252] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21252/stat : 21252 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 7237 33554432000 4194304 4196468 140732333294656 140426310187664 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21253] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21253/stat : 21253 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425548184048 140426364947074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21254] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21254/stat : 21254 (java) S 21241 21241 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425547130272 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21255] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21255/stat : 21255 (java) S 21241 21241 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425546077680 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21256] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21256/stat : 21256 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425545026256 140426364954523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21257] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21257/stat : 21257 (java) S 21241 21241 19962 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425543972848 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21258] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21258/stat : 21258 (java) R 21241 21241 19962 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425542919488 140426342952865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21259] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21259/stat : 21259 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425541867760 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21260] ppid=21241 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21243/task/21260/stat : 21260 (java) R 21241 21241 19962 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425540815216 140426364957274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21261] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21261/stat : 21261 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425539762912 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21262] ppid=21241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21262/stat : 21262 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 7237 33554432000 4194304 4196468 140732333294656 140425538710448 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30396 KiB

[startup+0.210147 s]*
/proc/loadavg: 6.54 7.92 8.17 2/212 21262
/proc/meminfo: memFree=9316204/32770624 swapFree=67021952/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28227396 memory=41100 CPUtime=0.33 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 9542 0 0 0 30 3 0 0 20 0 20 0 477484019 28904853504 10275 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7056849 10275 3300 1 0 7019032 0
[pid=21243/tid=21244] ppid=21241 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) R 21241 21241 19962 0 -1 4202560 6629 0 0 0 17 2 0 0 20 0 20 0 477484019 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426369169872 140425985884512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28227396 memory=4050336369134491296 CPUtime=0 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21248] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21248/stat : 21248 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426314398864 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21249] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21249/stat : 21249 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426313345296 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21250] ppid=21241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21250/stat : 21250 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426312292752 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21251] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21251/stat : 21251 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426311240208 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21252] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21252/stat : 21252 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484020 28904853504 10275 33554432000 4194304 4196468 140732333294656 140426310187664 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21253] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21253/stat : 21253 (java) S 21241 21241 19962 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425548184048 140426364947074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21254] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21254/stat : 21254 (java) S 21241 21241 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425547130272 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21255] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21255/stat : 21255 (java) S 21241 21241 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477484022 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425546077680 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21256] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21256/stat : 21256 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425545026256 140426364954523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21257] ppid=21241 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21243/task/21257/stat : 21257 (java) S 21241 21241 19962 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425543972848 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21258] ppid=21241 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21243/task/21258/stat : 21258 (java) S 21241 21241 19962 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425542920304 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21259] ppid=21241 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/21243/task/21259/stat : 21259 (java) S 21241 21241 19962 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425541867760 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21260] ppid=21241 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/21243/task/21260/stat : 21260 (java) R 21241 21241 19962 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425540812752 140426364957274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21261] ppid=21241 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21261/stat : 21261 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425539762912 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21262] ppid=21241 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21262/stat : 21262 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28904853504 10275 33554432000 4194304 4196468 140732333294656 140425538710448 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42548 KiB

[startup+0.309495 s]*
/proc/loadavg: 6.54 7.92 8.17 4/212 21262
/proc/meminfo: memFree=9308560/32770624 swapFree=67021952/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28231652 memory=50072 CPUtime=0.52 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 10883 0 0 0 48 4 0 0 20 0 20 0 477484019 28909211648 12518 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7057913 12518 3371 1 0 7019032 0
[pid=21243/tid=21244] ppid=21241 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) R 21241 21241 19962 0 -1 4202560 7797 0 0 0 27 3 0 0 20 0 20 0 477484019 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426369167040 140426349016414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21248] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21248/stat : 21248 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426314398864 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21249] ppid=21241 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/21243/task/21249/stat : 21249 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426313345296 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21250] ppid=21241 vsize=28231652 memory=139945536746415 CPUtime=0 cores=0-7
/proc/21243/task/21250/stat : 21250 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426312292752 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21251] ppid=21241 vsize=28231652 memory=139945536748720 CPUtime=0 cores=0-7
/proc/21243/task/21251/stat : 21251 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426311240208 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21252] ppid=21241 vsize=28231652 memory=139945536751024 CPUtime=0 cores=0-7
/proc/21243/task/21252/stat : 21252 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484020 28909211648 12518 33554432000 4194304 4196468 140732333294656 140426310187664 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21253] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21253/stat : 21253 (java) S 21241 21241 19962 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477484022 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425548184048 140426364947074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21254] ppid=21241 vsize=28231652 memory=279891073509008 CPUtime=0 cores=0-7
/proc/21243/task/21254/stat : 21254 (java) S 21241 21241 19962 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477484022 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425547130272 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21255] ppid=21241 vsize=28231652 memory=279891073515920 CPUtime=0 cores=0-7
/proc/21243/task/21255/stat : 21255 (java) S 21241 21241 19962 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477484022 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425546077680 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21256] ppid=21241 vsize=28231652 memory=279891073457200 CPUtime=0 cores=0-7
/proc/21243/task/21256/stat : 21256 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425545026256 140426364954523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21257] ppid=21241 vsize=28231652 memory=279891073529744 CPUtime=0.03 cores=0-7
/proc/21243/task/21257/stat : 21257 (java) R 21241 21241 19962 0 -1 4202560 434 0 0 0 3 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425543962960 140426346481355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21258] ppid=21241 vsize=28231652 memory=279891073536656 CPUtime=0.02 cores=0-7
/proc/21243/task/21258/stat : 21258 (java) S 21241 21241 19962 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425542920304 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21259] ppid=21241 vsize=28231652 memory=279891073534352 CPUtime=0.02 cores=0-7
/proc/21243/task/21259/stat : 21259 (java) S 21241 21241 19962 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425541867760 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21260] ppid=21241 vsize=28231652 memory=279891073550512 CPUtime=0.12 cores=0-7
/proc/21243/task/21260/stat : 21260 (java) S 21241 21241 19962 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425540815216 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21261] ppid=21241 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21261/stat : 21261 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425539762912 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21262] ppid=21241 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21243/task/21262/stat : 21262 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477484025 28909211648 12518 33554432000 4194304 4196468 140732333294656 140425538710448 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51520 KiB

[startup+0.700992 s]
/proc/loadavg: 6.54 7.92 8.17 7/212 21262
/proc/meminfo: memFree=9296264/32770624 swapFree=67021952/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28233776 memory=103888 CPUtime=1.81 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 16145 0 0 0 175 6 0 0 20 0 20 0 477484019 28911386624 25972 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7058444 25972 3468 1 0 7019544 0
[pid=21243/tid=21244] ppid=21241 vsize=28233776 memory=279891073908400 CPUtime=0.68 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) R 21241 21241 19962 0 -1 4202560 9083 0 0 0 64 4 0 0 20 0 20 0 477484019 28911386624 25972 33554432000 4194304 4196468 140732333294656 140426369171616 140425989622779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28233776 memory=139945536955248 CPUtime=0 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28911386624 25972 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28911386624 25972 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28233776 memory=1076 CPUtime=0 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477484020 28911386624 25972 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0

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

[pid=21243/tid=21270] ppid=21241 vsize=28766288 memory=15816698942982814 CPUtime=2413.97 cores=0-7
/proc/21243/task/21270/stat : 21270 (java) R 21241 21241 19962 0 -1 4202560 17789 0 0 0 241364 33 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425522122880 140425992088893 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 19377.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1385532 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.36 8.36 9/220 21501
/proc/meminfo: memFree=7972912/32770624 swapFree=67021968/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28766288 memory=1384084 CPUtime=19853.4 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 414594 0 0 0 1984813 524 0 0 20 0 28 0 477484019 29456678912 346021 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7191572 346021 3554 1 0 7152672 0
[pid=21243/tid=21244] ppid=21241 vsize=28766288 memory=1384084 CPUtime=0.86 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) S 21241 21241 19962 0 -1 1077944384 9186 0 0 0 81 5 0 0 20 0 28 0 477484019 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426369176704 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28766288 memory=1384084 CPUtime=7.34 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 16178 0 0 0 711 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28766288 memory=1384084 CPUtime=7.27 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 19439 0 0 0 705 22 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28766288 memory=1448 CPUtime=7.3 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 17559 0 0 0 705 25 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21248] ppid=21241 vsize=28766288 memory=1448 CPUtime=7.35 cores=0-7
/proc/21243/task/21248/stat : 21248 (java) S 21241 21241 19962 0 -1 1077944384 19592 0 0 0 712 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426314398864 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21249] ppid=21241 vsize=28766288 memory=42400 CPUtime=7.35 cores=0-7
/proc/21243/task/21249/stat : 21249 (java) S 21241 21241 19962 0 -1 1077944384 18127 0 0 0 709 26 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426313345296 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21250] ppid=21241 vsize=28766288 memory=1448 CPUtime=7.33 cores=0-7
/proc/21243/task/21250/stat : 21250 (java) S 21241 21241 19962 0 -1 1077944384 17699 0 0 0 708 25 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426312292752 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21251] ppid=21241 vsize=28766288 memory=6791534058613427641 CPUtime=7.38 cores=0-7
/proc/21243/task/21251/stat : 21251 (java) S 21241 21241 19962 0 -1 1077944384 17597 0 0 0 714 24 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426311240208 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21252] ppid=21241 vsize=28766288 memory=1448 CPUtime=7.35 cores=0-7
/proc/21243/task/21252/stat : 21252 (java) S 21241 21241 19962 0 -1 1077944384 19194 0 0 0 712 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426310187664 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21253] ppid=21241 vsize=28766288 memory=1760 CPUtime=4.94 cores=0-7
/proc/21243/task/21253/stat : 21253 (java) S 21241 21241 19962 0 -1 1077944384 47235 0 0 0 430 64 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425548184048 140426364947074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21254] ppid=21241 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/21243/task/21254/stat : 21254 (java) S 21241 21241 19962 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425547130336 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21255] ppid=21241 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/21243/task/21255/stat : 21255 (java) S 21241 21241 19962 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425546077696 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21256] ppid=21241 vsize=28766288 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/21243/task/21256/stat : 21256 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425545026256 140426364954523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21257] ppid=21241 vsize=28766288 memory=3472468224584605936 CPUtime=1.73 cores=0-7
/proc/21243/task/21257/stat : 21257 (java) S 21241 21241 19962 0 -1 1077944384 13841 0 0 0 170 3 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425543972848 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21258] ppid=21241 vsize=28766288 memory=3472468241764729376 CPUtime=1.82 cores=0-7
/proc/21243/task/21258/stat : 21258 (java) S 21241 21241 19962 0 -1 1077944384 16735 0 0 0 179 3 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425542920304 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21259] ppid=21241 vsize=28766288 memory=3472463843719262048 CPUtime=2.27 cores=0-7
/proc/21243/task/21259/stat : 21259 (java) S 21241 21241 19962 0 -1 1077944384 17659 0 0 0 223 4 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425541867760 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21260] ppid=21241 vsize=28766288 memory=0 CPUtime=0.73 cores=0-7
/proc/21243/task/21260/stat : 21260 (java) S 21241 21241 19962 0 -1 1077944384 12795 0 0 0 72 1 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425540815216 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21261] ppid=21241 vsize=28766288 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/21243/task/21261/stat : 21261 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425539762912 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21262] ppid=21241 vsize=28766288 memory=4206468019014099040 CPUtime=1.12 cores=0-7
/proc/21243/task/21262/stat : 21262 (java) S 21241 21241 19962 0 -1 1077944384 4211 0 0 0 56 56 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425538710448 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21263] ppid=21241 vsize=28766288 memory=1940 CPUtime=2472.78 cores=0-7
/proc/21243/task/21263/stat : 21263 (java) R 21241 21241 19962 0 -1 4202560 16207 0 0 0 247246 32 0 0 20 0 28 0 477484107 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425529490576 140425992640991 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21264] ppid=21241 vsize=28766288 memory=1448 CPUtime=2471 cores=0-7
/proc/21243/task/21264/stat : 21264 (java) R 21241 21241 19962 0 -1 4202560 14819 0 0 0 247069 31 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425528439152 140425991831970 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21265] ppid=21241 vsize=28766288 memory=1448 CPUtime=2473.04 cores=0-7
/proc/21243/task/21265/stat : 21265 (java) R 21241 21241 19962 0 -1 4202560 20063 0 0 0 247270 34 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425527385480 140425991832098 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21266] ppid=21241 vsize=28766288 memory=1448 CPUtime=2472.12 cores=0-7
/proc/21243/task/21266/stat : 21266 (java) R 21241 21241 19962 0 -1 4202560 25280 0 0 0 247170 42 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425526335664 140425992091256 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21267] ppid=21241 vsize=28766288 memory=1384084 CPUtime=2475.87 cores=0-7
/proc/21243/task/21267/stat : 21267 (java) R 21241 21241 19962 0 -1 4202560 17622 0 0 0 247552 35 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425525280696 140425992662843 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21268] ppid=21241 vsize=28766288 memory=3124 CPUtime=2472.49 cores=0-7
/proc/21243/task/21268/stat : 21268 (java) R 21241 21241 19962 0 -1 4202560 18677 0 0 0 247217 32 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425524228120 140425992087462 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21269] ppid=21241 vsize=28766288 memory=1244 CPUtime=2470.63 cores=0-7
/proc/21243/task/21269/stat : 21269 (java) R 21241 21241 19962 0 -1 4202560 15622 0 0 0 247036 27 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425523175560 140425991193606 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21270] ppid=21241 vsize=28766288 memory=1040 CPUtime=2473.09 cores=0-7
/proc/21243/task/21270/stat : 21270 (java) R 21241 21241 19962 0 -1 4202560 17897 0 0 0 247276 33 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425522122944 140425991193539 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 19853.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1385532 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.35 8.35 9/220 21502
/proc/meminfo: memFree=7973308/32770624 swapFree=67021968/67108860
[pid=21241] ppid=21238 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21241/stat : 21241 (xcsp3-exec) S 21238 21241 19962 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477484019 115843072 362 33554432000 4194304 5098028 140737192165328 140737192163432 140000917746300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9920512 140737192174417 140737192174677 140737192174677 140737192177606 0
/proc/21241/statm: 28282 362 304 221 0 87 0
[pid=21243] ppid=21241 vsize=28766288 memory=1384084 CPUtime=19993.9 cores=0-7
/proc/21243/stat : 21243 (java) S 21241 21241 19962 0 -1 1077944320 415713 0 0 0 1998869 525 0 0 20 0 28 0 477484019 29456678912 346021 33554432000 4194304 4196468 140732333294656 140732333277200 140426364935927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
/proc/21243/statm: 7191572 346021 3554 1 0 7152672 0
[pid=21243/tid=21244] ppid=21241 vsize=28766288 memory=6791534058613427641 CPUtime=0.86 cores=0-7
/proc/21243/task/21244/stat : 21244 (java) S 21241 21241 19962 0 -1 1077944384 9186 0 0 0 81 5 0 0 20 0 28 0 477484019 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426369176704 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21245] ppid=21241 vsize=28766288 memory=4872558044660077418 CPUtime=7.39 cores=0-7
/proc/21243/task/21245/stat : 21245 (java) S 21241 21241 19962 0 -1 1077944384 16188 0 0 0 716 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426317556496 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21246] ppid=21241 vsize=28766288 memory=1448 CPUtime=7.33 cores=0-7
/proc/21243/task/21246/stat : 21246 (java) S 21241 21241 19962 0 -1 1077944384 19452 0 0 0 711 22 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426316503952 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21247] ppid=21241 vsize=28766288 memory=1384084 CPUtime=7.36 cores=0-7
/proc/21243/task/21247/stat : 21247 (java) S 21241 21241 19962 0 -1 1077944384 17619 0 0 0 711 25 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426315451408 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21248] ppid=21241 vsize=28766288 memory=6791534058613427641 CPUtime=7.4 cores=0-7
/proc/21243/task/21248/stat : 21248 (java) S 21241 21241 19962 0 -1 1077944384 19641 0 0 0 717 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426314398864 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21249] ppid=21241 vsize=28766288 memory=4872558044660077418 CPUtime=7.4 cores=0-7
/proc/21243/task/21249/stat : 21249 (java) S 21241 21241 19962 0 -1 1077944384 18222 0 0 0 714 26 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426313345296 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21250] ppid=21241 vsize=28766288 memory=924 CPUtime=7.39 cores=0-7
/proc/21243/task/21250/stat : 21250 (java) S 21241 21241 19962 0 -1 1077944384 17797 0 0 0 713 26 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426312292752 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21251] ppid=21241 vsize=28766288 memory=1940 CPUtime=7.44 cores=0-7
/proc/21243/task/21251/stat : 21251 (java) S 21241 21241 19962 0 -1 1077944384 17611 0 0 0 720 24 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426311240208 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21252] ppid=21241 vsize=28766288 memory=1996 CPUtime=7.4 cores=0-7
/proc/21243/task/21252/stat : 21252 (java) S 21241 21241 19962 0 -1 1077944384 19297 0 0 0 717 23 0 0 20 0 28 0 477484020 29456678912 346021 33554432000 4194304 4196468 140732333294656 140426310187664 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21253] ppid=21241 vsize=28766288 memory=2508 CPUtime=4.97 cores=0-7
/proc/21243/task/21253/stat : 21253 (java) S 21241 21241 19962 0 -1 1077944384 47406 0 0 0 433 64 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425548184048 140426364947074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21254] ppid=21241 vsize=28766288 memory=1532 CPUtime=0 cores=0-7
/proc/21243/task/21254/stat : 21254 (java) S 21241 21241 19962 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425547130336 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21255] ppid=21241 vsize=28766288 memory=836 CPUtime=0 cores=0-7
/proc/21243/task/21255/stat : 21255 (java) S 21241 21241 19962 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 477484022 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425546077696 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21256] ppid=21241 vsize=28766288 memory=1384084 CPUtime=0 cores=0-7
/proc/21243/task/21256/stat : 21256 (java) S 21241 21241 19962 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425545026256 140426364954523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21257] ppid=21241 vsize=28766288 memory=1448 CPUtime=1.73 cores=0-7
/proc/21243/task/21257/stat : 21257 (java) S 21241 21241 19962 0 -1 1077944384 13843 0 0 0 170 3 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425543972848 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21258] ppid=21241 vsize=28766288 memory=1384084 CPUtime=1.82 cores=0-7
/proc/21243/task/21258/stat : 21258 (java) S 21241 21241 19962 0 -1 1077944384 16737 0 0 0 179 3 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425542920304 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21259] ppid=21241 vsize=28766288 memory=1760 CPUtime=2.27 cores=0-7
/proc/21243/task/21259/stat : 21259 (java) S 21241 21241 19962 0 -1 1077944384 17661 0 0 0 223 4 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425541867760 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21260] ppid=21241 vsize=28766288 memory=6791534058613427641 CPUtime=0.73 cores=0-7
/proc/21243/task/21260/stat : 21260 (java) S 21241 21241 19962 0 -1 1077944384 12797 0 0 0 72 1 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425540815216 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21261] ppid=21241 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/21243/task/21261/stat : 21261 (java) S 21241 21241 19962 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425539762912 140426364946133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21262] ppid=21241 vsize=28766288 memory=1384084 CPUtime=1.12 cores=0-7
/proc/21243/task/21262/stat : 21262 (java) S 21241 21241 19962 0 -1 1077944384 4222 0 0 0 56 56 0 0 20 0 28 0 477484025 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425538710448 140426364947074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21263] ppid=21241 vsize=28766288 memory=1448 CPUtime=2490.37 cores=0-7
/proc/21243/task/21263/stat : 21263 (java) R 21241 21241 19962 0 -1 4202560 16270 0 0 0 249004 33 0 0 20 0 28 0 477484107 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425529490776 140425992662838 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21264] ppid=21241 vsize=28766288 memory=1384084 CPUtime=2488.43 cores=0-7
/proc/21243/task/21264/stat : 21264 (java) R 21241 21241 19962 0 -1 4202560 14904 0 0 0 248811 32 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425528439032 140425992087279 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21265] ppid=21241 vsize=28766288 memory=4104 CPUtime=2490.5 cores=0-7
/proc/21243/task/21265/stat : 21265 (java) R 21241 21241 19962 0 -1 4202560 20108 0 0 0 249016 34 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425527388208 140425992066997 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21266] ppid=21241 vsize=28766288 memory=1412 CPUtime=2489.7 cores=0-7
/proc/21243/task/21266/stat : 21266 (java) R 21241 21241 19962 0 -1 4202560 25387 0 0 0 248928 42 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425526333224 140425992136229 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21267] ppid=21241 vsize=28766288 memory=3824 CPUtime=2493.44 cores=0-7
/proc/21243/task/21267/stat : 21267 (java) R 21241 21241 19962 0 -1 4202560 17668 0 0 0 249309 35 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425525284104 140425992327648 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21268] ppid=21241 vsize=28766288 memory=1448 CPUtime=2490.02 cores=0-7
/proc/21243/task/21268/stat : 21268 (java) R 21241 21241 19962 0 -1 4202560 18732 0 0 0 248970 32 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425524227832 140425991663647 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21269] ppid=21241 vsize=28766288 memory=1384084 CPUtime=2488.09 cores=0-7
/proc/21243/task/21269/stat : 21269 (java) R 21241 21241 19962 0 -1 4202560 15659 0 0 0 248782 27 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425523175376 140425991192815 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
[pid=21243/tid=21270] ppid=21241 vsize=28766288 memory=1480 CPUtime=2490.58 cores=0-7
/proc/21243/task/21270/stat : 21270 (java) R 21241 21241 19962 0 -1 4202560 17946 0 0 0 249025 33 0 0 20 0 28 0 477484108 29456678912 346021 33554432000 4194304 4196468 140732333294656 140425522122872 140425992087551 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 26730496 140732333298646 140732333298822 140732333298822 140732333301711 0
Current children cumulated CPU time: 19993.9 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1385532 KiB

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

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

[startup+2520.1 s]
# the end of solver process 21243 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19989.4 s, system=5.26891 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.1
CPU time (s): 19994.6
CPU user time (s): 19989.4
CPU system time (s): 5.26891
CPU usage (%): 793.405
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1519028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19989.4
system time used= 5.26891
maximum resident set size= 1519760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 429480
involuntary context switches= 235767


# summary of solver processes directly reported to runsolver:
#   pid: 21241,21243
#   total CPU time (s): 19994.6
#   total CPU user time (s): 19989.4
#   total CPU system time (s): 5.26891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.2612 second user time and 31.7382 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-20 22:41:14
IDJOB=4404469
IDBENCH=141691
IDSOLVER=2865
FILE ID=node150/4404469-1569012115
RUNJOBID= node150-1569004489-19989
PBS_JOBID= 21704739
Free space on /var/tmp= 13480 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP19/hcp/graph223.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 /var/tmp/evaluation-result-4404469-1569012115/watcher-4404469-1569012115 -o /var/tmp/evaluation-result-4404469-1569012115/solver-4404469-1569012115 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569004489-19989 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1044871113 HOME/instance-4404469-1569012115.xml

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

MD5SUM BENCH= c2ae7594dad59fdbc475d1849bdfa679
RANDOM SEED=1044871113

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:         9345712 kB
MemAvailable:   31826232 kB
Buffers:          175192 kB
Cached:         22191584 kB
SwapCached:         7940 kB
Active:         11146804 kB
Inactive:       11253524 kB
Active(anon):       4428 kB
Inactive(anon):    70320 kB
Active(file):   11142376 kB
Inactive(file): 11183204 kB
Unevictable:      110732 kB
Mlocked:          110732 kB
SwapTotal:      67108860 kB
SwapFree:       67021952 kB
Dirty:             26160 kB
Writeback:             0 kB
AnonPages:        149148 kB
Mapped:            47804 kB
Shmem:             32580 kB
Slab:             613160 kB
SReclaimable:     583400 kB
SUnreclaim:        29760 kB
KernelStack:        3728 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node150 at 2019-09-20 23:23:15