Trace number 4271553

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-09)SAT (TO)193 544.73901 252.04401

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-15-a4.xml
MD5SUMa2ce00dc78b702eb5fb62c242f19e981
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark171
Best CPU time to get the best result obtained on this benchmark249.758
Satisfiable
(Un)Satisfiability was proved
Number of variables15
Number of constraints5007
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":15}]
Minimum variable degree1275
Maximum variable degree1276
Distribution of variable degrees[{"degree":1275,"count":13},{"degree":1276,"count":2}]
Minimum constraint arity1
Maximum constraint arity15
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":910},{"arity":4,"count":4095},{"arity":15,"count":1}]
Number of extensional constraints0
Number of intensional constraints5006
Distribution of constraint types[{"type":"intension","count":5006},{"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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271553-1502643005.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271553-1502643005.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
8.54/2.27	c solve instance...
41.31/10.88	o 203 
77.17/15.45	o 202 
475.07/199.23	o 201 
487.99/201.31	o 193 
544.68/252.01	s SATISFIABLE
544.68/252.01	v <instantiation>
544.68/252.01	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] </list>
544.68/252.01	v 	<values>0 1 4 6 13 21 31 47 66 80 102 130 141 170 193 </values>
544.68/252.01	v </instantiation>
544.68/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	193

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 (12935 MiB free)
  memory of node 1: 16384 MiB (14986 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271553-1502643005/watcher-4271553-1502643005 -o /tmp/evaluation-result-4271553-1502643005/solver-4271553-1502643005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 338382310 HOME/instance-4271553-1502643005.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Starting watchdog thread
solver pid=13080, runsolver pid=13077
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 4.03 5.60 6.93 3/199 13101
/proc/meminfo: memFree=28577264/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=25999808 memory=26924 CPUtime=0.12 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 5673 0 0 0 11 1 0 0 20 0 20 0 97388401 26623803392 6731 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6499952 6731 2844 1 0 6488269 0
[pid=13082/tid=13083] ppid=13080 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) R 13080 13080 4410 0 -1 4202560 3679 0 0 0 8 1 0 0 20 0 20 0 97388401 26623803392 6731 33554432000 4194304 4196468 140725946609760 139687024360480 139686647512032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=25999808 memory=139979275605632 CPUtime=0 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13086/stat : 13086 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686970641552 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13087] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13087/stat : 13087 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686969588752 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13088] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13088/stat : 13088 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686968535440 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13089] ppid=13080 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13089/stat : 13089 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686967482640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13090] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13090/stat : 13090 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686572325520 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13091] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13091/stat : 13091 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26623803392 6731 33554432000 4194304 4196468 140725946609760 139686571272720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13092] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13092/stat : 13092 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388403 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685762194032 139687020137090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13093] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13093/stat : 13093 (java) S 13080 13080 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97388403 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685761140000 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13094] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13094/stat : 13094 (java) S 13080 13080 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97388404 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685760087664 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13095] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13095/stat : 13095 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685422688848 139687020144539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13096] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13096/stat : 13096 (java) S 13080 13080 4410 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685421635696 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13097] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13097/stat : 13097 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685420582896 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13098] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13098/stat : 13098 (java) S 13080 13080 4410 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685419530608 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13099] ppid=13080 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13082/task/13099/stat : 13099 (java) R 13080 13080 4410 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685418477808 139687001363504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13100] ppid=13080 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13100/stat : 13100 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388406 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685417425760 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13101] ppid=13080 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13101/stat : 13101 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388407 26623803392 6731 33554432000 4194304 4196468 140725946609760 139685416373040 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28308 KiB

