Trace number 4400003

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 2019-09-16 parallelSAT (TO)72 19824.5 2520.1

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-11-a4.xml
MD5SUM76cd483e3b4252a6c3494775e86c7629
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables11
Number of constraints1322
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":11}]
Minimum variable degree451
Maximum variable degree452
Distribution of variable degrees[{"degree":451,"count":9},{"degree":452,"count":2}]
Minimum constraint arity1
Maximum constraint arity11
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":330},{"arity":4,"count":990},{"arity":11,"count":1}]
Number of extensional constraints0
Number of intensional constraints1321
Distribution of constraint types[{"type":"intension","count":1321},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400003-1568703806.xml"  -tl '20160s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4400003-1568703806.xml, -tl, 20160s, -p, 8]
0.33/0.24	c 8 solvers in parallel
0.33/0.31	c parse instance...
7.08/2.01	c solve instance...
16.86/3.36	o 96 
36.15/6.12	o 95 
49.54/8.24	o 93 
73.08/15.38	o 92 
133.94/28.76	o 90 
223.41/44.41	o 87 
335.08/60.52	o 82 
944.03/138.14	o 81 
1002.88/148.24	o 78 
6736.20/871.76	o 74 
17790.45/2264.57	o 72 
19823.82/2520.07	s SATISFIABLE
19823.82/2520.07	v <instantiation>
19823.82/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] </list>
19823.82/2520.07	v 	<values>0 1 4 13 28 33 47 54 64 70 72 </values>
19823.82/2520.07	v </instantiation>
19823.82/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	72

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400003-1568703806/watcher-4400003-1568703806 -o /tmp/evaluation-result-4400003-1568703806/solver-4400003-1568703806 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1379788628 HOME/instance-4400003-1568703806.xml 

running on 8 cores: 0-7

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


[startup+0.100108 s]*
/proc/loadavg: 5.20 6.80 7.54 2/211 20533
/proc/meminfo: memFree=29376280/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28227396 memory=30084 CPUtime=0.11 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 20 0 446386903 28904853504 7521 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7056849 7521 3122 1 0 7019032 0
[pid=20514/tid=20515] ppid=20512 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) R 20512 20512 17650 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 20 0 446386903 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880097594624 139879719729766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28227396 memory=139776381744768 CPUtime=0 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20519] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20519/stat : 20519 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880042834960 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20520] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20520/stat : 20520 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880041781648 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20521] ppid=20512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20521/stat : 20521 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880040728848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20522] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20522/stat : 20522 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139880039676560 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20523] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20523/stat : 20523 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 7521 33554432000 4194304 4196468 140736785185312 139879637703184 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20524] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20524/stat : 20524 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386905 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878272887408 139880093383298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20525] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20525/stat : 20525 (java) S 20512 20512 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386906 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878271833376 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20526] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20526/stat : 20526 (java) S 20512 20512 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386906 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878270781040 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20527] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20527/stat : 20527 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878269729360 139880093390747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20528] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20528/stat : 20528 (java) S 20512 20512 17650 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878268676208 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20529] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20529/stat : 20529 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878267623408 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20530] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20530/stat : 20530 (java) S 20512 20512 17650 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878266571120 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20531] ppid=20512 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20514/task/20531/stat : 20531 (java) S 20512 20512 17650 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878265518320 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20532] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20532/stat : 20532 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878264466272 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20533] ppid=20512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20533/stat : 20533 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 7521 33554432000 4194304 4196468 140736785185312 139878263413552 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31536 KiB

