Trace number 4280630

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)135 20048.6 2520.1101

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n30/
TravellingSalesman-30-30-18.xml
MD5SUM16e7a4452edd8ccb673a436dbd81290a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints31
Number of domains2
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":60}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":30},{"arity":30,"count":1}]
Number of extensional constraints30
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":30},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

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-4280630-1503161084.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280630-1503161084.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.75/0.70	c solve instance...
1.75/0.80	o 286 
2.46/0.82	o 165 
2.46/0.83	o 164 
2.46/0.88	o 159 
2.46/0.90	o 158 
3.05/1.00	o 157 
3.82/1.06	o 155 
3.82/1.07	o 154 
4.50/1.11	o 151 
28.37/4.16	o 150 
52.24/7.15	o 149 
52.24/7.16	o 148 
322.45/41.07	o 147 
322.45/41.10	o 146 
346.25/44.08	o 145 
1127.96/142.23	o 143 
1638.81/206.44	o 142 
1941.20/244.46	o 140 
2476.23/311.70	o 137 
2477.09/311.75	o 135 
20047.82/2520.08	s SATISFIABLE
20047.82/2520.08	v <instantiation>
20047.82/2520.08	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] </list>
20047.82/2520.08	v 	<values>8 12 16 17 19 23 27 26 28 25 18 15 10 13 2 1 0 7 6 20 22 29 24 21 11 9 14 4 3 5 3 3 1 4 4 6 1 1 3 8 5 3 1 8 10 7 6 2 12 4 7 5 3 9 5 4 6 1 2 1 </values>
20047.82/2520.08	v </instantiation>
20047.82/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	135

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280630-1503161084/watcher-4280630-1503161084 -o /tmp/evaluation-result-4280630-1503161084/solver-4280630-1503161084 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503154977-23895 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1416371175 HOME/instance-4280630-1503161084.xml 

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

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


[startup+0.100723 s]*
/proc/loadavg: 8.79 8.37 8.26 3/200 26043
/proc/meminfo: memFree=21365600/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=25999808 memory=26360 CPUtime=0.12 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 5492 0 0 0 11 1 0 0 20 0 20 0 149189111 26623803392 6590 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6499952 6590 2865 1 0 6488269 0
[pid=26024/tid=26025] ppid=26022 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) R 26022 26022 23868 0 -1 4202560 3484 0 0 0 8 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769672297408 139769258574175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=25999808 memory=139857634248320 CPUtime=0 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26029] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26029/stat : 26029 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769587493648 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26030] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26030/stat : 26030 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769586440848 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26031] ppid=26022 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26031/stat : 26031 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769585388048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26032] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26032/stat : 26032 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769584335248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26033] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26033/stat : 26033 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769583282448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26034] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26034/stat : 26034 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189114 26623803392 6590 33554432000 4194304 4196468 140728690095952 139769176161136 139769668082306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26035] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26035/stat : 26035 (java) S 26022 26022 23868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149189114 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767871727136 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26036] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26036/stat : 26036 (java) S 26022 26022 23868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149189114 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767870674288 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26037] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26037/stat : 26037 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767869622608 139769668089755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26038] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26038/stat : 26038 (java) S 26022 26022 23868 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767868569968 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26039] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26039/stat : 26039 (java) R 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767867517168 139769668082306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26040] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26040/stat : 26040 (java) S 26022 26022 23868 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767866464368 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26041] ppid=26022 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/26024/task/26041/stat : 26041 (java) R 26022 26022 23868 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767865411568 139769649308720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26042] ppid=26022 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26042/stat : 26042 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767864360032 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26043] ppid=26022 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26043/stat : 26043 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26623803392 6590 33554432000 4194304 4196468 140728690095952 139767863307312 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27744 KiB

