Trace number 4292193

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.7 seq (493a269)SAT (TO)91 2400.05 2381.42

General information on the benchmark

NameStillLife/
StillLife-wastage-14_c18.xml
MD5SUM24e7c51735ec9671261d78753301e43f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark59.3102
Satisfiable
(Un)Satisfiability was proved
Number of variables529
Number of constraints344
Number of domains4
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}]
Minimum variable degree1
Maximum variable degree17
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}]
Minimum constraint arity2
Maximum constraint arity18
Distribution of constraint arities[{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}]
Number of extensional constraints252
Number of intensional constraints71
Distribution of constraint types[{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292193-1532279348.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292193-1532279348.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
1.51/0.73	c solve instance...
3.35/1.33	o 74 
3.35/1.35	o 75 
5.68/2.14	o 78 
26.02/21.60	o 79 
26.12/21.71	o 81 
26.56/22.15	o 87 
26.56/22.16	o 88 
1156.10/1148.92	o 89 
1292.50/1285.01	o 90 
1293.09/1285.63	o 91 
2400.02/2381.40	s SATISFIABLE
2400.02/2381.40	v <instantiation>
2400.02/2381.40	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[0][14] x[0][15] 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[1][14] x[1][15] 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[2][14] x[2][15] 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[3][14] x[3][15] 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[4][14] x[4][15] 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[5][14] x[5][15] 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[6][14] x[6][15] 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[7][14] x[7][15] 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[8][14] x[8][15] 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] x[9][14] x[9][15] 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] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[0][11] w[0][12] w[0][13] w[0][14] w[0][15] 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[1][11] w[1][12] w[1][13] w[1][14] w[1][15] 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[2][11] w[2][12] w[2][13] w[2][14] w[2][15] 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[3][11] w[3][12] w[3][13] w[3][14] w[3][15] 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[4][11] w[4][12] w[4][13] w[4][14] w[4][15] 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[5][11] w[5][12] w[5][13] w[5][14] w[5][15] 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[6][11] w[6][12] w[6][13] w[6][14] w[6][15] 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[7][11] w[7][12] w[7][13] w[7][14] w[7][15] 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[8][11] w[8][12] w[8][13] w[8][14] w[8][15] 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[9][11] w[9][12] w[9][13] w[9][14] w[9][15] 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] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] z </list>
2400.02/2381.40	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 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 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 2 2 0 2 0 0 0 1 0 0 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 2 1 0 1 0 1 2 2 1 0 1 0 0 0 0 1 2 2 1 0 1 1 2 2 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 4 4 4 11 11 12 16 19 22 27 33 42 50 62 76 84 91 </values>
2400.02/2381.40	v </instantiation>
2400.02/2381.40	c Unexpected resolution interruption!

Verifier Data 

OK	91

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292193-1532279348/watcher-4292193-1532279348 -o /tmp/evaluation-result-4292193-1532279348/solver-4292193-1532279348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4631 --watchdog 2560 HOME/xcsp3-exec -seed 637571119 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292193-1532279348.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4758, runsolver pid=4755

[startup+0.101757 s]*
/proc/loadavg: 1.16 1.36 1.73 3/221 4774
/proc/meminfo: memFree=20316236/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14082840 memory=29204 CPUtime=0.12 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 5594 0 0 0 12 0 0 0 20 0 15 0 45498035 14420828160 7301 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3520710 7301 3034 1 0 3483008 0
[pid=4760/tid=4761] ppid=4758 vsize=14082840 memory=8115106782035284827 CPUtime=0.09 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 3607 0 0 0 9 0 0 0 20 0 15 0 45498036 14420828160 7301 33554432000 4194304 4196468 140734428826608 140129230605536 140129212059124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14420828160 7301 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14082840 memory=139979071182464 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14420828160 7301 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14420828160 7301 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45498036 14420828160 7301 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14082840 memory=139979071182464 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45498038 14420828160 7301 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45498038 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45498038 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14082840 memory=139979071182464 CPUtime=0.01 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) R 4758 4758 1669 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128693979760 140129206346118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14082840 memory=139979071182464 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498041 14420828160 7367 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30656 KiB

