Trace number 4281220

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) 19985.699 2520.1299

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-20-20-9.xml
MD5SUM167976addb93ebd5943ef7570ccdd100
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 variables1620
Number of constraints1260
Number of domains22
Minimum domain size15
Maximum domain size1384
Distribution of domain sizes[{"size":15,"count":40},{"size":17,"count":40},{"size":18,"count":140},{"size":19,"count":180},{"size":20,"count":400},{"size":1384,"count":820}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":420},{"degree":3,"count":800},{"degree":21,"count":400}]
Minimum constraint arity1
Maximum constraint arity22
Distribution of constraint arities[{"arity":1,"count":20},{"arity":2,"count":400},{"arity":3,"count":400},{"arity":20,"count":40},{"arity":22,"count":400}]
Number of extensional constraints400
Number of intensional constraints420
Distribution of constraint types[{"type":"extension","count":400},{"type":"intension","count":420},{"type":"allDifferent","count":20},{"type":"noOverlap","count":20},{"type":"element","count":400}]
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-4281220-1503111426.xml"  -tl '20160s' -p 8 -x 0
0.11/0.15	c [HOME/instance-4281220-1503111426.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
4.18/1.22	c solve instance...
19984.87/2520.09	s UNKNOWN
19984.87/2520.09	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 (12792 MiB free)
  memory of node 1: 16384 MiB (12133 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281220-1503111426/watcher-4281220-1503111426 -o /tmp/evaluation-result-4281220-1503111426/solver-4281220-1503111426 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1659085713 HOME/instance-4281220-1503111426.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 6.76 7.50 7.72 2/200 20343
/proc/meminfo: memFree=25504116/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=25999808 memory=26420 CPUtime=0.11 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 5545 0 0 0 10 1 0 0 20 0 20 0 144223544 26623803392 6605 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6499952 6605 2846 1 0 6488269 0
[pid=20324/tid=20325] ppid=20322 vsize=25999808 memory=7896106954314915225 CPUtime=0.09 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20322 20278 0 -1 4202560 3543 0 0 0 8 1 0 0 20 0 20 0 144223544 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094666827568 140094646637925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=25999808 memory=732369810820434917 CPUtime=0 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=25999808 memory=139672482981504 CPUtime=0 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20329] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094612056336 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20330] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094611004560 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20331] ppid=20322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094609951760 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20332] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094608898960 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20333] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094607846160 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20334] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223547 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094057982320 140094662605442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20335] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20322 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144223547 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094056928288 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20336] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20322 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144223547 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094055875440 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20337] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094054823760 140094662612891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20338] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20322 20278 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094053772144 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20339] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20322 20278 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094052719344 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20340] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094051666544 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20341] ppid=20322 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20324/task/20341/stat : 20341 (java) R 20322 20322 20278 0 -1 4202560 245 0 0 0 1 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140094050613744 140094662606230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20342] ppid=20322 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140093981452896 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20343] ppid=20322 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26623803392 6605 33554432000 4194304 4196468 140720472100176 140093980400176 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27800 KiB

[startup+0.210303 s]*
/proc/loadavg: 6.76 7.50 7.72 3/200 20343
/proc/meminfo: memFree=25491816/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=26004064 memory=39180 CPUtime=0.33 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 8345 0 0 0 30 3 0 0 20 0 20 0 144223544 26628161536 9795 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6501016 9795 3047 1 0 6488269 0
[pid=20324/tid=20325] ppid=20322 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20322 20278 0 -1 4202560 5407 0 0 0 17 2 0 0 20 0 20 0 144223544 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094666814496 140094662616221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=26004064 memory=732369810820434917 CPUtime=0 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=26004064 memory=139672482981504 CPUtime=0 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20329] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094612056336 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20330] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094611004560 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20331] ppid=20322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094609951760 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20332] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094608898960 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20333] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094607846160 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20334] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094057982320 140094662605442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20335] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20322 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094056928288 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20336] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20322 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094055875440 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20337] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094054823760 140094662612891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20338] ppid=20322 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20322 20278 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094053772144 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20339] ppid=20322 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20322 20278 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094052719344 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20340] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20322 20278 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094051666544 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20341] ppid=20322 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20322 20278 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140094050613744 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20342] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140093981452896 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20343] ppid=20322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 9795 33554432000 4194304 4196468 140720472100176 140093980400176 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40560 KiB

