Trace number 4297763

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 4.0.7b par (e747e1e)? (TO) 19912.2 2520.11

General information on the benchmark

NameSportsScheduling/
SportsScheduling-16_c18.xml
MD5SUM5770900a9b2cb93904bf32b5a50ba98d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark437.483
Satisfiable
(Un)Satisfiability was proved
Number of variables376
Number of constraints184
Number of domains2
Minimum domain size16
Maximum domain size120
Distribution of domain sizes[{"size":16,"count":256},{"size":120,"count":120}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":128},{"degree":4,"count":248}]
Minimum constraint arity1
Maximum constraint arity120
Distribution of constraint arities[{"arity":1,"count":8},{"arity":2,"count":8},{"arity":3,"count":120},{"arity":8,"count":15},{"arity":16,"count":16},{"arity":30,"count":8},{"arity":32,"count":8},{"arity":120,"count":1}]
Number of extensional constraints120
Number of intensional constraints16
Distribution of constraint types[{"type":"extension","count":120},{"type":"intension","count":16},{"type":"allDifferent","count":17},{"type":"count","count":15},{"type":"cardinality","count":16}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297763-1532730069.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297763-1532730069.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.13/0.81	c solve instance...
19911.43/2520.08	s UNKNOWN
19911.43/2520.08	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297763-1532730069/watcher-4297763-1532730069 -o /tmp/evaluation-result-4297763-1532730069/solver-4297763-1532730069 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532724458-31556 --watchdog 2580 HOME/xcsp3-exec -seed 603421616 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297763-1532730069.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=1009, runsolver pid=1005

[startup+0.100117 s]*
/proc/loadavg: 7.69 8.10 8.18 3/200 1034
/proc/meminfo: memFree=28125284/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26104152 memory=27500 CPUtime=0.11 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 5800 0 0 0 10 1 0 0 20 0 20 0 90570196 26730651648 6875 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6526038 6875 2993 1 0 6488315 0
[pid=1011/tid=1012] ppid=1009 vsize=26104152 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) R 1009 1009 31529 0 -1 4202560 3812 0 0 0 8 0 0 0 20 0 20 0 90570196 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461065682776 140461061475734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26104152 memory=140065949845120 CPUtime=0 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1017] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1017/stat : 1017 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461010926736 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1018] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1018/stat : 1018 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461009873168 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1019] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1019/stat : 1019 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461008820624 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1020] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1020/stat : 1020 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461007768080 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1021] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1021/stat : 1021 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 6875 33554432000 4194304 4196468 140720695524608 140461006715536 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1022] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1022/stat : 1022 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570198 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459265985008 140461061474946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1023] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1023/stat : 1023 (java) S 1009 1009 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90570199 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459264931232 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1024] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1024/stat : 1024 (java) S 1009 1009 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90570199 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459263878640 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1026] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1026/stat : 1026 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459262827216 140461061482395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1027] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1027/stat : 1027 (java) R 1009 1009 31529 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459261773808 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1028] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1028/stat : 1028 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459260721264 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1029] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1029/stat : 1029 (java) S 1009 1009 31529 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459259668720 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1030] ppid=1009 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1011/task/1030/stat : 1030 (java) R 1009 1009 31529 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 90570202 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459258616176 140461039983950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1031] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1031/stat : 1031 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570202 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459257563872 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1034] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1034/stat : 1034 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570202 26730651648 6875 33554432000 4194304 4196468 140720695524608 140459256511408 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28952 KiB