[startup+0.210941 s]*
/proc/loadavg: 1.16 1.36 1.73 5/221 4774
/proc/meminfo: memFree=20305800/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14082872 memory=40388 CPUtime=0.33 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 8190 0 0 0 32 1 0 0 20 0 15 0 45498035 14420860928 10097 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3520718 10097 3165 1 0 3483016 0
[pid=4760/tid=4761] ppid=4758 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 5466 0 0 0 19 1 0 0 20 0 15 0 45498036 14425186304 10154 33554432000 4194304 4196468 140734428826608 140129230599992 140129210459486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14087096 memory=14550 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 10154 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14087096 memory=139979071254773 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 10154 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 10154 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 10154 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14087096 memory=139979071182464 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14087096 memory=139979071182464 CPUtime=0.07 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) R 4758 4758 1669 0 -1 4202560 716 0 0 0 7 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128693979760 140129218616126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 10154 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196000 KiB
Current children cumulated memory: 41840 KiB

[startup+0.312714 s]*
/proc/loadavg: 1.16 1.36 1.73 4/221 4774
/proc/meminfo: memFree=20298728/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14087096 memory=48004 CPUtime=0.52 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 9158 0 0 0 50 2 0 0 20 0 15 0 45498035 14425186304 12001 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3521774 12001 3251 1 0 3483008 0
[pid=4760/tid=4761] ppid=4758 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 6173 0 0 0 28 1 0 0 20 0 15 0 45498036 14425186304 12001 33554432000 4194304 4196468 140734428826608 140129230616016 140129226400925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 12001 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 12001 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 12001 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45498036 14425186304 12001 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14087096 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45498038 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14087096 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498041 14425186304 12001 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49456 KiB

[startup+0.700809 s]
/proc/loadavg: 1.16 1.36 1.73 5/221 4774
/proc/meminfo: memFree=20285392/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14089220 memory=82560 CPUtime=1.51 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 11794 0 0 0 148 3 0 0 20 0 15 0 45498035 14427361280 20640 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3522305 20640 3338 1 0 3483520 0
[pid=4760/tid=4761] ppid=4758 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 7036 0 0 0 65 2 0 0 20 0 15 0 45498036 14427361280 20640 33554432000 4194304 4196468 140734428826608 140129230615120 140128827838651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14427361280 20640 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14427361280 20640 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14089220 memory=15276 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498036 14427361280 20640 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45498036 14427361280 20640 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14089220 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14089220 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14089220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=5520 CPUtime=0.2 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 852 0 0 0 20 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=792 CPUtime=0.23 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) R 4758 4758 1669 0 -1 4202560 764 0 0 0 23 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128695032560 140129226400346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=1228 CPUtime=0.38 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 1835 0 0 0 38 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 20640 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 84012 KiB

[startup+1.50086 s]
/proc/loadavg: 1.22 1.37 1.74 5/221 4774
/proc/meminfo: memFree=20248916/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0

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

/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=1508148 CPUtime=2.06 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 14326 0 0 0 204 2 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=1452 CPUtime=2.07 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 14097 0 0 0 206 1 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=427176 CPUtime=0.67 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 8183 0 0 0 66 1 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=425128 CPUtime=0.5 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1350 0 0 0 22 28 0 0 20 0 15 0 45498041 14427361280 106666 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 2219.07 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 428116 KiB

