Trace number 4393687

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-2_X2.xml
MD5SUMbca347db5d1c552995f700e5a754db73
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark165.879
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-4393687-1568436546.xml"  -tl '20160s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4393687-1568436546.xml, -tl, 20160s, -p, 8]
0.33/0.24	c 8 solvers in parallel
0.33/0.31	c parse instance...
3.42/1.16	c solve instance...
20043.30/2520.07	s UNKNOWN
20043.30/2520.07	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (14531 MiB free)
  memory of node 1: 16384 MiB (15608 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393687-1568436546/watcher-4393687-1568436546 -o /tmp/evaluation-result-4393687-1568436546/solver-4393687-1568436546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 778484409 HOME/instance-4393687-1568436546.xml 

running on 8 cores: 0-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=1969, runsolver pid=1966

[startup+0.10015 s]*
/proc/loadavg: 8.14 8.30 8.07 2/211 1990
/proc/meminfo: memFree=30848000/32770688 swapFree=66961112/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28227388 memory=28812 CPUtime=0.11 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 5660 0 0 0 10 1 0 0 20 0 20 0 419596322 28904845312 7203 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7056847 7203 3119 1 0 7019032 0
[pid=1971/tid=1972] ppid=1969 vsize=28227388 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) R 1969 1969 28528 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 20 0 419596322 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192850895392 140192846679446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28227388 memory=139657267025536 CPUtime=0 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1976] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1976/stat : 1976 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192394620048 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1977] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1977/stat : 1977 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192393566480 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1978] ppid=1969 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1971/task/1978/stat : 1978 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192392513936 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1979] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1979/stat : 1979 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192391461392 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1980] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1980/stat : 1980 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192390408848 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1981] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1981/stat : 1981 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192097155568 140192846678658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1982] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1982/stat : 1982 (java) S 1969 1969 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192096101792 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1983] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1983/stat : 1983 (java) S 1969 1969 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192027502064 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1984] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1984/stat : 1984 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192026450640 140192846686107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1985] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1985/stat : 1985 (java) S 1969 1969 28528 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192025397232 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1986] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1986/stat : 1986 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192024344688 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1987] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1987/stat : 1987 (java) S 1969 1969 28528 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192023292144 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1988] ppid=1969 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1971/task/1988/stat : 1988 (java) R 1969 1969 28528 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192022239600 140192825605772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1989] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1989/stat : 1989 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192021187296 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1990] ppid=1969 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1971/task/1990/stat : 1990 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596329 28904845312 7203 33554432000 4194304 4196468 140723916582864 140192020134832 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30264 KiB

[startup+0.211218 s]*
/proc/loadavg: 8.14 8.30 8.07 2/211 1990
/proc/meminfo: memFree=30834580/32770688 swapFree=66961112/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28227388 memory=40192 CPUtime=0.33 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 9296 0 0 0 30 3 0 0 20 0 20 0 419596322 28904845312 10048 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7056847 10048 3260 1 0 7019032 0
[pid=1971/tid=1972] ppid=1969 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) R 1969 1969 28528 0 -1 4202560 6548 0 0 0 18 2 0 0 20 0 20 0 419596322 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192850897728 140192447016064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28227388 memory=288370033418737280 CPUtime=0 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1976] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1976/stat : 1976 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192394620048 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1977] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1977/stat : 1977 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192393566480 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1978] ppid=1969 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1971/task/1978/stat : 1978 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192392513936 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1979] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1979/stat : 1979 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192391461392 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1980] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1980/stat : 1980 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596323 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192390408848 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1981] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1981/stat : 1981 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192097155568 140192846678658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1982] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1982/stat : 1982 (java) S 1969 1969 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192096101792 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1983] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1983/stat : 1983 (java) S 1969 1969 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419596325 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192027502064 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1984] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1984/stat : 1984 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192026450640 140192846686107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1985] ppid=1969 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1971/task/1985/stat : 1985 (java) S 1969 1969 28528 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192025397232 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1986] ppid=1969 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1971/task/1986/stat : 1986 (java) S 1969 1969 28528 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192024344688 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1987] ppid=1969 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/1971/task/1987/stat : 1987 (java) S 1969 1969 28528 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192023292144 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1988] ppid=1969 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/1971/task/1988/stat : 1988 (java) R 1969 1969 28528 0 -1 4202560 794 0 0 0 7 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192022239600 140192846679446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1989] ppid=1969 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1989/stat : 1989 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596328 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192021187296 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1990] ppid=1969 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1971/task/1990/stat : 1990 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596329 28904845312 10048 33554432000 4194304 4196468 140723916582864 140192020134832 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41644 KiB

