Trace number 4272434

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 NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT 123.188 109.249

General information on the benchmark

NameKakuro/Kakuro-sumdiff-medium/
Kakuro-medium-191-sumdiff.xml
MD5SUM261f5e0f67b6e0c567fd630968b40e71
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.17449
Satisfiable
(Un)Satisfiability was proved
Number of variables704
Number of constraints508
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":499}]
Minimum variable degree0
Maximum variable degree4
Distribution of variable degrees[{"degree":0,"count":205},{"degree":4,"count":499}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":128},{"arity":3,"count":132},{"arity":4,"count":64},{"arity":5,"count":104},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":9,"count":24}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":254},{"type":"sum","count":254}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272434-1502767963.xml"  -tl '2520s' -p 1 -x 3
0.07/0.28	c [HOME/instance-4272434-1502767963.xml, -tl, 2520s, -p, 1, -x, 3]
0.26/0.35	c simple solver
0.26/0.41	c parse instance...
1.13/0.72	c solve instance...
123.13/109.22	s SATISFIABLE
123.13/109.22	v <instantiation>
123.13/109.22	v 	<list>x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][13] x[1][14] x[1][16] x[1][17] x[1][18] x[1][19] 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][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][15] x[3][16] x[3][17] x[3][19] x[3][20] x[3][21] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][10] x[4][11] x[4][12] x[4][16] x[4][17] x[4][18] x[4][20] x[4][21] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[5][21] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][10] x[6][12] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][19] x[7][20] x[7][21] x[8][1] x[8][2] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][14] x[8][15] x[8][16] x[8][20] x[8][21] x[9][1] x[9][2] x[9][3] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][19] x[9][20] x[9][21] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][9] x[11][10] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][2] x[12][3] x[12][4] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][19] x[12][20] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][7] x[13][8] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[14][1] x[14][2] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][11] x[14][12] x[14][13] x[14][15] x[14][16] x[14][18] x[14][19] x[14][20] x[14][21] x[15][1] x[15][2] x[15][3] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][20] x[15][21] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] x[17][19] x[17][20] x[17][21] x[18][1] x[18][2] x[18][3] x[18][4] x[18][6] x[18][7] x[18][9] x[18][10] x[18][11] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][20] x[18][21] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][14] x[19][15] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[20][2] x[20][3] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][18] x[20][19] x[20][20] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][9] x[21][10] x[21][12] x[21][13] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[23][1] x[23][2] x[23][3] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][11] x[23][12] x[23][13] x[23][14] x[23][16] x[23][17] x[23][19] x[23][20] x[23][21] x[24][1] x[24][2] x[24][6] x[24][7] x[24][8] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][20] x[24][21] x[25][1] x[25][2] x[25][3] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][19] x[25][20] x[25][21] x[26][2] x[26][3] x[26][4] x[26][5] x[26][7] x[26][8] x[26][9] x[26][10] x[26][12] x[26][13] x[26][14] x[26][15] x[26][17] x[26][18] x[26][19] x[26][20] x[27][1] x[27][2] x[27][3] x[27][4] x[27][6] x[27][7] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][15] x[27][16] x[27][18] x[27][19] x[27][20] x[27][21] x[28][1] x[28][2] x[28][4] x[28][5] x[28][6] x[28][10] x[28][11] x[28][12] x[28][16] x[28][17] x[28][18] x[28][20] x[28][21] x[29][1] x[29][2] x[29][3] x[29][5] x[29][6] x[29][7] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][15] x[29][16] x[29][17] x[29][19] x[29][20] x[29][21] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[31][3] x[31][4] x[31][5] x[31][6] x[31][8] x[31][9] x[31][13] x[31][14] x[31][16] x[31][17] x[31][18] x[31][19] </list>
123.13/109.22	v 	<values>9 8 7 6 1 2 1 2 3 9 1 8 9 7 1 6 5 2 3 4 8 9 3 1 2 6 8 4 5 7 5 6 4 9 7 1 1 9 8 5 2 1 2 3 6 4 8 1 2 6 8 9 6 9 8 4 1 6 5 9 7 5 6 1 8 9 4 2 6 1 3 3 1 8 6 9 7 8 9 7 2 6 8 7 5 6 9 1 7 2 9 3 6 9 7 3 1 6 2 7 9 8 3 6 5 4 2 1 1 3 6 3 1 8 1 4 6 3 5 2 8 9 3 8 9 7 3 9 8 9 9 5 8 7 7 9 5 4 6 5 1 8 4 7 5 2 3 1 6 6 9 8 4 7 1 3 7 6 2 8 9 1 5 4 9 7 9 3 6 7 4 9 8 4 6 7 7 6 4 8 9 5 1 3 4 5 2 9 7 3 2 5 1 4 2 1 5 4 7 2 1 3 1 2 3 6 4 1 3 4 6 2 3 5 1 6 9 5 2 9 3 7 8 1 6 8 9 2 1 2 4 1 3 6 9 5 8 6 7 1 3 6 7 8 9 4 3 2 7 8 5 9 6 1 7 8 5 9 8 9 7 8 9 5 6 6 9 8 7 4 9 8 2 3 1 2 1 3 4 1 2 1 4 2 8 5 4 7 9 6 4 3 6 5 8 9 7 3 7 5 2 1 4 7 9 4 3 1 5 2 7 9 8 7 6 9 4 7 5 3 8 6 9 1 4 2 2 3 6 4 1 3 1 3 1 3 5 1 4 2 2 4 1 5 3 6 2 3 4 1 8 5 7 4 2 6 9 4 3 5 9 5 3 8 7 8 6 7 9 4 2 3 4 6 2 1 1 2 4 7 6 2 9 5 4 8 8 9 1 4 2 7 2 4 9 8 6 5 8 4 9 6 7 9 7 8 6 4 7 9 5 7 9 8 2 4 3 1 9 7 8 5 7 9 5 8 3 1 7 4 2 1 6 7 9 1 7 6 4 1 8 4 9 8 2 1 3 6 8 9 3 1 8 7 9 3 2 1 1 5 3 4 2 8 7 9 3 1 2 5 7 8 6 1 3 2 4 9 6 1 8 9 5 3 7 4 2 8 9 7 5 1 2 4 9 8 7 9 6 </values>
123.13/109.22	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272434-1502767963/watcher-4272434-1502767963 -o /tmp/evaluation-result-4272434-1502767963/solver-4272434-1502767963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 524875629 HOME/instance-4272434-1502767963.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=31401, runsolver pid=31398
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 2.06 1.76 1.70 3/202 31408
/proc/meminfo: memFree=30299844/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13508948 memory=17472 CPUtime=0.01 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 3638 0 0 0 1 0 0 0 20 0 9 0 79016929 13833162752 4367 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3393621 4367 2055 1 0 3383118 0
[pid=31403/tid=31404] ppid=31401 vsize=13574484 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 2381 0 0 0 1 0 0 0 20 0 9 0 79016929 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140568217690728 140568195742992 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79016930 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13574484 memory=140042393450978 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79016930 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 79016930 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 79016930 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13574484 memory=140042393421440 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 79016931 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 79016932 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 79016932 13900271616 4381 18446744073709551615 4194304 4196468 140720862120704 140567689884720 140568213464789 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13518460 KiB
Current children cumulated memory: 18852 KiB