[startup+0.21044 s]*
/proc/loadavg: 7.69 8.10 8.18 3/200 1034
/proc/meminfo: memFree=28114616/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26104152 memory=38992 CPUtime=0.33 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 8347 0 0 0 31 2 0 0 20 0 20 0 90570196 26730651648 9748 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6526038 9748 3146 1 0 6488315 0
[pid=1011/tid=1012] ppid=1009 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) S 1009 1009 31529 0 -1 1077944384 5576 0 0 0 19 1 0 0 20 0 20 0 90570196 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461065698784 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26104152 memory=330 CPUtime=0 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26104152 memory=288370442101556864 CPUtime=0 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1017] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1017/stat : 1017 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461010926736 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1018] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1018/stat : 1018 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461009873168 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1019] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1019/stat : 1019 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461008820624 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1020] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1020/stat : 1020 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461007768080 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1021] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1021/stat : 1021 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26730651648 9748 33554432000 4194304 4196468 140720695524608 140461006715536 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1022] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1022/stat : 1022 (java) S 1009 1009 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90570198 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459265985008 140461061474946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1023] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1023/stat : 1023 (java) S 1009 1009 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90570199 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459264931232 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1024] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1024/stat : 1024 (java) S 1009 1009 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90570199 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459263878640 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1026] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1026/stat : 1026 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459262827216 140461061482395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1027] ppid=1009 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/1011/task/1027/stat : 1027 (java) S 1009 1009 31529 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 90570201 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459261773808 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1028] ppid=1009 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1011/task/1028/stat : 1028 (java) S 1009 1009 31529 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 90570201 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459260721264 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1029] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1029/stat : 1029 (java) S 1009 1009 31529 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 90570201 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459259668720 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1030] ppid=1009 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/1011/task/1030/stat : 1030 (java) S 1009 1009 31529 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 20 0 90570202 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459258616176 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1031] ppid=1009 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1031/stat : 1031 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570202 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459257563872 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1034] ppid=1009 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1034/stat : 1034 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570202 26730651648 9748 33554432000 4194304 4196468 140720695524608 140459256511408 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40444 KiB

[startup+0.310354 s]*
/proc/loadavg: 7.69 8.10 8.18 4/200 1034
/proc/meminfo: memFree=28108164/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26108408 memory=46268 CPUtime=0.51 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 9267 0 0 0 49 2 0 0 20 0 20 0 90570196 26735009792 11567 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6527102 11567 3259 1 0 6488315 0
[pid=1011/tid=1012] ppid=1009 vsize=26108408 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) R 1009 1009 31529 0 -1 4202560 6263 0 0 0 28 1 0 0 20 0 20 0 90570196 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461065699584 140461045544286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26108408 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26108408 memory=1944 CPUtime=0 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26108408 memory=1428 CPUtime=0 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1017] ppid=1009 vsize=26108408 memory=8500 CPUtime=0 cores=0-7
/proc/1011/task/1017/stat : 1017 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461010926736 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1018] ppid=1009 vsize=26108408 memory=792 CPUtime=0 cores=0-7
/proc/1011/task/1018/stat : 1018 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461009873168 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1019] ppid=1009 vsize=26108408 memory=1008 CPUtime=0 cores=0-7
/proc/1011/task/1019/stat : 1019 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461008820624 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1020] ppid=1009 vsize=26108408 memory=1228 CPUtime=0 cores=0-7
/proc/1011/task/1020/stat : 1020 (java) S 1009 1009 31529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461007768080 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1021] ppid=1009 vsize=26108408 memory=1200 CPUtime=0 cores=0-7
/proc/1011/task/1021/stat : 1021 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26735009792 11636 33554432000 4194304 4196468 140720695524608 140461006715536 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1022] ppid=1009 vsize=26108408 memory=15876 CPUtime=0 cores=0-7
/proc/1011/task/1022/stat : 1022 (java) S 1009 1009 31529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90570198 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459265985008 140461061474946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1023] ppid=1009 vsize=26108408 memory=18268 CPUtime=0 cores=0-7
/proc/1011/task/1023/stat : 1023 (java) S 1009 1009 31529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90570199 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459264931232 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1024] ppid=1009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1024/stat : 1024 (java) S 1009 1009 31529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90570199 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459263878640 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1026] ppid=1009 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1026/stat : 1026 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570201 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459262827216 140461061482395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1027] ppid=1009 vsize=26108408 memory=0 CPUtime=0.03 cores=0-7
/proc/1011/task/1027/stat : 1027 (java) S 1009 1009 31529 0 -1 1077944384 418 0 0 0 3 0 0 0 20 0 20 0 90570201 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459261773808 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1028] ppid=1009 vsize=26108408 memory=0 CPUtime=0.03 cores=0-7
/proc/1011/task/1028/stat : 1028 (java) R 1009 1009 31529 0 -1 4202560 186 0 0 0 3 0 0 0 20 0 20 0 90570201 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459260711648 140461042981621 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1029] ppid=1009 vsize=26108408 memory=0 CPUtime=0.01 cores=0-7
/proc/1011/task/1029/stat : 1029 (java) S 1009 1009 31529 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 90570201 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459259668720 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1030] ppid=1009 vsize=26108408 memory=140065795835375 CPUtime=0.12 cores=0-7
/proc/1011/task/1030/stat : 1030 (java) S 1009 1009 31529 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 20 0 90570202 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459258616176 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1031] ppid=1009 vsize=26108408 memory=140065795863412 CPUtime=0 cores=0-7
/proc/1011/task/1031/stat : 1031 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570202 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459257563872 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1034] ppid=1009 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/1011/task/1034/stat : 1034 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570202 26735009792 11636 33554432000 4194304 4196468 140720695524608 140459256511408 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47720 KiB