[startup+2262.3 s]
/proc/loadavg: 1.65 1.58 1.53 3/217 4846
/proc/meminfo: memFree=17164388/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14089220 memory=885232 CPUtime=2279.57 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 120197 0 0 0 227758 199 0 0 20 0 15 0 45498035 14427361280 221308 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3522305 221308 3408 1 0 3483520 0
[pid=4760/tid=4761] ppid=4758 vsize=14089220 memory=1452 CPUtime=2256.27 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 45141 0 0 0 225515 112 0 0 20 0 15 0 45498036 14427361280 221308 33554432000 4194304 4196468 140734428826608 140129230618640 140128835795820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14089220 memory=770684 CPUtime=4.14 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 6279 0 0 0 401 13 0 0 20 0 15 0 45498036 14427361280 221308 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14089220 memory=770684 CPUtime=4.18 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 7108 0 0 0 406 12 0 0 20 0 15 0 45498036 14427361280 221308 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14089220 memory=848216 CPUtime=4.18 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 6858 0 0 0 407 11 0 0 20 0 15 0 45498036 14427361280 221308 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14089220 memory=40948218209596 CPUtime=4.18 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 5728 0 0 0 407 11 0 0 20 0 15 0 45498036 14427361280 221308 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14089220 memory=1452 CPUtime=1.22 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 9737 0 0 0 107 15 0 0 20 0 15 0 45498038 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14089220 memory=695044 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=771124 CPUtime=2.06 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 14328 0 0 0 204 2 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=1452 CPUtime=2.07 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 14099 0 0 0 206 1 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 8185 0 0 0 66 1 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=770684 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=8112282956445269571 CPUtime=0.52 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1369 0 0 0 23 29 0 0 20 0 15 0 45498041 14427361280 221308 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 2279.57 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 886684 KiB

[startup+2322.3 s]
/proc/loadavg: 1.58 1.55 1.52 3/217 4847
/proc/meminfo: memFree=16765308/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14089220 memory=1250180 CPUtime=2340.14 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 126098 0 0 0 233778 236 0 0 20 0 15 0 45498035 14427361280 312545 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3522305 312545 3408 1 0 3483520 0
[pid=4760/tid=4761] ppid=4758 vsize=14089220 memory=1250180 CPUtime=2316.02 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 49572 0 0 0 231455 147 0 0 20 0 15 0 45498036 14427361280 312545 33554432000 4194304 4196468 140734428826608 140129230618496 140128834300162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14089220 memory=1452 CPUtime=4.33 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 6364 0 0 0 419 14 0 0 20 0 15 0 45498036 14427361280 312545 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14089220 memory=1452 CPUtime=4.37 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 7564 0 0 0 425 12 0 0 20 0 15 0 45498036 14427361280 312545 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14089220 memory=1250180 CPUtime=4.38 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 6970 0 0 0 426 12 0 0 20 0 15 0 45498036 14427361280 312545 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14089220 memory=1250692 CPUtime=4.37 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 5962 0 0 0 426 11 0 0 20 0 15 0 45498036 14427361280 312545 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14089220 memory=1250180 CPUtime=1.27 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 10299 0 0 0 111 16 0 0 20 0 15 0 45498038 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14089220 memory=1250180 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14089220 memory=1250180 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=2547320 CPUtime=2.06 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 14330 0 0 0 204 2 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=3472328296227679313 CPUtime=2.07 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 14101 0 0 0 206 1 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=6656426216303648864 CPUtime=0.67 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 8187 0 0 0 66 1 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=1250180 CPUtime=0.52 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1384 0 0 0 23 29 0 0 20 0 15 0 45498041 14427361280 312545 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 2340.14 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1251632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2381.4 s]
/proc/loadavg: 1.66 1.57 1.52 3/217 4929
/proc/meminfo: memFree=18002744/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45498035 115843072 363 33554432000 4194304 5098028 140728749298208 140728749296312 140359550907004 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8835072 140728749306939 140728749307140 140728749307140 140728749309898 0
/proc/4758/statm: 28282 363 305 221 0 87 0
[pid=4760] ppid=4758 vsize=14089220 memory=2319296 CPUtime=2400.02 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 1669 0 -1 1077944320 134205 0 0 0 239709 293 0 0 20 0 15 0 45498035 14427361280 579824 33554432000 4194304 4196468 140734428826608 140734428809152 140129226378999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
/proc/4760/statm: 3522305 579824 3408 1 0 3483520 0
[pid=4760/tid=4761] ppid=4758 vsize=14089220 memory=848 CPUtime=2374.78 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 1669 0 -1 4202560 56336 0 0 0 237277 201 0 0 20 0 15 0 45498036 14427361280 579824 33554432000 4194304 4196468 140734428826608 140129230618432 140128835795963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4762] ppid=4758 vsize=14089220 memory=2628 CPUtime=4.58 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 1669 0 -1 1077944384 6404 0 0 0 444 14 0 0 20 0 15 0 45498036 14427361280 579824 33554432000 4194304 4196468 140734428826608 140129156467856 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4763] ppid=4758 vsize=14089220 memory=2580 CPUtime=4.63 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 1669 0 -1 1077944384 7621 0 0 0 451 12 0 0 20 0 15 0 45498036 14427361280 579824 33554432000 4194304 4196468 140734428826608 140129155415056 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4764] ppid=4758 vsize=14089220 memory=1404 CPUtime=4.63 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 1669 0 -1 1077944384 7290 0 0 0 451 12 0 0 20 0 15 0 45498036 14427361280 579824 33554432000 4194304 4196468 140734428826608 140129154362256 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4765] ppid=4758 vsize=14089220 memory=3296 CPUtime=4.63 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 1669 0 -1 1077944384 5992 0 0 0 452 11 0 0 20 0 15 0 45498036 14427361280 579824 33554432000 4194304 4196468 140734428826608 140129153309456 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4766] ppid=4758 vsize=14089220 memory=1452 CPUtime=1.33 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 1669 0 -1 1077944384 11183 0 0 0 115 18 0 0 20 0 15 0 45498038 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128700295536 140129226390146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4767] ppid=4758 vsize=14089220 memory=2278180 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 1669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128699241504 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4768] ppid=4758 vsize=14089220 memory=2319296 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 1669 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 45498038 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128698188656 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128697136976 140129226397595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=15817781274741050 CPUtime=2.06 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 1669 0 -1 1077944384 14332 0 0 0 204 2 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128696085360 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=8112282956445269571 CPUtime=2.07 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 1669 0 -1 1077944384 14103 0 0 0 206 1 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128695032560 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=15872 CPUtime=0.67 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 1669 0 -1 1077944384 8189 0 0 0 66 1 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128693979760 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=10060 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128692927200 140129226389205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=4052 CPUtime=0.55 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 1669 0 -1 1077944384 1390 0 0 0 24 31 0 0 20 0 15 0 45498041 14427361280 579824 33554432000 4194304 4196468 140734428826608 140128691874480 140129226390146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19476480 140734428828801 140734428828977 140734428828977 140734428831695 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2320748 KiB

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

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