[startup+0.309606 s]*
/proc/loadavg: 6.76 7.50 7.72 4/200 20343
/proc/meminfo: memFree=25488584/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=26004064 memory=44080 CPUtime=0.49 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 9233 0 0 0 46 3 0 0 20 0 20 0 144223544 26628161536 11020 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6501016 11020 3109 1 0 6488269 0
[pid=20324/tid=20325] ppid=20322 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20322 20278 0 -1 4202560 6076 0 0 0 26 2 0 0 20 0 20 0 144223544 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094666832544 140094662606230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20329] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094612056336 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20330] ppid=20322 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094611004560 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20331] ppid=20322 vsize=26004064 memory=139672336561071 CPUtime=0 cores=0-7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094609951760 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20332] ppid=20322 vsize=26004064 memory=139672336563376 CPUtime=0 cores=0-7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094608898960 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20333] ppid=20322 vsize=26004064 memory=139672336565680 CPUtime=0 cores=0-7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094607846160 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20334] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094057982320 140094662605442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20335] ppid=20322 vsize=26004064 memory=279344673138320 CPUtime=0 cores=0-7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20322 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094056928288 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20336] ppid=20322 vsize=26004064 memory=279344673145232 CPUtime=0 cores=0-7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20322 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144223547 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094055875440 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20337] ppid=20322 vsize=26004064 memory=279344673086512 CPUtime=0 cores=0-7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094054823760 140094662612891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20338] ppid=20322 vsize=26004064 memory=279344673159056 CPUtime=0.03 cores=0-7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20322 20278 0 -1 1077944384 688 0 0 0 3 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094053772144 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20339] ppid=20322 vsize=26004064 memory=279344673165968 CPUtime=0.01 cores=0-7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20322 20278 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094052719344 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20340] ppid=20322 vsize=26004064 memory=279344673163664 CPUtime=0.01 cores=0-7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20322 20278 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094051666544 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20341] ppid=20322 vsize=26004064 memory=279344673179824 CPUtime=0.12 cores=0-7
/proc/20324/task/20341/stat : 20341 (java) R 20322 20322 20278 0 -1 4202560 885 0 0 0 12 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140094050610112 140094640958945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20342] ppid=20322 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140093981452896 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20343] ppid=20322 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223550 26628161536 11020 33554432000 4194304 4196468 140720472100176 140093980400176 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45460 KiB

[startup+0.70098 s]
/proc/loadavg: 6.76 7.50 7.72 4/200 20343
/proc/meminfo: memFree=25462840/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=26006188 memory=91400 CPUtime=1.99 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 13487 0 0 0 193 6 0 0 20 0 20 0 144223544 26630336512 22850 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6501547 22850 3201 1 0 6488781 0
[pid=20324/tid=20325] ppid=20322 vsize=26006188 memory=279344673474752 CPUtime=0.67 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) R 20322 20322 20278 0 -1 4202560 6838 0 0 0 63 4 0 0 20 0 20 0 144223544 26630336512 22850 33554432000 4194304 4196468 140720472100176 140094666822672 140094662616221 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=26006188 memory=4964982195330 CPUtime=0 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144223545 26630336512 22850 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26630336512 22850 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144223545 26630336512 22850 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0

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

[pid=20324/tid=20351] ppid=20322 vsize=26540748 memory=479408 CPUtime=2409.88 cores=0-7
/proc/20324/task/20351/stat : 20351 (java) R 20322 20322 20278 0 -1 4202560 22631 0 0 0 240977 11 0 0 20 0 28 0 144223668 27177725952 119851 33554432000 4194304 4196468 140720472100176 140093965516856 140094278712506 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 19371.6 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 480784 KiB

