Trace number 4400254

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT (TO)72 1996.23 252.101

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-10-14.xml
MD5SUM2f9116219e9bb224096732f26408ee63
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1996.23
Satisfiable
(Un)Satisfiability was proved
Number of variables280
Number of constraints320
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":140},{"size":9,"count":140}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":140},{"degree":7,"count":4},{"degree":8,"count":40},{"degree":10,"count":96}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":140},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":96}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180},{"type":"sum","count":140}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400254-1568709596.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400254-1568709596.xml, -tl, 2016s, -p, 8]
0.34/0.23	c 8 solvers in parallel
0.34/0.29	c parse instance...
2.08/0.87	c solve instance...
2.52/0.95	o 0 
2.52/0.95	o 4 
2.52/0.96	o 6 
2.52/0.98	o 8 
2.52/0.98	o 10 
2.52/0.99	o 11 
2.52/1.00	o 15 
3.14/1.03	o 16 
3.14/1.10	o 63 
3.93/1.15	o 64 
4.61/1.22	o 65 
6.10/1.43	o 66 
6.87/1.58	o 67 
7.64/1.69	o 68 
10.95/2.08	o 69 
15.54/2.68	o 70 
1349.93/170.77	o 72 
1995.58/252.07	s SATISFIABLE
1995.58/252.07	v <instantiation>
1995.58/252.07	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] </list>
1995.58/252.07	v 	<values>1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 2 2 2 2 3 3 4 3 2 4 2 4 3 2 3 4 4 2 5 3 3 5 3 5 2 3 4 2 4 3 5 3 6 5 5 6 3 5 4 5 4 2 3 3 5 2 3 2 2 3 3 5 3 3 2 2 4 3 4 4 6 5 5 4 4 3 3 5 5 3 3 5 4 3 3 3 4 3 5 5 5 4 3 2 2 3 2 4 3 4 3 3 3 2 2 3 5 4 4 6 5 5 4 5 5 6 6 6 5 4 3 2 2 3 3 3 3 3 3 3 3 3 3 4 5 3 2 4 4 3 4 4 3 4 4 3 4 2 2 2 </values>
1995.58/252.07	v </instantiation>
1995.58/252.07	c Unexpected resolution interruption!

Verifier Data

OK	72

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14715 MiB free)
  memory of node 1: 16384 MiB (15239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400254-1568709596/watcher-4400254-1568709596 -o /tmp/evaluation-result-4400254-1568709596/solver-4400254-1568709596 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1488034755 HOME/instance-4400254-1568709596.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
Current StackSize limit: 8192 KiB

solver pid=31362, runsolver pid=31359

[startup+0.100112 s]*
/proc/loadavg: 8.28 8.29 8.23 2/210 31383
/proc/meminfo: memFree=30659640/32770624 swapFree=66926784/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=28227396 memory=27372 CPUtime=0.12 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 20 0 447215400 28904853504 6843 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7056849 6843 3142 1 0 7019032 0
[pid=31364/tid=31365] ppid=31362 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140188303975216 140187938702604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=28227396 memory=288370063267174016 CPUtime=0 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31369] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31370] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31371] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31372] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31373] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31374] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31375] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31376] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31377] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31378] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31379] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31380] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31381] ppid=31362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31364/task/31381/stat : 31381 (java) R 31362 31362 26088 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31382] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31383] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28820 KiB

[startup+0.210139 s]*
/proc/loadavg: 8.28 8.29 8.23 3/210 31383
/proc/meminfo: memFree=30645940/32770624 swapFree=66926784/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=28227396 memory=40020 CPUtime=0.34 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 9754 0 0 0 31 3 0 0 20 0 20 0 447215400 28904853504 10005 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7056849 10005 3305 1 0 7019032 0
[pid=31364/tid=31365] ppid=31362 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140188303971680 140188292420981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=28227396 memory=10923 CPUtime=0 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=28227396 memory=139687115488617 CPUtime=0 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31369] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31370] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31371] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31372] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31373] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31374] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31375] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31376] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31377] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31378] ppid=31362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31379] ppid=31362 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31380] ppid=31362 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31381] ppid=31362 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/31364/task/31381/stat : 31381 (java) R 31362 31362 26088 0 -1 4202560 871 0 0 0 7 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187677062800 140188291980094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31382] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31383] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41468 KiB