[startup+0.210102 s]*
/proc/loadavg: 2.06 1.76 1.70 3/211 31417
/proc/meminfo: memFree=30297996/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13974352 memory=24076 CPUtime=0.07 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 4934 0 0 0 6 1 0 0 20 0 15 0 79016929 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3493588 6019 2720 1 0 3482964 0
[pid=31403/tid=31404] ppid=31401 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 3081 0 0 0 6 0 0 0 20 0 15 0 79016929 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140568217680272 140568199522702 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13974352 memory=140042393450978 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13974352 memory=140042393421440 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79016931 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79016932 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79016932 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13974352 memory=140042393421440 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) R 31401 31401 897 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13974352 memory=140042393421440 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016941 14309736448 6019 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25456 KiB

[startup+0.310159 s]*
/proc/loadavg: 2.06 1.76 1.70 3/211 31417
/proc/meminfo: memFree=30285168/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13974352 memory=36984 CPUtime=0.26 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 8760 0 0 0 24 2 0 0 20 0 15 0 79016929 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3493588 9246 2984 1 0 3482964 0
[pid=31403/tid=31404] ppid=31401 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 6042 0 0 0 15 1 0 0 20 0 15 0 79016929 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140568217667360 140568206132597 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79016930 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79016931 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79016932 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79016932 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 79016934 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 79016934 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) S 31401 31401 897 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 79016934 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016941 14309736448 9246 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38364 KiB

