Trace number 4280550

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 20093.801 2520.1499

General information on the benchmark

NameScheduling/Scheduling-fs-taillard/
Taillard-fs-100-20-3.xml
MD5SUM6a976a8caea6b1a6adb22232912ed5ab
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2100
Number of constraints2120
Number of domains1
Minimum domain size6406
Maximum domain size6406
Distribution of domain sizes[{"size":6406,"count":2100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":2000}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":100},{"arity":2,"count":2000},{"arity":100,"count":20}]
Number of extensional constraints0
Number of intensional constraints2100
Distribution of constraint types[{"type":"intension","count":2100},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280550-1503104762.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280550-1503104762.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
5.70/1.52	c solve instance...
20092.87/2520.10	s UNKNOWN
20092.87/2520.10	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 (11938 MiB free)
  memory of node 1: 16384 MiB (12152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280550-1503104762/watcher-4280550-1503104762 -o /tmp/evaluation-result-4280550-1503104762/solver-4280550-1503104762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503101380-13094 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1883812190 HOME/instance-4280550-1503104762.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=13237, runsolver pid=13234

[startup+0.100102 s]*
/proc/loadavg: 8.52 8.22 7.80 3/200 13258
/proc/meminfo: memFree=24654292/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=25999808 memory=26588 CPUtime=0.12 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 5493 0 0 0 11 1 0 0 20 0 20 0 143556966 26623803392 6647 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6499952 6647 2875 1 0 6488269 0
[pid=13239/tid=13240] ppid=13237 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) R 13237 13237 13067 0 -1 4202560 3489 0 0 0 8 0 0 0 20 0 20 0 143556966 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756981976096 139756977753494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=25999808 memory=139911715030656 CPUtime=0 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13244] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13244/stat : 13244 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756897163920 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13245] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13245/stat : 13245 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756896111376 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13246] ppid=13237 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13246/stat : 13246 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756895058832 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13247] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13247/stat : 13247 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756529802256 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13248] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13248/stat : 13248 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756528749712 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13249] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13249/stat : 13249 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556968 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756105111536 139756977752706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13250] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13250/stat : 13250 (java) S 13237 13237 13067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143556969 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756104057760 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13251] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13251/stat : 13251 (java) S 13237 13237 13067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143556969 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756103005168 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13252] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13252/stat : 13252 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556971 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756101953744 139756977760155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13253] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13253/stat : 13253 (java) S 13237 13237 13067 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 143556971 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756100901360 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13254] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13254/stat : 13254 (java) S 13237 13237 13067 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 143556971 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756099848816 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13255] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13255/stat : 13255 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556972 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756098796272 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13256] ppid=13237 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13239/task/13256/stat : 13256 (java) R 13237 13237 13067 0 -1 4202560 303 0 0 0 1 0 0 0 20 0 20 0 143556972 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756097743728 139756956683150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13257] ppid=13237 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13257/stat : 13257 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556972 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756096690400 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13258] ppid=13237 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13258/stat : 13258 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556972 26623803392 6647 33554432000 4194304 4196468 140720744845312 139756095637936 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27972 KiB

[startup+0.210344 s]*
/proc/loadavg: 8.52 8.22 7.80 3/200 13258
/proc/meminfo: memFree=24643376/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=26004064 memory=39208 CPUtime=0.33 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 8403 0 0 0 31 2 0 0 20 0 20 0 143556966 26628161536 9802 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6501016 9802 3064 1 0 6488269 0
[pid=13239/tid=13240] ppid=13237 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) D 13237 13237 13067 0 -1 1077944384 5488 0 0 0 18 1 0 0 20 0 20 0 143556966 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756981952352 139756970420781 0 4 0 16800975 18446744072101629476 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=26004064 memory=139911715043912 CPUtime=0 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13244] ppid=13237 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13244/stat : 13244 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756897163920 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13245] ppid=13237 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13245/stat : 13245 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756896111376 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13246] ppid=13237 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13246/stat : 13246 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556967 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756895058832 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13247] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13247/stat : 13247 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756529802256 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13248] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13248/stat : 13248 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756528749712 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13249] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13249/stat : 13249 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556968 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756105111536 139756977752706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13250] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13250/stat : 13250 (java) S 13237 13237 13067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143556969 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756104057760 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13251] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13251/stat : 13251 (java) S 13237 13237 13067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143556969 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756103005168 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13252] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13252/stat : 13252 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556971 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756101953744 139756977760155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13253] ppid=13237 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/13239/task/13253/stat : 13253 (java) S 13237 13237 13067 0 -1 1077944384 325 0 0 0 1 0 0 0 20 0 20 0 143556971 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756100901360 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13254] ppid=13237 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/13239/task/13254/stat : 13254 (java) S 13237 13237 13067 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 143556971 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756099848816 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13255] ppid=13237 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13255/stat : 13255 (java) S 13237 13237 13067 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 143556972 26628194304 9802 33554432000 4194304 4196468 140720744845312 139756098796272 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13256] ppid=13237 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/13239/task/13256/stat : 13256 (java) S 13237 13237 13067 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 20 0 143556972 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756097743728 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13257] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13257/stat : 13257 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556972 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756096690400 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13258] ppid=13237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13258/stat : 13258 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556972 26628161536 9802 33554432000 4194304 4196468 140720744845312 139756095637936 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40592 KiB

