Trace number 4406895

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-24 parallel? (TO) 20004.9 2520.11

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg3/
QuasiGroup-3-40.xml
MD5SUMe27695e2b8dc2930e1e97c4ddd0ab1f7
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3200
Number of constraints3122
Number of domains2
Minimum domain size40
Maximum domain size1600
Distribution of domain sizes[{"size":40,"count":1600},{"size":1600,"count":1560}]
Minimum variable degree0
Maximum variable degree1563
Distribution of variable degrees[{"degree":0,"count":40},{"degree":2,"count":1560},{"degree":1562,"count":40},{"degree":1563,"count":1560}]
Minimum constraint arity3
Maximum constraint arity1601
Distribution of constraint arities[{"arity":3,"count":1560},{"arity":40,"count":1},{"arity":1600,"count":1},{"arity":1601,"count":1560}]
Number of extensional constraints0
Number of intensional constraints1560
Distribution of constraint types[{"type":"intension","count":1560},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":1560}]
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-4406895-1569352596.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406895-1569352596.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
42.98/16.68	c solve instance...
20004.27/2520.06	s UNKNOWN
20004.27/2520.06	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13765 MiB free)
  memory of node 1: 16384 MiB (10859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406895-1569352596/watcher-4406895-1569352596 -o /var/tmp/evaluation-result-4406895-1569352596/solver-4406895-1569352596 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569350030-22785 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1616145417 HOME/instance-4406895-1569352596.xml 

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

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

solver pid=23466, runsolver pid=23463

[startup+0.100175 s]*
/proc/loadavg: 7.49 8.06 8.16 2/211 23487
/proc/meminfo: memFree=25199668/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28227396 memory=29332 CPUtime=0.12 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 5735 0 0 0 11 1 0 0 20 0 20 0 511173374 28904853504 7333 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7056849 7333 3157 1 0 7019032 0
[pid=23468/tid=23469] ppid=23466 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) R 23466 23466 22758 0 -1 4202560 3663 0 0 0 8 0 0 0 20 0 20 0 511173374 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231168853312 140231164632470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28227396 memory=139984320534144 CPUtime=0 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23473] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23473/stat : 23473 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231114082576 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23474] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23474/stat : 23474 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231113030800 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23475] ppid=23466 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23475/stat : 23475 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231111978000 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23476] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23476/stat : 23476 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231110925200 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23477] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23477/stat : 23477 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 7333 33554432000 4194304 4196468 140735249719920 140231109872400 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23478] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23478/stat : 23478 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173376 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230414887280 140231164631682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23479] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23479/stat : 23479 (java) S 23466 23466 22758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511173377 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230346662944 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23480] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23480/stat : 23480 (java) S 23466 23466 22758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511173377 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230345610096 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23481] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23481/stat : 23481 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230344558416 140231164639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23482] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23482/stat : 23482 (java) S 23466 23466 22758 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230343506800 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23483] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23483/stat : 23483 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230342454000 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23484] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23484/stat : 23484 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230341401200 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23485] ppid=23466 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/23468/task/23485/stat : 23485 (java) S 23466 23466 22758 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 511173379 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230340348400 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23486] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23486/stat : 23486 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173380 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230339295840 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23487] ppid=23466 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23487/stat : 23487 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173380 28904853504 7333 33554432000 4194304 4196468 140735249719920 140230338243120 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30780 KiB