[startup+0.210349 s]*
/proc/loadavg: 8.79 8.37 8.26 2/200 26043
/proc/meminfo: memFree=21353552/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=26004064 memory=39072 CPUtime=0.33 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 8322 0 0 0 31 2 0 0 20 0 20 0 149189111 26628161536 9768 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6501016 9768 3078 1 0 6488269 0
[pid=26024/tid=26025] ppid=26022 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) R 26022 26022 23868 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769672294064 139769652151646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=26004064 memory=139857635249376 CPUtime=0 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26029] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26029/stat : 26029 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769587493648 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26030] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26030/stat : 26030 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769586440848 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26031] ppid=26022 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26031/stat : 26031 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769585388048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26032] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26032/stat : 26032 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769584335248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26033] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26033/stat : 26033 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769583282448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26034] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26034/stat : 26034 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189114 26628161536 9768 33554432000 4194304 4196468 140728690095952 139769176161136 139769668082306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26035] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26035/stat : 26035 (java) S 26022 26022 23868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149189114 26628161536 9768 33554432000 4194304 4196468 140728690095952 139767871727136 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26036] ppid=26022 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26036/stat : 26036 (java) S 26022 26022 23868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149189114 26628194304 9768 33554432000 4194304 4196468 140728690095952 139767870674288 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26037] ppid=26022 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26037/stat : 26037 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26628194304 9768 33554432000 4194304 4196468 140728690095952 139767869622608 139769668089755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26038] ppid=26022 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/26024/task/26038/stat : 26038 (java) S 26022 26022 23868 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767868569968 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26039] ppid=26022 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/26024/task/26039/stat : 26039 (java) S 26022 26022 23868 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767867517168 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26040] ppid=26022 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26040/stat : 26040 (java) S 26022 26022 23868 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767866464368 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26041] ppid=26022 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/26024/task/26041/stat : 26041 (java) S 26022 26022 23868 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767865411568 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26042] ppid=26022 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26042/stat : 26042 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767864360032 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26043] ppid=26022 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26043/stat : 26043 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26628161536 9789 33554432000 4194304 4196468 140728690095952 139767863307312 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40456 KiB

[startup+0.310318 s]*
/proc/loadavg: 8.79 8.37 8.26 2/200 26043
/proc/meminfo: memFree=21346976/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=26004064 memory=46136 CPUtime=0.49 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 9220 0 0 0 46 3 0 0 20 0 20 0 149189111 26628161536 11534 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6501016 11534 3100 1 0 6488269 0
[pid=26024/tid=26025] ppid=26022 vsize=26004140 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) R 26022 26022 23868 0 -1 4202560 6158 0 0 0 28 2 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769672303520 139769660788122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26029] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26029/stat : 26029 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769587493648 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26030] ppid=26022 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/26024/task/26030/stat : 26030 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769586440848 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26031] ppid=26022 vsize=26004140 memory=139857489916847 CPUtime=0 cores=0-7
/proc/26024/task/26031/stat : 26031 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769585388048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26032] ppid=26022 vsize=26004140 memory=139857489919152 CPUtime=0 cores=0-7
/proc/26024/task/26032/stat : 26032 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769584335248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26033] ppid=26022 vsize=26004140 memory=139857489921456 CPUtime=0 cores=0-7
/proc/26024/task/26033/stat : 26033 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769583282448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26034] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26034/stat : 26034 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189114 26628239360 11534 33554432000 4194304 4196468 140728690095952 139769176161136 139769668082306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26035] ppid=26022 vsize=26004140 memory=279714979849872 CPUtime=0 cores=0-7
/proc/26024/task/26035/stat : 26035 (java) S 26022 26022 23868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149189114 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767871727136 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26036] ppid=26022 vsize=26004140 memory=279714979856784 CPUtime=0 cores=0-7
/proc/26024/task/26036/stat : 26036 (java) S 26022 26022 23868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149189114 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767870674288 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26037] ppid=26022 vsize=26004140 memory=279714979798064 CPUtime=0 cores=0-7
/proc/26024/task/26037/stat : 26037 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767869622608 139769668089755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26038] ppid=26022 vsize=26004140 memory=279714979870608 CPUtime=0.01 cores=0-7
/proc/26024/task/26038/stat : 26038 (java) S 26022 26022 23868 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767868569968 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26039] ppid=26022 vsize=26004140 memory=279714979877520 CPUtime=0.02 cores=0-7
/proc/26024/task/26039/stat : 26039 (java) S 26022 26022 23868 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767867517168 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26040] ppid=26022 vsize=26004140 memory=279714979875216 CPUtime=0.02 cores=0-7
/proc/26024/task/26040/stat : 26040 (java) S 26022 26022 23868 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767866464368 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26041] ppid=26022 vsize=26004140 memory=279714979891376 CPUtime=0.11 cores=0-7
/proc/26024/task/26041/stat : 26041 (java) R 26022 26022 23868 0 -1 4202560 836 0 0 0 11 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767865411568 139769653439306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26042] ppid=26022 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26042/stat : 26042 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767864360032 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26043] ppid=26022 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/26024/task/26043/stat : 26043 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189117 26628239360 11534 33554432000 4194304 4196468 140728690095952 139767863307312 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47520 KiB

