Trace number 4297356

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)OPT43 48.5711 6.83518

General information on the benchmark

NameStillLife/
StillLife-wastage-09_c18.xml
MD5SUMa10fd40fbec13ca4761d088766469069
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark48.5711
Satisfiable
(Un)Satisfiability was proved
Number of variables254
Number of constraints179
Number of domains4
Minimum domain size2
Maximum domain size243
Distribution of domain sizes[{"size":2,"count":121},{"size":3,"count":121},{"size":82,"count":1},{"size":243,"count":11}]
Minimum variable degree1
Maximum variable degree12
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":118},{"degree":3,"count":14},{"degree":4,"count":36},{"degree":8,"count":32},{"degree":9,"count":49},{"degree":12,"count":1}]
Minimum constraint arity2
Maximum constraint arity13
Distribution of constraint arities[{"arity":2,"count":47},{"arity":3,"count":36},{"arity":10,"count":81},{"arity":11,"count":4},{"arity":12,"count":1},{"arity":13,"count":10}]
Number of extensional constraints117
Number of intensional constraints46
Distribution of constraint types[{"type":"extension","count":117},{"type":"intension","count":46},{"type":"sum","count":12},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297356-1532690397.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4297356-1532690397.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.56/0.99	c solve instance...
3.05/1.09	o 0 
3.76/1.13	o 4 
3.76/1.14	o 6 
3.76/1.14	o 7 
3.76/1.14	o 8 
3.76/1.14	o 9 
3.76/1.15	o 10 
3.76/1.15	o 11 
3.76/1.15	o 12 
3.76/1.15	o 13 
3.76/1.16	o 14 
3.76/1.16	o 15 
3.76/1.16	o 16 
3.76/1.16	o 17 
3.76/1.17	o 18 
3.76/1.17	o 19 
3.76/1.17	o 20 
3.76/1.17	o 21 
3.76/1.19	o 22 
3.76/1.20	o 23 
4.30/1.20	o 30 
4.30/1.21	o 31 
4.30/1.21	o 32 
4.30/1.21	o 33 
4.30/1.23	o 34 
4.30/1.23	o 35 
4.30/1.23	o 36 
4.30/1.23	o 37 
5.05/1.30	o 38 
5.05/1.30	o 39 
5.05/1.32	o 40 
5.05/1.33	o 41 
5.05/1.34	o 42 
16.80/2.85	o 43 
48.50/6.81	s OPTIMUM FOUND
48.50/6.81	v <instantiation>
48.50/6.81	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[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] z </list>
48.50/6.81	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 3 8 9 12 15 17 17 19 21 23 26 43 </values>
48.50/6.81	v </instantiation>

Verifier Data 

OK	43

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297356-1532690397/watcher-4297356-1532690397 -o /tmp/evaluation-result-4297356-1532690397/solver-4297356-1532690397 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532685355-30031 --watchdog 2580 HOME/xcsp3-exec -seed 2054085911 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297356-1532690397.xml 

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

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


[startup+0.10759 s]*
/proc/loadavg: 8.84 8.52 8.47 2/204 30428
/proc/meminfo: memFree=21799136/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26104152 memory=28852 CPUtime=0.13 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 5530 0 0 0 12 1 0 0 20 0 20 0 86602918 26730651648 7213 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6526038 7213 3066 1 0 6488315 0
[pid=30409/tid=30410] ppid=30407 vsize=26104152 memory=7968165647864472215 CPUtime=0.09 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) R 30407 30407 30004 0 -1 4202560 3454 0 0 0 9 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867863872384 139867859657885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26104152 memory=732370701403040741 CPUtime=0 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26104152 memory=140563065587328 CPUtime=0 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30414] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30414/stat : 30414 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867414895504 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30415] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30415/stat : 30415 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867413842448 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30416] ppid=30407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30409/task/30416/stat : 30416 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867412789904 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30417] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30417/stat : 30417 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867411736848 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30418] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30418/stat : 30418 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 7213 33554432000 4194304 4196468 140727807969360 139867410684304 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30419] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30419/stat : 30419 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602921 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866987051760 139867859647106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30420] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30420/stat : 30420 (java) S 30407 30407 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86602921 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866985997984 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30421] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30421/stat : 30421 (java) S 30407 30407 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86602922 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866984944880 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30422] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30422/stat : 30422 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866983893456 139867859654555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30423] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30423/stat : 30423 (java) S 30407 30407 30004 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866982840560 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30424] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30424/stat : 30424 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866981788016 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30425] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30425/stat : 30425 (java) S 30407 30407 30004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866980734960 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30426] ppid=30407 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30409/task/30426/stat : 30426 (java) R 30407 30407 30004 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866979682416 139867838146117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30427] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30427/stat : 30427 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866978630624 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30428] ppid=30407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30409/task/30428/stat : 30428 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 7213 33554432000 4194304 4196468 140727807969360 139866977578160 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30304 KiB

