Trace number 4399852

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelOPT55 35.8131 5.59582

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-10-a3.xml
MD5SUM1a91370fd3edda64a19224a97cd9d854
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark17.3915
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints48
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":45},{"size":501,"count":10}]
Minimum variable degree0
Maximum variable degree11
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":10,"count":8},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity45
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":45},{"arity":10,"count":1},{"arity":45,"count":1}]
Number of extensional constraints0
Number of intensional constraints46
Distribution of constraint types[{"type":"intension","count":46},{"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-4399852-1568703800.xml"  -tl '20160s' -p 8
0.12/0.20	c Choco e747e1e
0.12/0.20	c [HOME/instance-4399852-1568703800.xml, -tl, 20160s, -p, 8]
0.34/0.24	c 8 solvers in parallel
0.34/0.31	c parse instance...
1.50/0.76	c solve instance...
2.70/0.92	o 467 
2.70/0.93	o 465 
2.70/0.96	o 80 
2.70/1.00	o 75 
3.34/1.02	o 73 
3.34/1.03	o 72 
3.34/1.06	o 71 
4.02/1.11	o 70 
4.02/1.15	o 65 
4.02/1.18	o 63 
4.71/1.23	o 62 
7.06/1.52	o 60 
17.38/2.81	o 55 
35.70/5.12	s OPTIMUM FOUND
35.70/5.12	v <instantiation>
35.70/5.12	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list>
35.70/5.12	v 	<values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values>
35.70/5.12	v </instantiation>

Verifier Data 

OK	55

Watcher Data 

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

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

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

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

running on 8 cores: 0-7

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


[startup+0.100106 s]*
/proc/loadavg: 4.87 6.76 7.53 2/212 20335
/proc/meminfo: memFree=29378032/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28227396 memory=29084 CPUtime=0.12 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 5667 0 0 0 11 1 0 0 20 0 20 0 446386259 28904853504 7271 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7056849 7271 3158 1 0 7019032 0
[pid=20316/tid=20317] ppid=20314 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) R 20314 20314 17650 0 -1 4202560 3593 0 0 0 9 0 0 0 20 0 20 0 446386259 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571341837856 140571337624982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28227396 memory=139916128863872 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20321] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20321/stat : 20321 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571287075088 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20322] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20322/stat : 20322 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571286023312 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20323] ppid=20314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20323/stat : 20323 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571284970512 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20324] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20324/stat : 20324 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571283917712 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20325] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20325/stat : 20325 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 7271 33554432000 4194304 4196468 140729473019760 140571282864912 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20326] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20326/stat : 20326 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570319116656 140571337624194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20327] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20327/stat : 20327 (java) S 20314 20314 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570318062624 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20328] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20328/stat : 20328 (java) S 20314 20314 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570317009776 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20329] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20329/stat : 20329 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570315958096 140571337631643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20330] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20330/stat : 20330 (java) S 20314 20314 17650 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570314906480 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20331] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20331/stat : 20331 (java) S 20314 20314 17650 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570313853680 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20332] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20332/stat : 20332 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570312800880 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20333] ppid=20314 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20316/task/20333/stat : 20333 (java) S 20314 20314 17650 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570311748080 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20334] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20334/stat : 20334 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570310695520 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20335] ppid=20314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20335/stat : 20335 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386266 28904853504 7271 33554432000 4194304 4196468 140729473019760 140570309642800 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30540 KiB

[startup+0.21117 s]*
/proc/loadavg: 4.87 6.76 7.53 3/212 20335
/proc/meminfo: memFree=29364172/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28227396 memory=40652 CPUtime=0.34 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 9422 0 0 0 31 3 0 0 20 0 20 0 446386259 28904853504 10163 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7056849 10163 3262 1 0 7019032 0
[pid=20316/tid=20317] ppid=20314 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) R 20314 20314 17650 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 20 0 446386259 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571341851120 140571337624982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28227396 memory=3617711525146183328 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20321] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20321/stat : 20321 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571287075088 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20322] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20322/stat : 20322 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571286023312 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20323] ppid=20314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20323/stat : 20323 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571284970512 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20324] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20324/stat : 20324 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571283917712 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20325] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20325/stat : 20325 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28904853504 10163 33554432000 4194304 4196468 140729473019760 140571282864912 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20326] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20326/stat : 20326 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570319116656 140571337624194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20327] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20327/stat : 20327 (java) S 20314 20314 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570318062624 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20328] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20328/stat : 20328 (java) S 20314 20314 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386262 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570317009776 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20329] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20329/stat : 20329 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570315958096 140571337631643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20330] ppid=20314 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/20316/task/20330/stat : 20330 (java) S 20314 20314 17650 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570314906480 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20331] ppid=20314 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/20316/task/20331/stat : 20331 (java) S 20314 20314 17650 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570313853680 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20332] ppid=20314 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/20316/task/20332/stat : 20332 (java) S 20314 20314 17650 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570312800880 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20333] ppid=20314 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/20316/task/20333/stat : 20333 (java) R 20314 20314 17650 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570311748080 140571329814786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20334] ppid=20314 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20334/stat : 20334 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386265 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570310695520 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20335] ppid=20314 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20335/stat : 20335 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386266 28904853504 10163 33554432000 4194304 4196468 140729473019760 140570309642800 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42108 KiB