[startup+0.700958 s]
/proc/loadavg: 7.69 8.10 8.18 3/200 1034
/proc/meminfo: memFree=28094156/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26110532 memory=81316 CPUtime=1.63 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 12477 0 0 0 159 4 0 0 20 0 20 0 90570196 26737184768 20329 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6527633 20329 3363 1 0 6488827 0
[pid=1011/tid=1012] ppid=1009 vsize=26110532 memory=0 CPUtime=0.67 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) R 1009 1009 31529 0 -1 4202560 7283 0 0 0 65 2 0 0 20 0 20 0 90570196 26737184768 20329 33554432000 4194304 4196468 140720695524608 140461065700544 140460685726885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26110532 memory=140065796039536 CPUtime=0 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26737184768 20329 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90570197 26737184768 20329 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90570197 26737184768 20329 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0

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

[pid=1011/tid=1043] ppid=1009 vsize=26645092 memory=1292 CPUtime=2396.62 cores=0-7
/proc/1011/task/1043/stat : 1043 (java) R 1009 1009 31529 0 -1 4202560 57160 0 0 0 239611 51 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458930589952 140460687456524 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 19296.7 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1048488 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.24 8.24 9/210 1104
/proc/meminfo: memFree=27105916/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26645092 memory=1047036 CPUtime=19771.2 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 1014251 0 0 0 1976069 1051 0 0 20 0 28 0 90570196 27284574208 261759 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6661273 261759 3451 1 0 6622467 0
[pid=1011/tid=1012] ppid=1009 vsize=26645092 memory=1047036 CPUtime=0.79 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) S 1009 1009 31529 0 -1 1077944384 7402 0 0 0 77 2 0 0 20 0 28 0 90570196 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461065704576 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26645092 memory=1047036 CPUtime=12.92 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 45504 0 0 0 1253 39 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26645092 memory=1452 CPUtime=12.94 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 47151 0 0 0 1248 46 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26645092 memory=1047036 CPUtime=12.9 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 49684 0 0 0 1245 45 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1017] ppid=1009 vsize=26645092 memory=1047036 CPUtime=12.88 cores=0-7
/proc/1011/task/1017/stat : 1017 (java) S 1009 1009 31529 0 -1 1077944384 40417 0 0 0 1247 41 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461010926736 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1018] ppid=1009 vsize=26645092 memory=1452 CPUtime=12.92 cores=0-7
/proc/1011/task/1018/stat : 1018 (java) S 1009 1009 31529 0 -1 1077944384 44456 0 0 0 1247 45 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461009873168 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1019] ppid=1009 vsize=26645092 memory=280131592075720 CPUtime=12.93 cores=0-7
/proc/1011/task/1019/stat : 1019 (java) S 1009 1009 31529 0 -1 1077944384 47863 0 0 0 1248 45 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461008820624 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1020] ppid=1009 vsize=26645092 memory=0 CPUtime=12.83 cores=0-7
/proc/1011/task/1020/stat : 1020 (java) S 1009 1009 31529 0 -1 1077944384 41329 0 0 0 1236 47 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461007768080 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1021] ppid=1009 vsize=26645092 memory=1047036 CPUtime=12.93 cores=0-7
/proc/1011/task/1021/stat : 1021 (java) S 1009 1009 31529 0 -1 1077944384 42599 0 0 0 1252 41 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461006715536 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1022] ppid=1009 vsize=26645092 memory=1452 CPUtime=12.01 cores=0-7
/proc/1011/task/1022/stat : 1022 (java) S 1009 1009 31529 0 -1 1077944384 176072 0 0 0 821 380 0 0 20 0 28 0 90570198 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459265985008 140461061474946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1023] ppid=1009 vsize=26645092 memory=4136 CPUtime=0 cores=0-7
/proc/1011/task/1023/stat : 1023 (java) S 1009 1009 31529 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90570199 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459264931232 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1024] ppid=1009 vsize=26645092 memory=956 CPUtime=0 cores=0-7
/proc/1011/task/1024/stat : 1024 (java) S 1009 1009 31529 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 90570199 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459263878640 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1026] ppid=1009 vsize=26645092 memory=4100 CPUtime=0 cores=0-7
/proc/1011/task/1026/stat : 1026 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459262827216 140461061482395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1027] ppid=1009 vsize=26645092 memory=4136 CPUtime=2.34 cores=0-7
/proc/1011/task/1027/stat : 1027 (java) S 1009 1009 31529 0 -1 1077944384 16719 0 0 0 230 4 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459261773808 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1028] ppid=1009 vsize=26645092 memory=26344 CPUtime=2.64 cores=0-7
/proc/1011/task/1028/stat : 1028 (java) S 1009 1009 31529 0 -1 1077944384 13759 0 0 0 262 2 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459260721264 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1029] ppid=1009 vsize=26645092 memory=7892 CPUtime=2.69 cores=0-7
/proc/1011/task/1029/stat : 1029 (java) S 1009 1009 31529 0 -1 1077944384 11696 0 0 0 266 3 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459259668720 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1030] ppid=1009 vsize=26645092 memory=840 CPUtime=0.88 cores=0-7
/proc/1011/task/1030/stat : 1030 (java) S 1009 1009 31529 0 -1 1077944384 11430 0 0 0 85 3 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459258616176 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1031] ppid=1009 vsize=26645092 memory=280131593432192 CPUtime=0 cores=0-7
/proc/1011/task/1031/stat : 1031 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459257563872 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1034] ppid=1009 vsize=26645092 memory=280131592999168 CPUtime=0.92 cores=0-7
/proc/1011/task/1034/stat : 1034 (java) S 1009 1009 31529 0 -1 1077944384 7211 0 0 0 92 0 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459256511408 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1036] ppid=1009 vsize=26645092 memory=1452 CPUtime=2455.94 cores=0-7
/proc/1011/task/1036/stat : 1036 (java) R 1009 1009 31529 0 -1 4202560 38836 0 0 0 245560 34 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458940054800 140460687456312 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1037] ppid=1009 vsize=26645092 memory=1452 CPUtime=2455.69 cores=0-7
/proc/1011/task/1037/stat : 1037 (java) R 1009 1009 31529 0 -1 4202560 44488 0 0 0 245533 36 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458936908688 140460689376864 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1038] ppid=1009 vsize=26645092 memory=1047036 CPUtime=2456.98 cores=0-7
/proc/1011/task/1038/stat : 1038 (java) R 1009 1009 31529 0 -1 4202560 72721 0 0 0 245629 69 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458935852808 140460687314167 0 4 0 16800975 0 0 0 -1 7 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1039] ppid=1009 vsize=26645092 memory=1452 CPUtime=2454.26 cores=0-7
/proc/1011/task/1039/stat : 1039 (java) R 1009 1009 31529 0 -1 4202560 69296 0 0 0 245345 81 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458934800128 140460688410061 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1040] ppid=1009 vsize=26645092 memory=1452 CPUtime=2454.56 cores=0-7
/proc/1011/task/1040/stat : 1040 (java) R 1009 1009 31529 0 -1 4202560 44731 0 0 0 245423 33 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458933747584 140460689376458 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1041] ppid=1009 vsize=26645092 memory=1047036 CPUtime=2456.41 cores=0-7
/proc/1011/task/1041/stat : 1041 (java) R 1009 1009 31529 0 -1 4202560 49092 0 0 0 245601 40 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458932695024 140460687455587 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1042] ppid=1009 vsize=26645092 memory=1452 CPUtime=2456.11 cores=0-7
/proc/1011/task/1042/stat : 1042 (java) R 1009 1009 31529 0 -1 4202560 32129 0 0 0 245578 33 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458931642496 140460689038578 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1043] ppid=1009 vsize=26645092 memory=26364 CPUtime=2455.53 cores=0-7
/proc/1011/task/1043/stat : 1043 (java) R 1009 1009 31529 0 -1 4202560 58329 0 0 0 245501 52 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458930589888 140460689038535 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 19771.2 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1048488 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.14 8.24 8.24 9/210 1104
/proc/meminfo: memFree=27106156/32770624 swapFree=67108792/67108860
[pid=1009] ppid=1005 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1009/stat : 1009 (xcsp3-exec) S 1005 1009 31529 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 90570195 115843072 363 33554432000 4194304 5098028 140722437164240 140722437162344 140049777554044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33800192 140722437166134 140722437166336 140722437166336 140722437169098 0
/proc/1009/statm: 28282 363 306 221 0 87 0
[pid=1011] ppid=1009 vsize=26645092 memory=1047036 CPUtime=19911.4 cores=0-7
/proc/1011/stat : 1011 (java) S 1009 1009 31529 0 -1 1077944320 1027252 0 0 0 1990084 1059 0 0 20 0 28 0 90570196 27284574208 261759 33554432000 4194304 4196468 140720695524608 140720695507152 140461061463799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
/proc/1011/statm: 6661273 261759 3451 1 0 6622467 0
[pid=1011/tid=1012] ppid=1009 vsize=26645092 memory=7308610356020210277 CPUtime=0.79 cores=0-7
/proc/1011/task/1012/stat : 1012 (java) S 1009 1009 31529 0 -1 1077944384 7402 0 0 0 77 2 0 0 20 0 28 0 90570196 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461065704576 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1013] ppid=1009 vsize=26645092 memory=4872558044660077418 CPUtime=13.02 cores=0-7
/proc/1011/task/1013/stat : 1013 (java) S 1009 1009 31529 0 -1 1077944384 46416 0 0 0 1263 39 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461014084368 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1015] ppid=1009 vsize=26645092 memory=288230583166042426 CPUtime=13.05 cores=0-7
/proc/1011/task/1015/stat : 1015 (java) S 1009 1009 31529 0 -1 1077944384 48090 0 0 0 1258 47 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461013031824 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1016] ppid=1009 vsize=26645092 memory=14697378909259086 CPUtime=13.01 cores=0-7
/proc/1011/task/1016/stat : 1016 (java) S 1009 1009 31529 0 -1 1077944384 50505 0 0 0 1256 45 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461011979280 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1017] ppid=1009 vsize=26645092 memory=9920 CPUtime=12.99 cores=0-7
/proc/1011/task/1017/stat : 1017 (java) R 1009 1009 31529 0 -1 1077944384 40651 0 0 0 1258 41 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461010926736 140461061474005 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1018] ppid=1009 vsize=26645092 memory=1944 CPUtime=13.03 cores=0-7
/proc/1011/task/1018/stat : 1018 (java) S 1009 1009 31529 0 -1 1077944384 45138 0 0 0 1258 45 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461009873168 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1019] ppid=1009 vsize=26645092 memory=1428 CPUtime=13.04 cores=0-7
/proc/1011/task/1019/stat : 1019 (java) S 1009 1009 31529 0 -1 1077944384 48698 0 0 0 1258 46 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461008820624 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1020] ppid=1009 vsize=26645092 memory=1452 CPUtime=12.93 cores=0-7
/proc/1011/task/1020/stat : 1020 (java) S 1009 1009 31529 0 -1 1077944384 41654 0 0 0 1246 47 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461007768080 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1021] ppid=1009 vsize=26645092 memory=1008 CPUtime=13.04 cores=0-7
/proc/1011/task/1021/stat : 1021 (java) S 1009 1009 31529 0 -1 1077944384 43005 0 0 0 1263 41 0 0 20 0 28 0 90570197 27284574208 261759 33554432000 4194304 4196468 140720695524608 140461006715536 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1022] ppid=1009 vsize=26645092 memory=1228 CPUtime=12.08 cores=0-7
/proc/1011/task/1022/stat : 1022 (java) S 1009 1009 31529 0 -1 1077944384 177585 0 0 0 827 381 0 0 20 0 28 0 90570198 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459265985008 140461061474946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1023] ppid=1009 vsize=26645092 memory=1200 CPUtime=0 cores=0-7
/proc/1011/task/1023/stat : 1023 (java) S 1009 1009 31529 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 90570199 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459264931232 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1024] ppid=1009 vsize=26645092 memory=15876 CPUtime=0 cores=0-7
/proc/1011/task/1024/stat : 1024 (java) S 1009 1009 31529 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 90570199 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459263878640 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1026] ppid=1009 vsize=26645092 memory=18268 CPUtime=0 cores=0-7
/proc/1011/task/1026/stat : 1026 (java) S 1009 1009 31529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459262827216 140461061482395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1027] ppid=1009 vsize=26645092 memory=1047036 CPUtime=2.34 cores=0-7
/proc/1011/task/1027/stat : 1027 (java) S 1009 1009 31529 0 -1 1077944384 16725 0 0 0 230 4 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459261773808 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1028] ppid=1009 vsize=26645092 memory=0 CPUtime=2.64 cores=0-7
/proc/1011/task/1028/stat : 1028 (java) S 1009 1009 31529 0 -1 1077944384 13765 0 0 0 262 2 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459260721264 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1029] ppid=1009 vsize=26645092 memory=93 CPUtime=2.69 cores=0-7
/proc/1011/task/1029/stat : 1029 (java) S 1009 1009 31529 0 -1 1077944384 11702 0 0 0 266 3 0 0 20 0 28 0 90570201 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459259668720 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1030] ppid=1009 vsize=26645092 memory=247111 CPUtime=0.88 cores=0-7
/proc/1011/task/1030/stat : 1030 (java) S 1009 1009 31529 0 -1 1077944384 11439 0 0 0 85 3 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459258616176 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1031] ppid=1009 vsize=26645092 memory=247097 CPUtime=0 cores=0-7
/proc/1011/task/1031/stat : 1031 (java) S 1009 1009 31529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459257563872 140461061474005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1034] ppid=1009 vsize=26645092 memory=247223 CPUtime=0.93 cores=0-7
/proc/1011/task/1034/stat : 1034 (java) S 1009 1009 31529 0 -1 1077944384 7293 0 0 0 93 0 0 0 20 0 28 0 90570202 27284574208 261759 33554432000 4194304 4196468 140720695524608 140459256511408 140461061474946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1036] ppid=1009 vsize=26645092 memory=246941 CPUtime=2473.26 cores=0-7
/proc/1011/task/1036/stat : 1036 (java) R 1009 1009 31529 0 -1 4202560 39460 0 0 0 247292 34 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458940054800 140460689039150 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1037] ppid=1009 vsize=26645092 memory=246980 CPUtime=2473.15 cores=0-7
/proc/1011/task/1037/stat : 1037 (java) R 1009 1009 31529 0 -1 4202560 45183 0 0 0 247278 37 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458936906176 140460688928970 0 4 0 16800975 0 0 0 -1 3 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1038] ppid=1009 vsize=26645092 memory=247171 CPUtime=2474.41 cores=0-7
/proc/1011/task/1038/stat : 1038 (java) R 1009 1009 31529 0 -1 4202560 73713 0 0 0 247371 70 0 0 20 0 28 0 90570278 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458935855840 140460687763486 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1039] ppid=1009 vsize=26645092 memory=247134 CPUtime=2471.58 cores=0-7
/proc/1011/task/1039/stat : 1039 (java) R 1009 1009 31529 0 -1 4202560 70301 0 0 0 247076 82 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458934800064 140460689906805 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1040] ppid=1009 vsize=26645092 memory=247082 CPUtime=2471.97 cores=0-7
/proc/1011/task/1040/stat : 1040 (java) R 1009 1009 31529 0 -1 4202560 45586 0 0 0 247164 33 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458933747520 140460688937687 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1041] ppid=1009 vsize=26645092 memory=247320 CPUtime=2473.89 cores=0-7
/proc/1011/task/1041/stat : 1041 (java) R 1009 1009 31529 0 -1 4202560 49680 0 0 0 247348 41 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458932695040 140460689037350 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1042] ppid=1009 vsize=26645092 memory=247283 CPUtime=2473.52 cores=0-7
/proc/1011/task/1042/stat : 1042 (java) R 1009 1009 31529 0 -1 4202560 32700 0 0 0 247319 33 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458931644944 140460687763523 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
[pid=1011/tid=1043] ppid=1009 vsize=26645092 memory=247230 CPUtime=2472.99 cores=0-7
/proc/1011/task/1043/stat : 1043 (java) R 1009 1009 31529 0 -1 1077944384 59224 0 0 0 247246 53 0 0 20 0 28 0 90570279 27284574208 261759 33554432000 4194304 4196468 140720695524608 140458930589888 140461061474005 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 30257152 140720695530625 140720695530797 140720695530797 140720695533519 0
Current children cumulated CPU time: 19911.4 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 1048488 KiB

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

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