[startup+0.210534 s]*
/proc/loadavg: 8.84 8.52 8.47 2/204 30428
/proc/meminfo: memFree=21788804/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26104152 memory=39588 CPUtime=0.33 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 7984 0 0 0 31 2 0 0 20 0 20 0 86602918 26730651648 9897 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6526038 9897 3151 1 0 6488315 0
[pid=30409/tid=30410] ppid=30407 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) R 30407 30407 30004 0 -1 4202560 5126 0 0 0 18 1 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867863875632 139867841491427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26104152 memory=732370701403040741 CPUtime=0 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26104152 memory=140563065587328 CPUtime=0 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30414] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30414/stat : 30414 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867414895504 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30415] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30415/stat : 30415 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867413842448 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30416] ppid=30407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30409/task/30416/stat : 30416 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867412789904 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30417] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30417/stat : 30417 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867411736848 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30418] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30418/stat : 30418 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602919 26730651648 9897 33554432000 4194304 4196468 140727807969360 139867410684304 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30419] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30419/stat : 30419 (java) S 30407 30407 30004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86602921 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866987051760 139867859647106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30420] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30420/stat : 30420 (java) S 30407 30407 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86602921 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866985997984 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30421] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30421/stat : 30421 (java) S 30407 30407 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86602922 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866984944880 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30422] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30422/stat : 30422 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866983893456 139867859654555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30423] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30423/stat : 30423 (java) S 30407 30407 30004 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866982840560 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30424] ppid=30407 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/30409/task/30424/stat : 30424 (java) R 30407 30407 30004 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866981788016 139867859647106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30425] ppid=30407 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/30409/task/30425/stat : 30425 (java) S 30407 30407 30004 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866980734960 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30426] ppid=30407 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/30409/task/30426/stat : 30426 (java) R 30407 30407 30004 0 -1 1077944384 773 0 0 0 7 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866979682416 139867859647106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30427] ppid=30407 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30427/stat : 30427 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866978630624 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30428] ppid=30407 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/30409/task/30428/stat : 30428 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26730651648 9897 33554432000 4194304 4196468 140727807969360 139866977578160 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41040 KiB