[startup+0.700995 s]
/proc/loadavg: 8.79 8.37 8.26 5/200 26043
/proc/meminfo: memFree=21330416/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=26006188 memory=85224 CPUtime=1.75 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 12480 0 0 0 170 5 0 0 20 0 20 0 149189111 26630336512 21306 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6501547 21306 3209 1 0 6488781 0
[pid=26024/tid=26025] ppid=26022 vsize=26006188 memory=279714980249264 CPUtime=0.66 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) R 26022 26022 23868 0 -1 4202560 6759 0 0 0 64 2 0 0 20 0 20 0 149189112 26630336512 21306 33554432000 4194304 4196468 140728690095952 139769672307488 139769668083094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=26006188 memory=139857490125680 CPUtime=0 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26630336512 21306 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149189112 26630336512 21306 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=26006188 memory=8736 CPUtime=0 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149189112 26630336512 21306 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0

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

[pid=26024/tid=26210] ppid=26022 vsize=26671828 memory=4132 CPUtime=2117.75 cores=0-7
/proc/26024/task/26210/stat : 26210 (java) R 26022 26022 23868 0 -1 4202560 8152 0 0 0 211767 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767855792808 139769263485079 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 19428.8 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 318260 KiB

[startup+2502.3 s]
/proc/loadavg: 8.12 8.11 8.21 9/207 26266
/proc/meminfo: memFree=21074552/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=26671828 memory=316876 CPUtime=19906.8 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 466928 0 0 0 1990363 313 0 0 20 0 28 0 149189111 27311951872 79219 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6667957 79219 3291 1 0 6655191 0
[pid=26024/tid=26025] ppid=26022 vsize=26671828 memory=1384 CPUtime=0.7 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) S 26022 26022 23868 0 -1 1077944384 8025 0 0 0 67 3 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769672311936 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=26671828 memory=316876 CPUtime=2.93 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 18263 0 0 0 278 15 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=26671828 memory=316876 CPUtime=2.93 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 18005 0 0 0 277 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=26671828 memory=316876 CPUtime=2.95 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 18387 0 0 0 279 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26029] ppid=26022 vsize=26671828 memory=1384 CPUtime=2.96 cores=0-7
/proc/26024/task/26029/stat : 26029 (java) S 26022 26022 23868 0 -1 1077944384 17753 0 0 0 280 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769587493648 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26030] ppid=26022 vsize=26671828 memory=316876 CPUtime=2.96 cores=0-7
/proc/26024/task/26030/stat : 26030 (java) S 26022 26022 23868 0 -1 1077944384 18935 0 0 0 279 17 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769586440848 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26031] ppid=26022 vsize=26671828 memory=139857490347153 CPUtime=2.91 cores=0-7
/proc/26024/task/26031/stat : 26031 (java) S 26022 26022 23868 0 -1 1077944384 17003 0 0 0 275 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769585388048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26032] ppid=26022 vsize=26671828 memory=225107825970362 CPUtime=2.96 cores=0-7
/proc/26024/task/26032/stat : 26032 (java) S 26022 26022 23868 0 -1 1077944384 18200 0 0 0 278 18 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769584335248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26033] ppid=26022 vsize=26671828 memory=316876 CPUtime=2.94 cores=0-7
/proc/26024/task/26033/stat : 26033 (java) S 26022 26022 23868 0 -1 1077944384 21605 0 0 0 277 17 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769583282448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26034] ppid=26022 vsize=26671828 memory=1240 CPUtime=2.78 cores=0-7
/proc/26024/task/26034/stat : 26034 (java) S 26022 26022 23868 0 -1 1077944384 64092 0 0 0 221 57 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769176161136 139769668082306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26035] ppid=26022 vsize=26671828 memory=960 CPUtime=0 cores=0-7
/proc/26024/task/26035/stat : 26035 (java) S 26022 26022 23868 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767871727200 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26036] ppid=26022 vsize=26671828 memory=5792874216422992727 CPUtime=0 cores=0-7
/proc/26024/task/26036/stat : 26036 (java) S 26022 26022 23868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767870674304 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26037] ppid=26022 vsize=26671828 memory=7228952860335171136 CPUtime=0 cores=0-7
/proc/26024/task/26037/stat : 26037 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767869622608 139769668089755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26038] ppid=26022 vsize=26671828 memory=0 CPUtime=1.78 cores=0-7
/proc/26024/task/26038/stat : 26038 (java) S 26022 26022 23868 0 -1 1077944384 9997 0 0 0 176 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767868569968 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26039] ppid=26022 vsize=26671828 memory=6944656592387989600 CPUtime=1.85 cores=0-7
/proc/26024/task/26039/stat : 26039 (java) S 26022 26022 23868 0 -1 1077944384 8574 0 0 0 184 1 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767867517168 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26040] ppid=26022 vsize=26671828 memory=1384 CPUtime=1.89 cores=0-7
/proc/26024/task/26040/stat : 26040 (java) S 26022 26022 23868 0 -1 1077944384 10023 0 0 0 187 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767866464368 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26041] ppid=26022 vsize=26671828 memory=316876 CPUtime=0.73 cores=0-7
/proc/26024/task/26041/stat : 26041 (java) S 26022 26022 23868 0 -1 1077944384 10099 0 0 0 71 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767865411568 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26042] ppid=26022 vsize=26671828 memory=316876 CPUtime=0 cores=0-7
/proc/26024/task/26042/stat : 26042 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767864360032 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26043] ppid=26022 vsize=26671828 memory=1572 CPUtime=0.34 cores=0-7
/proc/26024/task/26043/stat : 26043 (java) S 26022 26022 23868 0 -1 1077944384 4970 0 0 0 0 34 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767863307312 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26203] ppid=26022 vsize=26671828 memory=2244 CPUtime=2178.37 cores=0-7
/proc/26024/task/26203/stat : 26203 (java) R 26022 26022 23868 0 -1 4202560 8566 0 0 0 217829 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767851581240 139769263631995 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26204] ppid=26022 vsize=26671828 memory=4124 CPUtime=2176.62 cores=0-7
/proc/26024/task/26204/stat : 26204 (java) R 26022 26022 23868 0 -1 4202560 10479 0 0 0 217654 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767848423536 139769264043823 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26205] ppid=26022 vsize=26671828 memory=6791534058613427641 CPUtime=2173.23 cores=0-7
/proc/26024/task/26205/stat : 26205 (java) R 26022 26022 23868 0 -1 4202560 10726 0 0 0 217316 7 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767854740016 139769263486962 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26206] ppid=26022 vsize=26671828 memory=316876 CPUtime=2175.14 cores=0-7
/proc/26024/task/26206/stat : 26206 (java) R 26022 26022 23868 0 -1 4202560 27264 0 0 0 217495 19 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767853689664 139769263484993 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26207] ppid=26022 vsize=26671828 memory=4144 CPUtime=2174.1 cores=0-7
/proc/26024/task/26207/stat : 26207 (java) R 26022 26022 23868 0 -1 4202560 15646 0 0 0 217401 9 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767852633904 139769264210427 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26208] ppid=26022 vsize=26671828 memory=316876 CPUtime=2173.33 cores=0-7
/proc/26024/task/26208/stat : 26208 (java) R 26022 26022 23868 0 -1 4202560 50211 0 0 0 217300 33 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767847370472 139769263485131 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26209] ppid=26022 vsize=26671828 memory=1296 CPUtime=2176.93 cores=0-7
/proc/26024/task/26209/stat : 26209 (java) R 26022 26022 23868 0 -1 4202560 23861 0 0 0 217685 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767846317688 139769265072003 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26210] ppid=26022 vsize=26671828 memory=2408 CPUtime=2177.23 cores=0-7
/proc/26024/task/26210/stat : 26210 (java) R 26022 26022 23868 0 -1 4202560 8190 0 0 0 217715 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767855792632 139769263630969 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 19906.8 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 318260 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.15 8.11 8.21 9/207 26266
/proc/meminfo: memFree=21074676/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26022/stat : 26022 (xcsp3-exec) S 26019 26022 23868 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 149189111 9740288 346 33554432000 4194304 5098028 140725416333392 140725416331496 140234986111612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23207936 140725416338532 140725416338743 140725416338743 140725416341483 0
/proc/26022/statm: 2378 346 289 221 0 87 0
[pid=26024] ppid=26022 vsize=26671828 memory=316876 CPUtime=20047.8 cores=0-7
/proc/26024/stat : 26024 (java) S 26022 26022 23868 0 -1 1077944320 467132 0 0 0 2004468 314 0 0 20 0 28 0 149189111 27311951872 79219 33554432000 4194304 4196468 140728690095952 140728690078496 139769668071159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
/proc/26024/statm: 6667957 79219 3291 1 0 6655191 0
[pid=26024/tid=26025] ppid=26022 vsize=26671828 memory=6791534058613427641 CPUtime=0.7 cores=0-7
/proc/26024/task/26025/stat : 26025 (java) S 26022 26022 23868 0 -1 1077944384 8025 0 0 0 67 3 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769672311936 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26026] ppid=26022 vsize=26671828 memory=4126316290023845779 CPUtime=2.94 cores=0-7
/proc/26024/task/26026/stat : 26026 (java) S 26022 26022 23868 0 -1 1077944384 18263 0 0 0 279 15 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769590652048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26027] ppid=26022 vsize=26671828 memory=18476 CPUtime=2.94 cores=0-7
/proc/26024/task/26027/stat : 26027 (java) S 26022 26022 23868 0 -1 1077944384 18005 0 0 0 278 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769589599248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26028] ppid=26022 vsize=26671828 memory=24048 CPUtime=2.96 cores=0-7
/proc/26024/task/26028/stat : 26028 (java) S 26022 26022 23868 0 -1 1077944384 18387 0 0 0 280 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769588546448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26029] ppid=26022 vsize=26671828 memory=4048 CPUtime=2.97 cores=0-7
/proc/26024/task/26029/stat : 26029 (java) S 26022 26022 23868 0 -1 1077944384 17753 0 0 0 281 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769587493648 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26030] ppid=26022 vsize=26671828 memory=1792 CPUtime=2.97 cores=0-7
/proc/26024/task/26030/stat : 26030 (java) S 26022 26022 23868 0 -1 1077944384 18935 0 0 0 280 17 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769586440848 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26031] ppid=26022 vsize=26671828 memory=648 CPUtime=2.92 cores=0-7
/proc/26024/task/26031/stat : 26031 (java) S 26022 26022 23868 0 -1 1077944384 17003 0 0 0 276 16 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769585388048 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26032] ppid=26022 vsize=26671828 memory=1240 CPUtime=2.97 cores=0-7
/proc/26024/task/26032/stat : 26032 (java) S 26022 26022 23868 0 -1 1077944384 18200 0 0 0 279 18 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769584335248 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26033] ppid=26022 vsize=26671828 memory=960 CPUtime=2.95 cores=0-7
/proc/26024/task/26033/stat : 26033 (java) S 26022 26022 23868 0 -1 1077944384 21605 0 0 0 278 17 0 0 20 0 28 0 149189112 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769583282448 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26034] ppid=26022 vsize=26671828 memory=2424 CPUtime=2.79 cores=0-7
/proc/26024/task/26034/stat : 26034 (java) S 26022 26022 23868 0 -1 1077944384 64094 0 0 0 222 57 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139769176161136 139769668082306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26035] ppid=26022 vsize=26671828 memory=932 CPUtime=0 cores=0-7
/proc/26024/task/26035/stat : 26035 (java) S 26022 26022 23868 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767871727200 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26036] ppid=26022 vsize=26671828 memory=1572 CPUtime=0 cores=0-7
/proc/26024/task/26036/stat : 26036 (java) S 26022 26022 23868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 149189114 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767870674304 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26037] ppid=26022 vsize=26671828 memory=2244 CPUtime=0 cores=0-7
/proc/26024/task/26037/stat : 26037 (java) S 26022 26022 23868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767869622608 139769668089755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26038] ppid=26022 vsize=26671828 memory=4124 CPUtime=1.78 cores=0-7
/proc/26024/task/26038/stat : 26038 (java) S 26022 26022 23868 0 -1 1077944384 9997 0 0 0 176 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767868569968 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26039] ppid=26022 vsize=26671828 memory=2208 CPUtime=1.85 cores=0-7
/proc/26024/task/26039/stat : 26039 (java) S 26022 26022 23868 0 -1 1077944384 8575 0 0 0 184 1 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767867517168 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26040] ppid=26022 vsize=26671828 memory=8052 CPUtime=1.89 cores=0-7
/proc/26024/task/26040/stat : 26040 (java) S 26022 26022 23868 0 -1 1077944384 10023 0 0 0 187 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767866464368 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26041] ppid=26022 vsize=26671828 memory=844 CPUtime=0.73 cores=0-7
/proc/26024/task/26041/stat : 26041 (java) S 26022 26022 23868 0 -1 1077944384 10099 0 0 0 71 2 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767865411568 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26042] ppid=26022 vsize=26671828 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/26024/task/26042/stat : 26042 (java) S 26022 26022 23868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767864360032 139769668081365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26043] ppid=26022 vsize=26671828 memory=316876 CPUtime=0.34 cores=0-7
/proc/26024/task/26043/stat : 26043 (java) S 26022 26022 23868 0 -1 1077944384 4981 0 0 0 0 34 0 0 20 0 28 0 149189117 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767863307312 139769668082306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26203] ppid=26022 vsize=26671828 memory=4048 CPUtime=2195.83 cores=0-7
/proc/26024/task/26203/stat : 26203 (java) R 26022 26022 23868 0 -1 4202560 8607 0 0 0 219575 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767851580664 139769264819602 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26204] ppid=26022 vsize=26671828 memory=1792 CPUtime=2194.26 cores=0-7
/proc/26024/task/26204/stat : 26204 (java) R 26022 26022 23868 0 -1 4202560 10505 0 0 0 219418 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767848423672 139769263484648 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26205] ppid=26022 vsize=26671828 memory=648 CPUtime=2190.89 cores=0-7
/proc/26024/task/26205/stat : 26205 (java) R 26022 26022 23868 0 -1 4202560 10749 0 0 0 219082 7 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767854739088 139769263485238 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26206] ppid=26022 vsize=26671828 memory=1240 CPUtime=2192.82 cores=0-7
/proc/26024/task/26206/stat : 26206 (java) R 26022 26022 23868 0 -1 4202560 27285 0 0 0 219263 19 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767853686624 139769264210569 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26207] ppid=26022 vsize=26671828 memory=960 CPUtime=2191.7 cores=0-7
/proc/26024/task/26207/stat : 26207 (java) R 26022 26022 23868 0 -1 4202560 15662 0 0 0 219161 9 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767852633960 139769264210333 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26208] ppid=26022 vsize=26671828 memory=2424 CPUtime=2190.99 cores=0-7
/proc/26024/task/26208/stat : 26208 (java) R 26022 26022 23868 0 -1 4202560 50236 0 0 0 219066 33 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767847373264 139769263843945 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26209] ppid=26022 vsize=26671828 memory=932 CPUtime=2194.61 cores=0-7
/proc/26024/task/26209/stat : 26209 (java) R 26022 26022 23868 0 -1 4202560 23888 0 0 0 219453 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767846318312 139769263486870 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
[pid=26024/tid=26210] ppid=26022 vsize=26671828 memory=1572 CPUtime=2194.83 cores=0-7
/proc/26024/task/26210/stat : 26210 (java) R 26022 26022 23868 0 -1 4202560 8201 0 0 0 219475 8 0 0 20 0 28 0 149220286 27311951872 79219 33554432000 4194304 4196468 140728690095952 139767855792680 139769265071000 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 29822976 140728690099346 140728690099523 140728690099523 140728690102223 0
Current children cumulated CPU time: 20047.8 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 318260 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 20048.6
CPU user time (s): 20045.4
CPU system time (s): 3.14494
CPU usage (%): 795.544
Max. virtual memory (cumulated for all children) (KiB): 26681340
Max. memory (cumulated for all children) (KiB): 504696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20045.4
system time used= 3.14494
maximum resident set size= 524256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263849
involuntary context switches= 213854