[startup+2502.3 s]
/proc/loadavg: 8.27 8.30 8.23 9/208 20427
/proc/meminfo: memFree=25075452/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=26540748 memory=455304 CPUtime=19845.1 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 584912 0 0 0 1983080 1434 0 0 20 0 28 0 144223544 27177725952 113826 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6635187 113826 3302 1 0 6622421 0
[pid=20324/tid=20325] ppid=20322 vsize=26540748 memory=455304 CPUtime=1.18 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) S 20322 20322 20278 0 -1 1077944384 7134 0 0 0 112 6 0 0 20 0 28 0 144223544 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094666835072 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=26540748 memory=455304 CPUtime=3.19 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 24373 0 0 0 294 25 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=26540748 memory=460436 CPUtime=3.21 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 22879 0 0 0 295 26 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=26540748 memory=456844 CPUtime=3.18 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 19271 0 0 0 294 24 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20329] ppid=20322 vsize=26540748 memory=455816 CPUtime=3.16 cores=0-7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20322 20278 0 -1 1077944384 18871 0 0 0 288 28 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094612056336 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20330] ppid=20322 vsize=26540748 memory=455304 CPUtime=3.17 cores=0-7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20322 20278 0 -1 1077944384 24296 0 0 0 291 26 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094611004560 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20331] ppid=20322 vsize=26540748 memory=279344674420064 CPUtime=3.13 cores=0-7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20322 20278 0 -1 1077944384 18237 0 0 0 291 22 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094609951760 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20332] ppid=20322 vsize=26540748 memory=477364 CPUtime=3.2 cores=0-7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20322 20278 0 -1 1077944384 20175 0 0 0 295 25 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094608898960 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20333] ppid=20322 vsize=26540748 memory=455816 CPUtime=3.16 cores=0-7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20322 20278 0 -1 1077944384 19467 0 0 0 292 24 0 0 20 0 28 0 144223545 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094607846160 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20334] ppid=20322 vsize=26540748 memory=1380 CPUtime=16.45 cores=0-7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20322 20278 0 -1 1077944384 54830 0 0 0 598 1047 0 0 20 0 28 0 144223547 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094057982320 140094662605442 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20335] ppid=20322 vsize=26540748 memory=461972 CPUtime=0 cores=0-7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20322 20278 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 144223547 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094056928352 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20336] ppid=20322 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20322 20278 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 144223547 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094055875456 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20337] ppid=20322 vsize=26540748 memory=27321949497 CPUtime=0 cores=0-7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094054823760 140094662612891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20338] ppid=20322 vsize=26540748 memory=1380 CPUtime=4.32 cores=0-7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20322 20278 0 -1 1077944384 27348 0 0 0 426 6 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094053772144 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20339] ppid=20322 vsize=26540748 memory=1380 CPUtime=3.93 cores=0-7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20322 20278 0 -1 1077944384 21143 0 0 0 389 4 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094052719344 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20340] ppid=20322 vsize=26540748 memory=455816 CPUtime=4.26 cores=0-7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20322 20278 0 -1 1077944384 21581 0 0 0 422 4 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094051666544 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20341] ppid=20322 vsize=26540748 memory=1380 CPUtime=1.12 cores=0-7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20322 20278 0 -1 1077944384 16279 0 0 0 108 4 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140094050613744 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20342] ppid=20322 vsize=26540748 memory=456844 CPUtime=0 cores=0-7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093981452896 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20343] ppid=20322 vsize=26540748 memory=0 CPUtime=0.7 cores=0-7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20322 20278 0 -1 1077944384 4290 0 0 0 0 70 0 0 20 0 28 0 144223550 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093980400176 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20344] ppid=20322 vsize=26540748 memory=840 CPUtime=2476.5 cores=0-7
/proc/20324/task/20344/stat : 20344 (java) R 20322 20322 20278 0 -1 4202560 36531 0 0 0 247630 20 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093972883936 140094277388843 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20345] ppid=20322 vsize=26540748 memory=1380 CPUtime=2470.86 cores=0-7
/proc/20324/task/20345/stat : 20345 (java) R 20322 20322 20278 0 -1 4202560 20711 0 0 0 247074 12 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093971833176 140094647804159 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20346] ppid=20322 vsize=26540748 memory=1380 CPUtime=2472.01 cores=0-7
/proc/20324/task/20346/stat : 20346 (java) R 20322 20322 20278 0 -1 4202560 25416 0 0 0 247185 16 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093970780224 140094276716644 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20347] ppid=20322 vsize=26540748 memory=456844 CPUtime=2472.83 cores=0-7
/proc/20324/task/20347/stat : 20347 (java) R 20322 20322 20278 0 -1 4202560 93963 0 0 0 247225 58 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093969727704 140094278012288 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20348] ppid=20322 vsize=26540748 memory=139676777948799 CPUtime=2474.04 cores=0-7
/proc/20324/task/20348/stat : 20348 (java) R 20322 20322 20278 0 -1 4202560 17083 0 0 0 247393 11 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093968674792 140094277389033 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20349] ppid=20322 vsize=26540748 memory=6440499724627305063 CPUtime=2478.13 cores=0-7
/proc/20324/task/20349/stat : 20349 (java) R 20322 20322 20278 0 -1 4202560 23556 0 0 0 247780 33 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093967622192 140094279944006 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20350] ppid=20322 vsize=26540748 memory=1236 CPUtime=2474.24 cores=0-7
/proc/20324/task/20350/stat : 20350 (java) R 20322 20322 20278 0 -1 4202560 23440 0 0 0 247408 16 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093966571824 140094277389221 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20351] ppid=20322 vsize=26540748 memory=960 CPUtime=2468.92 cores=0-7
/proc/20324/task/20351/stat : 20351 (java) R 20322 20322 20278 0 -1 4202560 22680 0 0 0 246881 11 0 0 20 0 28 0 144223668 27177725952 113826 33554432000 4194304 4196468 140720472100176 140093965517400 140094274982137 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 19845.1 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 456684 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.71 8.18 8.19 9/208 20427
/proc/meminfo: memFree=25082548/32770624 swapFree=67108860/67108860
[pid=20322] ppid=20319 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20322/stat : 20322 (xcsp3-exec) S 20319 20322 20278 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 144223544 9740288 345 33554432000 4194304 5098028 140727443639152 140727443637256 140084578251388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20422656 140727443641444 140727443641655 140727443641655 140727443644395 0
/proc/20322/statm: 2378 345 289 221 0 87 0
[pid=20324] ppid=20322 vsize=26540748 memory=447096 CPUtime=19984.9 cores=0-7
/proc/20324/stat : 20324 (java) S 20322 20322 20278 0 -1 1077944320 585755 0 0 0 1997035 1452 0 0 20 0 28 0 144223544 27177725952 111774 33554432000 4194304 4196468 140720472100176 140720472082720 140094662594295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
/proc/20324/statm: 6635187 111774 3302 1 0 6622421 0
[pid=20324/tid=20325] ppid=20322 vsize=26540748 memory=6791534058613427641 CPUtime=1.18 cores=0-7
/proc/20324/task/20325/stat : 20325 (java) S 20322 20322 20278 0 -1 1077944384 7134 0 0 0 112 6 0 0 20 0 28 0 144223544 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094666835072 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20326] ppid=20322 vsize=26540748 memory=1236 CPUtime=3.21 cores=0-7
/proc/20324/task/20326/stat : 20326 (java) S 20322 20322 20278 0 -1 1077944384 24374 0 0 0 295 26 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094615214736 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20327] ppid=20322 vsize=26540748 memory=960 CPUtime=3.23 cores=0-7
/proc/20324/task/20327/stat : 20327 (java) S 20322 20322 20278 0 -1 1077944384 22881 0 0 0 297 26 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094614161936 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20328] ppid=20322 vsize=26540748 memory=2240 CPUtime=3.2 cores=0-7
/proc/20324/task/20328/stat : 20328 (java) S 20322 20322 20278 0 -1 1077944384 19272 0 0 0 296 24 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094613109136 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20329] ppid=20322 vsize=26540748 memory=-7003737579269690708 CPUtime=3.18 cores=0-7
/proc/20324/task/20329/stat : 20329 (java) S 20322 20322 20278 0 -1 1077944384 18873 0 0 0 290 28 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094612056336 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20330] ppid=20322 vsize=26540748 memory=4616 CPUtime=3.19 cores=0-7
/proc/20324/task/20330/stat : 20330 (java) S 20322 20322 20278 0 -1 1077944384 24299 0 0 0 293 26 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094611004560 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20331] ppid=20322 vsize=26540748 memory=8620 CPUtime=3.15 cores=0-7
/proc/20324/task/20331/stat : 20331 (java) S 20322 20322 20278 0 -1 1077944384 18238 0 0 0 293 22 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094609951760 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20332] ppid=20322 vsize=26540748 memory=792 CPUtime=3.22 cores=0-7
/proc/20324/task/20332/stat : 20332 (java) S 20322 20322 20278 0 -1 1077944384 20179 0 0 0 297 25 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094608898960 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20333] ppid=20322 vsize=26540748 memory=1204 CPUtime=3.19 cores=0-7
/proc/20324/task/20333/stat : 20333 (java) S 20322 20322 20278 0 -1 1077944384 19469 0 0 0 294 25 0 0 20 0 28 0 144223545 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094607846160 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20334] ppid=20322 vsize=26540748 memory=1728 CPUtime=16.69 cores=0-7
/proc/20324/task/20334/stat : 20334 (java) S 20322 20322 20278 0 -1 1077944384 54834 0 0 0 606 1063 0 0 20 0 28 0 144223547 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094057982320 140094662605442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20335] ppid=20322 vsize=26540748 memory=1440 CPUtime=0 cores=0-7
/proc/20324/task/20335/stat : 20335 (java) S 20322 20322 20278 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 144223547 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094056928352 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20336] ppid=20322 vsize=26540748 memory=15880 CPUtime=0 cores=0-7
/proc/20324/task/20336/stat : 20336 (java) S 20322 20322 20278 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 144223547 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094055875456 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20337] ppid=20322 vsize=26540748 memory=16432 CPUtime=0 cores=0-7
/proc/20324/task/20337/stat : 20337 (java) S 20322 20322 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094054823760 140094662612891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20338] ppid=20322 vsize=26540748 memory=0 CPUtime=4.45 cores=0-7
/proc/20324/task/20338/stat : 20338 (java) S 20322 20322 20278 0 -1 1077944384 27621 0 0 0 439 6 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094053772144 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20339] ppid=20322 vsize=26540748 memory=1 CPUtime=3.93 cores=0-7
/proc/20324/task/20339/stat : 20339 (java) S 20322 20322 20278 0 -1 1077944384 21143 0 0 0 389 4 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094052719344 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20340] ppid=20322 vsize=26540748 memory=0 CPUtime=4.26 cores=0-7
/proc/20324/task/20340/stat : 20340 (java) S 20322 20322 20278 0 -1 1077944384 21581 0 0 0 422 4 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094051666544 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20341] ppid=20322 vsize=26540748 memory=4937 CPUtime=1.13 cores=0-7
/proc/20324/task/20341/stat : 20341 (java) S 20322 20322 20278 0 -1 1077944384 16382 0 0 0 109 4 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140094050613744 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20342] ppid=20322 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/20324/task/20342/stat : 20342 (java) S 20322 20322 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093981452896 140094662604501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20343] ppid=20322 vsize=26540748 memory=1996118 CPUtime=0.7 cores=0-7
/proc/20324/task/20343/stat : 20343 (java) S 20322 20322 20278 0 -1 1077944384 4292 0 0 0 0 70 0 0 20 0 28 0 144223550 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093980400176 140094662605442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20344] ppid=20322 vsize=26540748 memory=118 CPUtime=2493.85 cores=0-7
/proc/20324/task/20344/stat : 20344 (java) R 20322 20322 20278 0 -1 4202560 36568 0 0 0 249365 20 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093972884232 140094277388773 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20345] ppid=20322 vsize=26540748 memory=321 CPUtime=2488.29 cores=0-7
/proc/20324/task/20345/stat : 20345 (java) R 20322 20322 20278 0 -1 4202560 20739 0 0 0 248817 12 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093971833240 140094278712820 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20346] ppid=20322 vsize=26540748 memory=323 CPUtime=2489.44 cores=0-7
/proc/20324/task/20346/stat : 20346 (java) R 20322 20322 20278 0 -1 4202560 25441 0 0 0 248928 16 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093970780624 140094277152932 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20347] ppid=20322 vsize=26540748 memory=6791534058613427641 CPUtime=2490.17 cores=0-7
/proc/20324/task/20347/stat : 20347 (java) R 20322 20322 20278 0 -1 4202560 94197 0 0 0 248959 58 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093969730880 140094276016965 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20348] ppid=20322 vsize=26540748 memory=40648 CPUtime=2491.32 cores=0-7
/proc/20324/task/20348/stat : 20348 (java) R 20322 20322 20278 0 -1 4202560 17098 0 0 0 249121 11 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093968675040 140094267807372 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20349] ppid=20322 vsize=26540748 memory=2428 CPUtime=2495.64 cores=0-7
/proc/20324/task/20349/stat : 20349 (java) R 20322 20322 20278 0 -1 4202560 23599 0 0 0 249531 33 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093967621936 140094279944045 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20350] ppid=20322 vsize=26540748 memory=1292 CPUtime=2491.68 cores=0-7
/proc/20324/task/20350/stat : 20350 (java) R 20322 20322 20278 0 -1 4202560 23486 0 0 0 249152 16 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093966569112 140094277389368 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
[pid=20324/tid=20351] ppid=20322 vsize=26540748 memory=1728 CPUtime=2486.36 cores=0-7
/proc/20324/task/20351/stat : 20351 (java) R 20322 20322 20278 0 -1 4202560 22697 0 0 0 248625 11 0 0 20 0 28 0 144223668 27177725952 111774 33554432000 4194304 4196468 140720472100176 140093965517400 140094276716176 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 8056832 140720472102034 140720472102211 140720472102211 140720472104911 0
Current children cumulated CPU time: 19984.9 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 448476 KiB

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

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