[startup+0.310424 s]*
/proc/loadavg: 8.84 8.52 8.47 3/204 30428
/proc/meminfo: memFree=21783220/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26108408 memory=46280 CPUtime=0.51 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 8784 0 0 0 48 3 0 0 20 0 20 0 86602918 26735009792 11570 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6527102 11570 3240 1 0 6488315 0
[pid=30409/tid=30410] ppid=30407 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) R 30407 30407 30004 0 -1 4202560 5742 0 0 0 27 1 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867863867072 139867843976108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30414] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30414/stat : 30414 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867414895504 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30415] ppid=30407 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/30409/task/30415/stat : 30415 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867413842448 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30416] ppid=30407 vsize=26108408 memory=140562938295215 CPUtime=0 cores=0-7
/proc/30409/task/30416/stat : 30416 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867412789904 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30417] ppid=30407 vsize=26108408 memory=140562938297520 CPUtime=0 cores=0-7
/proc/30409/task/30417/stat : 30417 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867411736848 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30418] ppid=30407 vsize=26108408 memory=140562938299824 CPUtime=0 cores=0-7
/proc/30409/task/30418/stat : 30418 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602919 26735009792 11570 33554432000 4194304 4196468 140727807969360 139867410684304 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30419] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30419/stat : 30419 (java) S 30407 30407 30004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86602921 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866987051760 139867859647106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30420] ppid=30407 vsize=26108408 memory=281125876606608 CPUtime=0 cores=0-7
/proc/30409/task/30420/stat : 30420 (java) S 30407 30407 30004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86602921 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866985997984 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30421] ppid=30407 vsize=26108408 memory=281125876613520 CPUtime=0 cores=0-7
/proc/30409/task/30421/stat : 30421 (java) S 30407 30407 30004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86602922 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866984944880 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30422] ppid=30407 vsize=26108408 memory=281125876554800 CPUtime=0 cores=0-7
/proc/30409/task/30422/stat : 30422 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866983893456 139867859654555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30423] ppid=30407 vsize=26108408 memory=281125876627344 CPUtime=0.01 cores=0-7
/proc/30409/task/30423/stat : 30423 (java) S 30407 30407 30004 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866982840560 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30424] ppid=30407 vsize=26108408 memory=281125876634256 CPUtime=0.04 cores=0-7
/proc/30409/task/30424/stat : 30424 (java) R 30407 30407 30004 0 -1 4202560 350 0 0 0 4 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866981769032 139867840821922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30425] ppid=30407 vsize=26108408 memory=281125876631952 CPUtime=0.02 cores=0-7
/proc/30409/task/30425/stat : 30425 (java) S 30407 30407 30004 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866980734960 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30426] ppid=30407 vsize=26108408 memory=281125876648112 CPUtime=0.12 cores=0-7
/proc/30409/task/30426/stat : 30426 (java) S 30407 30407 30004 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866979682416 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30427] ppid=30407 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30427/stat : 30427 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866978630624 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30428] ppid=30407 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/30409/task/30428/stat : 30428 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602924 26735009792 11570 33554432000 4194304 4196468 140727807969360 139866977578160 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47732 KiB

[startup+0.700962 s]
/proc/loadavg: 8.84 8.52 8.47 3/204 30428
/proc/meminfo: memFree=21761748/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26110532 memory=84068 CPUtime=1.68 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 13205 0 0 0 163 5 0 0 20 0 20 0 86602918 26737184768 21017 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6527633 21017 3362 1 0 6488827 0
[pid=30409/tid=30410] ppid=30407 vsize=26110532 memory=281125876943040 CPUtime=0.67 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) R 30407 30407 30004 0 -1 4202560 6818 0 0 0 64 3 0 0 20 0 20 0 86602919 26737184768 21017 33554432000 4194304 4196468 140727807969360 139867863871744 139867859657306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26110532 memory=1948 CPUtime=0 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86602919 26737184768 21017 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26737184768 21017 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86602919 26737184768 21017 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0

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

[pid=30409/tid=30702] ppid=30407 vsize=26711656 memory=0 CPUtime=3.27 cores=0-7
/proc/30409/task/30702/stat : 30702 (java) R 30407 30407 30004 0 -1 4202560 90 0 0 0 327 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866962489696 139867505498946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30703] ppid=30407 vsize=26711656 memory=6944652177228980320 CPUtime=3.26 cores=0-7
/proc/30409/task/30703/stat : 30703 (java) R 30407 30407 30004 0 -1 4202560 128 0 0 0 326 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866958278520 139867507361794 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30704] ppid=30407 vsize=26711656 memory=397968 CPUtime=3.23 cores=0-7
/proc/30409/task/30704/stat : 30704 (java) R 30407 30407 30004 0 -1 4202560 104 0 0 0 323 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866966700048 139867505184316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30705] ppid=30407 vsize=26711656 memory=397748 CPUtime=3.26 cores=0-7
/proc/30409/task/30705/stat : 30705 (java) R 30407 30407 30004 0 -1 4202560 120 0 0 0 326 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866961436384 139867505436177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30706] ppid=30407 vsize=26711656 memory=0 CPUtime=3.19 cores=0-7
/proc/30409/task/30706/stat : 30706 (java) R 30407 30407 30004 0 -1 4202560 496 0 0 0 319 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866965647200 139867505072933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30707] ppid=30407 vsize=26711656 memory=1452 CPUtime=3.3 cores=0-7
/proc/30409/task/30707/stat : 30707 (java) R 30407 30407 30004 0 -1 4202560 458 0 0 0 327 3 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866963542400 139867505459541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30708] ppid=30407 vsize=26711656 memory=686152 CPUtime=3.18 cores=0-7
/proc/30409/task/30708/stat : 30708 (java) R 30407 30407 30004 0 -1 4202560 239 0 0 0 318 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866964595056 139867505072222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 44.48 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 687604 KiB