[startup+0.310326 s]*
/proc/loadavg: 8.52 8.22 7.80 4/200 13258
/proc/meminfo: memFree=24638972/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=26004064 memory=45828 CPUtime=0.51 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 9201 0 0 0 49 2 0 0 20 0 20 0 143556966 26628161536 11457 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6501016 11457 3083 1 0 6488269 0
[pid=13239/tid=13240] ppid=13237 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) R 13237 13237 13067 0 -1 4202560 6082 0 0 0 28 1 0 0 20 0 20 0 143556966 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756981980352 139756575002624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13244] ppid=13237 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13239/task/13244/stat : 13244 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756897163920 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13245] ppid=13237 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13239/task/13245/stat : 13245 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756896111376 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13246] ppid=13237 vsize=26004064 memory=139911579663535 CPUtime=0 cores=0-7
/proc/13239/task/13246/stat : 13246 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756895058832 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13247] ppid=13237 vsize=26004064 memory=139911579665840 CPUtime=0 cores=0-7
/proc/13239/task/13247/stat : 13247 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756529802256 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13248] ppid=13237 vsize=26004064 memory=139911579668144 CPUtime=0 cores=0-7
/proc/13239/task/13248/stat : 13248 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756528749712 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13249] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13249/stat : 13249 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556968 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756105111536 139756977752706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13250] ppid=13237 vsize=26004064 memory=279823159345552 CPUtime=0 cores=0-7
/proc/13239/task/13250/stat : 13250 (java) S 13237 13237 13067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 143556969 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756104057760 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13251] ppid=13237 vsize=26004064 memory=279823159286832 CPUtime=0 cores=0-7
/proc/13239/task/13251/stat : 13251 (java) S 13237 13237 13067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 143556969 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756103005168 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13252] ppid=13237 vsize=26004064 memory=279823159359376 CPUtime=0 cores=0-7
/proc/13239/task/13252/stat : 13252 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556971 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756101953744 139756977760155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13253] ppid=13237 vsize=26004064 memory=279823159366288 CPUtime=0.01 cores=0-7
/proc/13239/task/13253/stat : 13253 (java) S 13237 13237 13067 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 143556971 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756100901360 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13254] ppid=13237 vsize=26004064 memory=279823159363984 CPUtime=0.03 cores=0-7
/proc/13239/task/13254/stat : 13254 (java) R 13237 13237 13067 0 -1 4202560 493 0 0 0 3 0 0 0 20 0 20 0 143556971 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756099840464 139756969978686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13255] ppid=13237 vsize=26004064 memory=279823159380112 CPUtime=0.01 cores=0-7
/proc/13239/task/13255/stat : 13255 (java) S 13237 13237 13067 0 -1 1077944384 145 0 0 0 1 0 0 0 20 0 20 0 143556972 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756098796272 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13256] ppid=13237 vsize=26004064 memory=279823159377808 CPUtime=0.13 cores=0-7
/proc/13239/task/13256/stat : 13256 (java) R 13237 13237 13067 0 -1 4202560 845 0 0 0 13 0 0 0 20 0 20 0 143556972 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756097743856 139756956446245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13257] ppid=13237 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13257/stat : 13257 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 143556972 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756096690400 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13258] ppid=13237 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13239/task/13258/stat : 13258 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556972 26628161536 11457 33554432000 4194304 4196468 140720744845312 139756095637936 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47212 KiB