[startup+0.211183 s]*
/proc/loadavg: 5.20 6.80 7.54 3/211 20533
/proc/meminfo: memFree=29363320/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28227396 memory=41208 CPUtime=0.33 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 8988 0 0 0 30 3 0 0 20 0 20 0 446386903 28904853504 10302 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7056849 10302 3276 1 0 7019032 0
[pid=20514/tid=20515] ppid=20512 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) R 20512 20512 17650 0 -1 4202560 6146 0 0 0 18 2 0 0 20 0 20 0 446386903 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880097610224 139880093384086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28227396 memory=3617711385399064224 CPUtime=0 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20519] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20519/stat : 20519 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880042834960 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20520] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20520/stat : 20520 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880041781648 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20521] ppid=20512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20521/stat : 20521 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880040728848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20522] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20522/stat : 20522 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139880039676560 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20523] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20523/stat : 20523 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386904 28904853504 10302 33554432000 4194304 4196468 140736785185312 139879637703184 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20524] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20524/stat : 20524 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386905 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878272887408 139880093383298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20525] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20525/stat : 20525 (java) S 20512 20512 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386906 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878271833376 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20526] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20526/stat : 20526 (java) S 20512 20512 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386906 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878270781040 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20527] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20527/stat : 20527 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878269729360 139880093390747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20528] ppid=20512 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20514/task/20528/stat : 20528 (java) S 20512 20512 17650 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878268676208 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20529] ppid=20512 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20514/task/20529/stat : 20529 (java) S 20512 20512 17650 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878267623408 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20530] ppid=20512 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/20514/task/20530/stat : 20530 (java) S 20512 20512 17650 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878266571120 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20531] ppid=20512 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20514/task/20531/stat : 20531 (java) R 20512 20512 17650 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878265518320 139880072303963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20532] ppid=20512 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20532/stat : 20532 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878264466272 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20533] ppid=20512 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20533/stat : 20533 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28904853504 10302 33554432000 4194304 4196468 140736785185312 139878263413552 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42660 KiB

[startup+0.310892 s]*
/proc/loadavg: 5.20 6.80 7.54 2/211 20533
/proc/meminfo: memFree=29359100/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28231652 memory=46556 CPUtime=0.52 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 10025 0 0 0 48 4 0 0 20 0 20 0 446386903 28909211648 11639 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7057913 11639 3296 1 0 7019032 0
[pid=20514/tid=20515] ppid=20512 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) R 20512 20512 17650 0 -1 4202560 7079 0 0 0 27 2 0 0 20 0 20 0 446386903 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880097584560 139880077452638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20519] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20519/stat : 20519 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880042834960 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20520] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20520/stat : 20520 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880041781648 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20521] ppid=20512 vsize=28231652 memory=139776221080239 CPUtime=0 cores=0-7
/proc/20514/task/20521/stat : 20521 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880040728848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20522] ppid=20512 vsize=28231652 memory=139776221082544 CPUtime=0 cores=0-7
/proc/20514/task/20522/stat : 20522 (java) S 20512 20512 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139880039676560 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20523] ppid=20512 vsize=28231652 memory=139776221084848 CPUtime=0 cores=0-7
/proc/20514/task/20523/stat : 20523 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386904 28909211648 11704 33554432000 4194304 4196468 140736785185312 139879637703184 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20524] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20524/stat : 20524 (java) S 20512 20512 17650 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446386905 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878272887408 139880093383298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20525] ppid=20512 vsize=28231652 memory=279552442183568 CPUtime=0 cores=0-7
/proc/20514/task/20525/stat : 20525 (java) S 20512 20512 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386906 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878271833376 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20526] ppid=20512 vsize=28231652 memory=279552442181264 CPUtime=0 cores=0-7
/proc/20514/task/20526/stat : 20526 (java) S 20512 20512 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386906 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878270781040 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20527] ppid=20512 vsize=28231652 memory=279552442188176 CPUtime=0 cores=0-7
/proc/20514/task/20527/stat : 20527 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878269729360 139880093390747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20528] ppid=20512 vsize=28231652 memory=279552442129456 CPUtime=0.02 cores=0-7
/proc/20514/task/20528/stat : 20528 (java) S 20512 20512 17650 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878268676208 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20529] ppid=20512 vsize=28231652 memory=279552442202000 CPUtime=0.03 cores=0-7
/proc/20514/task/20529/stat : 20529 (java) R 20512 20512 17650 0 -1 4202560 129 0 0 0 3 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878267623408 139880093393498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20530] ppid=20512 vsize=28231652 memory=279552442208912 CPUtime=0.02 cores=0-7
/proc/20514/task/20530/stat : 20530 (java) S 20512 20512 17650 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878266571120 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20531] ppid=20512 vsize=28231652 memory=279552442206608 CPUtime=0.12 cores=0-7
/proc/20514/task/20531/stat : 20531 (java) S 20512 20512 17650 0 -1 1077944384 809 0 0 0 12 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878265518320 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20532] ppid=20512 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20532/stat : 20532 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878264466272 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20533] ppid=20512 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20514/task/20533/stat : 20533 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386909 28909211648 11704 33554432000 4194304 4196468 140736785185312 139878263413552 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48008 KiB