[startup+2381.42 s]
# the end of solver process 4760 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.1 s, system=2.95238 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): 2381.42
CPU time (s): 2400.05
CPU user time (s): 2397.1
CPU system time (s): 2.95238
CPU usage (%): 100.783
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 2997460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.1
system time used= 2.95238
maximum resident set size= 3000132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84180
involuntary context switches= 2393


# summary of solver processes directly reported to runsolver:
#   pid: 4758,4760
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2397.1
#   total CPU system time (s): 2.95238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2868 second user time and 20.8325 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-22 19:09:08
IDJOB=4292193
IDBENCH=141039
IDSOLVER=2747
FILE ID=node151/4292193-1532279348
RUNJOBID= node151-1532279337-4631
PBS_JOBID= 21018964
Free space on /tmp= 55052 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/StillLife/StillLife-wastage-14_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292193-1532279348/watcher-4292193-1532279348 -o /tmp/evaluation-result-4292193-1532279348/solver-4292193-1532279348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4631 --watchdog 2560  HOME/xcsp3-exec -seed 637571119 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292193-1532279348.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=637571119

node151.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.87
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.87
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.87
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.87
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:        20333988 kB
MemAvailable:   31721760 kB
Buffers:          247400 kB
Cached:         11289004 kB
SwapCached:            0 kB
Active:          1278980 kB
Inactive:       10528104 kB
Active(anon):     273296 kB
Inactive(anon):    16936 kB
Active(file):    1005684 kB
Inactive(file): 10511168 kB
Unevictable:        7940 kB
Mlocked:            7940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             20700 kB
Writeback:             0 kB
AnonPages:        287096 kB
Mapped:            48652 kB
Shmem:             17032 kB
Slab:             326752 kB
SReclaimable:     299380 kB
SUnreclaim:        27372 kB
KernelStack:        3872 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1288836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 55032 MiB
End job on node151 at 2018-07-22 19:48:50