[startup+0.210665 s]*
/proc/loadavg: 4.03 5.60 6.93 2/199 13101
/proc/meminfo: memFree=28566116/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=26004064 memory=38536 CPUtime=0.33 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 8347 0 0 0 31 2 0 0 20 0 20 0 97388401 26628161536 9634 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6501016 9634 2975 1 0 6488269 0
[pid=13082/tid=13083] ppid=13080 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) R 13080 13080 4410 0 -1 1077944384 5541 0 0 0 18 1 0 0 20 0 20 0 97388401 26628161536 9634 33554432000 4194304 4196468 140725946609760 139687024327776 139687012805165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=26004096 memory=330 CPUtime=0 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628194304 9634 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=26004096 memory=3689209509437478560 CPUtime=0 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628194304 9634 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13086/stat : 13086 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 9634 33554432000 4194304 4196468 140725946609760 139686970641552 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13087] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13087/stat : 13087 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 9634 33554432000 4194304 4196468 140725946609760 139686969588752 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13088] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13088/stat : 13088 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 9634 33554432000 4194304 4196468 140725946609760 139686968535440 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13089] ppid=13080 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13089/stat : 13089 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 9634 33554432000 4194304 4196468 140725946609760 139686967482640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13090] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13090/stat : 13090 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 9634 33554432000 4194304 4196468 140725946609760 139686572325520 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13091] ppid=13080 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13091/stat : 13091 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628194304 9634 33554432000 4194304 4196468 140725946609760 139686571272720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13092] ppid=13080 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13092/stat : 13092 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388403 26628194304 9634 33554432000 4194304 4196468 140725946609760 139685762194032 139687020137090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13093] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13093/stat : 13093 (java) S 13080 13080 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97388403 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685761140000 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13094] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13094/stat : 13094 (java) S 13080 13080 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97388404 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685760087664 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13095] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13095/stat : 13095 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685422688848 139687020144539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13096] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13096/stat : 13096 (java) S 13080 13080 4410 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685421635696 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13097] ppid=13080 vsize=26004096 memory=0 CPUtime=0.03 cores=0-7
/proc/13082/task/13097/stat : 13097 (java) S 13080 13080 4410 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 20 0 97388406 26628194304 9634 33554432000 4194304 4196468 140725946609760 139685420582896 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13098] ppid=13080 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13098/stat : 13098 (java) S 13080 13080 4410 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685419530608 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13099] ppid=13080 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/13082/task/13099/stat : 13099 (java) S 13080 13080 4410 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 20 0 97388406 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685418477808 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13100] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13100/stat : 13100 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685417425760 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13101] ppid=13080 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13101/stat : 13101 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388407 26628161536 9634 33554432000 4194304 4196468 140725946609760 139685416373040 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39920 KiB