[startup+0.70099 s]
/proc/loadavg: 5.20 6.80 7.54 4/211 20533
/proc/meminfo: memFree=29341120/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28233776 memory=86704 CPUtime=1.81 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 15369 0 0 0 174 7 0 0 20 0 20 0 446386903 28911386624 21676 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7058444 21676 3458 1 0 7019544 0
[pid=20514/tid=20515] ppid=20512 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) R 20512 20512 17650 0 -1 4202560 8719 0 0 0 64 3 0 0 20 0 20 0 446386903 28911386624 21676 33554432000 4194304 4196468 140736785185312 139880097608976 139879719765705 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28233776 memory=139776221291376 CPUtime=0 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28911386624 21676 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28911386624 21676 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386904 28911386624 21676 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0

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

[pid=20514/tid=20828] ppid=20512 vsize=28769364 memory=288230574492221466 CPUtime=175.72 cores=0-7
/proc/20514/task/20828/stat : 20828 (java) R 20512 20512 17650 0 -1 4202560 2362 0 0 0 17569 3 0 0 20 0 28 0 446613361 29459828736 698660 33554432000 4194304 4196468 140736785185312 139878252089080 139879728889366 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 19205 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2796092 KiB

[startup+2502.3 s]
/proc/loadavg: 8.28 8.40 8.26 9/220 20842
/proc/meminfo: memFree=26605876/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28769364 memory=2796688 CPUtime=19682.8 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 523791 0 0 0 1967635 646 0 0 20 0 28 0 446386903 29459828736 699172 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7192341 699172 3542 1 0 7153441 0
[pid=20514/tid=20515] ppid=20512 vsize=28769364 memory=1452 CPUtime=1.97 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) S 20512 20512 17650 0 -1 1077944384 11608 0 0 0 189 8 0 0 20 0 28 0 446386903 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880097612928 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28769364 memory=2796688 CPUtime=5.58 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 11280 0 0 0 546 12 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28769364 memory=56256 CPUtime=5.58 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 13618 0 0 0 543 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28769364 memory=984 CPUtime=5.65 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 14532 0 0 0 550 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20519] ppid=20512 vsize=28769364 memory=1452 CPUtime=5.68 cores=0-7
/proc/20514/task/20519/stat : 20519 (java) S 20512 20512 17650 0 -1 1077944384 11990 0 0 0 554 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880042834960 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20520] ppid=20512 vsize=28769364 memory=3624 CPUtime=5.64 cores=0-7
/proc/20514/task/20520/stat : 20520 (java) S 20512 20512 17650 0 -1 1077944384 11369 0 0 0 552 12 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880041781648 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20521] ppid=20512 vsize=28769364 memory=2794640 CPUtime=5.65 cores=0-7
/proc/20514/task/20521/stat : 20521 (java) S 20512 20512 17650 0 -1 1077944384 13757 0 0 0 550 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880040728848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20522] ppid=20512 vsize=28769364 memory=1452 CPUtime=5.7 cores=0-7
/proc/20514/task/20522/stat : 20522 (java) S 20512 20512 17650 0 -1 1077944384 13625 0 0 0 556 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880039676560 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20523] ppid=20512 vsize=28769364 memory=2796688 CPUtime=5.69 cores=0-7
/proc/20514/task/20523/stat : 20523 (java) S 20512 20512 17650 0 -1 1077944384 13042 0 0 0 555 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139879637703184 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20524] ppid=20512 vsize=28769364 memory=1452 CPUtime=1.02 cores=0-7
/proc/20514/task/20524/stat : 20524 (java) S 20512 20512 17650 0 -1 1077944384 39431 0 0 0 70 32 0 0 20 0 28 0 446386905 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878272887408 139880093383298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20525] ppid=20512 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/20514/task/20525/stat : 20525 (java) S 20512 20512 17650 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 446386906 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878271833440 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20526] ppid=20512 vsize=28769364 memory=2796688 CPUtime=0 cores=0-7
/proc/20514/task/20526/stat : 20526 (java) S 20512 20512 17650 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446386906 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878270781056 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20527] ppid=20512 vsize=28769364 memory=-3622645143214314312 CPUtime=0 cores=0-7
/proc/20514/task/20527/stat : 20527 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878269729360 139880093390747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20528] ppid=20512 vsize=28769364 memory=14008 CPUtime=4.13 cores=0-7
/proc/20514/task/20528/stat : 20528 (java) S 20512 20512 17650 0 -1 1077944384 33123 0 0 0 405 8 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878268676208 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20529] ppid=20512 vsize=28769364 memory=1452 CPUtime=3.62 cores=0-7
/proc/20514/task/20529/stat : 20529 (java) S 20512 20512 17650 0 -1 1077944384 25261 0 0 0 358 4 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878267623408 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20530] ppid=20512 vsize=28769364 memory=288230574492221466 CPUtime=3.72 cores=0-7
/proc/20514/task/20530/stat : 20530 (java) S 20512 20512 17650 0 -1 1077944384 36488 0 0 0 366 6 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878266571120 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20531] ppid=20512 vsize=28769364 memory=288230591755977018 CPUtime=1.23 cores=0-7
/proc/20514/task/20531/stat : 20531 (java) S 20512 20512 17650 0 -1 1077944384 29337 0 0 0 116 7 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878265518320 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20532] ppid=20512 vsize=28769364 memory=14413709237821127 CPUtime=0 cores=0-7
/proc/20514/task/20532/stat : 20532 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878264466272 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20533] ppid=20512 vsize=28769364 memory=2828 CPUtime=1.06 cores=0-7
/proc/20514/task/20533/stat : 20533 (java) S 20512 20512 17650 0 -1 1077944384 6271 0 0 0 57 49 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878263413552 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20821] ppid=20512 vsize=28769364 memory=1176 CPUtime=235.86 cores=0-7
/proc/20514/task/20821/stat : 20821 (java) R 20512 20512 17650 0 -1 4202560 2169 0 0 0 23583 3 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878254193584 139879728889436 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20822] ppid=20512 vsize=28769364 memory=980 CPUtime=235.77 cores=0-7
/proc/20514/task/20822/stat : 20822 (java) R 20512 20512 17650 0 -1 4202560 1924 0 0 0 23575 2 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878247878784 139879729429536 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20823] ppid=20512 vsize=28769364 memory=1452 CPUtime=235.47 cores=0-7
/proc/20514/task/20823/stat : 20823 (java) R 20512 20512 17650 0 -1 4202560 4492 0 0 0 23540 7 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878251038480 139879730647646 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20824] ppid=20512 vsize=28769364 memory=1452 CPUtime=234.38 cores=0-7
/proc/20514/task/20824/stat : 20824 (java) R 20512 20512 17650 0 -1 4202560 3883 0 0 0 23433 5 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878249983608 139879728158185 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20825] ppid=20512 vsize=28769364 memory=2796688 CPUtime=234.86 cores=0-7
/proc/20514/task/20825/stat : 20825 (java) R 20512 20512 17650 0 -1 4202560 2095 0 0 0 23483 3 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878246825936 139879728515901 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20826] ppid=20512 vsize=28769364 memory=2796688 CPUtime=235.9 cores=0-7
/proc/20514/task/20826/stat : 20826 (java) R 20512 20512 17650 0 -1 4202560 2280 0 0 0 23586 4 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878192152264 139879728158185 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20827] ppid=20512 vsize=28769364 memory=1452 CPUtime=234.49 cores=0-7
/proc/20514/task/20827/stat : 20827 (java) R 20512 20512 17650 0 -1 4202560 1908 0 0 0 23448 1 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878248931280 139879728158185 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20828] ppid=20512 vsize=28769364 memory=2796688 CPUtime=235.15 cores=0-7
/proc/20514/task/20828/stat : 20828 (java) R 20512 20512 17650 0 -1 4202560 2527 0 0 0 23512 3 0 0 20 0 28 0 446613361 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878252089184 139879729491858 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 19682.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2798140 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.20 8.37 8.25 9/220 20845
/proc/meminfo: memFree=26605652/32770688 swapFree=66919992/67108860
[pid=20512] ppid=20509 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20512/stat : 20512 (xcsp3-exec) S 20509 20512 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446386902 115843072 363 33554432000 4194304 5098028 140728409620624 140728409618728 139889152074364 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22728704 140728409629557 140728409629801 140728409629801 140728409632714 0
/proc/20512/statm: 28282 363 304 221 0 87 0
[pid=20514] ppid=20512 vsize=28769364 memory=2796688 CPUtime=19823.8 cores=0-7
/proc/20514/stat : 20514 (java) S 20512 20512 17650 0 -1 1077944320 526459 0 0 0 1981734 648 0 0 20 0 28 0 446386903 29459828736 699172 33554432000 4194304 4196468 140736785185312 140736785167856 139880093372151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
/proc/20514/statm: 7192341 699172 3542 1 0 7153441 0
[pid=20514/tid=20515] ppid=20512 vsize=28769364 memory=1398722017469774279 CPUtime=1.97 cores=0-7
/proc/20514/task/20515/stat : 20515 (java) S 20512 20512 17650 0 -1 1077944384 11608 0 0 0 189 8 0 0 20 0 28 0 446386903 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880097612928 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20516] ppid=20512 vsize=28769364 memory=4872558044660077418 CPUtime=5.65 cores=0-7
/proc/20514/task/20516/stat : 20516 (java) S 20512 20512 17650 0 -1 1077944384 11442 0 0 0 553 12 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880045992848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20517] ppid=20512 vsize=28769364 memory=4872558044660077418 CPUtime=5.65 cores=0-7
/proc/20514/task/20517/stat : 20517 (java) S 20512 20512 17650 0 -1 1077944384 13829 0 0 0 550 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880044940048 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20518] ppid=20512 vsize=28769364 memory=4100 CPUtime=5.72 cores=0-7
/proc/20514/task/20518/stat : 20518 (java) S 20512 20512 17650 0 -1 1077944384 14848 0 0 0 557 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880043887760 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20519] ppid=20512 vsize=28769364 memory=1656 CPUtime=5.76 cores=0-7
/proc/20514/task/20519/stat : 20519 (java) S 20512 20512 17650 0 -1 1077944384 12153 0 0 0 562 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880042834960 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20520] ppid=20512 vsize=28769364 memory=496 CPUtime=5.71 cores=0-7
/proc/20514/task/20520/stat : 20520 (java) S 20512 20512 17650 0 -1 1077944384 11431 0 0 0 559 12 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880041781648 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20521] ppid=20512 vsize=28769364 memory=6791534058613427641 CPUtime=5.73 cores=0-7
/proc/20514/task/20521/stat : 20521 (java) S 20512 20512 17650 0 -1 1077944384 13835 0 0 0 558 15 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880040728848 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20522] ppid=20512 vsize=28769364 memory=1724 CPUtime=5.78 cores=0-7
/proc/20514/task/20522/stat : 20522 (java) S 20512 20512 17650 0 -1 1077944384 13686 0 0 0 564 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139880039676560 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20523] ppid=20512 vsize=28769364 memory=1964 CPUtime=5.75 cores=0-7
/proc/20514/task/20523/stat : 20523 (java) S 20512 20512 17650 0 -1 1077944384 13078 0 0 0 561 14 0 0 20 0 28 0 446386904 29459828736 699172 33554432000 4194304 4196468 140736785185312 139879637703184 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20524] ppid=20512 vsize=28769364 memory=2776 CPUtime=1.03 cores=0-7
/proc/20514/task/20524/stat : 20524 (java) S 20512 20512 17650 0 -1 1077944384 39806 0 0 0 71 32 0 0 20 0 28 0 446386905 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878272887408 139880093383298 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20525] ppid=20512 vsize=28769364 memory=924 CPUtime=0 cores=0-7
/proc/20514/task/20525/stat : 20525 (java) S 20512 20512 17650 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 446386906 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878271833440 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20526] ppid=20512 vsize=28769364 memory=1444 CPUtime=0 cores=0-7
/proc/20514/task/20526/stat : 20526 (java) S 20512 20512 17650 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446386906 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878270781056 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20527] ppid=20512 vsize=28769364 memory=1764 CPUtime=0 cores=0-7
/proc/20514/task/20527/stat : 20527 (java) S 20512 20512 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878269729360 139880093390747 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20528] ppid=20512 vsize=28769364 memory=111632 CPUtime=4.13 cores=0-7
/proc/20514/task/20528/stat : 20528 (java) S 20512 20512 17650 0 -1 1077944384 33125 0 0 0 405 8 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878268676208 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20529] ppid=20512 vsize=28769364 memory=800 CPUtime=3.62 cores=0-7
/proc/20514/task/20529/stat : 20529 (java) S 20512 20512 17650 0 -1 1077944384 25263 0 0 0 358 4 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878267623408 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20530] ppid=20512 vsize=28769364 memory=1804 CPUtime=3.72 cores=0-7
/proc/20514/task/20530/stat : 20530 (java) S 20512 20512 17650 0 -1 1077944384 36490 0 0 0 366 6 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878266571120 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20531] ppid=20512 vsize=28769364 memory=920 CPUtime=1.23 cores=0-7
/proc/20514/task/20531/stat : 20531 (java) S 20512 20512 17650 0 -1 1077944384 29339 0 0 0 116 7 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878265518320 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20532] ppid=20512 vsize=28769364 memory=4588 CPUtime=0 cores=0-7
/proc/20514/task/20532/stat : 20532 (java) S 20512 20512 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878264466272 139880093382357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20533] ppid=20512 vsize=28769364 memory=1412 CPUtime=1.1 cores=0-7
/proc/20514/task/20533/stat : 20533 (java) S 20512 20512 17650 0 -1 1077944384 6293 0 0 0 57 53 0 0 20 0 28 0 446386909 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878263413552 139880093383298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20821] ppid=20512 vsize=28769364 memory=288230574492221466 CPUtime=253.44 cores=0-7
/proc/20514/task/20821/stat : 20821 (java) R 20512 20512 17650 0 -1 4202560 2297 0 0 0 25341 3 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878254196048 139879729491846 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20822] ppid=20512 vsize=28769364 memory=288230591755977018 CPUtime=253.38 cores=0-7
/proc/20514/task/20822/stat : 20822 (java) R 20512 20512 17650 0 -1 4202560 2016 0 0 0 25336 2 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878247878920 139879728159450 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20823] ppid=20512 vsize=28769364 memory=14413709237821127 CPUtime=253.06 cores=0-7
/proc/20514/task/20823/stat : 20823 (java) R 20512 20512 17650 0 -1 4202560 4732 0 0 0 25299 7 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878251035968 139879728515901 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20824] ppid=20512 vsize=28769364 memory=6791534058613427641 CPUtime=251.95 cores=0-7
/proc/20514/task/20824/stat : 20824 (java) R 20512 20512 17650 0 -1 4202560 4075 0 0 0 25190 5 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878249984024 139879728954764 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20825] ppid=20512 vsize=28769364 memory=4008 CPUtime=252.29 cores=0-7
/proc/20514/task/20825/stat : 20825 (java) R 20512 20512 17650 0 -1 4202560 2263 0 0 0 25226 3 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878246826392 139879728516555 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20826] ppid=20512 vsize=28769364 memory=1452 CPUtime=253.47 cores=0-7
/proc/20514/task/20826/stat : 20826 (java) R 20512 20512 17650 0 -1 4202560 2380 0 0 0 25343 4 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878192152288 139879729429483 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20827] ppid=20512 vsize=28769364 memory=2796688 CPUtime=251.99 cores=0-7
/proc/20514/task/20827/stat : 20827 (java) R 20512 20512 17650 0 -1 4202560 2001 0 0 0 25198 1 0 0 20 0 28 0 446613360 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878248931304 139879729492614 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
[pid=20514/tid=20828] ppid=20512 vsize=28769364 memory=4100 CPUtime=252.68 cores=0-7
/proc/20514/task/20828/stat : 20828 (java) R 20512 20512 17650 0 -1 4202560 2688 0 0 0 25265 3 0 0 20 0 28 0 446613361 29459828736 699172 33554432000 4194304 4196468 140736785185312 139878252088984 139879728970352 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27787264 140736785187818 140736785187990 140736785187990 140736785190863 0
Current children cumulated CPU time: 19823.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2798140 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 19824.5
CPU user time (s): 19818
CPU system time (s): 6.49838
CPU usage (%): 786.653
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 3633916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19818
system time used= 6.49838
maximum resident set size= 3632464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102690
involuntary context switches= 236429