[startup+0.70097 s]
/proc/loadavg: 8.52 8.22 7.80 6/200 13258
/proc/meminfo: memFree=24608760/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=26006188 memory=107240 CPUtime=2.12 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 14837 0 0 0 207 5 0 0 20 0 20 0 143556966 26630336512 26810 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6501547 26810 3205 1 0 6488781 0
[pid=13239/tid=13240] ppid=13237 vsize=26006188 memory=0 CPUtime=0.66 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) R 13237 13237 13067 0 -1 4202560 6738 0 0 0 64 2 0 0 20 0 20 0 143556966 26630336512 26810 33554432000 4194304 4196468 140720744845312 139756981976368 139756575008513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=26006188 memory=139911579874672 CPUtime=0 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 143556967 26630336512 26810 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26630336512 26810 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 143556967 26630336512 26810 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0

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

/proc/meminfo: memFree=20522664/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=26538700 memory=4153296 CPUtime=19951.6 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 316990 0 0 0 1994333 823 0 0 20 0 28 0 143556966 27175628800 1038324 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6634675 1038324 3293 1 0 6621909 0
[pid=13239/tid=13240] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.42 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) S 13237 13237 13067 0 -1 1077944384 7061 0 0 0 138 4 0 0 20 0 28 0 143556966 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756981982336 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.31 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 6350 0 0 0 101 30 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.3 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 3864 0 0 0 100 30 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.26 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 5857 0 0 0 97 29 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13244] ppid=13237 vsize=26538700 memory=1384 CPUtime=1.27 cores=0-7
/proc/13239/task/13244/stat : 13244 (java) S 13237 13237 13067 0 -1 1077944384 5674 0 0 0 99 28 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756897163920 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13245] ppid=13237 vsize=26538700 memory=2257 CPUtime=1.28 cores=0-7
/proc/13239/task/13245/stat : 13245 (java) S 13237 13237 13067 0 -1 1077944384 4051 0 0 0 101 27 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756896111376 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13246] ppid=13237 vsize=26538700 memory=279823160773200 CPUtime=1.28 cores=0-7
/proc/13239/task/13246/stat : 13246 (java) S 13237 13237 13067 0 -1 1077944384 7569 0 0 0 96 32 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756895058832 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13247] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.33 cores=0-7
/proc/13239/task/13247/stat : 13247 (java) S 13237 13237 13067 0 -1 1077944384 5314 0 0 0 102 31 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756529802256 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13248] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.3 cores=0-7
/proc/13239/task/13248/stat : 13248 (java) S 13237 13237 13067 0 -1 1077944384 4334 0 0 0 101 29 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756528749712 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13249] ppid=13237 vsize=26538700 memory=1384 CPUtime=1.46 cores=0-7
/proc/13239/task/13249/stat : 13249 (java) S 13237 13237 13067 0 -1 1077944384 18674 0 0 0 86 60 0 0 20 0 28 0 143556968 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756105111536 139756977752706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13250] ppid=13237 vsize=26538700 memory=5784 CPUtime=0 cores=0-7
/proc/13239/task/13250/stat : 13250 (java) S 13237 13237 13067 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 143556969 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756104057824 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13251] ppid=13237 vsize=26538700 memory=1720 CPUtime=0 cores=0-7
/proc/13239/task/13251/stat : 13251 (java) S 13237 13237 13067 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 143556969 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756103005184 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13252] ppid=13237 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/13239/task/13252/stat : 13252 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756101953744 139756977760155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13253] ppid=13237 vsize=26538700 memory=4132 CPUtime=3.63 cores=0-7
/proc/13239/task/13253/stat : 13253 (java) S 13237 13237 13067 0 -1 1077944384 20026 0 0 0 359 4 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756100901360 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13254] ppid=13237 vsize=26538700 memory=4153296 CPUtime=3.68 cores=0-7
/proc/13239/task/13254/stat : 13254 (java) S 13237 13237 13067 0 -1 1077944384 21023 0 0 0 365 3 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756099848816 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13255] ppid=13237 vsize=26538700 memory=1384 CPUtime=3.79 cores=0-7
/proc/13239/task/13255/stat : 13255 (java) S 13237 13237 13067 0 -1 1077944384 17863 0 0 0 376 3 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756098796272 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13256] ppid=13237 vsize=26538700 memory=1292 CPUtime=1.09 cores=0-7
/proc/13239/task/13256/stat : 13256 (java) S 13237 13237 13067 0 -1 1077944384 21793 0 0 0 105 4 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756097743728 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13257] ppid=13237 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13239/task/13257/stat : 13257 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756096690400 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13258] ppid=13237 vsize=26538700 memory=279823161803296 CPUtime=1.02 cores=0-7
/proc/13239/task/13258/stat : 13258 (java) S 13237 13237 13067 0 -1 1077944384 3044 0 0 0 102 0 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756095637936 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13259] ppid=13237 vsize=26538700 memory=8243114992657236055 CPUtime=2496.93 cores=0-7
/proc/13239/task/13259/stat : 13259 (java) R 13237 13237 13067 0 -1 4202560 10353 0 0 0 249683 10 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756089723560 139756584429081 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13260] ppid=13237 vsize=26538700 memory=1384 CPUtime=2496.11 cores=0-7
/proc/13239/task/13260/stat : 13260 (java) R 13237 13237 13067 0 -1 4202560 6353 0 0 0 249599 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755231104968 139756583616228 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13261] ppid=13237 vsize=26538700 memory=4153296 CPUtime=2485.12 cores=0-7
/proc/13239/task/13261/stat : 13261 (java) R 13237 13237 13067 0 -1 4202560 7643 0 0 0 248500 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755230052264 139756585033014 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13262] ppid=13237 vsize=26538700 memory=1384 CPUtime=2487.15 cores=0-7
/proc/13239/task/13262/stat : 13262 (java) R 13237 13237 13067 0 -1 4202560 68851 0 0 0 248475 240 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755228999800 139756585165456 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13263] ppid=13237 vsize=26538700 memory=1232 CPUtime=2489.84 cores=0-7
/proc/13239/task/13263/stat : 13263 (java) R 13237 13237 13067 0 -1 4202560 41682 0 0 0 248784 200 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755227947008 139756584857762 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13264] ppid=13237 vsize=26538700 memory=2428 CPUtime=2497.06 cores=0-7
/proc/13239/task/13264/stat : 13264 (java) R 13237 13237 13067 0 -1 4202560 7176 0 0 0 249698 8 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755226894216 139756586804199 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13265] ppid=13237 vsize=26538700 memory=932 CPUtime=2489.04 cores=0-7
/proc/13239/task/13265/stat : 13265 (java) R 13237 13237 13067 0 -1 4202560 6509 0 0 0 248893 11 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755225840472 139756584894177 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13266] ppid=13237 vsize=26538700 memory=1384 CPUtime=2483.69 cores=0-7
/proc/13239/task/13266/stat : 13266 (java) R 13237 13237 13067 0 -1 4202560 14604 0 0 0 248357 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755224788344 139756586025143 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
Current children cumulated CPU time: 19951.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4154680 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.14 8.20 9/208 13315
/proc/meminfo: memFree=20522804/32770624 swapFree=67108860/67108860
[pid=13237] ppid=13234 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13237/stat : 13237 (xcsp3-exec) S 13234 13237 13067 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 143556966 9740288 346 33554432000 4194304 5098028 140733636679136 140733636677240 140609342997116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10801152 140733636686948 140733636687159 140733636687159 140733636689899 0
/proc/13237/statm: 2378 346 289 221 0 87 0
[pid=13239] ppid=13237 vsize=26538700 memory=4153296 CPUtime=20092.9 cores=0-7
/proc/13239/stat : 13239 (java) S 13237 13237 13067 0 -1 1077944320 317353 0 0 0 2008462 825 0 0 20 0 28 0 143556966 27175628800 1038324 33554432000 4194304 4196468 140720744845312 140720744827856 139756977741559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
/proc/13239/statm: 6634675 1038324 3293 1 0 6621909 0
[pid=13239/tid=13240] ppid=13237 vsize=26538700 memory=-7395409520647495987 CPUtime=1.42 cores=0-7
/proc/13239/task/13240/stat : 13240 (java) S 13237 13237 13067 0 -1 1077944384 7061 0 0 0 138 4 0 0 20 0 28 0 143556966 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756981982336 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13241] ppid=13237 vsize=26538700 memory=18472 CPUtime=1.31 cores=0-7
/proc/13239/task/13241/stat : 13241 (java) S 13237 13237 13067 0 -1 1077944384 6350 0 0 0 101 30 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756900321552 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13242] ppid=13237 vsize=26538700 memory=640 CPUtime=1.3 cores=0-7
/proc/13239/task/13242/stat : 13242 (java) S 13237 13237 13067 0 -1 1077944384 3864 0 0 0 100 30 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756899269008 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13243] ppid=13237 vsize=26538700 memory=1796 CPUtime=1.26 cores=0-7
/proc/13239/task/13243/stat : 13243 (java) S 13237 13237 13067 0 -1 1077944384 5857 0 0 0 97 29 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756898216464 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13244] ppid=13237 vsize=26538700 memory=4872558044660077418 CPUtime=1.27 cores=0-7
/proc/13239/task/13244/stat : 13244 (java) S 13237 13237 13067 0 -1 1077944384 5674 0 0 0 99 28 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756897163920 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13245] ppid=13237 vsize=26538700 memory=288230596050944315 CPUtime=1.28 cores=0-7
/proc/13239/task/13245/stat : 13245 (java) S 13237 13237 13067 0 -1 1077944384 4051 0 0 0 101 27 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756896111376 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13246] ppid=13237 vsize=26538700 memory=14131143322637660 CPUtime=1.28 cores=0-7
/proc/13239/task/13246/stat : 13246 (java) S 13237 13237 13067 0 -1 1077944384 7569 0 0 0 96 32 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756895058832 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13247] ppid=13237 vsize=26538700 memory=-7751062316387021378 CPUtime=1.33 cores=0-7
/proc/13239/task/13247/stat : 13247 (java) S 13237 13237 13067 0 -1 1077944384 5314 0 0 0 102 31 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756529802256 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13248] ppid=13237 vsize=26538700 memory=-6368199152461293614 CPUtime=1.3 cores=0-7
/proc/13239/task/13248/stat : 13248 (java) S 13237 13237 13067 0 -1 1077944384 4334 0 0 0 101 29 0 0 20 0 28 0 143556967 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756528749712 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13249] ppid=13237 vsize=26538700 memory=-7662980745959663145 CPUtime=1.46 cores=0-7
/proc/13239/task/13249/stat : 13249 (java) S 13237 13237 13067 0 -1 1077944384 18674 0 0 0 86 60 0 0 20 0 28 0 143556968 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756105111536 139756977752706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13250] ppid=13237 vsize=26538700 memory=6944656592385698452 CPUtime=0 cores=0-7
/proc/13239/task/13250/stat : 13250 (java) S 13237 13237 13067 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 143556969 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756104057824 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13251] ppid=13237 vsize=26538700 memory=-7161131788332309537 CPUtime=0 cores=0-7
/proc/13239/task/13251/stat : 13251 (java) S 13237 13237 13067 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 143556969 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756103005184 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13252] ppid=13237 vsize=26538700 memory=-8316900901535099443 CPUtime=0 cores=0-7
/proc/13239/task/13252/stat : 13252 (java) S 13237 13237 13067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756101953744 139756977760155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13253] ppid=13237 vsize=26538700 memory=-7751062316387021378 CPUtime=3.63 cores=0-7
/proc/13239/task/13253/stat : 13253 (java) S 13237 13237 13067 0 -1 1077944384 20026 0 0 0 359 4 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756100901360 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13254] ppid=13237 vsize=26538700 memory=-6948055166404804227 CPUtime=3.68 cores=0-7
/proc/13239/task/13254/stat : 13254 (java) S 13237 13237 13067 0 -1 1077944384 21023 0 0 0 365 3 0 0 20 0 28 0 143556971 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756099848816 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13255] ppid=13237 vsize=26538700 memory=1728 CPUtime=3.79 cores=0-7
/proc/13239/task/13255/stat : 13255 (java) S 13237 13237 13067 0 -1 1077944384 17863 0 0 0 376 3 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756098796272 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13256] ppid=13237 vsize=26538700 memory=792 CPUtime=1.09 cores=0-7
/proc/13239/task/13256/stat : 13256 (java) S 13237 13237 13067 0 -1 1077944384 21793 0 0 0 105 4 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756097743728 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13257] ppid=13237 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13239/task/13257/stat : 13257 (java) S 13237 13237 13067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756096690400 139756977751765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13258] ppid=13237 vsize=26538700 memory=4153296 CPUtime=1.03 cores=0-7
/proc/13239/task/13258/stat : 13258 (java) S 13237 13237 13067 0 -1 1077944384 3044 0 0 0 103 0 0 0 20 0 28 0 143556972 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756095637936 139756977752706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13259] ppid=13237 vsize=26538700 memory=5784 CPUtime=2514.63 cores=0-7
/proc/13239/task/13259/stat : 13259 (java) R 13237 13237 13067 0 -1 4202560 10373 0 0 0 251453 10 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139756089723560 139756585671566 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13260] ppid=13237 vsize=26538700 memory=1720 CPUtime=2513.45 cores=0-7
/proc/13239/task/13260/stat : 13260 (java) R 13237 13237 13067 0 -1 4202560 6397 0 0 0 251333 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755231104968 139756577677601 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13261] ppid=13237 vsize=26538700 memory=1384 CPUtime=2502.83 cores=0-7
/proc/13239/task/13261/stat : 13261 (java) R 13237 13237 13067 0 -1 4202560 7682 0 0 0 250271 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755230052264 139756584429373 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13262] ppid=13237 vsize=26538700 memory=4153296 CPUtime=2504.86 cores=0-7
/proc/13239/task/13262/stat : 13262 (java) R 13237 13237 13067 0 -1 4202560 68888 0 0 0 250246 240 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755228999800 139756585165714 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13263] ppid=13237 vsize=26538700 memory=-3472574513799858002 CPUtime=2507.55 cores=0-7
/proc/13239/task/13263/stat : 13263 (java) R 13237 13237 13067 0 -1 4202560 41787 0 0 0 250553 202 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755227947008 139756584857738 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13264] ppid=13237 vsize=26538700 memory=6944656592455359580 CPUtime=2514.77 cores=0-7
/proc/13239/task/13264/stat : 13264 (java) R 13237 13237 13067 0 -1 4202560 7193 0 0 0 251469 8 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755226894216 139756585148364 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13265] ppid=13237 vsize=26538700 memory=4279073131472642624 CPUtime=2506.75 cores=0-7
/proc/13239/task/13265/stat : 13265 (java) R 13237 13237 13067 0 -1 4202560 6527 0 0 0 250664 11 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755225840472 139756585672075 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
[pid=13239/tid=13266] ppid=13237 vsize=26538700 memory=2428 CPUtime=2501.4 cores=0-7
/proc/13239/task/13266/stat : 13266 (java) R 13237 13237 13067 0 -1 4202560 14687 0 0 0 250128 12 0 0 20 0 28 0 143557121 27175628800 1038324 33554432000 4194304 4196468 140720744845312 139755224788344 139756585155276 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34172928 140720744850578 140720744850755 140720744850755 140720744853455 0
Current children cumulated CPU time: 20092.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4154680 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.03 8.14 8.20 2/181 13317
/proc/meminfo: memFree=22536928/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001887 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 20093.8
CPU user time (s): 20085.5
CPU system time (s): 8.27998
CPU usage (%): 797.326
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 4763624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20085.5
system time used= 8.27998
maximum resident set size= 4817556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62819
involuntary context switches= 203182


