Trace number 4407520

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT (TO)135 2000.48 252.027

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-14-a3.xml
MD5SUMa5381fa3d98671549d41a8d043d26ba4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark134
Best CPU time to get the best result obtained on this benchmark2400.42
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints94
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":91},{"size":501,"count":14}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints92
Distribution of constraint types[{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407520-1569347082.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407520-1569347082.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.68/0.77	c solve instance...
3.81/1.08	o 500 
4.49/1.18	o 181 
4.49/1.18	o 177 
4.49/1.19	o 174 
5.84/1.34	o 169 
5.84/1.39	o 168 
9.71/1.88	o 161 
12.87/2.23	o 160 
20.80/3.29	o 157 
22.34/3.46	o 154 
23.97/3.64	o 151 
32.65/4.77	o 148 
33.38/4.81	o 144 
121.64/15.96	o 143 
129.59/17.00	o 142 
259.48/33.22	o 141 
539.83/68.49	o 135 
2000.40/252.01	s SATISFIABLE
2000.40/252.01	v <instantiation>
2000.40/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] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list>
2000.40/252.01	v 	<values>0 1 3 7 18 39 51 73 82 98 108 122 127 135 1 3 7 18 39 51 73 82 98 108 122 127 135 2 6 17 38 50 72 81 97 107 121 126 134 4 15 36 48 70 79 95 105 119 124 132 11 32 44 66 75 91 101 115 120 128 21 33 55 64 80 90 104 109 117 12 34 43 59 69 83 88 96 22 31 47 57 71 76 84 9 25 35 49 54 62 16 26 40 45 53 10 24 29 37 14 19 27 5 13 8 </values>
2000.40/252.01	v </instantiation>
2000.40/252.01	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 (10790 MiB free)
  memory of node 1: 16384 MiB (14132 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407520-1569347082/watcher-4407520-1569347082 -o /tmp/evaluation-result-4407520-1569347082/solver-4407520-1569347082 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407520-1569347082.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
solver pid=10474, runsolver pid=10471
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.53 8.00 8.10 2/212 10495
/proc/meminfo: memFree=25503724/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28227396 memory=30196 CPUtime=0.12 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 5518 0 0 0 11 1 0 0 20 0 20 0 510869733 28904853504 7549 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7056849 7549 3118 1 0 7019032 0
[pid=10476/tid=10477] ppid=10474 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 3427 0 0 0 8 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445742458192 140445375967941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28227396 memory=13992506087401112 CPUtime=0 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10481] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10482] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10483] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10484] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10485] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10486] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10487] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10488] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10489] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10490] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10491] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10492] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10493] ppid=10474 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10476/task/10493/stat : 10493 (java) R 10474 10474 5615 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444380273136 140445738237334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10494] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10495] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31644 KiB

[startup+0.210363 s]*
/proc/loadavg: 7.53 8.00 8.10 2/212 10495
/proc/meminfo: memFree=25490996/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28227396 memory=40572 CPUtime=0.33 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 8921 0 0 0 30 3 0 0 20 0 20 0 510869733 28904853504 10143 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7056849 10143 3253 1 0 7019032 0
[pid=10476/tid=10477] ppid=10474 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 6193 0 0 0 18 2 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445742456624 140445738237334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28227396 memory=14976 CPUtime=0 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28227396 memory=140638617571353 CPUtime=0 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10481] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10482] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10483] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10484] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10485] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10486] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10487] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10488] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10489] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10490] ppid=10474 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10491] ppid=10474 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10492] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10493] ppid=10474 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/10476/task/10493/stat : 10493 (java) R 10474 10474 5615 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444380273136 140445731409535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10494] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10495] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42020 KiB

[startup+0.309752 s]*
/proc/loadavg: 7.53 8.00 8.10 5/212 10495
/proc/meminfo: memFree=25484592/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28231652 memory=49864 CPUtime=0.52 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 10302 0 0 0 48 4 0 0 20 0 20 0 510869733 28909211648 12466 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7057913 12466 3365 1 0 7019032 0
[pid=10476/tid=10477] ppid=10474 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 7265 0 0 0 27 2 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445742459632 140445722305886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10481] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10482] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10483] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10484] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10485] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10486] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510869736 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10487] ppid=10474 vsize=28231652 memory=281277005766016 CPUtime=0 cores=0-7
/proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10488] ppid=10474 vsize=28231652 memory=281277005770624 CPUtime=0 cores=0-7
/proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10489] ppid=10474 vsize=28231652 memory=281277005775232 CPUtime=0 cores=0-7
/proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10490] ppid=10474 vsize=28231652 memory=281277005779840 CPUtime=0.03 cores=0-7
/proc/10476/task/10490/stat : 10490 (java) R 10474 10474 5615 0 -1 4202560 505 0 0 0 3 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444383412552 140445717483024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10491] ppid=10474 vsize=28231652 memory=281277005784448 CPUtime=0.03 cores=0-7
/proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 81 0 0 0 3 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10492] ppid=10474 vsize=28231652 memory=281277005789056 CPUtime=0.01 cores=0-7
/proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10493] ppid=10474 vsize=28231652 memory=281277005793664 CPUtime=0.12 cores=0-7
/proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10494] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10495] ppid=10474 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51312 KiB