[startup+6.83512 s]
# the end of solver process 30407 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=48.003 s, system=0.568084 s

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

[startup+6.40159 s]
/proc/loadavg: 9.01 8.56 8.48 9/212 30715
/proc/meminfo: memFree=21141320/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26711656 memory=686152 CPUtime=45.28 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 37083 0 0 0 4473 55 0 0 20 0 28 0 86602918 27352735744 171538 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6677914 171538 3433 1 0 6639108 0
[pid=30409/tid=30410] ppid=30407 vsize=26711656 memory=140562938627520 CPUtime=0.99 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) S 30407 30407 30004 0 -1 1077944384 6957 0 0 0 95 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867863876736 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26711656 memory=0 CPUtime=0.08 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1141 0 0 0 4 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26711656 memory=6656426216303648864 CPUtime=0.06 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 376 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26711656 memory=0 CPUtime=0.07 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 164 0 0 0 4 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30414] ppid=30407 vsize=26711656 memory=0 CPUtime=0.06 cores=0-7
/proc/30409/task/30414/stat : 30414 (java) S 30407 30407 30004 0 -1 1077944384 197 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867414895504 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30415] ppid=30407 vsize=26711656 memory=4580 CPUtime=0.06 cores=0-7
/proc/30409/task/30415/stat : 30415 (java) S 30407 30407 30004 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867413842448 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30416] ppid=30407 vsize=26711656 memory=0 CPUtime=0.08 cores=0-7
/proc/30409/task/30416/stat : 30416 (java) S 30407 30407 30004 0 -1 1077944384 90 0 0 0 4 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867412789904 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30417] ppid=30407 vsize=26711656 memory=0 CPUtime=0.07 cores=0-7
/proc/30409/task/30417/stat : 30417 (java) S 30407 30407 30004 0 -1 1077944384 120 0 0 0 3 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867411736848 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30418] ppid=30407 vsize=26711656 memory=0 CPUtime=0.05 cores=0-7
/proc/30409/task/30418/stat : 30418 (java) S 30407 30407 30004 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867410684304 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30419] ppid=30407 vsize=26711656 memory=0 CPUtime=0.01 cores=0-7
/proc/30409/task/30419/stat : 30419 (java) S 30407 30407 30004 0 -1 1077944384 799 0 0 0 1 0 0 0 20 0 28 0 86602921 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866987051760 139867859647106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30420] ppid=30407 vsize=26711656 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30420/stat : 30420 (java) S 30407 30407 30004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 86602921 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866985998048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30421] ppid=30407 vsize=26711656 memory=57 CPUtime=0 cores=0-7
/proc/30409/task/30421/stat : 30421 (java) S 30407 30407 30004 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 86602922 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866984944896 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30422] ppid=30407 vsize=26711656 memory=2241 CPUtime=0 cores=0-7
/proc/30409/task/30422/stat : 30422 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866983893456 139867859654555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30423] ppid=30407 vsize=26711656 memory=2244 CPUtime=1.89 cores=0-7
/proc/30409/task/30423/stat : 30423 (java) S 30407 30407 30004 0 -1 1077944384 5523 0 0 0 188 1 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866982840560 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30424] ppid=30407 vsize=26711656 memory=0 CPUtime=1.87 cores=0-7
/proc/30409/task/30424/stat : 30424 (java) S 30407 30407 30004 0 -1 1077944384 4509 0 0 0 185 2 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866981788016 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30425] ppid=30407 vsize=26711656 memory=0 CPUtime=1.79 cores=0-7
/proc/30409/task/30425/stat : 30425 (java) S 30407 30407 30004 0 -1 1077944384 4041 0 0 0 177 2 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866980734960 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30426] ppid=30407 vsize=26711656 memory=0 CPUtime=0.87 cores=0-7
/proc/30409/task/30426/stat : 30426 (java) S 30407 30407 30004 0 -1 1077944384 4741 0 0 0 86 1 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866979682416 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30427] ppid=30407 vsize=26711656 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30427/stat : 30427 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866978630624 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30428] ppid=30407 vsize=26711656 memory=0 CPUtime=0 cores=0-7
/proc/30409/task/30428/stat : 30428 (java) S 30407 30407 30004 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866977578160 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30701] ppid=30407 vsize=26711656 memory=0 CPUtime=3.47 cores=0-7
/proc/30409/task/30701/stat : 30701 (java) R 30407 30407 30004 0 -1 4202560 97 0 0 0 347 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866959330416 139867504966166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30702] ppid=30407 vsize=26711656 memory=0 CPUtime=3.37 cores=0-7
/proc/30409/task/30702/stat : 30702 (java) R 30407 30407 30004 0 -1 4202560 93 0 0 0 337 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866962489696 139867505100400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30703] ppid=30407 vsize=26711656 memory=0 CPUtime=3.36 cores=0-7
/proc/30409/task/30703/stat : 30703 (java) R 30407 30407 30004 0 -1 4202560 130 0 0 0 336 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866958278520 139867505202032 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30704] ppid=30407 vsize=26711656 memory=0 CPUtime=3.33 cores=0-7
/proc/30409/task/30704/stat : 30704 (java) R 30407 30407 30004 0 -1 4202560 105 0 0 0 333 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866966700048 139867504966115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30705] ppid=30407 vsize=26711656 memory=2241 CPUtime=3.36 cores=0-7
/proc/30409/task/30705/stat : 30705 (java) R 30407 30407 30004 0 -1 4202560 122 0 0 0 336 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866961436384 139867505501278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30706] ppid=30407 vsize=26711656 memory=2244 CPUtime=3.29 cores=0-7
/proc/30409/task/30706/stat : 30706 (java) R 30407 30407 30004 0 -1 4202560 512 0 0 0 329 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866965647200 139867505435369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30707] ppid=30407 vsize=26711656 memory=6082514196445294695 CPUtime=3.4 cores=0-7
/proc/30409/task/30707/stat : 30707 (java) R 30407 30407 30004 0 -1 4202560 480 0 0 0 337 3 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866963542400 139867505074806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30708] ppid=30407 vsize=26711656 memory=7739249491188803923 CPUtime=3.28 cores=0-7
/proc/30409/task/30708/stat : 30708 (java) R 30407 30407 30004 0 -1 4202560 256 0 0 0 328 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866964595056 139867505074848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 45.28 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 687604 KiB