[startup+0.210252 s]*
/proc/loadavg: 7.49 8.06 8.16 2/211 23487
/proc/meminfo: memFree=25187724/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28227396 memory=40208 CPUtime=0.33 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 9359 0 0 0 30 3 0 0 20 0 20 0 511173374 28904853504 10052 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7056849 10052 3270 1 0 7019032 0
[pid=23468/tid=23469] ppid=23466 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) R 23466 23466 22758 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 20 0 511173374 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231168853264 140231148701022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28227396 memory=139984323697535 CPUtime=0 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23473] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23473/stat : 23473 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231114082576 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23474] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23474/stat : 23474 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231113030800 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23475] ppid=23466 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23475/stat : 23475 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231111978000 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23476] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23476/stat : 23476 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231110925200 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23477] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23477/stat : 23477 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173375 28904853504 10052 33554432000 4194304 4196468 140735249719920 140231109872400 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23478] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23478/stat : 23478 (java) S 23466 23466 22758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511173376 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230414887280 140231164631682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23479] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23479/stat : 23479 (java) S 23466 23466 22758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511173377 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230346662944 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23480] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23480/stat : 23480 (java) S 23466 23466 22758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511173377 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230345610096 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23481] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23481/stat : 23481 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230344558416 140231164639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23482] ppid=23466 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/23468/task/23482/stat : 23482 (java) R 23466 23466 22758 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 511173379 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230343506896 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23483] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23483/stat : 23483 (java) S 23466 23466 22758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 511173379 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230342454000 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23484] ppid=23466 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/23468/task/23484/stat : 23484 (java) S 23466 23466 22758 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 511173379 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230341401200 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23485] ppid=23466 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/23468/task/23485/stat : 23485 (java) R 23466 23466 22758 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 20 0 511173379 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230340348400 140231164632470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23486] ppid=23466 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23486/stat : 23486 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173380 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230339295840 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23487] ppid=23466 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23487/stat : 23487 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173380 28904853504 10052 33554432000 4194304 4196468 140735249719920 140230338243120 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41656 KiB

[startup+0.309446 s]*
/proc/loadavg: 7.49 8.06 8.16 2/211 23487
/proc/meminfo: memFree=25179864/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28231652 memory=49708 CPUtime=0.53 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 10750 0 0 0 49 4 0 0 20 0 20 0 511173374 28909211648 12427 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7057913 12427 3357 1 0 7019032 0
[pid=23468/tid=23469] ppid=23466 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) R 23466 23466 22758 0 -1 4202560 7721 0 0 0 27 2 0 0 20 0 20 0 511173374 28909211648 12427 33554432000 4194304 4196468 140735249719920 140231168854320 140231148701022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23473] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23473/stat : 23473 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231114082576 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23474] ppid=23466 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/23468/task/23474/stat : 23474 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231113030800 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23475] ppid=23466 vsize=28231652 memory=139984191452079 CPUtime=0 cores=0-7
/proc/23468/task/23475/stat : 23475 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231111978000 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23476] ppid=23466 vsize=28231652 memory=139984191454384 CPUtime=0 cores=0-7
/proc/23468/task/23476/stat : 23476 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231110925200 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23477] ppid=23466 vsize=28231652 memory=139984191456688 CPUtime=0 cores=0-7
/proc/23468/task/23477/stat : 23477 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173375 28909211648 12475 33554432000 4194304 4196468 140735249719920 140231109872400 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23478] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23478/stat : 23478 (java) S 23466 23466 22758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511173376 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230414887280 140231164631682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23479] ppid=23466 vsize=28231652 memory=279968382920336 CPUtime=0 cores=0-7
/proc/23468/task/23479/stat : 23479 (java) S 23466 23466 22758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511173377 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230346662944 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23480] ppid=23466 vsize=28231652 memory=279968382927248 CPUtime=0 cores=0-7
/proc/23468/task/23480/stat : 23480 (java) S 23466 23466 22758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511173377 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230345610096 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23481] ppid=23466 vsize=28231652 memory=279968382868528 CPUtime=0 cores=0-7
/proc/23468/task/23481/stat : 23481 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173379 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230344558416 140231164639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23482] ppid=23466 vsize=28231652 memory=279968382941072 CPUtime=0.02 cores=0-7
/proc/23468/task/23482/stat : 23482 (java) R 23466 23466 22758 0 -1 4202560 540 0 0 0 2 0 0 0 20 0 20 0 511173379 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230343506800 140231148523625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23483] ppid=23466 vsize=28231652 memory=279968382947984 CPUtime=0.01 cores=0-7
/proc/23468/task/23483/stat : 23483 (java) S 23466 23466 22758 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 511173379 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230342454000 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23484] ppid=23466 vsize=28231652 memory=279968382945680 CPUtime=0.03 cores=0-7
/proc/23468/task/23484/stat : 23484 (java) S 23466 23466 22758 0 -1 1077944384 198 0 0 0 3 0 0 0 20 0 20 0 511173379 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230341401200 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23485] ppid=23466 vsize=28231652 memory=279968382961840 CPUtime=0.13 cores=0-7
/proc/23468/task/23485/stat : 23485 (java) S 23466 23466 22758 0 -1 1077944384 939 0 0 0 13 0 0 0 20 0 20 0 511173379 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230340348400 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23486] ppid=23466 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23486/stat : 23486 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511173380 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230339295840 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23487] ppid=23466 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/23468/task/23487/stat : 23487 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173380 28909211648 12475 33554432000 4194304 4196468 140735249719920 140230338243120 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51156 KiB