[startup+0.700965 s]
/proc/loadavg: 7.53 8.00 8.10 5/212 10495
/proc/meminfo: memFree=25467660/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28233776 memory=89408 CPUtime=1.68 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 15037 0 0 0 162 6 0 0 20 0 20 0 510869733 28911386624 22352 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7058444 22352 3451 1 0 7019544 0
[pid=10476/tid=10477] ppid=10474 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 8833 0 0 0 64 3 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445742461168 140445379993744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28233776 memory=140638503084928 CPUtime=0 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28233776 memory=1052 CPUtime=0 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0

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

[pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=251632 CPUtime=93.21 cores=0-7
/proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 4202560 936 0 0 0 9321 0 0 0 20 0 28 0 510876583 29459828736 64960 33554432000 4194304 4196468 140724932516608 140444361580176 140445383502268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 1287.39 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 261288 KiB

[startup+222.301 s]
/proc/loadavg: 8.37 8.27 8.19 9/219 10653
/proc/meminfo: memFree=25163132/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28769364 memory=372804 CPUtime=1764.21 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 123459 0 0 0 176346 75 0 0 20 0 28 0 510869733 29459828736 93201 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7192341 93201 3529 1 0 7153441 0
[pid=10476/tid=10477] ppid=10474 vsize=28769364 memory=368708 CPUtime=0.77 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) S 10474 10474 5615 0 -1 1077944384 9405 0 0 0 73 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445742466176 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28769364 memory=368688 CPUtime=0.31 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2941 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28769364 memory=368700 CPUtime=0.31 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 3092 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.31 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 4013 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10481] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.32 cores=0-7
/proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3648 0 0 0 28 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10482] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.31 cores=0-7
/proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 2198 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10483] ppid=10474 vsize=28769364 memory=281277006413344 CPUtime=0.31 cores=0-7
/proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2790 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10484] ppid=10474 vsize=28769364 memory=0 CPUtime=0.32 cores=0-7
/proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 3068 0 0 0 30 2 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10485] ppid=10474 vsize=28769364 memory=3588 CPUtime=0.32 cores=0-7
/proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 4052 0 0 0 28 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10486] ppid=10474 vsize=28769364 memory=63524 CPUtime=0.32 cores=0-7
/proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 9398 0 0 0 23 9 0 0 20 0 28 0 510869736 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10487] ppid=10474 vsize=28769364 memory=1160 CPUtime=0 cores=0-7
/proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510869736 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444386587744 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10488] ppid=10474 vsize=28769364 memory=1720 CPUtime=0 cores=0-7
/proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510869737 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444385534848 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10489] ppid=10474 vsize=28769364 memory=281277007520224 CPUtime=0 cores=0-7
/proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10490] ppid=10474 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7
/proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 11625 0 0 0 224 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10491] ppid=10474 vsize=28769364 memory=368700 CPUtime=2.11 cores=0-7
/proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 13408 0 0 0 209 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10492] ppid=10474 vsize=28769364 memory=1448 CPUtime=2.16 cores=0-7
/proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 9703 0 0 0 215 1 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10493] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.87 cores=0-7
/proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 9768 0 0 0 85 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10494] ppid=10474 vsize=28769364 memory=368708 CPUtime=0 cores=0-7
/proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10495] ppid=10474 vsize=28769364 memory=164 CPUtime=0.03 cores=0-7
/proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 2167 0 0 0 0 3 0 0 20 0 28 0 510869740 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10638] ppid=10474 vsize=28769364 memory=6944656592387989600 CPUtime=152.29 cores=0-7
/proc/10476/task/10638/stat : 10638 (java) R 10474 10474 5615 0 -1 4202560 1405 0 0 0 15229 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444364737040 140445382910313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10639] ppid=10474 vsize=28769364 memory=1412 CPUtime=152.96 cores=0-7
/proc/10476/task/10639/stat : 10639 (java) R 10474 10474 5615 0 -1 4202560 1238 0 0 0 15296 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444366843472 140445384935616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10640] ppid=10474 vsize=28769364 memory=1448 CPUtime=152.84 cores=0-7
/proc/10476/task/10640/stat : 10640 (java) R 10474 10474 5615 0 -1 4202560 2643 0 0 0 15284 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444365791824 140445383504193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10641] ppid=10474 vsize=28769364 memory=281277007940032 CPUtime=152.61 cores=0-7
/proc/10476/task/10641/stat : 10641 (java) R 10474 10474 5615 0 -1 4202560 3482 0 0 0 15256 5 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444362636496 140445382910999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10642] ppid=10474 vsize=28769364 memory=29970698470 CPUtime=152.87 cores=0-7
/proc/10476/task/10642/stat : 10642 (java) R 10474 10474 5615 0 -1 4202560 1805 0 0 0 15286 1 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444363686128 140445382173078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10643] ppid=10474 vsize=28769364 memory=12539 CPUtime=152.68 cores=0-7
/proc/10476/task/10643/stat : 10643 (java) R 10474 10474 5615 0 -1 4202560 1303 0 0 0 15268 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444368949272 140445382912117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10644] ppid=10474 vsize=28769364 memory=12566 CPUtime=152.24 cores=0-7
/proc/10476/task/10644/stat : 10644 (java) R 10474 10474 5615 0 -1 4202560 2391 0 0 0 15223 1 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444358430800 140445383241495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=3 CPUtime=152.46 cores=0-7
/proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 4202560 1691 0 0 0 15246 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444361580272 140445382173625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 1764.21 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 374252 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.22 8.25 8.18 9/220 10656
/proc/meminfo: memFree=25120712/32770624 swapFree=67002564/67108860
[pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0
/proc/10474/statm: 28282 362 304 221 0 87 0
[pid=10476] ppid=10474 vsize=28769364 memory=413788 CPUtime=2000.4 cores=0-7
/proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 126251 0 0 0 199960 80 0 0 20 0 28 0 510869733 29459828736 103447 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
/proc/10476/statm: 7192341 103447 3529 1 0 7153441 0
[pid=10476/tid=10477] ppid=10474 vsize=28769364 memory=0 CPUtime=0.77 cores=0-7
/proc/10476/task/10477/stat : 10477 (java) S 10474 10474 5615 0 -1 1077944384 9405 0 0 0 73 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445742466176 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10478] ppid=10474 vsize=28769364 memory=1720 CPUtime=0.39 cores=0-7
/proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2985 0 0 0 35 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10479] ppid=10474 vsize=28769364 memory=1398722017469774279 CPUtime=0.4 cores=0-7
/proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 3195 0 0 0 36 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10480] ppid=10474 vsize=28769364 memory=804 CPUtime=0.4 cores=0-7
/proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 4286 0 0 0 36 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10481] ppid=10474 vsize=28769364 memory=1804 CPUtime=0.39 cores=0-7
/proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3691 0 0 0 35 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10482] ppid=10474 vsize=28769364 memory=916 CPUtime=0.38 cores=0-7
/proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 2229 0 0 0 35 3 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10483] ppid=10474 vsize=28769364 memory=4496 CPUtime=0.39 cores=0-7
/proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 3151 0 0 0 36 3 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10484] ppid=10474 vsize=28769364 memory=4100 CPUtime=0.39 cores=0-7
/proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 3146 0 0 0 37 2 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10485] ppid=10474 vsize=28769364 memory=1412 CPUtime=0.4 cores=0-7
/proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 4150 0 0 0 35 5 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10486] ppid=10474 vsize=28769364 memory=3708 CPUtime=0.39 cores=0-7
/proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 9729 0 0 0 29 10 0 0 20 0 28 0 510869736 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10487] ppid=10474 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510869736 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444386587744 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10488] ppid=10474 vsize=28769364 memory=395356 CPUtime=0 cores=0-7
/proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510869737 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444385534848 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10489] ppid=10474 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10490] ppid=10474 vsize=28769364 memory=405596 CPUtime=2.26 cores=0-7
/proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 11627 0 0 0 224 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10491] ppid=10474 vsize=28769364 memory=399452 CPUtime=2.11 cores=0-7
/proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 13411 0 0 0 209 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10492] ppid=10474 vsize=28769364 memory=1736 CPUtime=2.16 cores=0-7
/proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 9705 0 0 0 215 1 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10493] ppid=10474 vsize=28769364 memory=4100 CPUtime=0.87 cores=0-7
/proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 10256 0 0 0 85 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10494] ppid=10474 vsize=28769364 memory=1412 CPUtime=0 cores=0-7
/proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10495] ppid=10474 vsize=28769364 memory=3708 CPUtime=0.04 cores=0-7
/proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 2187 0 0 0 0 4 0 0 20 0 28 0 510869740 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10638] ppid=10474 vsize=28769364 memory=740 CPUtime=181.65 cores=0-7
/proc/10476/task/10638/stat : 10638 (java) R 10474 10474 5615 0 -1 4202560 1497 0 0 0 18165 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444364737584 140445382171917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10639] ppid=10474 vsize=28769364 memory=1052 CPUtime=182.48 cores=0-7
/proc/10476/task/10639/stat : 10639 (java) R 10474 10474 5615 0 -1 4202560 1280 0 0 0 18248 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444366844016 140445383243644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10640] ppid=10474 vsize=28769364 memory=7548 CPUtime=182.36 cores=0-7
/proc/10476/task/10640/stat : 10640 (java) R 10474 10474 5615 0 -1 4202560 2720 0 0 0 18235 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444365791728 140445383502235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10641] ppid=10474 vsize=28769364 memory=3620 CPUtime=182.1 cores=0-7
/proc/10476/task/10641/stat : 10641 (java) R 10474 10474 5615 0 -1 4202560 3717 0 0 0 18205 5 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444362634096 140445382199362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10642] ppid=10474 vsize=28769364 memory=2832 CPUtime=182.3 cores=0-7
/proc/10476/task/10642/stat : 10642 (java) R 10474 10474 5615 0 -1 4202560 1905 0 0 0 18229 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444363685840 140445382909734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10643] ppid=10474 vsize=28769364 memory=776 CPUtime=181.99 cores=0-7
/proc/10476/task/10643/stat : 10643 (java) R 10474 10474 5615 0 -1 4202560 1427 0 0 0 18199 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444368949648 140445382173498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10644] ppid=10474 vsize=28769364 memory=1160 CPUtime=181.68 cores=0-7
/proc/10476/task/10644/stat : 10644 (java) R 10474 10474 5615 0 -1 4202560 2552 0 0 0 18166 2 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444358433856 140445383880057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
[pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=1720 CPUtime=181.9 cores=0-7
/proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 1077944384 1775 0 0 0 18189 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444361580144 140445738235605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0
Current children cumulated CPU time: 2000.4 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 415236 KiB

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

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

[startup+252.027 s]
# the end of solver process 10476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1999.66 s, system=0.8191 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.027
CPU time (s): 2000.48
CPU user time (s): 1999.66
CPU system time (s): 0.8191
CPU usage (%): 793.759
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 415236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.66
system time used= 0.8191
maximum resident set size= 414516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32347
involuntary context switches= 24216


# summary of solver processes directly reported to runsolver:
#   pid: 10474,10476
#   total CPU time (s): 2000.48
#   total CPU user time (s): 1999.66
#   total CPU system time (s): 0.8191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.28076 second user time and 2.58924 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 19:44:05
IDJOB=4407520
IDBENCH=126210
IDSOLVER=2872
FILE ID=node148/4407520-1569347082
RUNJOBID= node148-1569335941-5642
PBS_JOBID= 21705049
Free space on /tmp= 22084 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407520-1569347082/watcher-4407520-1569347082 -o /tmp/evaluation-result-4407520-1569347082/solver-4407520-1569347082 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407520-1569347082.xml

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

MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4
RANDOM SEED=1396051300

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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.13
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.13
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.13
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:        25521340 kB
MemAvailable:   31856700 kB
Buffers:           54788 kB
Cached:          6552420 kB
SwapCached:         3372 kB
Active:          4386072 kB
Inactive:        2227400 kB
Active(anon):       4088 kB
Inactive(anon):    57864 kB
Active(file):    4381984 kB
Inactive(file):  2169536 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       67002564 kB
Dirty:             26080 kB
Writeback:             0 kB
AnonPages:        124116 kB
Mapped:            56828 kB
Shmem:             47072 kB
Slab:             228340 kB
SReclaimable:     199348 kB
SUnreclaim:        28992 kB
KernelStack:        3728 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22060 MiB
End job on node148 at 2019-09-24 19:48:17