# summary of solver processes directly reported to runsolver:
#   pid: 26022,26024
#   total CPU time (s): 20048.6
#   total CPU user time (s): 20045.4
#   total CPU system time (s): 3.14494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5487 second user time and 27.3266 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-19 18:30:24
IDJOB=4280630
IDBENCH=135870
IDSOLVER=2675
FILE ID=node149/4280630-1503161084
RUNJOBID= node149-1503154977-23895
PBS_JOBID= 20630817
Free space on /tmp= 61768 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n30/TravellingSalesman-30-30-18.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-4280630-1503161084/watcher-4280630-1503161084 -o /tmp/evaluation-result-4280630-1503161084/solver-4280630-1503161084 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503154977-23895 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1416371175 HOME/instance-4280630-1503161084.xml

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

MD5SUM BENCH= 16e7a4452edd8ccb673a436dbd81290a
RANDOM SEED=1416371175

node149.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:        21385668 kB
MemAvailable:   31952680 kB
Buffers:          348584 kB
Cached:         10489352 kB
SwapCached:            0 kB
Active:          2166888 kB
Inactive:        8724952 kB
Active(anon):      56840 kB
Inactive(anon):    33128 kB
Active(file):    2110048 kB
Inactive(file):  8691824 kB
Unevictable:        7912 kB
Mlocked:            7912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:         61900 kB
Mapped:            51268 kB
Shmem:             33416 kB
Slab:             188620 kB
SReclaimable:     161952 kB
SUnreclaim:        26668 kB
KernelStack:        3184 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61760 MiB
End job on node149 at 2017-08-19 19:12:24