[startup+0.309512 s]*
/proc/loadavg: 7.70 8.16 8.19 3/210 31383
/proc/meminfo: memFree=30640248/32770624 swapFree=66926784/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=28231652 memory=48756 CPUtime=0.51 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 11096 0 0 0 48 3 0 0 20 0 20 0 447215400 28909211648 12189 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7057913 12189 3343 1 0 7019032 0
[pid=31364/tid=31365] ppid=31362 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140188303979584 140188299764893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31369] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31370] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31371] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31372] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31373] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31374] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447215403 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31375] ppid=31362 vsize=28231652 memory=279373932600704 CPUtime=0 cores=0-7
/proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31376] ppid=31362 vsize=28231652 memory=279373932605312 CPUtime=0 cores=0-7
/proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31377] ppid=31362 vsize=28231652 memory=279373932609920 CPUtime=0 cores=0-7
/proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31378] ppid=31362 vsize=28231652 memory=279373932614528 CPUtime=0.03 cores=0-7
/proc/31364/task/31378/stat : 31378 (java) R 31362 31362 26088 0 -1 4202560 581 0 0 0 3 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187680216544 140188280443264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31379] ppid=31362 vsize=28231652 memory=279373932619136 CPUtime=0.02 cores=0-7
/proc/31364/task/31379/stat : 31379 (java) R 31362 31362 26088 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187679173360 140188284142514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31380] ppid=31362 vsize=28231652 memory=279373932623744 CPUtime=0.02 cores=0-7
/proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31381] ppid=31362 vsize=28231652 memory=279373932628352 CPUtime=0.12 cores=0-7
/proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 1063 0 0 0 12 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31382] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31383] ppid=31362 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50204 KiB

[startup+0.700936 s]
/proc/loadavg: 7.70 8.16 8.19 3/210 31383
/proc/meminfo: memFree=30627184/32770624 swapFree=66926784/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=28233776 memory=82440 CPUtime=1.6 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 15395 0 0 0 154 6 0 0 20 0 20 0 447215400 28911386624 20610 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7058444 20610 3454 1 0 7019544 0
[pid=31364/tid=31365] ppid=31362 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 9282 0 0 0 64 3 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140188303980816 140188299764314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=28233776 memory=139686966502272 CPUtime=0 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=28233776 memory=9364 CPUtime=0 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0

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

[pid=31364/tid=31520] ppid=31362 vsize=29101156 memory=4008 CPUtime=157.54 cores=0-7
/proc/31364/task/31520/stat : 31520 (java) R 31362 31362 26088 0 -1 4202560 18018 0 0 0 15749 5 0 0 20 0 28 0 447215669 29799583744 147771 33554432000 4194304 4196468 140720759159168 140187460936120 140187943644270 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 1283.22 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 592532 KiB