[startup+6.80559 s]
/proc/loadavg: 9.01 8.56 8.48 9/212 30715
/proc/meminfo: memFree=21141320/32770624 swapFree=67108860/67108860
[pid=30407] ppid=30404 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30407/stat : 30407 (xcsp3-exec) S 30404 30407 30004 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 86602918 115843072 363 33554432000 4194304 5098028 140730201886528 140730201884632 139754500559484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16404480 140730201891893 140730201892096 140730201892096 140730201894858 0
/proc/30407/statm: 28282 363 305 221 0 87 0
[pid=30409] ppid=30407 vsize=26711656 memory=686152 CPUtime=48.5 cores=0-7
/proc/30409/stat : 30409 (java) S 30407 30407 30004 0 -1 1077944320 37124 0 0 0 4795 55 0 0 20 0 28 0 86602918 27352735744 171538 33554432000 4194304 4196468 140727807969360 140727807951904 139867859635959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
/proc/30409/statm: 6677914 171538 3433 1 0 6639108 0
[pid=30409/tid=30410] ppid=30407 vsize=26711656 memory=6791534058613427641 CPUtime=0.99 cores=0-7
/proc/30409/task/30410/stat : 30410 (java) S 30407 30407 30004 0 -1 1077944384 6957 0 0 0 95 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867863876736 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30411] ppid=30407 vsize=26711656 memory=301741394933055803 CPUtime=0.08 cores=0-7
/proc/30409/task/30411/stat : 30411 (java) S 30407 30407 30004 0 -1 1077944384 1141 0 0 0 4 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867418053648 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30412] ppid=30407 vsize=26711656 memory=14133333755955770 CPUtime=0.06 cores=0-7
/proc/30409/task/30412/stat : 30412 (java) S 30407 30407 30004 0 -1 1077944384 376 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867417001104 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30413] ppid=30407 vsize=26711656 memory=6944652177228980320 CPUtime=0.07 cores=0-7
/proc/30409/task/30413/stat : 30413 (java) S 30407 30407 30004 0 -1 1077944384 164 0 0 0 4 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867415948048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30414] ppid=30407 vsize=26711656 memory=6944652177228980320 CPUtime=0.06 cores=0-7
/proc/30409/task/30414/stat : 30414 (java) S 30407 30407 30004 0 -1 1077944384 197 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867414895504 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30415] ppid=30407 vsize=26711656 memory=6944656592455359580 CPUtime=0.06 cores=0-7
/proc/30409/task/30415/stat : 30415 (java) S 30407 30407 30004 0 -1 1077944384 88 0 0 0 3 3 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867413842448 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30416] ppid=30407 vsize=26711656 memory=6944652177228980320 CPUtime=0.08 cores=0-7
/proc/30409/task/30416/stat : 30416 (java) S 30407 30407 30004 0 -1 1077944384 90 0 0 0 4 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867412789904 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30417] ppid=30407 vsize=26711656 memory=4206186544037388384 CPUtime=0.07 cores=0-7
/proc/30409/task/30417/stat : 30417 (java) S 30407 30407 30004 0 -1 1077944384 120 0 0 0 3 4 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867411736848 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30418] ppid=30407 vsize=26711656 memory=6944656575208382560 CPUtime=0.05 cores=0-7
/proc/30409/task/30418/stat : 30418 (java) S 30407 30407 30004 0 -1 1077944384 81 0 0 0 3 2 0 0 20 0 28 0 86602919 27352735744 171538 33554432000 4194304 4196468 140727807969360 139867410684304 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30419] ppid=30407 vsize=26711656 memory=6656426216303648864 CPUtime=0.01 cores=0-7
/proc/30409/task/30419/stat : 30419 (java) S 30407 30407 30004 0 -1 1077944384 799 0 0 0 1 0 0 0 20 0 28 0 86602921 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866987051760 139867859647106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30420] ppid=30407 vsize=26711656 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30409/task/30420/stat : 30420 (java) S 30407 30407 30004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 86602921 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866985998048 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30421] ppid=30407 vsize=26711656 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/30409/task/30421/stat : 30421 (java) S 30407 30407 30004 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 86602922 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866984944896 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30422] ppid=30407 vsize=26711656 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30409/task/30422/stat : 30422 (java) S 30407 30407 30004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866983893456 139867859654555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30423] ppid=30407 vsize=26711656 memory=3834607718739308133 CPUtime=1.89 cores=0-7
/proc/30409/task/30423/stat : 30423 (java) S 30407 30407 30004 0 -1 1077944384 5523 0 0 0 188 1 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866982840560 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30424] ppid=30407 vsize=26711656 memory=140562938911000 CPUtime=1.87 cores=0-7
/proc/30409/task/30424/stat : 30424 (java) S 30407 30407 30004 0 -1 1077944384 4509 0 0 0 185 2 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866981788016 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30425] ppid=30407 vsize=26711656 memory=288230583166045172 CPUtime=1.79 cores=0-7
/proc/30409/task/30425/stat : 30425 (java) S 30407 30407 30004 0 -1 1077944384 4041 0 0 0 177 2 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866980734960 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30426] ppid=30407 vsize=26711656 memory=16100360058066781 CPUtime=0.87 cores=0-7
/proc/30409/task/30426/stat : 30426 (java) S 30407 30407 30004 0 -1 1077944384 4741 0 0 0 86 1 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866979682416 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30427] ppid=30407 vsize=26711656 memory=130597070630295 CPUtime=0 cores=0-7
/proc/30409/task/30427/stat : 30427 (java) S 30407 30407 30004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866978630624 139867859646165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30428] ppid=30407 vsize=26711656 memory=130597070630296 CPUtime=0 cores=0-7
/proc/30409/task/30428/stat : 30428 (java) S 30407 30407 30004 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 86602924 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866977578160 139867859647106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30701] ppid=30407 vsize=26711656 memory=130597070630297 CPUtime=3.87 cores=0-7
/proc/30409/task/30701/stat : 30701 (java) R 30407 30407 30004 0 -1 4202560 100 0 0 0 387 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866959330808 139867504965836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30702] ppid=30407 vsize=26711656 memory=130597070630298 CPUtime=3.77 cores=0-7
/proc/30409/task/30702/stat : 30702 (java) R 30407 30407 30004 0 -1 4202560 95 0 0 0 377 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866962490088 139867504965720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30703] ppid=30407 vsize=26711656 memory=130597070630299 CPUtime=3.76 cores=0-7
/proc/30409/task/30703/stat : 30703 (java) R 30407 30407 30004 0 -1 4202560 133 0 0 0 376 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866958278520 139867505435397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30704] ppid=30407 vsize=26711656 memory=130597070630300 CPUtime=3.74 cores=0-7
/proc/30409/task/30704/stat : 30704 (java) R 30407 30407 30004 0 -1 4202560 109 0 0 0 374 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866966700520 139867504966147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30705] ppid=30407 vsize=26711656 memory=130597070630301 CPUtime=3.76 cores=0-7
/proc/30409/task/30705/stat : 30705 (java) R 30407 30407 30004 0 -1 4202560 124 0 0 0 376 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866961436776 139867505436491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30706] ppid=30407 vsize=26711656 memory=130597070630302 CPUtime=3.69 cores=0-7
/proc/30409/task/30706/stat : 30706 (java) R 30407 30407 30004 0 -1 4202560 526 0 0 0 369 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866965647200 139867504966252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30707] ppid=30407 vsize=26711656 memory=130597070630303 CPUtime=3.8 cores=0-7
/proc/30409/task/30707/stat : 30707 (java) R 30407 30407 30004 0 -1 4202560 485 0 0 0 377 3 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866963542320 139867505073769 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
[pid=30409/tid=30708] ppid=30407 vsize=26711656 memory=130597070630304 CPUtime=3.69 cores=0-7
/proc/30409/task/30708/stat : 30708 (java) R 30407 30407 30004 0 -1 4202560 264 0 0 0 369 0 0 0 20 0 28 0 86603204 27352735744 171538 33554432000 4194304 4196468 140727807969360 139866964594944 139867505074429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28991488 140727807972481 140727807972653 140727807972653 140727807975375 0
Current children cumulated CPU time: 48.5 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 687604 KiB