[startup+0.310901 s]*
/proc/loadavg: 4.87 6.76 7.53 2/212 20335
/proc/meminfo: memFree=29359432/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28231652 memory=46432 CPUtime=0.51 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 10554 0 0 0 48 3 0 0 20 0 20 0 446386259 28909211648 11608 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7057913 11608 3284 1 0 7019032 0
[pid=20316/tid=20317] ppid=20314 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) R 20314 20314 17650 0 -1 4202560 7583 0 0 0 27 2 0 0 20 0 20 0 446386259 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571341834560 140571321693534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20321] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20321/stat : 20321 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571287075088 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20322] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20322/stat : 20322 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571286023312 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20323] ppid=20314 vsize=28231652 memory=139916008843951 CPUtime=0 cores=0-7
/proc/20316/task/20323/stat : 20323 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571284970512 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20324] ppid=20314 vsize=28231652 memory=139916008846256 CPUtime=0 cores=0-7
/proc/20316/task/20324/stat : 20324 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571283917712 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20325] ppid=20314 vsize=28231652 memory=139916008848560 CPUtime=0 cores=0-7
/proc/20316/task/20325/stat : 20325 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386260 28909211648 11673 33554432000 4194304 4196468 140729473019760 140571282864912 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20326] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20326/stat : 20326 (java) S 20314 20314 17650 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446386262 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570319116656 140571337624194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20327] ppid=20314 vsize=28231652 memory=279832017710992 CPUtime=0 cores=0-7
/proc/20316/task/20327/stat : 20327 (java) S 20314 20314 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446386262 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570318062624 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20328] ppid=20314 vsize=28231652 memory=279832017708688 CPUtime=0 cores=0-7
/proc/20316/task/20328/stat : 20328 (java) S 20314 20314 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446386262 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570317009776 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20329] ppid=20314 vsize=28231652 memory=279832017715600 CPUtime=0 cores=0-7
/proc/20316/task/20329/stat : 20329 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570315958096 140571337631643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20330] ppid=20314 vsize=28231652 memory=279832017656880 CPUtime=0.03 cores=0-7
/proc/20316/task/20330/stat : 20330 (java) S 20314 20314 17650 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570314906480 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20331] ppid=20314 vsize=28231652 memory=279832017729424 CPUtime=0.02 cores=0-7
/proc/20316/task/20331/stat : 20331 (java) S 20314 20314 17650 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570313853680 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20332] ppid=20314 vsize=28231652 memory=279832017736336 CPUtime=0.01 cores=0-7
/proc/20316/task/20332/stat : 20332 (java) S 20314 20314 17650 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570312800880 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20333] ppid=20314 vsize=28231652 memory=279832017734032 CPUtime=0.12 cores=0-7
/proc/20316/task/20333/stat : 20333 (java) S 20314 20314 17650 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570311748080 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20334] ppid=20314 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20334/stat : 20334 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446386265 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570310695520 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20335] ppid=20314 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/20316/task/20335/stat : 20335 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446386266 28909211648 11673 33554432000 4194304 4196468 140729473019760 140570309642800 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47888 KiB

[startup+0.700907 s]
/proc/loadavg: 4.87 6.76 7.53 5/212 20335
/proc/meminfo: memFree=29347348/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28233776 memory=79064 CPUtime=1.5 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 14973 0 0 0 144 6 0 0 20 0 20 0 446386259 28911386624 19766 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7058444 19766 3453 1 0 7019544 0
[pid=20316/tid=20317] ppid=20314 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) R 20314 20314 17650 0 -1 4202560 9248 0 0 0 64 3 0 0 20 0 20 0 446386259 28911386624 19766 33554432000 4194304 4196468 140729473019760 140571341849968 140571337624982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28233776 memory=139916009055088 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28911386624 19766 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28911386624 19766 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28233776 memory=1176 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446386260 28911386624 19766 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0

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