[startup+222.301 s]
/proc/loadavg: 8.06 8.07 8.14 9/220 31550
/proc/meminfo: memFree=29926560/32770624 swapFree=66926788/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=29101156 memory=768340 CPUtime=1759.64 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 182171 0 0 0 175825 139 0 0 20 0 28 0 447215400 29799583744 192085 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7275289 192085 3546 1 0 7236389 0
[pid=31364/tid=31365] ppid=31362 vsize=29101156 memory=763184 CPUtime=0.87 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) S 31362 31362 26088 0 -1 1077944384 9693 0 0 0 84 3 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140188303983744 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=29101156 memory=763184 CPUtime=1.09 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 3933 0 0 0 99 10 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=29101156 memory=760624 CPUtime=1.11 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2704 0 0 0 101 10 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=29101156 memory=1448 CPUtime=1.06 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3044 0 0 0 97 9 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31369] ppid=31362 vsize=29101156 memory=778228 CPUtime=1.11 cores=0-7
/proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 4586 0 0 0 101 10 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31370] ppid=31362 vsize=29101156 memory=561064 CPUtime=1.11 cores=0-7
/proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 3409 0 0 0 100 11 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31371] ppid=31362 vsize=29101156 memory=763184 CPUtime=1.09 cores=0-7
/proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 3977 0 0 0 101 8 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31372] ppid=31362 vsize=29101156 memory=3580 CPUtime=1.08 cores=0-7
/proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 4906 0 0 0 98 10 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31373] ppid=31362 vsize=29101156 memory=928 CPUtime=1.11 cores=0-7
/proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 2801 0 0 0 102 9 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31374] ppid=31362 vsize=29101156 memory=1680 CPUtime=0.53 cores=0-7
/proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 25351 0 0 0 41 12 0 0 20 0 28 0 447215403 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31375] ppid=31362 vsize=29101156 memory=776768 CPUtime=0 cores=0-7
/proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447215403 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31376] ppid=31362 vsize=29101156 memory=3580 CPUtime=0 cores=0-7
/proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447215404 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31377] ppid=31362 vsize=29101156 memory=279373934130976 CPUtime=0 cores=0-7
/proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31378] ppid=31362 vsize=29101156 memory=6947190910687997796 CPUtime=1.37 cores=0-7
/proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 8759 0 0 0 136 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31379] ppid=31362 vsize=29101156 memory=1448 CPUtime=1.34 cores=0-7
/proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 6852 0 0 0 133 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31380] ppid=31362 vsize=29101156 memory=782956 CPUtime=1.27 cores=0-7
/proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 4440 0 0 0 126 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31381] ppid=31362 vsize=29101156 memory=1444 CPUtime=0.79 cores=0-7
/proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 6975 0 0 0 78 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31382] ppid=31362 vsize=29101156 memory=896 CPUtime=0 cores=0-7
/proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31383] ppid=31362 vsize=29101156 memory=7811330204900878933 CPUtime=0.05 cores=0-7
/proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1622 0 0 0 0 5 0 0 20 0 28 0 447215407 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31541] ppid=31362 vsize=29101156 memory=3907832917285890927 CPUtime=50.6 cores=0-7
/proc/31364/task/31541/stat : 31541 (java) R 31362 31362 26088 0 -1 4202560 2274 0 0 0 5060 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187461987392 140187944934569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31542] ppid=31362 vsize=29101156 memory=0 CPUtime=50.97 cores=0-7
/proc/31364/task/31542/stat : 31542 (java) R 31362 31362 26088 0 -1 4202560 1850 0 0 0 5096 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187451469360 140187944095782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31543] ppid=31362 vsize=29101156 memory=288230376154903981 CPUtime=50.99 cores=0-7
/proc/31364/task/31543/stat : 31543 (java) R 31362 31362 26088 0 -1 4202560 1966 0 0 0 5098 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187449365560 140187944679151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31544] ppid=31362 vsize=29101156 memory=4436 CPUtime=50.76 cores=0-7
/proc/31364/task/31544/stat : 31544 (java) R 31362 31362 26088 0 -1 4202560 10707 0 0 0 5072 4 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187452522896 140188285811092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31545] ppid=31362 vsize=29101156 memory=4100 CPUtime=50.9 cores=0-7
/proc/31364/task/31545/stat : 31545 (java) R 31362 31362 26088 0 -1 4202560 1823 0 0 0 5089 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187464093984 140187944682336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31546] ppid=31362 vsize=29101156 memory=1412 CPUtime=50.91 cores=0-7
/proc/31364/task/31546/stat : 31546 (java) R 31362 31362 26088 0 -1 4202560 7315 0 0 0 5087 4 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187453575728 140187945846077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31547] ppid=31362 vsize=29101156 memory=279373932399152 CPUtime=50.85 cores=0-7
/proc/31364/task/31547/stat : 31547 (java) R 31362 31362 26088 0 -1 4202560 1846 0 0 0 5085 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187460936112 140187944682418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31548] ppid=31362 vsize=29101156 memory=8013657910543148907 CPUtime=50.75 cores=0-7
/proc/31364/task/31548/stat : 31548 (java) R 31362 31362 26088 0 -1 4202560 2212 0 0 0 5075 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187450419968 140187945847501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 1759.64 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 769788 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.04 8.07 8.13 9/220 31553
/proc/meminfo: memFree=29610576/32770624 swapFree=66926788/67108860
[pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0
/proc/31362/statm: 28282 362 304 221 0 87 0
[pid=31364] ppid=31362 vsize=29101156 memory=1077180 CPUtime=1995.58 cores=0-7
/proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 204916 0 0 0 199388 170 0 0 20 0 28 0 447215400 29799583744 269295 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
/proc/31364/statm: 7275289 269295 3546 1 0 7236389 0
[pid=31364/tid=31365] ppid=31362 vsize=29101156 memory=8317482817917895235 CPUtime=0.87 cores=0-7
/proc/31364/task/31365/stat : 31365 (java) S 31362 31362 26088 0 -1 1077944384 9693 0 0 0 84 3 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140188303983744 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31366] ppid=31362 vsize=29101156 memory=4126316290023845779 CPUtime=1.27 cores=0-7
/proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 4269 0 0 0 115 12 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31367] ppid=31362 vsize=29101156 memory=1444 CPUtime=1.29 cores=0-7
/proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 3130 0 0 0 117 12 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31368] ppid=31362 vsize=29101156 memory=896 CPUtime=1.25 cores=0-7
/proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3554 0 0 0 114 11 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31369] ppid=31362 vsize=29101156 memory=1984 CPUtime=1.3 cores=0-7
/proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 4889 0 0 0 118 12 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31370] ppid=31362 vsize=29101156 memory=2552 CPUtime=1.29 cores=0-7
/proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 3897 0 0 0 116 13 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31371] ppid=31362 vsize=29101156 memory=1760 CPUtime=1.27 cores=0-7
/proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 4368 0 0 0 117 10 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31372] ppid=31362 vsize=29101156 memory=1556 CPUtime=1.24 cores=0-7
/proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 5098 0 0 0 112 12 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31373] ppid=31362 vsize=29101156 memory=2832 CPUtime=1.28 cores=0-7
/proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 3055 0 0 0 118 10 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31374] ppid=31362 vsize=29101156 memory=984 CPUtime=0.62 cores=0-7
/proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 34454 0 0 0 47 15 0 0 20 0 28 0 447215403 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31375] ppid=31362 vsize=29101156 memory=14012 CPUtime=0 cores=0-7
/proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447215403 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31376] ppid=31362 vsize=29101156 memory=11228 CPUtime=0 cores=0-7
/proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447215404 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31377] ppid=31362 vsize=29101156 memory=2120 CPUtime=0 cores=0-7
/proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31378] ppid=31362 vsize=29101156 memory=12020 CPUtime=1.37 cores=0-7
/proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 8764 0 0 0 136 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31379] ppid=31362 vsize=29101156 memory=496 CPUtime=1.34 cores=0-7
/proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 6856 0 0 0 133 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31380] ppid=31362 vsize=29101156 memory=1120 CPUtime=1.27 cores=0-7
/proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 4444 0 0 0 126 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31381] ppid=31362 vsize=29101156 memory=776 CPUtime=0.79 cores=0-7
/proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 6979 0 0 0 78 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31382] ppid=31362 vsize=29101156 memory=1552 CPUtime=0 cores=0-7
/proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31383] ppid=31362 vsize=29101156 memory=8076 CPUtime=0.05 cores=0-7
/proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1685 0 0 0 0 5 0 0 20 0 28 0 447215407 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31541] ppid=31362 vsize=29101156 memory=4008 CPUtime=79.93 cores=0-7
/proc/31364/task/31541/stat : 31541 (java) R 31362 31362 26088 0 -1 4202560 2704 0 0 0 7992 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187461989744 140187944681018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31542] ppid=31362 vsize=29101156 memory=1556 CPUtime=80.37 cores=0-7
/proc/31364/task/31542/stat : 31542 (java) R 31362 31362 26088 0 -1 4202560 2262 0 0 0 8036 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187451470008 140187943768832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31543] ppid=31362 vsize=29101156 memory=2832 CPUtime=80.35 cores=0-7
/proc/31364/task/31543/stat : 31543 (java) R 31362 31362 26088 0 -1 4202560 2401 0 0 0 8034 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187449365560 140187943606288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31544] ppid=31362 vsize=29101156 memory=984 CPUtime=80.04 cores=0-7
/proc/31364/task/31544/stat : 31544 (java) R 31362 31362 26088 0 -1 4202560 12415 0 0 0 7997 7 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187452523448 140187944678213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31545] ppid=31362 vsize=29101156 memory=1448 CPUtime=80.1 cores=0-7
/proc/31364/task/31545/stat : 31545 (java) R 31362 31362 26088 0 -1 4202560 2077 0 0 0 8008 2 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187464093800 140187943644192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31546] ppid=31362 vsize=29101156 memory=1074100 CPUtime=80.3 cores=0-7
/proc/31364/task/31546/stat : 31546 (java) R 31362 31362 26088 0 -1 4202560 11817 0 0 0 8020 10 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187453575136 140187944680998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31547] ppid=31362 vsize=29101156 memory=2120 CPUtime=80.19 cores=0-7
/proc/31364/task/31547/stat : 31547 (java) R 31362 31362 26088 0 -1 4202560 2380 0 0 0 8018 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187460936248 140187938637863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
[pid=31364/tid=31548] ppid=31362 vsize=29101156 memory=12020 CPUtime=79.88 cores=0-7
/proc/31364/task/31548/stat : 31548 (java) R 31362 31362 26088 0 -1 4202560 4599 0 0 0 7985 3 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187450417592 140188285811092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0
Current children cumulated CPU time: 1995.58 s
Current children cumulated vsize: 29214284 KiB
Current children cumulated memory: 1078628 KiB

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

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