[startup+2520.13 s]
# the end of solver process 20324 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19971.2 s, system=14.5385 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.13
CPU time (s): 19985.7
CPU user time (s): 19971.2
CPU system time (s): 14.5385
CPU usage (%): 793.042
Max. virtual memory (cumulated for all children) (KiB): 26552168
Max. memory (cumulated for all children) (KiB): 1231040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19971.2
system time used= 14.5385
maximum resident set size= 1242544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144724
involuntary context switches= 205581


# summary of solver processes directly reported to runsolver:
#   pid: 20322,20324
#   total CPU time (s): 19985.7
#   total CPU user time (s): 19971.2
#   total CPU system time (s): 14.5385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.5644 second user time and 23.8921 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 04:42:46
IDJOB=4281220
IDBENCH=115804
IDSOLVER=2675
FILE ID=node148/4281220-1503111426
RUNJOBID= node148-1503110566-20305
PBS_JOBID= 20630754
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-20-20-9.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-4281220-1503111426/watcher-4281220-1503111426 -o /tmp/evaluation-result-4281220-1503111426/solver-4281220-1503111426 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1659085713 HOME/instance-4281220-1503111426.xml

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

MD5SUM BENCH= 167976addb93ebd5943ef7570ccdd100
RANDOM SEED=1659085713

node148.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.19
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.19
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.19
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.19
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:        25524652 kB
MemAvailable:   31976768 kB
Buffers:          287508 kB
Cached:          6459084 kB
SwapCached:            0 kB
Active:          1150056 kB
Inactive:        5648996 kB
Active(anon):       3768 kB
Inactive(anon):    84764 kB
Active(file):    1146288 kB
Inactive(file):  5564232 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7780 kB
Writeback:             0 kB
AnonPages:         60600 kB
Mapped:            50168 kB
Shmem:             33416 kB
Slab:             141080 kB
SReclaimable:     114860 kB
SUnreclaim:        26220 kB
KernelStack:        3184 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332900 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:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-19 05:24:47