[startup+0.310753 s]*
/proc/loadavg: 8.14 8.30 8.07 2/211 1990
/proc/meminfo: memFree=30828888/32770688 swapFree=66961112/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28231644 memory=46344 CPUtime=0.51 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 10479 0 0 0 47 4 0 0 20 0 20 0 419596322 28909203456 11586 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7057911 11586 3299 1 0 7019032 0
[pid=1971/tid=1972] ppid=1969 vsize=28231644 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) R 1969 1969 28528 0 -1 4202560 7547 0 0 0 27 3 0 0 20 0 20 0 419596322 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192850889024 140192846679446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28231644 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28231644 memory=2832 CPUtime=0 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28231644 memory=1564 CPUtime=0 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1976] ppid=1969 vsize=28231644 memory=8560 CPUtime=0 cores=0-7
/proc/1971/task/1976/stat : 1976 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192394620048 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1977] ppid=1969 vsize=28231644 memory=14008 CPUtime=0 cores=0-7
/proc/1971/task/1977/stat : 1977 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192393566480 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1978] ppid=1969 vsize=28231644 memory=4100 CPUtime=0 cores=0-7
/proc/1971/task/1978/stat : 1978 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192392513936 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1979] ppid=1969 vsize=28231644 memory=19152 CPUtime=0 cores=0-7
/proc/1971/task/1979/stat : 1979 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192391461392 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1980] ppid=1969 vsize=28231644 memory=14068 CPUtime=0 cores=0-7
/proc/1971/task/1980/stat : 1980 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596323 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192390408848 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1981] ppid=1969 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1981/stat : 1981 (java) S 1969 1969 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419596325 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192097155568 140192846678658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1982] ppid=1969 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1982/stat : 1982 (java) S 1969 1969 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419596325 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192096101792 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1983] ppid=1969 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1983/stat : 1983 (java) S 1969 1969 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419596325 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192027502064 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1984] ppid=1969 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1984/stat : 1984 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192026450640 140192846686107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1985] ppid=1969 vsize=28231644 memory=139657169962447 CPUtime=0.02 cores=0-7
/proc/1971/task/1985/stat : 1985 (java) S 1969 1969 28528 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192025397232 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1986] ppid=1969 vsize=28231644 memory=67 CPUtime=0.02 cores=0-7
/proc/1971/task/1986/stat : 1986 (java) S 1969 1969 28528 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192024344688 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1987] ppid=1969 vsize=28231644 memory=51172 CPUtime=0.03 cores=0-7
/proc/1971/task/1987/stat : 1987 (java) S 1969 1969 28528 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192023292144 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1988] ppid=1969 vsize=28231644 memory=53476 CPUtime=0.12 cores=0-7
/proc/1971/task/1988/stat : 1988 (java) S 1969 1969 28528 0 -1 1077944384 932 0 0 0 12 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192022239600 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1989] ppid=1969 vsize=28231644 memory=110297088 CPUtime=0 cores=0-7
/proc/1971/task/1989/stat : 1989 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419596328 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192021187296 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1990] ppid=1969 vsize=28231644 memory=115843071 CPUtime=0 cores=0-7
/proc/1971/task/1990/stat : 1990 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596329 28909203456 11651 33554432000 4194304 4196468 140723916582864 140192020134832 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 47796 KiB

[startup+0.700947 s]
/proc/loadavg: 8.14 8.30 8.07 5/211 1990
/proc/meminfo: memFree=30818692/32770688 swapFree=66961112/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28233768 memory=83092 CPUtime=1.61 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 14471 0 0 0 155 6 0 0 20 0 20 0 419596322 28911378432 20773 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7058442 20773 3445 1 0 7019544 0
[pid=1971/tid=1972] ppid=1969 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) R 1969 1969 28528 0 -1 4202560 9023 0 0 0 63 4 0 0 20 0 20 0 419596322 28911378432 20773 33554432000 4194304 4196468 140723916582864 140192850894752 140192838904638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28233768 memory=139657170166640 CPUtime=0 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419596323 28911378432 20773 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28911378432 20773 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28233768 memory=2044 CPUtime=0 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419596323 28911378432 20773 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0

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