/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28769364 memory=220488 CPUtime=20.54 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 33176 0 0 0 2038 16 0 0 20 0 28 0 446386259 29459828736 55122 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7192341 55122 3508 1 0 7153441 0
[pid=20316/tid=20317] ppid=20314 vsize=28769364 memory=6791534058613427641 CPUtime=0.76 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) S 20314 20314 17650 0 -1 1077944384 9405 0 0 0 72 4 0 0 20 0 28 0 446386259 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571341853824 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28769364 memory=213304 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20321] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20321/stat : 20321 (java) S 20314 20314 17650 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571287075088 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20322] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20322/stat : 20322 (java) S 20314 20314 17650 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571286023312 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20323] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20323/stat : 20323 (java) S 20314 20314 17650 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571284970512 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20324] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20324/stat : 20324 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571283917712 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20325] ppid=20314 vsize=28769364 memory=139916009047041 CPUtime=0 cores=0-7
/proc/20316/task/20325/stat : 20325 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 55122 33554432000 4194304 4196468 140729473019760 140571282864912 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20326] ppid=20314 vsize=28769364 memory=7164498462200911970 CPUtime=0 cores=0-7
/proc/20316/task/20326/stat : 20326 (java) S 20314 20314 17650 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570319116656 140571337624194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20327] ppid=20314 vsize=28769364 memory=7164498462200911970 CPUtime=0 cores=0-7
/proc/20316/task/20327/stat : 20327 (java) S 20314 20314 17650 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570318062624 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20328] ppid=20314 vsize=28769364 memory=7883943026187854439 CPUtime=0 cores=0-7
/proc/20316/task/20328/stat : 20328 (java) S 20314 20314 17650 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570317009776 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20329] ppid=20314 vsize=28769364 memory=7883943026187854439 CPUtime=0 cores=0-7
/proc/20316/task/20329/stat : 20329 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570315958096 140571337631643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20330] ppid=20314 vsize=28769364 memory=279832018115040 CPUtime=1.98 cores=0-7
/proc/20316/task/20330/stat : 20330 (java) R 20314 20314 17650 0 -1 4202560 5282 0 0 0 197 1 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570314895872 140571322539739 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20331] ppid=20314 vsize=28769364 memory=288230574492221466 CPUtime=1.82 cores=0-7
/proc/20316/task/20331/stat : 20331 (java) R 20314 20314 17650 0 -1 4202560 6050 0 0 0 181 1 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570313839776 140571319134438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20332] ppid=20314 vsize=28769364 memory=0 CPUtime=1.59 cores=0-7
/proc/20316/task/20332/stat : 20332 (java) S 20314 20314 17650 0 -1 1077944384 4175 0 0 0 158 1 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570312800880 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20333] ppid=20314 vsize=28769364 memory=0 CPUtime=0.78 cores=0-7
/proc/20316/task/20333/stat : 20333 (java) S 20314 20314 17650 0 -1 1077944384 3887 0 0 0 77 1 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570311748080 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20334] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20334/stat : 20334 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386265 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570310695520 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20335] ppid=20314 vsize=28769364 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/20316/task/20335/stat : 20335 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386266 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570309642800 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20440] ppid=20314 vsize=28769364 memory=6656426216303648864 CPUtime=0.27 cores=0-7
/proc/20316/task/20440/stat : 20440 (java) R 20314 20314 17650 0 -1 4202560 21 0 0 0 27 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570294342784 140570946197005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20441] ppid=20314 vsize=28769364 memory=0 CPUtime=0.32 cores=0-7
/proc/20316/task/20441/stat : 20441 (java) R 20314 20314 17650 0 -1 4202560 18 0 0 0 32 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570299609496 140570946501970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20442] ppid=20314 vsize=28769364 memory=0 CPUtime=0.31 cores=0-7
/proc/20316/task/20442/stat : 20442 (java) R 20314 20314 17650 0 -1 4202560 18 0 0 0 31 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570295399432 140570946890109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20443] ppid=20314 vsize=28769364 memory=0 CPUtime=0.21 cores=0-7
/proc/20316/task/20443/stat : 20443 (java) R 20314 20314 17650 0 -1 4202560 23 0 0 0 21 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570296451640 140570947014624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20444] ppid=20314 vsize=28769364 memory=0 CPUtime=0.26 cores=0-7
/proc/20316/task/20444/stat : 20444 (java) R 20314 20314 17650 0 -1 4202560 23 0 0 0 26 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570293295768 140570947274178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20445] ppid=20314 vsize=28769364 memory=0 CPUtime=0.36 cores=0-7
/proc/20316/task/20445/stat : 20445 (java) R 20314 20314 17650 0 -1 4202560 46 0 0 0 36 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570297504568 140570947014534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20446] ppid=20314 vsize=28769364 memory=0 CPUtime=0.3 cores=0-7
/proc/20316/task/20446/stat : 20446 (java) R 20314 20314 17650 0 -1 4202560 20 0 0 0 30 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570290143752 140570946889973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20447] ppid=20314 vsize=28769364 memory=0 CPUtime=0.37 cores=0-7
/proc/20316/task/20447/stat : 20447 (java) R 20314 20314 17650 0 -1 4202560 21 0 0 0 37 0 0 0 20 0 28 0 446386541 29459828736 55122 33554432000 4194304 4196468 140729473019760 140570300662232 140570946888915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
Current children cumulated CPU time: 20.54 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 221944 KiB