[startup+0.709164 s]
/proc/loadavg: 2.06 1.76 1.70 3/211 31417
/proc/meminfo: memFree=30273272/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=64652 CPUtime=1.13 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 12802 0 0 0 109 4 0 0 20 0 15 0 79016929 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 16163 3161 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=6935649255759568960 CPUtime=0.55 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 8498 0 0 0 52 3 0 0 20 0 15 0 79016929 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140568217691808 140568213476509 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 79016931 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) R 31401 31401 897 0 -1 4202560 952 0 0 0 12 0 0 0 20 0 15 0 79016934 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567687761864 140568213475930 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) R 31401 31401 897 0 -1 4202560 674 0 0 0 13 0 0 0 20 0 15 0 79016934 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567686714328 140568194980196 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13980732 memory=2529 CPUtime=0.31 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) R 31401 31401 897 0 -1 4202560 1370 0 0 0 31 0 0 0 20 0 15 0 79016934 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568206561953 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016941 14316269568 16163 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66032 KiB

[startup+1.50081 s]
/proc/loadavg: 2.06 1.76 1.70 5/211 31417
/proc/meminfo: memFree=30215640/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=128844 CPUtime=3.69 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 39637 0 0 0 360 9 0 0 20 0 15 0 79016929 14316269568 32211 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 32211 3195 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 9372 0 0 0 130 3 0 0 20 0 15 0 79016929 14316269568 32211 18446744073709551615 4194304 4196468 140720862120704 140568217692728 140567859255811 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 32211 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 32211 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=64652 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79016930 14316269568 32211 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=269809845597538 CPUtime=0 cores=0,2,4,6

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

/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=387740 CPUtime=121.05 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 106506 0 0 0 12057 48 0 0 20 0 15 0 79016929 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 96935 3246 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=-8774313645642428999 CPUtime=106.16 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 16523 0 0 0 10610 6 0 0 20 0 15 0 79016929 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140568217694272 140567861060371 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=1440 CPUtime=0.78 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1309 0 0 0 72 6 0 0 20 0 15 0 79016930 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=2000 CPUtime=0.78 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1499 0 0 0 72 6 0 0 20 0 15 0 79016930 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=11000 CPUtime=0.77 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 2123 0 0 0 71 6 0 0 20 0 15 0 79016930 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=1200 CPUtime=0.78 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 1345 0 0 0 72 6 0 0 20 0 15 0 79016930 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13980732 memory=15880 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 1340 0 0 0 4 1 0 0 20 0 15 0 79016931 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13980732 memory=1712 CPUtime=5.43 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 40114 0 0 0 538 5 0 0 20 0 15 0 79016934 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13980732 memory=4616 CPUtime=5.39 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 32395 0 0 0 536 3 0 0 20 0 15 0 79016934 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13980732 memory=1012 CPUtime=0.76 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) S 31401 31401 897 0 -1 1077944384 8189 0 0 0 74 2 0 0 20 0 15 0 79016934 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13980732 memory=4616 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 327 0 0 0 2 3 0 0 20 0 15 0 79016941 14316269568 96935 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 121.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 389120 KiB

[startup+108.001 s]*
/proc/loadavg: 1.74 1.77 1.71 3/213 31434
/proc/meminfo: memFree=29931968/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=390404 CPUtime=121.89 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 106541 0 0 0 12141 48 0 0 20 0 15 0 79016929 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 97601 3246 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=-8195925453750481479 CPUtime=106.95 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 16524 0 0 0 10689 6 0 0 20 0 15 0 79016929 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140568217693904 140567860087449 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=4872558044660077418 CPUtime=0.8 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1328 0 0 0 74 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=-8195925453750481479 CPUtime=0.79 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1506 0 0 0 73 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=4872558044660077418 CPUtime=0.78 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 2128 0 0 0 72 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=4068 CPUtime=0.79 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 1348 0 0 0 73 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13980732 memory=1156 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 1340 0 0 0 4 1 0 0 20 0 15 0 79016931 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13980732 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13980732 memory=688476 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13980732 memory=1156 CPUtime=5.43 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 40114 0 0 0 538 5 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13980732 memory=3020 CPUtime=5.39 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 32395 0 0 0 536 3 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) S 31401 31401 897 0 -1 1077944384 8189 0 0 0 74 2 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13980732 memory=387228 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13980732 memory=4116 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 327 0 0 0 2 3 0 0 20 0 15 0 79016941 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 121.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 391784 KiB