[pid=1971/tid=1998] ppid=1969 vsize=28768328 memory=5932 CPUtime=2416.93 cores=0-7
/proc/1971/task/1998/stat : 1998 (java) R 1969 1969 28528 0 -1 4202560 23174 0 0 0 241671 22 0 0 20 0 28 0 419596441 29458767872 533193 33554432000 4194304 4196468 140723916582864 140192003793256 140192458154303 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 19425.2 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2134224 KiB

[startup+2502.3 s]
/proc/loadavg: 8.20 8.21 8.31 9/220 2219
/proc/meminfo: memFree=28805388/32770688 swapFree=66961116/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28768328 memory=2064028 CPUtime=19902.6 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 1159797 0 0 0 1988691 1564 0 0 20 0 28 0 419596322 29458767872 516007 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7192082 516007 3551 1 0 7153184 0
[pid=1971/tid=1972] ppid=1969 vsize=28768328 memory=39848 CPUtime=1.13 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) S 1969 1969 28528 0 -1 1077944384 9653 0 0 0 108 5 0 0 20 0 28 0 419596322 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192850908288 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28768328 memory=1133 CPUtime=11.37 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 43650 0 0 0 1063 74 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28768328 memory=1133 CPUtime=11.33 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 40812 0 0 0 1058 75 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28768328 memory=2070696 CPUtime=11.3 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 37690 0 0 0 1054 76 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1976] ppid=1969 vsize=28768328 memory=2172784 CPUtime=11.39 cores=0-7
/proc/1971/task/1976/stat : 1976 (java) S 1969 1969 28528 0 -1 1077944384 43486 0 0 0 1064 75 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192394620048 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1977] ppid=1969 vsize=28768328 memory=279314341580448 CPUtime=11.41 cores=0-7
/proc/1971/task/1977/stat : 1977 (java) S 1969 1969 28528 0 -1 1077944384 42935 0 0 0 1067 74 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192393566480 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1978] ppid=1969 vsize=28768328 memory=7307482274321753920 CPUtime=11.37 cores=0-7
/proc/1971/task/1978/stat : 1978 (java) S 1969 1969 28528 0 -1 1077944384 38978 0 0 0 1062 75 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192392513936 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1979] ppid=1969 vsize=28768328 memory=6944656425123485561 CPUtime=11.34 cores=0-7
/proc/1971/task/1979/stat : 1979 (java) S 1969 1969 28528 0 -1 1077944384 34205 0 0 0 1061 73 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192391461392 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1980] ppid=1969 vsize=28768328 memory=7887610716980917300 CPUtime=11.34 cores=0-7
/proc/1971/task/1980/stat : 1980 (java) S 1969 1969 28528 0 -1 1077944384 37342 0 0 0 1060 74 0 0 20 0 28 0 419596323 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192390408848 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1981] ppid=1969 vsize=28768328 memory=1452 CPUtime=3.74 cores=0-7
/proc/1971/task/1981/stat : 1981 (java) S 1969 1969 28528 0 -1 1077944384 131428 0 0 0 245 129 0 0 20 0 28 0 419596325 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192097155568 140192846678658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1982] ppid=1969 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/1971/task/1982/stat : 1982 (java) S 1969 1969 28528 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 419596325 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192096101856 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1983] ppid=1969 vsize=28768328 memory=2067620 CPUtime=0 cores=0-7
/proc/1971/task/1983/stat : 1983 (java) S 1969 1969 28528 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 419596325 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192027502080 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1984] ppid=1969 vsize=28768328 memory=8560 CPUtime=0 cores=0-7
/proc/1971/task/1984/stat : 1984 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192026450640 140192846686107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1985] ppid=1969 vsize=28768328 memory=14008 CPUtime=3.01 cores=0-7
/proc/1971/task/1985/stat : 1985 (java) S 1969 1969 28528 0 -1 1077944384 18315 0 0 0 298 3 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192025397232 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1986] ppid=1969 vsize=28768328 memory=19196 CPUtime=4.15 cores=0-7
/proc/1971/task/1986/stat : 1986 (java) S 1969 1969 28528 0 -1 1077944384 19526 0 0 0 412 3 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192024344688 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1987] ppid=1969 vsize=28768328 memory=288230574492221466 CPUtime=3.46 cores=0-7
/proc/1971/task/1987/stat : 1987 (java) S 1969 1969 28528 0 -1 1077944384 24668 0 0 0 343 3 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192023292144 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1988] ppid=1969 vsize=28768328 memory=288230596050944315 CPUtime=1.18 cores=0-7
/proc/1971/task/1988/stat : 1988 (java) S 1969 1969 28528 0 -1 1077944384 17945 0 0 0 114 4 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192022239600 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1989] ppid=1969 vsize=28768328 memory=15541833904162916 CPUtime=0 cores=0-7
/proc/1971/task/1989/stat : 1989 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419596328 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192021187296 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1990] ppid=1969 vsize=28768328 memory=2065568 CPUtime=0.75 cores=0-7
/proc/1971/task/1990/stat : 1990 (java) S 1969 1969 28528 0 -1 1077944384 7523 0 0 0 25 50 0 0 20 0 28 0 419596329 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192020134832 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1991] ppid=1969 vsize=28768328 memory=1452 CPUtime=2476.22 cores=0-7
/proc/1971/task/1991/stat : 1991 (java) R 1969 1969 28528 0 -1 4202560 29318 0 0 0 247593 29 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192011160952 140192453332539 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1992] ppid=1969 vsize=28768328 memory=2068132 CPUtime=2472.98 cores=0-7
/proc/1971/task/1992/stat : 1992 (java) R 1969 1969 28528 0 -1 4202560 27122 0 0 0 247272 26 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192010109528 140192828073728 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1993] ppid=1969 vsize=28768328 memory=1452 CPUtime=2472.46 cores=0-7
/proc/1971/task/1993/stat : 1993 (java) R 1969 1969 28528 0 -1 4202560 200266 0 0 0 247067 179 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192009055536 140192457599491 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1994] ppid=1969 vsize=28768328 memory=1452 CPUtime=2470.09 cores=0-7
/proc/1971/task/1994/stat : 1994 (java) R 1969 1969 28528 0 -1 4202560 46936 0 0 0 246942 67 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192008006128 140192454403141 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1995] ppid=1969 vsize=28768328 memory=1452 CPUtime=2474.17 cores=0-7
/proc/1971/task/1995/stat : 1995 (java) R 1969 1969 28528 0 -1 4202560 120385 0 0 0 247172 245 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192006950920 140192453332539 0 4 0 16800975 0 0 0 -1 3 0 0 33 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1996] ppid=1969 vsize=28768328 memory=1452 CPUtime=2476.06 cores=0-7
/proc/1971/task/1996/stat : 1996 (java) R 1969 1969 28528 0 -1 4202560 64595 0 0 0 247515 91 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192005898280 140192453332624 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1997] ppid=1969 vsize=28768328 memory=2065568 CPUtime=2475.59 cores=0-7
/proc/1971/task/1997/stat : 1997 (java) R 1969 1969 28528 0 -1 4202560 98060 0 0 0 247386 173 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192004846344 140192453332450 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1998] ppid=1969 vsize=28768328 memory=2044 CPUtime=2476.48 cores=0-7
/proc/1971/task/1998/stat : 1998 (java) R 1969 1969 28528 0 -1 4202560 23568 0 0 0 247625 23 0 0 20 0 28 0 419596441 29458767872 516007 33554432000 4194304 4196468 140723916582864 140192003793256 140192454674065 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 19902.6 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2065480 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.22 8.31 9/219 2220
/proc/meminfo: memFree=28823740/32770688 swapFree=66961116/67108860
[pid=1969] ppid=1966 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1969/stat : 1969 (xcsp3-exec) S 1966 1969 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419596322 115843072 363 33554432000 4194304 5098028 140735305265168 140735305263272 139871871226492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18960384 140735305274230 140735305274473 140735305274473 140735305277386 0
/proc/1969/statm: 28282 363 304 221 0 87 0
[pid=1971] ppid=1969 vsize=28768328 memory=2046260 CPUtime=20043.3 cores=0-7
/proc/1971/stat : 1971 (java) S 1969 1969 28528 0 -1 1077944320 1172268 0 0 0 2002745 1585 0 0 20 0 28 0 419596322 29458767872 511565 33554432000 4194304 4196468 140723916582864 140723916565408 140192846667511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
/proc/1971/statm: 7192082 511565 3551 1 0 7153184 0
[pid=1971/tid=1972] ppid=1969 vsize=28768328 memory=6935054825532540783 CPUtime=1.13 cores=0-7
/proc/1971/task/1972/stat : 1972 (java) S 1969 1969 28528 0 -1 1077944384 9653 0 0 0 108 5 0 0 20 0 28 0 419596322 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192850908288 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1973] ppid=1969 vsize=28768328 memory=4126316290023845779 CPUtime=11.57 cores=0-7
/proc/1971/task/1973/stat : 1973 (java) S 1969 1969 28528 0 -1 1077944384 44230 0 0 0 1083 74 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192397777680 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1974] ppid=1969 vsize=28768328 memory=301 CPUtime=11.53 cores=0-7
/proc/1971/task/1974/stat : 1974 (java) S 1969 1969 28528 0 -1 1077944384 41350 0 0 0 1077 76 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192396725136 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1975] ppid=1969 vsize=28768328 memory=415 CPUtime=11.5 cores=0-7
/proc/1971/task/1975/stat : 1975 (java) S 1969 1969 28528 0 -1 1077944384 38465 0 0 0 1074 76 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192395672592 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1976] ppid=1969 vsize=28768328 memory=279314342970016 CPUtime=11.59 cores=0-7
/proc/1971/task/1976/stat : 1976 (java) S 1969 1969 28528 0 -1 1077944384 44085 0 0 0 1084 75 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192394620048 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1977] ppid=1969 vsize=28768328 memory=7086507942007230552 CPUtime=11.61 cores=0-7
/proc/1971/task/1977/stat : 1977 (java) S 1969 1969 28528 0 -1 1077944384 43179 0 0 0 1087 74 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192393566480 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1978] ppid=1969 vsize=28768328 memory=288230574492221466 CPUtime=11.56 cores=0-7
/proc/1971/task/1978/stat : 1978 (java) S 1969 1969 28528 0 -1 1077944384 39467 0 0 0 1081 75 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192392513936 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1979] ppid=1969 vsize=28768328 memory=288230596050944315 CPUtime=11.54 cores=0-7
/proc/1971/task/1979/stat : 1979 (java) S 1969 1969 28528 0 -1 1077944384 34442 0 0 0 1081 73 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192391461392 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1980] ppid=1969 vsize=28768328 memory=15541833904162916 CPUtime=11.54 cores=0-7
/proc/1971/task/1980/stat : 1980 (java) S 1969 1969 28528 0 -1 1077944384 37713 0 0 0 1080 74 0 0 20 0 28 0 419596323 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192390408848 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1981] ppid=1969 vsize=28768328 memory=1564 CPUtime=3.77 cores=0-7
/proc/1971/task/1981/stat : 1981 (java) S 1969 1969 28528 0 -1 1077944384 133302 0 0 0 248 129 0 0 20 0 28 0 419596325 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192097155568 140192846678658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1982] ppid=1969 vsize=28768328 memory=8560 CPUtime=0 cores=0-7
/proc/1971/task/1982/stat : 1982 (java) S 1969 1969 28528 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 419596325 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192096101856 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1983] ppid=1969 vsize=28768328 memory=14008 CPUtime=0 cores=0-7
/proc/1971/task/1983/stat : 1983 (java) S 1969 1969 28528 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 419596325 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192027502080 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1984] ppid=1969 vsize=28768328 memory=19196 CPUtime=0 cores=0-7
/proc/1971/task/1984/stat : 1984 (java) S 1969 1969 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192026450640 140192846686107 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1985] ppid=1969 vsize=28768328 memory=14068 CPUtime=3.01 cores=0-7
/proc/1971/task/1985/stat : 1985 (java) S 1969 1969 28528 0 -1 1077944384 18321 0 0 0 298 3 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192025397232 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1986] ppid=1969 vsize=28768328 memory=2120 CPUtime=4.15 cores=0-7
/proc/1971/task/1986/stat : 1986 (java) S 1969 1969 28528 0 -1 1077944384 19532 0 0 0 412 3 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192024344688 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1987] ppid=1969 vsize=28768328 memory=496 CPUtime=3.46 cores=0-7
/proc/1971/task/1987/stat : 1987 (java) S 1969 1969 28528 0 -1 1077944384 24674 0 0 0 343 3 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192023292144 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1988] ppid=1969 vsize=28768328 memory=1556 CPUtime=1.18 cores=0-7
/proc/1971/task/1988/stat : 1988 (java) S 1969 1969 28528 0 -1 1077944384 17951 0 0 0 114 4 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192022239600 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1989] ppid=1969 vsize=28768328 memory=928 CPUtime=0 cores=0-7
/proc/1971/task/1989/stat : 1989 (java) S 1969 1969 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419596328 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192021187296 140192846677717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1990] ppid=1969 vsize=28768328 memory=8112282956445269571 CPUtime=0.75 cores=0-7
/proc/1971/task/1990/stat : 1990 (java) S 1969 1969 28528 0 -1 1077944384 7586 0 0 0 25 50 0 0 20 0 28 0 419596329 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192020134832 140192846678658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1991] ppid=1969 vsize=28768328 memory=2050880 CPUtime=2493.64 cores=0-7
/proc/1971/task/1991/stat : 1991 (java) R 1969 1969 28528 0 -1 4202560 29667 0 0 0 249334 30 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192011160952 140192453332427 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1992] ppid=1969 vsize=28768328 memory=2120 CPUtime=2490.37 cores=0-7
/proc/1971/task/1992/stat : 1992 (java) R 1969 1969 28528 0 -1 4202560 27474 0 0 0 249011 26 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192010109912 140192458154222 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1993] ppid=1969 vsize=28768328 memory=496 CPUtime=2489.89 cores=0-7
/proc/1971/task/1993/stat : 1993 (java) R 1969 1969 28528 0 -1 4202560 202677 0 0 0 248808 181 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192009055784 140192455670128 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1994] ppid=1969 vsize=28768328 memory=1556 CPUtime=2487.55 cores=0-7
/proc/1971/task/1994/stat : 1994 (java) R 1969 1969 28528 0 -1 4202560 47752 0 0 0 248685 70 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192008003280 140192453332336 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1995] ppid=1969 vsize=28768328 memory=928 CPUtime=2491.63 cores=0-7
/proc/1971/task/1995/stat : 1995 (java) R 1969 1969 28528 0 -1 4202560 121714 0 0 0 248910 253 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192006950880 140192458221736 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1996] ppid=1969 vsize=28768328 memory=8112282956445269571 CPUtime=2493.35 cores=0-7
/proc/1971/task/1996/stat : 1996 (java) R 1969 1969 28528 0 -1 4202560 65215 0 0 0 249238 97 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192005901056 140192455201722 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1997] ppid=1969 vsize=28768328 memory=19196 CPUtime=2492.92 cores=0-7
/proc/1971/task/1997/stat : 1997 (java) R 1969 1969 28528 0 -1 4202560 98570 0 0 0 249119 173 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192004846048 140192458154303 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
[pid=1971/tid=1998] ppid=1969 vsize=28768328 memory=288230574492221466 CPUtime=2493.85 cores=0-7
/proc/1971/task/1998/stat : 1998 (java) R 1969 1969 28528 0 -1 4202560 23858 0 0 0 249362 23 0 0 20 0 28 0 419596441 29458767872 511565 33554432000 4194304 4196468 140723916582864 140192003793256 140192458154333 0 4 0 16800975 0 0 0 -1 7 0 0 23 0 0 6293624 6294260 17252352 140723916588010 140723916588182 140723916588182 140723916591055 0
Current children cumulated CPU time: 20043.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2047712 KiB

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

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