[startup+0.700985 s]
/proc/loadavg: 7.49 8.06 8.16 4/211 23487
/proc/meminfo: memFree=25158588/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28233776 memory=129636 CPUtime=1.86 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 14925 0 0 0 181 5 0 0 20 0 20 0 511173374 28911386624 32409 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7058444 32409 3459 1 0 7019544 0
[pid=23468/tid=23469] ppid=23466 vsize=28233776 memory=279968383319728 CPUtime=0.67 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) R 23466 23466 22758 0 -1 4202560 8477 0 0 0 64 3 0 0 20 0 20 0 511173374 28911386624 32409 33554432000 4194304 4196468 140735249719920 140231168858880 140231149701281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28233776 memory=139984191660912 CPUtime=0 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28911386624 32409 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511173375 28911386624 32409 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28233776 memory=1128 CPUtime=0 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511173375 28911386624 32409 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0

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

[pid=23468/tid=23497] ppid=23466 vsize=28768336 memory=6943526294502006880 CPUtime=2419.24 cores=0-7
/proc/23468/task/23497/stat : 23497 (java) R 23466 23466 22758 0 -1 4202560 10709 0 0 0 241905 19 0 0 20 0 28 0 511175047 29458776064 1065296 33554432000 4194304 4196468 140735249719920 140230321893320 140230769129635 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 19384.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4262632 KiB