[startup+0.310891 s]*
/proc/loadavg: 4.03 5.60 6.93 4/199 13101
/proc/meminfo: memFree=28561712/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=26004064 memory=45700 CPUtime=0.52 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 9160 0 0 0 49 3 0 0 20 0 20 0 97388401 26628161536 11425 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6501016 11425 3057 1 0 6488269 0
[pid=13082/tid=13083] ppid=13080 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) R 13080 13080 4410 0 -1 4202560 6113 0 0 0 27 2 0 0 20 0 20 0 97388401 26628161536 11491 33554432000 4194304 4196468 140725946609760 139687024364720 139687020137878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13086/stat : 13086 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686970641552 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13087] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13087/stat : 13087 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686969588752 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13088] ppid=13080 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13082/task/13088/stat : 13088 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686968535440 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13089] ppid=13080 vsize=26004064 memory=139979158287279 CPUtime=0 cores=0-7
/proc/13082/task/13089/stat : 13089 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686967482640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13090] ppid=13080 vsize=26004064 memory=139979158289584 CPUtime=0 cores=0-7
/proc/13082/task/13090/stat : 13090 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686572325520 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13091] ppid=13080 vsize=26004064 memory=139979158291888 CPUtime=0 cores=0-7
/proc/13082/task/13091/stat : 13091 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26628161536 11491 33554432000 4194304 4196468 140725946609760 139686571272720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13092] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13092/stat : 13092 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388403 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685762194032 139687020137090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13093] ppid=13080 vsize=26004064 memory=279958316590736 CPUtime=0 cores=0-7
/proc/13082/task/13093/stat : 13093 (java) S 13080 13080 4410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97388403 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685761140000 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13094] ppid=13080 vsize=26004064 memory=279958316597648 CPUtime=0 cores=0-7
/proc/13082/task/13094/stat : 13094 (java) S 13080 13080 4410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97388404 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685760087664 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13095] ppid=13080 vsize=26004064 memory=279958316538928 CPUtime=0 cores=0-7
/proc/13082/task/13095/stat : 13095 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685422688848 139687020144539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13096] ppid=13080 vsize=26004064 memory=279958316611472 CPUtime=0.01 cores=0-7
/proc/13082/task/13096/stat : 13096 (java) S 13080 13080 4410 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685421635696 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13097] ppid=13080 vsize=26004064 memory=279958316618384 CPUtime=0.04 cores=0-7
/proc/13082/task/13097/stat : 13097 (java) S 13080 13080 4410 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685420582896 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13098] ppid=13080 vsize=26004064 memory=279958316616080 CPUtime=0.02 cores=0-7
/proc/13082/task/13098/stat : 13098 (java) R 13080 13080 4410 0 -1 4202560 203 0 0 0 2 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685419530608 139687000826920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13099] ppid=13080 vsize=26004064 memory=279958316632240 CPUtime=0.14 cores=0-7
/proc/13082/task/13099/stat : 13099 (java) R 13080 13080 4410 0 -1 4202560 859 0 0 0 14 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685418472880 139686999051568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13100] ppid=13080 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13100/stat : 13100 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97388406 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685417425760 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13101] ppid=13080 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13082/task/13101/stat : 13101 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388407 26628161536 11491 33554432000 4194304 4196468 140725946609760 139685416373040 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47084 KiB

[startup+0.700997 s]
/proc/loadavg: 4.03 5.60 6.93 5/199 13101
/proc/meminfo: memFree=28528568/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=26006188 memory=115976 CPUtime=2.08 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 14550 0 0 0 203 5 0 0 20 0 20 0 97388401 26630336512 28994 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6501547 28994 3201 1 0 6488781 0
[pid=13082/tid=13083] ppid=13080 vsize=26006188 memory=279958316990128 CPUtime=0.67 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) R 13080 13080 4410 0 -1 4202560 6725 0 0 0 64 3 0 0 20 0 20 0 97388401 26630336512 28994 33554432000 4194304 4196468 140725946609760 139687024362752 139686647567837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=26006188 memory=139979158496112 CPUtime=0 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97388402 26630336512 28994 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97388402 26630336512 28994 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=26006188 memory=11008 CPUtime=0 cores=0-7

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

[pid=13082/tid=13125] ppid=13080 vsize=26538700 memory=2688236 CPUtime=29.59 cores=0-7
/proc/13082/task/13125/stat : 13125 (java) S 13080 13080 4410 0 -1 1077944384 5115 0 0 0 2955 4 0 0 20 0 28 0 97389946 27175628800 672059 33554432000 4194304 4196468 140725946609760 139685402547408 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 438.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2689620 KiB