# summary of solver processes directly reported to runsolver:
#   pid: 13237,13239
#   total CPU time (s): 20093.8
#   total CPU user time (s): 20085.5
#   total CPU system time (s): 8.27998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1612 second user time and 30.3346 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-19 02:51:42
IDJOB=4280550
IDBENCH=115653
IDSOLVER=2675
FILE ID=node151/4280550-1503104762
RUNJOBID= node151-1503101380-13094
PBS_JOBID= 20630749
Free space on /tmp= 61804 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-fs-taillard/Taillard-fs-100-20-3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280550-1503104762/watcher-4280550-1503104762 -o /tmp/evaluation-result-4280550-1503104762/solver-4280550-1503104762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503101380-13094 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1883812190 HOME/instance-4280550-1503104762.xml

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

MD5SUM BENCH= 6a976a8caea6b1a6adb22232912ed5ab
RANDOM SEED=1883812190

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.95
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:        24669504 kB
MemAvailable:   31974836 kB
Buffers:          318436 kB
Cached:          7279364 kB
SwapCached:            0 kB
Active:          1783724 kB
Inactive:        5867000 kB
Active(anon):      44648 kB
Inactive(anon):    44360 kB
Active(file):    1739076 kB
Inactive(file):  5822640 kB
Unevictable:        7576 kB
Mlocked:            7576 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7640 kB
Writeback:             4 kB
AnonPages:         59868 kB
Mapped:            50428 kB
Shmem:             33448 kB
Slab:             144928 kB
SReclaimable:     118904 kB
SUnreclaim:        26024 kB
KernelStack:        3232 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61796 MiB
End job on node151 at 2017-08-19 03:33:42