[startup+108.801 s]
/proc/loadavg: 1.74 1.77 1.71 3/213 31434
/proc/meminfo: memFree=29931968/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=390404 CPUtime=122.69 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 106621 0 0 0 12221 48 0 0 20 0 15 0 79016929 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 97601 3246 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=385860 CPUtime=107.74 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 16604 0 0 0 10768 6 0 0 20 0 15 0 79016929 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140568217693904 140567860501898 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=1228 CPUtime=0.8 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1328 0 0 0 74 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=1292 CPUtime=0.79 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1506 0 0 0 73 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=2316 CPUtime=0.78 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 2128 0 0 0 72 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=1728 CPUtime=0.79 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 1348 0 0 0 73 6 0 0 20 0 15 0 79016930 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 1340 0 0 0 4 1 0 0 20 0 15 0 79016931 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13980732 memory=390404 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13980732 memory=-8774313645642428999 CPUtime=5.43 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 40114 0 0 0 538 5 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13980732 memory=43552 CPUtime=5.39 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 32395 0 0 0 536 3 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13980732 memory=1292 CPUtime=0.76 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) S 31401 31401 897 0 -1 1077944384 8189 0 0 0 74 2 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13980732 memory=387228 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 327 0 0 0 2 3 0 0 20 0 15 0 79016941 14316269568 97601 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 122.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 391784 KiB

[startup+109.201 s]
/proc/loadavg: 1.68 1.76 1.70 3/213 31434
/proc/meminfo: memFree=29931288/32770624 swapFree=67108860/67108860
[pid=31401] ppid=31398 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31401/stat : 31401 (xcsp3-exec) S 31398 31401 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 79016921 9740288 345 18446744073709551615 4194304 5098028 140735780948080 140735780946184 139831348769404 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 32194560 140735780950393 140735780950597 140735780950597 140735780954091 0
/proc/31401/statm: 2378 345 289 221 0 87 0
[pid=31403] ppid=31401 vsize=13980732 memory=390912 CPUtime=123.13 cores=0,2,4,6
/proc/31403/stat : 31403 (java) S 31401 31401 897 0 -1 1077944320 106688 0 0 0 12264 49 0 0 20 0 15 0 79016929 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140720862103248 140568213454583 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
/proc/31403/statm: 3495183 97728 3246 1 0 3483476 0
[pid=31403/tid=31404] ppid=31401 vsize=13980732 memory=16436 CPUtime=108.13 cores=0,2,4,6
/proc/31403/task/31404/stat : 31404 (java) R 31401 31401 897 0 -1 4202560 16605 0 0 0 10807 6 0 0 20 0 15 0 79016929 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140568217693952 140567860890536 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31405] ppid=31401 vsize=13980732 memory=2888 CPUtime=0.82 cores=0,2,4,6
/proc/31403/task/31405/stat : 31405 (java) S 31401 31401 897 0 -1 1077944384 1336 0 0 0 75 7 0 0 20 0 15 0 79016930 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140568174353168 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31406] ppid=31401 vsize=13980732 memory=2964 CPUtime=0.81 cores=0,2,4,6
/proc/31403/task/31406/stat : 31406 (java) S 31401 31401 897 0 -1 1077944384 1526 0 0 0 75 6 0 0 20 0 15 0 79016930 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567812434832 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31407] ppid=31401 vsize=13980732 memory=4068 CPUtime=0.8 cores=0,2,4,6
/proc/31403/task/31407/stat : 31407 (java) S 31401 31401 897 0 -1 1077944384 2132 0 0 0 73 7 0 0 20 0 15 0 79016930 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567811382288 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31408] ppid=31401 vsize=13980732 memory=1156 CPUtime=0.81 cores=0,2,4,6
/proc/31403/task/31408/stat : 31408 (java) S 31401 31401 897 0 -1 1077944384 1351 0 0 0 75 6 0 0 20 0 15 0 79016930 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567810329744 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31409] ppid=31401 vsize=13980732 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31403/task/31409/stat : 31409 (java) S 31401 31401 897 0 -1 1077944384 1340 0 0 0 4 2 0 0 20 0 15 0 79016931 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567691991024 140568213465730 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31410] ppid=31401 vsize=13980732 memory=8464298218226803257 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31410/stat : 31410 (java) S 31401 31401 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567690937248 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31411] ppid=31401 vsize=13980732 memory=7972078890042867053 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31411/stat : 31411 (java) S 31401 31401 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79016932 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567689884656 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31412] ppid=31401 vsize=13980732 memory=7884211337409555557 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31412/stat : 31412 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567688833232 140568213473179 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31413] ppid=31401 vsize=13980732 memory=7881696724453321575 CPUtime=5.43 cores=0,2,4,6
/proc/31403/task/31413/stat : 31413 (java) S 31401 31401 897 0 -1 1077944384 40114 0 0 0 538 5 0 0 20 0 15 0 79016934 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567687780848 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31414] ppid=31401 vsize=13980732 memory=7014470139146888301 CPUtime=5.39 cores=0,2,4,6
/proc/31403/task/31414/stat : 31414 (java) S 31401 31401 897 0 -1 1077944384 32395 0 0 0 536 3 0 0 20 0 15 0 79016934 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567686728304 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31415] ppid=31401 vsize=13980732 memory=7230921007607278949 CPUtime=0.76 cores=0,2,4,6
/proc/31403/task/31415/stat : 31415 (java) S 31401 31401 897 0 -1 1077944384 8220 0 0 0 74 2 0 0 20 0 15 0 79016934 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567685675760 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31416] ppid=31401 vsize=13980732 memory=7446818976306651749 CPUtime=0 cores=0,2,4,6
/proc/31403/task/31416/stat : 31416 (java) S 31401 31401 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79016934 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567684623456 140568213464789 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
[pid=31403/tid=31417] ppid=31401 vsize=13980732 memory=7446534215326326352 CPUtime=0.05 cores=0,2,4,6
/proc/31403/task/31417/stat : 31417 (java) S 31401 31401 897 0 -1 1077944384 327 0 0 0 2 3 0 0 20 0 15 0 79016941 14316269568 97728 18446744073709551615 4194304 4196468 140720862120704 140567683569968 140568213465730 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140720862122417 140720862122593 140720862122593 140720862126031 0
Current children cumulated CPU time: 123.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 392292 KiB