[startup+222.301 s]
/proc/loadavg: 1.39 3.76 5.95 2/207 13141
/proc/meminfo: memFree=25912688/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=26538700 memory=2687740 CPUtime=514.71 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 345865 0 0 0 51170 301 0 0 20 0 28 0 97388401 27175628800 671935 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6634675 671935 3306 1 0 6621909 0
[pid=13082/tid=13083] ppid=13080 vsize=26538700 memory=2687740 CPUtime=2.02 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) S 13080 13080 4410 0 -1 1077944384 8413 0 0 0 195 7 0 0 20 0 28 0 97388401 27175628800 671935 33554432000 4194304 4196468 140725946609760 139687024366720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=26538700 memory=2687740 CPUtime=1.95 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 5843 0 0 0 176 19 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=26538700 memory=2687740 CPUtime=1.93 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 7043 0 0 0 174 19 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=26538700 memory=1384 CPUtime=1.95 cores=0-7
/proc/13082/task/13086/stat : 13086 (java) S 13080 13080 4410 0 -1 1077944384 18275 0 0 0 171 24 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686970641552 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13087] ppid=13080 vsize=26538700 memory=1420 CPUtime=1.96 cores=0-7
/proc/13082/task/13087/stat : 13087 (java) S 13080 13080 4410 0 -1 1077944384 5677 0 0 0 177 19 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686969588752 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13088] ppid=13080 vsize=26538700 memory=644 CPUtime=1.94 cores=0-7
/proc/13082/task/13088/stat : 13088 (java) S 13080 13080 4410 0 -1 1077944384 7004 0 0 0 170 24 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686968535440 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13089] ppid=13080 vsize=26538700 memory=193 CPUtime=1.93 cores=0-7
/proc/13082/task/13089/stat : 13089 (java) S 13080 13080 4410 0 -1 1077944384 8674 0 0 0 173 20 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686967482640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13090] ppid=13080 vsize=26538700 memory=193 CPUtime=1.93 cores=0-7
/proc/13082/task/13090/stat : 13090 (java) S 13080 13080 4410 0 -1 1077944384 8831 0 0 0 173 20 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686572325520 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13091] ppid=13080 vsize=26538700 memory=2687688 CPUtime=1.91 cores=0-7
/proc/13082/task/13091/stat : 13091 (java) S 13080 13080 4410 0 -1 1077944384 8013 0 0 0 170 21 0 0 20 0 28 0 97388402 27175628800 671935 33554432000 4194304 4196468 140725946609760 139686571272720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13092] ppid=13080 vsize=26538700 memory=1384 CPUtime=1.1 cores=0-7
/proc/13082/task/13092/stat : 13092 (java) S 13080 13080 4410 0 -1 1077944384 9821 0 0 0 107 3 0 0 20 0 28 0 97388403 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685762194032 139687020137090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13093] ppid=13080 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/13082/task/13093/stat : 13093 (java) S 13080 13080 4410 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 97388403 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685761140064 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13094] ppid=13080 vsize=26538700 memory=2687740 CPUtime=0 cores=0-7
/proc/13082/task/13094/stat : 13094 (java) S 13080 13080 4410 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 97388404 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685760087680 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13095] ppid=13080 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13082/task/13095/stat : 13095 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685422688848 139687020144539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13096] ppid=13080 vsize=26538700 memory=2687688 CPUtime=3.28 cores=0-7
/proc/13082/task/13096/stat : 13096 (java) S 13080 13080 4410 0 -1 1077944384 16191 0 0 0 325 3 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685421635696 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13097] ppid=13080 vsize=26538700 memory=1952 CPUtime=3.3 cores=0-7
/proc/13082/task/13097/stat : 13097 (java) S 13080 13080 4410 0 -1 1077944384 15212 0 0 0 327 3 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685420582896 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13098] ppid=13080 vsize=26538700 memory=1200 CPUtime=3.1 cores=0-7
/proc/13082/task/13098/stat : 13098 (java) S 13080 13080 4410 0 -1 1077944384 15861 0 0 0 308 2 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685419530608 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13099] ppid=13080 vsize=26538700 memory=8552 CPUtime=0.98 cores=0-7
/proc/13082/task/13099/stat : 13099 (java) S 13080 13080 4410 0 -1 1077944384 14469 0 0 0 94 4 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685418477808 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13100] ppid=13080 vsize=26538700 memory=5516 CPUtime=0 cores=0-7
/proc/13082/task/13100/stat : 13100 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97388406 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685417425760 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13101] ppid=13080 vsize=26538700 memory=4616 CPUtime=0.08 cores=0-7
/proc/13082/task/13101/stat : 13101 (java) S 13080 13080 4410 0 -1 1077944384 1610 0 0 0 4 4 0 0 20 0 28 0 97388407 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685416373040 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13134] ppid=13080 vsize=26538700 memory=1008 CPUtime=0.72 cores=0-7
/proc/13082/task/13134/stat : 13134 (java) S 13080 13080 4410 0 -1 1077944384 21 0 0 0 72 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685407809824 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13135] ppid=13080 vsize=26538700 memory=1236 CPUtime=0.7 cores=0-7
/proc/13082/task/13135/stat : 13135 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 70 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685406758352 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13136] ppid=13080 vsize=26538700 memory=644 CPUtime=0.64 cores=0-7
/proc/13082/task/13136/stat : 13136 (java) S 13080 13080 4410 0 -1 1077944384 19 0 0 0 64 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685403599696 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13137] ppid=13080 vsize=26538700 memory=1788 CPUtime=0.68 cores=0-7
/proc/13082/task/13137/stat : 13137 (java) S 13080 13080 4410 0 -1 1077944384 109 0 0 0 68 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685401494224 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13138] ppid=13080 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7
/proc/13082/task/13138/stat : 13138 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 68 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685405705296 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13139] ppid=13080 vsize=26538700 memory=2687740 CPUtime=0.69 cores=0-7
/proc/13082/task/13139/stat : 13139 (java) S 13080 13080 4410 0 -1 1077944384 44 0 0 0 69 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685408863184 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13140] ppid=13080 vsize=26538700 memory=2340 CPUtime=20.85 cores=0-7
/proc/13082/task/13140/stat : 13140 (java) R 13080 13080 4410 0 -1 4202560 3788 0 0 0 2084 1 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685404649696 139686654109640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13141] ppid=13080 vsize=26538700 memory=5791741719429868391 CPUtime=0.97 cores=0-7
/proc/13082/task/13141/stat : 13141 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 97 0 0 0 20 0 28 0 97408532 27175628800 671935 33554432000 4194304 4196468 140725946609760 139685402547408 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 514.71 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2689124 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 1.24 3.50 5.79 2/207 13141
/proc/meminfo: memFree=25861860/32770624 swapFree=67108860/67108860
[pid=13080] ppid=13077 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13080/stat : 13080 (xcsp3-exec) S 13077 13080 4410 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97388400 9740288 346 33554432000 4194304 5098028 140726612957440 140726612955544 140433638134396 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14831616 140726612964459 140726612964668 140726612964668 140726612967403 0
/proc/13080/statm: 2378 346 289 221 0 87 0
[pid=13082] ppid=13080 vsize=26538700 memory=2738960 CPUtime=544.68 cores=0-7
/proc/13082/stat : 13082 (java) S 13080 13080 4410 0 -1 1077944320 349261 0 0 0 54164 304 0 0 20 0 28 0 97388401 27175628800 684740 33554432000 4194304 4196468 140725946609760 140725946592304 139687020125943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
/proc/13082/statm: 6634675 684740 3306 1 0 6621909 0
[pid=13082/tid=13083] ppid=13080 vsize=26538700 memory=6791534058613427641 CPUtime=2.02 cores=0-7
/proc/13082/task/13083/stat : 13083 (java) S 13080 13080 4410 0 -1 1077944384 8413 0 0 0 195 7 0 0 20 0 28 0 97388401 27175628800 684740 33554432000 4194304 4196468 140725946609760 139687024366720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13084] ppid=13080 vsize=26538700 memory=4872558044660077418 CPUtime=1.98 cores=0-7
/proc/13082/task/13084/stat : 13084 (java) S 13080 13080 4410 0 -1 1077944384 5874 0 0 0 179 19 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686972746640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13085] ppid=13080 vsize=26538700 memory=840 CPUtime=1.97 cores=0-7
/proc/13082/task/13085/stat : 13085 (java) S 13080 13080 4410 0 -1 1077944384 7142 0 0 0 177 20 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686971693840 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13086] ppid=13080 vsize=26538700 memory=1692 CPUtime=1.99 cores=0-7
/proc/13082/task/13086/stat : 13086 (java) S 13080 13080 4410 0 -1 1077944384 18574 0 0 0 175 24 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686970641552 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13087] ppid=13080 vsize=26538700 memory=916 CPUtime=1.99 cores=0-7
/proc/13082/task/13087/stat : 13087 (java) S 13080 13080 4410 0 -1 1077944384 5856 0 0 0 180 19 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686969588752 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13088] ppid=13080 vsize=26538700 memory=4524 CPUtime=1.97 cores=0-7
/proc/13082/task/13088/stat : 13088 (java) S 13080 13080 4410 0 -1 1077944384 7322 0 0 0 173 24 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686968535440 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13089] ppid=13080 vsize=26538700 memory=4100 CPUtime=1.97 cores=0-7
/proc/13082/task/13089/stat : 13089 (java) S 13080 13080 4410 0 -1 1077944384 8702 0 0 0 176 21 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686967482640 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13090] ppid=13080 vsize=26538700 memory=1156 CPUtime=1.96 cores=0-7
/proc/13082/task/13090/stat : 13090 (java) S 13080 13080 4410 0 -1 1077944384 8853 0 0 0 176 20 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686572325520 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13091] ppid=13080 vsize=26538700 memory=3736 CPUtime=1.95 cores=0-7
/proc/13082/task/13091/stat : 13091 (java) S 13080 13080 4410 0 -1 1077944384 8674 0 0 0 173 22 0 0 20 0 28 0 97388402 27175628800 684740 33554432000 4194304 4196468 140725946609760 139686571272720 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13092] ppid=13080 vsize=26538700 memory=1384 CPUtime=1.11 cores=0-7
/proc/13082/task/13092/stat : 13092 (java) S 13080 13080 4410 0 -1 1077944384 10171 0 0 0 108 3 0 0 20 0 28 0 97388403 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685762194032 139687020137090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13093] ppid=13080 vsize=26538700 memory=2738960 CPUtime=0 cores=0-7
/proc/13082/task/13093/stat : 13093 (java) S 13080 13080 4410 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 97388403 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685761140064 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13094] ppid=13080 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13082/task/13094/stat : 13094 (java) S 13080 13080 4410 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 97388404 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685760087680 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13095] ppid=13080 vsize=26538700 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13082/task/13095/stat : 13095 (java) S 13080 13080 4410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685422688848 139687020144539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13096] ppid=13080 vsize=26538700 memory=4128 CPUtime=3.28 cores=0-7
/proc/13082/task/13096/stat : 13096 (java) S 13080 13080 4410 0 -1 1077944384 16194 0 0 0 325 3 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685421635696 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13097] ppid=13080 vsize=26538700 memory=2196 CPUtime=3.3 cores=0-7
/proc/13082/task/13097/stat : 13097 (java) S 13080 13080 4410 0 -1 1077944384 15215 0 0 0 327 3 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685420582896 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13098] ppid=13080 vsize=26538700 memory=6760 CPUtime=3.1 cores=0-7
/proc/13082/task/13098/stat : 13098 (java) S 13080 13080 4410 0 -1 1077944384 15870 0 0 0 308 2 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685419530608 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13099] ppid=13080 vsize=26538700 memory=840 CPUtime=0.98 cores=0-7
/proc/13082/task/13099/stat : 13099 (java) S 13080 13080 4410 0 -1 1077944384 14473 0 0 0 94 4 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685418477808 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13100] ppid=13080 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/13082/task/13100/stat : 13100 (java) S 13080 13080 4410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97388406 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685417425760 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13101] ppid=13080 vsize=26538700 memory=916 CPUtime=0.08 cores=0-7
/proc/13082/task/13101/stat : 13101 (java) S 13080 13080 4410 0 -1 1077944384 1668 0 0 0 4 4 0 0 20 0 28 0 97388407 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685416373040 139687020137090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13134] ppid=13080 vsize=26538700 memory=4524 CPUtime=0.72 cores=0-7
/proc/13082/task/13134/stat : 13134 (java) S 13080 13080 4410 0 -1 1077944384 21 0 0 0 72 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685407809824 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13135] ppid=13080 vsize=26538700 memory=1384 CPUtime=0.7 cores=0-7
/proc/13082/task/13135/stat : 13135 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 70 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685406758352 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13136] ppid=13080 vsize=26538700 memory=2738960 CPUtime=0.64 cores=0-7
/proc/13082/task/13136/stat : 13136 (java) S 13080 13080 4410 0 -1 1077944384 19 0 0 0 64 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685403599696 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13137] ppid=13080 vsize=26538700 memory=3736 CPUtime=0.68 cores=0-7
/proc/13082/task/13137/stat : 13137 (java) S 13080 13080 4410 0 -1 1077944384 109 0 0 0 68 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685401494224 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13138] ppid=13080 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7
/proc/13082/task/13138/stat : 13138 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 68 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685405705296 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13139] ppid=13080 vsize=26538700 memory=1236 CPUtime=0.69 cores=0-7
/proc/13082/task/13139/stat : 13139 (java) S 13080 13080 4410 0 -1 1077944384 44 0 0 0 69 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685408863184 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13140] ppid=13080 vsize=26538700 memory=644 CPUtime=50.53 cores=0-7
/proc/13082/task/13140/stat : 13140 (java) R 13080 13080 4410 0 -1 4202560 5120 0 0 0 5050 3 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685404649696 139686657792605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
[pid=13082/tid=13141] ppid=13080 vsize=26538700 memory=1788 CPUtime=0.97 cores=0-7
/proc/13082/task/13141/stat : 13141 (java) S 13080 13080 4410 0 -1 1077944384 18 0 0 0 97 0 0 0 20 0 28 0 97408532 27175628800 684740 33554432000 4194304 4196468 140725946609760 139685402547408 139687020136149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19456000 140725946610840 140725946611016 140725946611016 140725946613711 0
Current children cumulated CPU time: 544.68 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2740344 KiB

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

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