[startup+2520.1 s]
# the end of solver process 1971 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20028.1 s, system=15.8732 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): 20043.9
CPU user time (s): 20028.1
CPU system time (s): 15.8732
CPU usage (%): 795.363
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 2633096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20028.1
system time used= 15.8732
maximum resident set size= 2633692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173135
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192082
involuntary context switches= 231491


# summary of solver processes directly reported to runsolver:
#   pid: 1969,1971
#   total CPU time (s): 20043.9
#   total CPU user time (s): 20028.1
#   total CPU system time (s): 15.8732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4581 second user time and 30.2205 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-14 06:48:25
IDJOB=4393687
IDBENCH=134577
IDSOLVER=2841
FILE ID=node116/4393687-1568436546
RUNJOBID= node116-1568427322-28555
PBS_JOBID= 21702297
Free space on /tmp= 61244 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-2_X2.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393687-1568436546/watcher-4393687-1568436546 -o /tmp/evaluation-result-4393687-1568436546/solver-4393687-1568436546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 778484409 HOME/instance-4393687-1568436546.xml

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

MD5SUM BENCH= bca347db5d1c552995f700e5a754db73
RANDOM SEED=778484409

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        30863908 kB
MemAvailable:   31856324 kB
Buffers:           85248 kB
Cached:          1192624 kB
SwapCached:        46656 kB
Active:           945784 kB
Inactive:         383912 kB
Active(anon):       3656 kB
Inactive(anon):    88336 kB
Active(file):     942128 kB
Inactive(file):   295576 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       66961112 kB
Dirty:             26184 kB
Writeback:             0 kB
AnonPages:        127400 kB
Mapped:            44060 kB
Shmem:             32004 kB
Slab:             169272 kB
SReclaimable:     141092 kB
SUnreclaim:        28180 kB
KernelStack:        3712 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     497604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61216 MiB
End job on node116 at 2019-09-14 07:30:26