# summary of solver processes directly reported to runsolver:
#   pid: 20512,20514
#   total CPU time (s): 19824.5
#   total CPU user time (s): 19818
#   total CPU system time (s): 6.49838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0327 second user time and 35.1232 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-18 15:23:48
IDJOB=4400003
IDBENCH=126231
IDSOLVER=2854
FILE ID=node120/4400003-1568703806
RUNJOBID= node120-1324215096-17677
PBS_JOBID= 21703900
Free space on /tmp= 61628 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-11-a4.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400003-1568703806/watcher-4400003-1568703806 -o /tmp/evaluation-result-4400003-1568703806/solver-4400003-1568703806 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1379788628 HOME/instance-4400003-1568703806.xml

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

MD5SUM BENCH= 76cd483e3b4252a6c3494775e86c7629
RANDOM SEED=1379788628

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29393360 kB
MemAvailable:   31804132 kB
Buffers:          186668 kB
Cached:          2509208 kB
SwapCached:        77548 kB
Active:          1485160 kB
Inactive:        1293704 kB
Active(anon):       5472 kB
Inactive(anon):   127072 kB
Active(file):    1479688 kB
Inactive(file):  1166632 kB
Unevictable:      107748 kB
Mlocked:          107748 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             26444 kB
Writeback:             0 kB
AnonPages:        131920 kB
Mapped:            53404 kB
Shmem:             41008 kB
Slab:             191256 kB
SReclaimable:     160576 kB
SUnreclaim:        30680 kB
KernelStack:        3712 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61604 MiB
End job on node120 at 2011-12-18 16:05:49