[startup+252.044 s]
# the end of solver process 13082 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=541.657 s, system=3.08181 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): 252.044
CPU time (s): 544.739
CPU user time (s): 541.657
CPU system time (s): 3.08181
CPU usage (%): 216.128
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2740344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.657
system time used= 3.08181
maximum resident set size= 2739884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12887
involuntary context switches= 4888


# summary of solver processes directly reported to runsolver:
#   pid: 13080,13082
#   total CPU time (s): 544.739
#   total CPU user time (s): 541.657
#   total CPU system time (s): 3.08181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13156 second user time and 3.03923 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-13 18:35:47
IDJOB=4271553
IDBENCH=126245
IDSOLVER=2663
FILE ID=node104/4271553-1502643005
RUNJOBID= node104-1502637289-4437
PBS_JOBID= 20628328
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-15-a4.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-4271553-1502643005/watcher-4271553-1502643005 -o /tmp/evaluation-result-4271553-1502643005/solver-4271553-1502643005 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502637289-4437 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 338382310 HOME/instance-4271553-1502643005.xml

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

MD5SUM BENCH= a2ce00dc78b702eb5fb62c242f19e981
RANDOM SEED=338382310

node104.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.43
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.43
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.43
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.43
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:        28592996 kB
MemAvailable:   31984028 kB
Buffers:          161968 kB
Cached:          3510524 kB
SwapCached:            0 kB
Active:           351336 kB
Inactive:        3371936 kB
Active(anon):      53632 kB
Inactive(anon):    25024 kB
Active(file):     297704 kB
Inactive(file):  3346912 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:        169892 kB
Mapped:            43680 kB
Shmem:             25228 kB
Slab:             150244 kB
SReclaimable:     124504 kB
SUnreclaim:        25740 kB
KernelStack:        3312 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-13 18:39:59