Child status: 0
Real time (s): 109.249
CPU time (s): 123.188
CPU user time (s): 122.685
CPU system time (s): 0.50348
CPU usage (%): 112.759
Max. virtual memory (cumulated for all children) (KiB): 13993224
Max. memory (cumulated for all children) (KiB): 422276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.685
system time used= 0.50348
maximum resident set size= 423060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6401
involuntary context switches= 223


# summary of solver processes directly reported to runsolver:
#   pid: 31401
#   total CPU time (s): 123.188
#   total CPU user time (s): 122.685
#   total CPU system time (s): 0.50348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.705662 second user time and 1.10303 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 05:18:37
IDJOB=4272434
IDBENCH=125541
IDSOLVER=2664
FILE ID=node125/4272434-1502767963
RUNJOBID= node125-1502662595-11628
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Kakuro/Kakuro-sumdiff-medium/Kakuro-medium-191-sumdiff.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272434-1502767963/watcher-4272434-1502767963 -o /tmp/evaluation-result-4272434-1502767963/solver-4272434-1502767963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 524875629 HOME/instance-4272434-1502767963.xml

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

MD5SUM BENCH= 261f5e0f67b6e0c567fd630968b40e71
RANDOM SEED=524875629

node125.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.07
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.07
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.07
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.07
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:        30308588 kB
MemAvailable:   31288848 kB
Buffers:          300932 kB
Cached:           972796 kB
SwapCached:            0 kB
Active:          1425496 kB
Inactive:         605376 kB
Active(anon):     757284 kB
Inactive(anon):    33100 kB
Active(file):     668212 kB
Inactive(file):   572276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8496 kB
Writeback:             4 kB
AnonPages:        757280 kB
Mapped:            62968 kB
Shmem:             33444 kB
Slab:             137492 kB
SReclaimable:     111212 kB
SUnreclaim:        26280 kB
KernelStack:        3440 kB
PageTables:         6572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1401192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    688128 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= 62016 MiB
End job on node125 at 2017-08-15 05:20:26