[startup+4.80151 s]
/proc/loadavg: 4.87 6.76 7.53 9/219 20447
/proc/meminfo: memFree=29179440/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
[pid=20316] ppid=20314 vsize=28769364 memory=238808 CPUtime=33.23 cores=0-7
/proc/20316/stat : 20316 (java) S 20314 20314 17650 0 -1 1077944320 38510 0 0 0 3304 19 0 0 20 0 28 0 446386259 29459828736 59702 33554432000 4194304 4196468 140729473019760 140729473002304 140571337613047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
/proc/20316/statm: 7192341 59702 3530 1 0 7153441 0
[pid=20316/tid=20317] ppid=20314 vsize=28769364 memory=776 CPUtime=0.76 cores=0-7
/proc/20316/task/20317/stat : 20317 (java) S 20314 20314 17650 0 -1 1077944384 9405 0 0 0 72 4 0 0 20 0 28 0 446386259 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571341853824 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20318] ppid=20314 vsize=28769364 memory=660 CPUtime=0 cores=0-7
/proc/20316/task/20318/stat : 20318 (java) S 20314 20314 17650 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571290233488 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20319] ppid=20314 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/20316/task/20319/stat : 20319 (java) S 20314 20314 17650 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571289180688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20320] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20320/stat : 20320 (java) S 20314 20314 17650 0 -1 1077944384 842 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571288127888 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20321] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20321/stat : 20321 (java) S 20314 20314 17650 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571287075088 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20322] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20322/stat : 20322 (java) S 20314 20314 17650 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571286023312 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20323] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20323/stat : 20323 (java) S 20314 20314 17650 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571284970512 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20324] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20324/stat : 20324 (java) S 20314 20314 17650 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571283917712 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20325] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20325/stat : 20325 (java) S 20314 20314 17650 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 446386260 29459828736 59702 33554432000 4194304 4196468 140729473019760 140571282864912 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20326] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20326/stat : 20326 (java) S 20314 20314 17650 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570319116656 140571337624194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20327] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20327/stat : 20327 (java) S 20314 20314 17650 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570318062688 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20328] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20328/stat : 20328 (java) S 20314 20314 17650 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 446386262 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570317009792 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20329] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20329/stat : 20329 (java) S 20314 20314 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570315958096 140571337631643 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20330] ppid=20314 vsize=28769364 memory=0 CPUtime=2.34 cores=0-7
/proc/20316/task/20330/stat : 20330 (java) S 20314 20314 17650 0 -1 1077944384 6253 0 0 0 233 1 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570314906480 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20331] ppid=20314 vsize=28769364 memory=0 CPUtime=2.18 cores=0-7
/proc/20316/task/20331/stat : 20331 (java) S 20314 20314 17650 0 -1 1077944384 6757 0 0 0 217 1 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570313853680 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20332] ppid=20314 vsize=28769364 memory=0 CPUtime=1.95 cores=0-7
/proc/20316/task/20332/stat : 20332 (java) S 20314 20314 17650 0 -1 1077944384 5326 0 0 0 193 2 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570312800880 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20333] ppid=20314 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7
/proc/20316/task/20333/stat : 20333 (java) S 20314 20314 17650 0 -1 1077944384 4330 0 0 0 79 1 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570311748080 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20334] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20334/stat : 20334 (java) S 20314 20314 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446386265 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570310695520 140571337623253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20335] ppid=20314 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/20316/task/20335/stat : 20335 (java) S 20314 20314 17650 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 446386266 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570309642800 140571337624194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20440] ppid=20314 vsize=28769364 memory=0 CPUtime=1.61 cores=0-7
/proc/20316/task/20440/stat : 20440 (java) R 20314 20314 17650 0 -1 4202560 121 0 0 0 161 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570294345080 140570948023487 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20441] ppid=20314 vsize=28769364 memory=0 CPUtime=1.83 cores=0-7
/proc/20316/task/20441/stat : 20441 (java) R 20314 20314 17650 0 -1 4202560 48 0 0 0 183 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570299608672 140570947519875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20442] ppid=20314 vsize=28769364 memory=0 CPUtime=1.85 cores=0-7
/proc/20316/task/20442/stat : 20442 (java) R 20314 20314 17650 0 -1 4202560 66 0 0 0 185 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570295399592 140570946500616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20443] ppid=20314 vsize=28769364 memory=0 CPUtime=1.53 cores=0-7
/proc/20316/task/20443/stat : 20443 (java) R 20314 20314 17650 0 -1 4202560 101 0 0 0 153 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570296453720 140570946889920 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20444] ppid=20314 vsize=28769364 memory=0 CPUtime=1.78 cores=0-7
/proc/20316/task/20444/stat : 20444 (java) R 20314 20314 17650 0 -1 4202560 144 0 0 0 178 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570293295000 140570947012107 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20445] ppid=20314 vsize=28769364 memory=0 CPUtime=1.83 cores=0-7
/proc/20316/task/20445/stat : 20445 (java) R 20314 20314 17650 0 -1 4202560 219 0 0 0 183 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570297504040 140570947520103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20446] ppid=20314 vsize=28769364 memory=152 CPUtime=1.77 cores=0-7
/proc/20316/task/20446/stat : 20446 (java) R 20314 20314 17650 0 -1 4202560 86 0 0 0 177 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570290142856 140570947273798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
[pid=20316/tid=20447] ppid=20314 vsize=28769364 memory=145 CPUtime=1.73 cores=0-7
/proc/20316/task/20447/stat : 20447 (java) R 20314 20314 17650 0 -1 4202560 61 0 0 0 173 0 0 0 20 0 28 0 446386541 29459828736 59702 33554432000 4194304 4196468 140729473019760 140570300661008 140570946500588 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18096128 140729473020906 140729473021078 140729473021078 140729473023951 0
Current children cumulated CPU time: 33.23 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 240264 KiB