[startup+252.101 s]
# the end of solver process 31364 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1994.51 s, system=1.72067 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.101
CPU time (s): 1996.23
CPU user time (s): 1994.51
CPU system time (s): 1.72067
CPU usage (%): 791.836
Max. virtual memory (cumulated for all children) (KiB): 29214284
Max. memory (cumulated for all children) (KiB): 1078628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1994.51
system time used= 1.72067
maximum resident set size= 1078208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41318
involuntary context switches= 22902


# summary of solver processes directly reported to runsolver:
#   pid: 31362,31364
#   total CPU time (s): 1996.23
#   total CPU user time (s): 1994.51
#   total CPU system time (s): 1.72067

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.35429 second user time and 2.78377 second system time

The end

Launcher Data

Begin job on node107 at 2019-09-17 09:37:57
IDJOB=4400254
IDBENCH=115967
IDSOLVER=2855
FILE ID=node107/4400254-1568709596
RUNJOBID= node107-1568696839-26115
PBS_JOBID= 21703898
Free space on /tmp= 59040 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-14.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-4400254-1568709596/watcher-4400254-1568709596 -o /tmp/evaluation-result-4400254-1568709596/solver-4400254-1568709596 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1488034755 HOME/instance-4400254-1568709596.xml

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

MD5SUM BENCH= 2f9116219e9bb224096732f26408ee63
RANDOM SEED=1488034755

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        30674168 kB
MemAvailable:   31811176 kB
Buffers:          226124 kB
Cached:          1187144 kB
SwapCached:        76296 kB
Active:           682832 kB
Inactive:         808280 kB
Active(anon):      11784 kB
Inactive(anon):   109076 kB
Active(file):     671048 kB
Inactive(file):   699204 kB
Unevictable:      111200 kB
Mlocked:          111200 kB
SwapTotal:      67108860 kB
SwapFree:       66926784 kB
Dirty:             26380 kB
Writeback:             0 kB
AnonPages:        138324 kB
Mapped:            42776 kB
Shmem:             34400 kB
Slab:             194896 kB
SReclaimable:     165180 kB
SUnreclaim:        29716 kB
KernelStack:        3760 kB
PageTables:         5232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59012 MiB
End job on node107 at 2019-09-17 09:42:10