[startup+2502.3 s]
/proc/loadavg: 8.08 8.14 8.21 9/219 23686
/proc/meminfo: memFree=20957564/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28768336 memory=4261736 CPUtime=19863 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 375276 0 0 0 1985530 769 0 0 20 0 28 0 511173374 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7192084 1065434 3552 1 0 7153184 0
[pid=23468/tid=23469] ppid=23466 vsize=28768336 memory=1448 CPUtime=14.15 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) S 23466 23466 22758 0 -1 1077944384 14590 0 0 0 1381 34 0 0 20 0 28 0 511173374 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231168861312 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28768336 memory=3512 CPUtime=5.87 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 3094 0 0 0 515 72 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28768336 memory=1448 CPUtime=5.76 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 2476 0 0 0 510 66 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28768336 memory=1448 CPUtime=5.89 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2062 0 0 0 514 75 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23473] ppid=23466 vsize=28768336 memory=4261736 CPUtime=5.87 cores=0-7
/proc/23468/task/23473/stat : 23473 (java) S 23466 23466 22758 0 -1 1077944384 2802 0 0 0 508 79 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231114082576 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23474] ppid=23466 vsize=28768336 memory=1448 CPUtime=5.75 cores=0-7
/proc/23468/task/23474/stat : 23474 (java) S 23466 23466 22758 0 -1 1077944384 2265 0 0 0 502 73 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231113030800 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23475] ppid=23466 vsize=28768336 memory=1448 CPUtime=5.85 cores=0-7
/proc/23468/task/23475/stat : 23475 (java) S 23466 23466 22758 0 -1 1077944384 2860 0 0 0 511 74 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231111978000 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23476] ppid=23466 vsize=28768336 memory=4261184 CPUtime=5.76 cores=0-7
/proc/23468/task/23476/stat : 23476 (java) S 23466 23466 22758 0 -1 1077944384 2264 0 0 0 501 75 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231110925200 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23477] ppid=23466 vsize=28768336 memory=35448 CPUtime=5.75 cores=0-7
/proc/23468/task/23477/stat : 23477 (java) S 23466 23466 22758 0 -1 1077944384 3018 0 0 0 501 74 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231109872400 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23478] ppid=23466 vsize=28768336 memory=492 CPUtime=1.43 cores=0-7
/proc/23468/task/23478/stat : 23478 (java) S 23466 23466 22758 0 -1 1077944384 11316 0 0 0 137 6 0 0 20 0 28 0 511173376 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230414887280 140231164631682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23479] ppid=23466 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/23468/task/23479/stat : 23479 (java) S 23466 23466 22758 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511173377 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230346663008 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23480] ppid=23466 vsize=28768336 memory=4261184 CPUtime=0 cores=0-7
/proc/23468/task/23480/stat : 23480 (java) S 23466 23466 22758 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 511173377 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230345610112 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23481] ppid=23466 vsize=28768336 memory=164 CPUtime=0 cores=0-7
/proc/23468/task/23481/stat : 23481 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230344558416 140231164639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23482] ppid=23466 vsize=28768336 memory=7522796311880427094 CPUtime=5.57 cores=0-7
/proc/23468/task/23482/stat : 23482 (java) S 23466 23466 22758 0 -1 1077944384 39458 0 0 0 549 8 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230343506800 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23483] ppid=23466 vsize=28768336 memory=3512 CPUtime=5.46 cores=0-7
/proc/23468/task/23483/stat : 23483 (java) S 23466 23466 22758 0 -1 1077944384 35798 0 0 0 541 5 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230342454000 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23484] ppid=23466 vsize=28768336 memory=65292 CPUtime=4.61 cores=0-7
/proc/23468/task/23484/stat : 23484 (java) S 23466 23466 22758 0 -1 1077944384 42853 0 0 0 455 6 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230341401200 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23485] ppid=23466 vsize=28768336 memory=1448 CPUtime=1.12 cores=0-7
/proc/23468/task/23485/stat : 23485 (java) S 23466 23466 22758 0 -1 1077944384 27217 0 0 0 109 3 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230340348400 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23486] ppid=23466 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/23468/task/23486/stat : 23486 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511173380 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230339295840 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23487] ppid=23466 vsize=28768336 memory=1448 CPUtime=0.92 cores=0-7
/proc/23468/task/23487/stat : 23487 (java) S 23466 23466 22758 0 -1 1077944384 3656 0 0 0 23 69 0 0 20 0 28 0 511173380 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230338243120 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23490] ppid=23466 vsize=28768336 memory=4261736 CPUtime=2454.14 cores=0-7
/proc/23468/task/23490/stat : 23490 (java) R 23466 23466 22758 0 -1 4202560 27785 0 0 0 245399 15 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230329260776 140230769129138 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23491] ppid=23466 vsize=28768336 memory=1448 CPUtime=2479.29 cores=0-7
/proc/23468/task/23491/stat : 23491 (java) R 23466 23466 22758 0 -1 4202560 23365 0 0 0 247923 6 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230328209096 140230769129163 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23492] ppid=23466 vsize=28768336 memory=4261736 CPUtime=2479.57 cores=0-7
/proc/23468/task/23492/stat : 23492 (java) R 23466 23466 22758 0 -1 4202560 42772 0 0 0 247944 13 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230327159656 140230769129009 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23493] ppid=23466 vsize=28768336 memory=111632 CPUtime=2461.54 cores=0-7
/proc/23468/task/23493/stat : 23493 (java) R 23466 23466 22758 0 -1 4202560 15904 0 0 0 246130 24 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230326104488 140230769129163 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23494] ppid=23466 vsize=28768336 memory=1448 CPUtime=2472.7 cores=0-7
/proc/23468/task/23494/stat : 23494 (java) R 23466 23466 22758 0 -1 4202560 16205 0 0 0 247257 13 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230325051672 140230769129101 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23495] ppid=23466 vsize=28768336 memory=4261184 CPUtime=2478.45 cores=0-7
/proc/23468/task/23495/stat : 23495 (java) R 23466 23466 22758 0 -1 4202560 28678 0 0 0 247835 10 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230323998672 140230769129065 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23496] ppid=23466 vsize=28768336 memory=1448 CPUtime=2478.09 cores=0-7
/proc/23468/task/23496/stat : 23496 (java) R 23466 23466 22758 0 -1 4202560 12552 0 0 0 247801 8 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230322946120 140230769129121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23497] ppid=23466 vsize=28768336 memory=0 CPUtime=2479.23 cores=0-7
/proc/23468/task/23497/stat : 23497 (java) R 23466 23466 22758 0 -1 4202560 10897 0 0 0 247904 19 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230321893320 140230769129126 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 19863 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4263184 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.19 8.16 8.22 9/219 23686
/proc/meminfo: memFree=20958412/32770624 swapFree=66935948/67108860
[pid=23466] ppid=23463 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/23466/stat : 23466 (xcsp3-exec) S 23463 23466 22758 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511173373 115843072 362 33554432000 4194304 5098028 140721321927648 140721321925752 139981231743612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21995520 140721321935697 140721321935957 140721321935957 140721321938886 0
/proc/23466/statm: 28282 362 304 221 0 87 0
[pid=23468] ppid=23466 vsize=28768336 memory=4261736 CPUtime=20004.3 cores=0-7
/proc/23468/stat : 23468 (java) S 23466 23466 22758 0 -1 1077944320 375847 0 0 0 1999658 769 0 0 20 0 28 0 511173374 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140735249702464 140231164620535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
/proc/23468/statm: 7192084 1065434 3552 1 0 7153184 0
[pid=23468/tid=23469] ppid=23466 vsize=28768336 memory=6791534058613427641 CPUtime=14.15 cores=0-7
/proc/23468/task/23469/stat : 23469 (java) S 23466 23466 22758 0 -1 1077944384 14590 0 0 0 1381 34 0 0 20 0 28 0 511173374 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231168861312 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23470] ppid=23466 vsize=28768336 memory=4872558044660077418 CPUtime=5.87 cores=0-7
/proc/23468/task/23470/stat : 23470 (java) S 23466 23466 22758 0 -1 1077944384 3094 0 0 0 515 72 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231117240976 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23471] ppid=23466 vsize=28768336 memory=4261736 CPUtime=5.76 cores=0-7
/proc/23468/task/23471/stat : 23471 (java) S 23466 23466 22758 0 -1 1077944384 2476 0 0 0 510 66 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231116188176 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23472] ppid=23466 vsize=28768336 memory=6791534058613427641 CPUtime=5.89 cores=0-7
/proc/23468/task/23472/stat : 23472 (java) S 23466 23466 22758 0 -1 1077944384 2062 0 0 0 514 75 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231115135376 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23473] ppid=23466 vsize=28768336 memory=111632 CPUtime=5.87 cores=0-7
/proc/23468/task/23473/stat : 23473 (java) S 23466 23466 22758 0 -1 1077944384 2802 0 0 0 508 79 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231114082576 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23474] ppid=23466 vsize=28768336 memory=796 CPUtime=5.75 cores=0-7
/proc/23468/task/23474/stat : 23474 (java) S 23466 23466 22758 0 -1 1077944384 2265 0 0 0 502 73 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231113030800 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23475] ppid=23466 vsize=28768336 memory=1804 CPUtime=5.85 cores=0-7
/proc/23468/task/23475/stat : 23475 (java) S 23466 23466 22758 0 -1 1077944384 2860 0 0 0 511 74 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231111978000 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23476] ppid=23466 vsize=28768336 memory=1436 CPUtime=5.76 cores=0-7
/proc/23468/task/23476/stat : 23476 (java) S 23466 23466 22758 0 -1 1077944384 2264 0 0 0 501 75 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231110925200 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23477] ppid=23466 vsize=28768336 memory=880 CPUtime=5.75 cores=0-7
/proc/23468/task/23477/stat : 23477 (java) S 23466 23466 22758 0 -1 1077944384 3018 0 0 0 501 74 0 0 20 0 28 0 511173375 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140231109872400 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23478] ppid=23466 vsize=28768336 memory=1980 CPUtime=1.43 cores=0-7
/proc/23468/task/23478/stat : 23478 (java) S 23466 23466 22758 0 -1 1077944384 11316 0 0 0 137 6 0 0 20 0 28 0 511173376 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230414887280 140231164631682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23479] ppid=23466 vsize=28768336 memory=2520 CPUtime=0 cores=0-7
/proc/23468/task/23479/stat : 23479 (java) S 23466 23466 22758 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 511173377 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230346663008 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23480] ppid=23466 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/23468/task/23480/stat : 23480 (java) S 23466 23466 22758 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 511173377 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230345610112 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23481] ppid=23466 vsize=28768336 memory=1660 CPUtime=0 cores=0-7
/proc/23468/task/23481/stat : 23481 (java) S 23466 23466 22758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230344558416 140231164639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23482] ppid=23466 vsize=28768336 memory=111632 CPUtime=5.57 cores=0-7
/proc/23468/task/23482/stat : 23482 (java) S 23466 23466 22758 0 -1 1077944384 39458 0 0 0 549 8 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230343506800 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23483] ppid=23466 vsize=28768336 memory=796 CPUtime=5.46 cores=0-7
/proc/23468/task/23483/stat : 23483 (java) S 23466 23466 22758 0 -1 1077944384 35798 0 0 0 541 5 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230342454000 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23484] ppid=23466 vsize=28768336 memory=1804 CPUtime=4.61 cores=0-7
/proc/23468/task/23484/stat : 23484 (java) S 23466 23466 22758 0 -1 1077944384 42853 0 0 0 455 6 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230341401200 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23485] ppid=23466 vsize=28768336 memory=916 CPUtime=1.12 cores=0-7
/proc/23468/task/23485/stat : 23485 (java) S 23466 23466 22758 0 -1 1077944384 27217 0 0 0 109 3 0 0 20 0 28 0 511173379 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230340348400 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23486] ppid=23466 vsize=28768336 memory=4252 CPUtime=0 cores=0-7
/proc/23468/task/23486/stat : 23486 (java) S 23466 23466 22758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511173380 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230339295840 140231164630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23487] ppid=23466 vsize=28768336 memory=6791534058613427641 CPUtime=0.93 cores=0-7
/proc/23468/task/23487/stat : 23487 (java) S 23466 23466 22758 0 -1 1077944384 3658 0 0 0 23 70 0 0 20 0 28 0 511173380 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230338243120 140231164631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23490] ppid=23466 vsize=28768336 memory=6791534058613427641 CPUtime=2471.48 cores=0-7
/proc/23468/task/23490/stat : 23490 (java) R 23466 23466 22758 0 -1 4202560 27797 0 0 0 247133 15 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230329260776 140230769129163 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23491] ppid=23466 vsize=28768336 memory=4872558044660077418 CPUtime=2496.99 cores=0-7
/proc/23468/task/23491/stat : 23491 (java) R 23466 23466 22758 0 -1 4202560 23592 0 0 0 249693 6 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230328209096 140230769129163 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23492] ppid=23466 vsize=28768336 memory=2520 CPUtime=2497.27 cores=0-7
/proc/23468/task/23492/stat : 23492 (java) R 23466 23466 22758 0 -1 4202560 42939 0 0 0 249714 13 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230327159656 140230776814508 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23493] ppid=23466 vsize=28768336 memory=1760 CPUtime=2479.24 cores=0-7
/proc/23468/task/23493/stat : 23493 (java) R 23466 23466 22758 0 -1 4202560 15911 0 0 0 247900 24 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230326104488 140230776814333 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23494] ppid=23466 vsize=28768336 memory=1660 CPUtime=2490.41 cores=0-7
/proc/23468/task/23494/stat : 23494 (java) R 23466 23466 22758 0 -1 4202560 16257 0 0 0 249028 13 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230325051672 140230773057365 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23495] ppid=23466 vsize=28768336 memory=111632 CPUtime=2496.16 cores=0-7
/proc/23468/task/23495/stat : 23495 (java) R 23466 23466 22758 0 -1 4202560 28767 0 0 0 249606 10 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230323998672 140230769129126 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23496] ppid=23466 vsize=28768336 memory=796 CPUtime=2495.79 cores=0-7
/proc/23468/task/23496/stat : 23496 (java) R 23466 23466 22758 0 -1 4202560 12564 0 0 0 249571 8 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230322946120 140230769129126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
[pid=23468/tid=23497] ppid=23466 vsize=28768336 memory=1804 CPUtime=2496.93 cores=0-7
/proc/23468/task/23497/stat : 23497 (java) R 23466 23466 22758 0 -1 4202560 10900 0 0 0 249674 19 0 0 20 0 28 0 511175047 29458776064 1065434 33554432000 4194304 4196468 140735249719920 140230321893320 140230769129404 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 33574912 140735249728470 140735249728646 140735249728646 140735249731535 0
Current children cumulated CPU time: 20004.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4263184 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 20004.9
CPU user time (s): 19997.1
CPU system time (s): 7.7237
CPU usage (%): 793.81
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 4263184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19997.1
system time used= 7.7237
maximum resident set size= 4262312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64099
involuntary context switches= 220332