[startup+2520.11 s]
# the end of solver process 1011 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19901.6 s, system=10.609 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): 19912.2
CPU user time (s): 19901.6
CPU system time (s): 10.609
CPU usage (%): 790.131
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 1383248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19901.6
system time used= 10.609
maximum resident set size= 1384360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1028130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 647106
involuntary context switches= 231964


# summary of solver processes directly reported to runsolver:
#   pid: 1009,1011
#   total CPU time (s): 19912.2
#   total CPU user time (s): 19901.6
#   total CPU system time (s): 10.609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.997 second user time and 25.495 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-28 00:21:09
IDJOB=4297763
IDBENCH=141599
IDSOLVER=2760
FILE ID=node150/4297763-1532730069
RUNJOBID= node150-1532724458-31556
PBS_JOBID= 21022339
Free space on /tmp= 53100 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-16_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297763-1532730069/watcher-4297763-1532730069 -o /tmp/evaluation-result-4297763-1532730069/solver-4297763-1532730069 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532724458-31556 --watchdog 2580  HOME/xcsp3-exec -seed 603421616 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297763-1532730069.xml

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

MD5SUM BENCH= 5770900a9b2cb93904bf32b5a50ba98d
RANDOM SEED=603421616

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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.76
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.76
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.76
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:        28141984 kB
MemAvailable:   31935472 kB
Buffers:          189056 kB
Cached:          3843548 kB
SwapCached:           32 kB
Active:          1468996 kB
Inactive:        2616376 kB
Active(anon):       4128 kB
Inactive(anon):    76192 kB
Active(file):    1464868 kB
Inactive(file):  2540184 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             21736 kB
Writeback:           240 kB
AnonPages:         59712 kB
Mapped:            42260 kB
Shmem:             25156 kB
Slab:             236752 kB
SReclaimable:     208544 kB
SUnreclaim:        28208 kB
KernelStack:        3232 kB
PageTables:         4764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53080 MiB
End job on node150 at 2018-07-28 01:03:09