[startup+5.20115 s]
/proc/loadavg: 4.87 6.76 7.53 9/219 20447
/proc/meminfo: memFree=29168708/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

[startup+5.40035 s]
/proc/loadavg: 4.87 6.76 7.53 9/219 20447
/proc/meminfo: memFree=29168708/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

[startup+5.5004 s]
/proc/loadavg: 4.87 6.76 7.53 9/219 20447
/proc/meminfo: memFree=29168708/32770688 swapFree=66919992/67108860
[pid=20314] ppid=20311 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20314/stat : 20314 (xcsp3-exec) S 20311 20314 17650 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446386259 115843072 364 33554432000 4194304 5098028 140737128453632 140737128451736 140597488796284 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14856192 140737128461174 140737128461417 140737128461417 140737128464330 0
/proc/20314/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 5.59582
CPU time (s): 35.8131
CPU user time (s): 35.5971
CPU system time (s): 0.215997
CPU usage (%): 639.997
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 240264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.5971
system time used= 0.215997
maximum resident set size= 239004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4757
involuntary context switches= 1223


# summary of solver processes directly reported to runsolver:
#   pid: 20314
#   total CPU time (s): 35.8131
#   total CPU user time (s): 35.5971
#   total CPU system time (s): 0.215997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.086743 second user time and 0.092164 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-18 15:23:42
IDJOB=4399852
IDBENCH=126224
IDSOLVER=2854
FILE ID=node120/4399852-1568703800
RUNJOBID= node120-1324215096-17677
PBS_JOBID= 21703900
Free space on /tmp= 61628 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-10-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-4399852-1568703800/watcher-4399852-1568703800 -o /tmp/evaluation-result-4399852-1568703800/solver-4399852-1568703800 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 419154084 HOME/instance-4399852-1568703800.xml

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

MD5SUM BENCH= 1a91370fd3edda64a19224a97cd9d854
RANDOM SEED=419154084

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29393536 kB
MemAvailable:   31804088 kB
Buffers:          186660 kB
Cached:          2508964 kB
SwapCached:        77548 kB
Active:          1485292 kB
Inactive:        1293668 kB
Active(anon):       5760 kB
Inactive(anon):   127072 kB
Active(file):    1479532 kB
Inactive(file):  1166596 kB
Unevictable:      107748 kB
Mlocked:          107748 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             25960 kB
Writeback:             0 kB
AnonPages:        293200 kB
Mapped:            53436 kB
Shmem:             41008 kB
Slab:             191244 kB
SReclaimable:     160516 kB
SUnreclaim:        30728 kB
KernelStack:        3888 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61604 MiB
End job on node120 at 2011-12-18 15:23:48