Child status: 0
Real time (s): 6.83518
CPU time (s): 48.5711
CPU user time (s): 48.003
CPU system time (s): 0.568084
CPU usage (%): 710.604
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 687604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.003
system time used= 0.568084
maximum resident set size= 686152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6384
involuntary context switches= 1117


# summary of solver processes directly reported to runsolver:
#   pid: 30407
#   total CPU time (s): 48.5711
#   total CPU user time (s): 48.003
#   total CPU system time (s): 0.568084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088049 second user time and 0.11043 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-27 13:19:57
IDJOB=4297356
IDBENCH=141035
IDSOLVER=2760
FILE ID=node132/4297356-1532690397
RUNJOBID= node132-1532685355-30031
PBS_JOBID= 21022275
Free space on /tmp= 52044 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/StillLife/StillLife-wastage-09_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297356-1532690397/watcher-4297356-1532690397 -o /tmp/evaluation-result-4297356-1532690397/solver-4297356-1532690397 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532685355-30031 --watchdog 2580  HOME/xcsp3-exec -seed 2054085911 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297356-1532690397.xml

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

MD5SUM BENCH= a10fd40fbec13ca4761d088766469069
RANDOM SEED=2054085911

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
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:        21816556 kB
MemAvailable:   31926424 kB
Buffers:          217912 kB
Cached:         10085640 kB
SwapCached:            0 kB
Active:          2952968 kB
Inactive:        7406472 kB
Active(anon):       5644 kB
Inactive(anon):    77932 kB
Active(file):    2947324 kB
Inactive(file):  7328540 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21796 kB
Writeback:             0 kB
AnonPages:         62564 kB
Mapped:            41816 kB
Shmem:             25248 kB
Slab:             289796 kB
SReclaimable:     262464 kB
SUnreclaim:        27332 kB
KernelStack:        3584 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52020 MiB
End job on node132 at 2018-07-27 13:20:04