# summary of solver processes directly reported to runsolver:
#   pid: 23466,23468
#   total CPU time (s): 20004.9
#   total CPU user time (s): 19997.1
#   total CPU system time (s): 7.7237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6181 second user time and 31.3492 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 21:15:52
IDJOB=4406895
IDBENCH=133801
IDSOLVER=2871
FILE ID=node147/4406895-1569352596
RUNJOBID= node147-1569350030-22785
PBS_JOBID= 21705092
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-40.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-4406895-1569352596/watcher-4406895-1569352596 -o /var/tmp/evaluation-result-4406895-1569352596/solver-4406895-1569352596 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569350030-22785 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1616145417 HOME/instance-4406895-1569352596.xml

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

MD5SUM BENCH= e27695e2b8dc2930e1e97c4ddd0ab1f7
RANDOM SEED=1616145417

node147.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.52
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.52
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.52
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.52
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:        25216408 kB
MemAvailable:   31777884 kB
Buffers:          142276 kB
Cached:          6478924 kB
SwapCached:        68688 kB
Active:          3292508 kB
Inactive:        3401280 kB
Active(anon):       4036 kB
Inactive(anon):   126000 kB
Active(file):    3288472 kB
Inactive(file):  3275280 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             26240 kB
Writeback:             0 kB
AnonPages:        168492 kB
Mapped:            57440 kB
Shmem:             49088 kB
Slab:             454936 kB
SReclaimable:     426184 kB
SUnreclaim:        28752 kB
KernelStack:        3472 kB
PageTables:         6140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node147 at 2019-09-24 21:57:52