Trace number 4309204

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
OscaR - Parallel with EPS 2018-08-14SAT (TO)17 19954.9 2520.29

General information on the benchmark

NameBacp/Bacp-m1/
Bacp-m1-08b_c18.xml
MD5SUMf0181ee827e5f84545abe9c1b131da86
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark20054.8
Satisfiable
(Un)Satisfiability was proved
Number of variables430
Number of constraints100
Number of domains8
Minimum domain size2
Maximum domain size15
Distribution of domain sizes[{"size":2,"count":368},{"size":7,"count":8},{"size":8,"count":46},{"size":15,"count":8}]
Minimum variable degree1
Maximum variable degree15
Distribution of variable degrees[{"degree":1,"count":8},{"degree":2,"count":376},{"degree":9,"count":9},{"degree":10,"count":15},{"degree":11,"count":12},{"degree":12,"count":5},{"degree":13,"count":4},{"degree":15,"count":1}]
Minimum constraint arity2
Maximum constraint arity47
Distribution of constraint arities[{"arity":2,"count":38},{"arity":9,"count":46},{"arity":47,"count":16}]
Number of extensional constraints46
Number of intensional constraints38
Distribution of constraint types[{"type":"extension","count":46},{"type":"intension","count":38},{"type":"sum","count":8},{"type":"count","count":8}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1438084055
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
1.37/0.95	c Parsing done, starting search...
5.05/2.50	o 23
5.73/2.50	o 22
5.73/2.50	o 21
5.73/2.52	o 20
5.73/2.52	o 18
5.73/2.53	o 17
19952.75/2520.11	s SATISFIABLE
19952.75/2520.12	v <instantiation>
19952.75/2520.12	v 	<list>
19952.75/2520.12	v 		prd[0] prd[1] prd[2] prd[3] prd[4] prd[5] prd[6] prd[7] prd[8] prd[9] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] cp[0][0] cp[0][1] cp[0][2] cp[0][3] cp[0][4] cp[0][5] cp[0][6] cp[0][7] cp[1][0] cp[1][1] cp[1][2] cp[1][3] cp[1][4] cp[1][5] cp[1][6] cp[1][7] cp[2][0] cp[2][1] cp[2][2] cp[2][3] cp[2][4] cp[2][5] cp[2][6] cp[2][7] cp[3][0] cp[3][1] cp[3][2] cp[3][3] cp[3][4] cp[3][5] cp[3][6] cp[3][7] cp[4][0] cp[4][1] cp[4][2] cp[4][3] cp[4][4] cp[4][5] cp[4][6] cp[4][7] cp[5][0] cp[5][1] cp[5][2] cp[5][3] cp[5][4] cp[5][5] cp[5][6] cp[5][7] cp[6][0] cp[6][1] cp[6][2] cp[6][3] cp[6][4] cp[6][5] cp[6][6] cp[6][7] cp[7][0] cp[7][1] cp[7][2] cp[7][3] cp[7][4] cp[7][5] cp[7][6] cp[7][7] cp[8][0] cp[8][1] cp[8][2] cp[8][3] cp[8][4] cp[8][5] cp[8][6] cp[8][7] cp[9][0] cp[9][1] cp[9][2] cp[9][3] cp[9][4] cp[9][5] cp[9][6] cp[9][7] cp[10][0] cp[10][1] cp[10][2] cp[10][3] cp[10][4] cp[10][5] cp[10][6] cp[10][7] cp[11][0] cp[11][1] cp[11][2] cp[11][3] cp[11][4] cp[11][5] cp[11][6] cp[11][7] cp[12][0] cp[12][1] cp[12][2] cp[12][3] cp[12][4] cp[12][5] cp[12][6] cp[12][7] cp[13][0] cp[13][1] cp[13][2] cp[13][3] cp[13][4] cp[13][5] cp[13][6] cp[13][7] cp[14][0] cp[14][1] cp[14][2] cp[14][3] cp[14][4] cp[14][5] cp[14][6] cp[14][7] cp[15][0] cp[15][1] cp[15][2] cp[15][3] cp[15][4] cp[15][5] cp[15][6] cp[15][7] cp[16][0] cp[16][1] cp[16][2] cp[16][3] cp[16][4] cp[16][5] cp[16][6] cp[16][7] cp[17][0] cp[17][1] cp[17][2] cp[17][3] cp[17][4] cp[17][5] cp[17][6] cp[17][7] cp[18][0] cp[18][1] cp[18][2] cp[18][3] cp[18][4] cp[18][5] cp[18][6] cp[18][7] cp[19][0] cp[19][1] cp[19][2] cp[19][3] cp[19][4] cp[19][5] cp[19][6] cp[19][7] cp[20][0] cp[20][1] cp[20][2] cp[20][3] cp[20][4] cp[20][5] cp[20][6] cp[20][7] cp[21][0] cp[21][1] cp[21][2] cp[21][3] cp[21][4] cp[21][5] cp[21][6] cp[21][7] cp[22][0] cp[22][1] cp[22][2] cp[22][3] cp[22][4] cp[22][5] cp[22][6] cp[22][7] cp[23][0] cp[23][1] cp[23][2] cp[23][3] cp[23][4] cp[23][5] cp[23][6] cp[23][7] cp[24][0] cp[24][1] cp[24][2] cp[24][3] cp[24][4] cp[24][5] cp[24][6] cp[24][7] cp[25][0] cp[25][1] cp[25][2] cp[25][3] cp[25][4] cp[25][5] cp[25][6] cp[25][7] cp[26][0] cp[26][1] cp[26][2] cp[26][3] cp[26][4] cp[26][5] cp[26][6] cp[26][7] cp[27][0] cp[27][1] cp[27][2] cp[27][3] cp[27][4] cp[27][5] cp[27][6] cp[27][7] cp[28][0] cp[28][1] cp[28][2] cp[28][3] cp[28][4] cp[28][5] cp[28][6] cp[28][7] cp[29][0] cp[29][1] cp[29][2] cp[29][3] cp[29][4] cp[29][5] cp[29][6] cp[29][7] cp[30][0] cp[30][1] cp[30][2] cp[30][3] cp[30][4] cp[30][5] cp[30][6] cp[30][7] cp[31][0] cp[31][1] cp[31][2] cp[31][3] cp[31][4] cp[31][5] cp[31][6] cp[31][7] cp[32][0] cp[32][1] cp[32][2] cp[32][3] cp[32][4] cp[32][5] cp[32][6] cp[32][7] cp[33][0] cp[33][1] cp[33][2] cp[33][3] cp[33][4] cp[33][5] cp[33][6] cp[33][7] cp[34][0] cp[34][1] cp[34][2] cp[34][3] cp[34][4] cp[34][5] cp[34][6] cp[34][7] cp[35][0] cp[35][1] cp[35][2] cp[35][3] cp[35][4] cp[35][5] cp[35][6] cp[35][7] cp[36][0] cp[36][1] cp[36][2] cp[36][3] cp[36][4] cp[36][5] cp[36][6] cp[36][7] cp[37][0] cp[37][1] cp[37][2] cp[37][3] cp[37][4] cp[37][5] cp[37][6] cp[37][7] cp[38][0] cp[38][1] cp[38][2] cp[38][3] cp[38][4] cp[38][5] cp[38][6] cp[38][7] cp[39][0] cp[39][1] cp[39][2] cp[39][3] cp[39][4] cp[39][5] cp[39][6] cp[39][7] cp[40][0] cp[40][1] cp[40][2] cp[40][3] cp[40][4] cp[40][5] cp[40][6] cp[40][7] cp[41][0] cp[41][1] cp[41][2] cp[41][3] cp[41][4] cp[41][5] cp[41][6] cp[41][7] cp[42][0] cp[42][1] cp[42][2] cp[42][3] cp[42][4] cp[42][5] cp[42][6] cp[42][7] cp[43][0] cp[43][1] cp[43][2] cp[43][3] cp[43][4] cp[43][5] cp[43][6] cp[43][7] cp[44][0] cp[44][1] cp[44][2] cp[44][3] cp[44][4] cp[44][5] cp[44][6] cp[44][7] cp[45][0] cp[45][1] cp[45][2] cp[45][3] cp[45][4] cp[45][5] cp[45][6] cp[45][7]
19952.75/2520.12	v 	</list>
19952.75/2520.12	v 	<values>
19952.75/2520.12	v 		2 3 6 0 7 7 1 2 7 5 6 1 2 6 6 4 0 1 0 2 3 7 4 3 4 5 0 6 1 7 3 2 4 4 5 3 5 2 0 0 3 6 5 4 1 1 6 6 6 6 6 5 6 5 16 16 17 17 17 16 17 17 0 0 1 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 2 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 
19952.75/2520.12	v 	</values>
19952.75/2520.12	v </instantiation>

Verifier Data

OK	17

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309204-1534403393/watcher-4309204-1534403393 -o /tmp/evaluation-result-4309204-1534403393/solver-4309204-1534403393 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534398334-12707 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1438084055 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309204-1534403393.xml 

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

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

solver pid=13182, runsolver pid=13179

[startup+0.101594 s]*
/proc/loadavg: 8.93 8.85 8.79 3/198 13202
/proc/meminfo: memFree=23967064/32770624 swapFree=67108196/67108860
[pid=13182] ppid=13179 vsize=26103420 memory=31836 CPUtime=0.11 cores=0-7
/proc/13182/stat : 13182 (java) S 13179 13182 12680 0 -1 1077944320 7391 0 0 0 10 1 0 0 20 0 20 0 257902472 26729902080 7959 33554432000 4194304 4196468 140735553659472 140735553642016 139680456445687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
/proc/13182/statm: 6525855 7959 3145 1 0 6487932 0
[pid=13182/tid=13184] ppid=13179 vsize=26103420 memory=7752835091657563039 CPUtime=0.09 cores=0-7
/proc/13182/task/13184/stat : 13184 (java) R 13179 13182 12680 0 -1 4202560 5452 0 0 0 8 1 0 0 20 0 20 0 257902472 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680460648816 139680440526174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13185] ppid=13179 vsize=26103420 memory=732370283355831269 CPUtime=0 cores=0-7
/proc/13182/task/13185/stat : 13185 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680409065872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13186] ppid=13179 vsize=26103420 memory=140145018377856 CPUtime=0 cores=0-7
/proc/13182/task/13186/stat : 13186 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680408013072 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13187] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13187/stat : 13187 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680406960784 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13188] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13188/stat : 13188 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680405907984 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13189] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13189/stat : 13189 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680404855696 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13190] ppid=13179 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13182/task/13190/stat : 13190 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680403802896 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13191] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13191/stat : 13191 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 7959 33554432000 4194304 4196468 140735553659472 139680402750608 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13192] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13192/stat : 13192 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 8024 33554432000 4194304 4196468 140735553659472 139680401697808 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13193] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13193/stat : 13193 (java) S 13179 13182 12680 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 257902474 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678660941936 139680456456834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13194] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13194/stat : 13194 (java) S 13179 13182 12680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678659887904 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13195] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13195/stat : 13195 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678658835568 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13196] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13196/stat : 13196 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678657783888 139680456464283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13197] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13197/stat : 13197 (java) S 13179 13182 12680 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678656731760 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13198] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13198/stat : 13198 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678655678960 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13199] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13199/stat : 13199 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678654626672 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13200] ppid=13179 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/13182/task/13200/stat : 13200 (java) R 13179 13182 12680 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678653573872 139680434812072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13201] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13201/stat : 13201 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678652520800 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13202] ppid=13179 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13182/task/13202/stat : 13202 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902478 26729902080 8024 33554432000 4194304 4196468 140735553659472 139678651468080 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31836 KiB

[startup+0.210232 s]*
/proc/loadavg: 8.93 8.85 8.79 3/198 13202
/proc/meminfo: memFree=23954600/32770624 swapFree=67108196/67108860
[pid=13182] ppid=13179 vsize=26103420 memory=43028 CPUtime=0.3 cores=0-7
/proc/13182/stat : 13182 (java) S 13179 13182 12680 0 -1 1077944320 10428 0 0 0 28 2 0 0 20 0 20 0 257902472 26729902080 10757 33554432000 4194304 4196468 140735553659472 140735553642016 139680456445687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
/proc/13182/statm: 6525855 10757 3345 1 0 6487932 0
[pid=13182/tid=13184] ppid=13179 vsize=26103420 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/13182/task/13184/stat : 13184 (java) R 13179 13182 12680 0 -1 4202560 8194 0 0 0 18 1 0 0 20 0 20 0 257902472 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680460674096 139680440526174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13185] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13185/stat : 13185 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680409065872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13186] ppid=13179 vsize=26103420 memory=140145019805260 CPUtime=0 cores=0-7
/proc/13182/task/13186/stat : 13186 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680408013072 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13187] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13187/stat : 13187 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680406960784 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13188] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13188/stat : 13188 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680405907984 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13189] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13189/stat : 13189 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680404855696 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13190] ppid=13179 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13182/task/13190/stat : 13190 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680403802896 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13191] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13191/stat : 13191 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680402750608 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13192] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13192/stat : 13192 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 10757 33554432000 4194304 4196468 140735553659472 139680401697808 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13193] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13193/stat : 13193 (java) S 13179 13182 12680 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 257902474 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678660941936 139680456456834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13194] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13194/stat : 13194 (java) S 13179 13182 12680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678659887904 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13195] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13195/stat : 13195 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678658835568 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13196] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13196/stat : 13196 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678657783888 139680456464283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13197] ppid=13179 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/13182/task/13197/stat : 13197 (java) S 13179 13182 12680 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678656731760 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13198] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13198/stat : 13198 (java) S 13179 13182 12680 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678655678960 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13199] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13199/stat : 13199 (java) S 13179 13182 12680 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678654626672 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13200] ppid=13179 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/13182/task/13200/stat : 13200 (java) S 13179 13182 12680 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678653573872 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13201] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13201/stat : 13201 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678652520800 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13202] ppid=13179 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13182/task/13202/stat : 13202 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902478 26729902080 10757 33554432000 4194304 4196468 140735553659472 139678651468080 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43028 KiB

[startup+0.3103 s]*
/proc/loadavg: 8.93 8.85 8.79 2/198 13202
/proc/meminfo: memFree=23951064/32770624 swapFree=67108196/67108860
[pid=13182] ppid=13179 vsize=26103420 memory=46552 CPUtime=0.42 cores=0-7
/proc/13182/stat : 13182 (java) S 13179 13182 12680 0 -1 1077944320 10863 0 0 0 40 2 0 0 20 0 20 0 257902472 26729902080 11638 33554432000 4194304 4196468 140735553659472 140735553642016 139680456445687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
/proc/13182/statm: 6525855 11638 3380 1 0 6487932 0
[pid=13182/tid=13184] ppid=13179 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13182/task/13184/stat : 13184 (java) R 13179 13182 12680 0 -1 4202560 8541 0 0 0 28 1 0 0 20 0 20 0 257902472 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680460607424 139680440526174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13185] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13185/stat : 13185 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680409065872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13186] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13186/stat : 13186 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680408013072 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13187] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13187/stat : 13187 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680406960784 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13188] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13188/stat : 13188 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680405907984 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13189] ppid=13179 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/13182/task/13189/stat : 13189 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680404855696 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13190] ppid=13179 vsize=26103420 memory=140144917181359 CPUtime=0 cores=0-7
/proc/13182/task/13190/stat : 13190 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680403802896 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13191] ppid=13179 vsize=26103420 memory=140144917183664 CPUtime=0 cores=0-7
/proc/13182/task/13191/stat : 13191 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680402750608 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13192] ppid=13179 vsize=26103420 memory=140144917185968 CPUtime=0 cores=0-7
/proc/13182/task/13192/stat : 13192 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26729902080 11638 33554432000 4194304 4196468 140735553659472 139680401697808 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13193] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13193/stat : 13193 (java) S 13179 13182 12680 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 257902474 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678660941936 139680456456834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13194] ppid=13179 vsize=26103420 memory=280289834378896 CPUtime=0 cores=0-7
/proc/13182/task/13194/stat : 13194 (java) S 13179 13182 12680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678659887904 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13195] ppid=13179 vsize=26103420 memory=280289834385808 CPUtime=0 cores=0-7
/proc/13182/task/13195/stat : 13195 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257902475 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678658835568 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13196] ppid=13179 vsize=26103420 memory=280289834327088 CPUtime=0 cores=0-7
/proc/13182/task/13196/stat : 13196 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678657783888 139680456464283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13197] ppid=13179 vsize=26103420 memory=280289834399632 CPUtime=0.02 cores=0-7
/proc/13182/task/13197/stat : 13197 (java) S 13179 13182 12680 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678656731760 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13198] ppid=13179 vsize=26103420 memory=280289834406544 CPUtime=0 cores=0-7
/proc/13182/task/13198/stat : 13198 (java) S 13179 13182 12680 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678655678960 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13199] ppid=13179 vsize=26103420 memory=280289834404240 CPUtime=0 cores=0-7
/proc/13182/task/13199/stat : 13199 (java) S 13179 13182 12680 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678654626672 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13200] ppid=13179 vsize=26103420 memory=280289834420800 CPUtime=0.08 cores=0-7
/proc/13182/task/13200/stat : 13200 (java) S 13179 13182 12680 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678653573872 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13201] ppid=13179 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13201/stat : 13201 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257902477 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678652520800 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13202] ppid=13179 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/13182/task/13202/stat : 13202 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902478 26729902080 11638 33554432000 4194304 4196468 140735553659472 139678651468080 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46552 KiB

[startup+0.700922 s]
/proc/loadavg: 8.93 8.85 8.79 3/198 13202
/proc/meminfo: memFree=23926756/32770624 swapFree=67108196/67108860
[pid=13182] ppid=13179 vsize=26105488 memory=87732 CPUtime=0.98 cores=0-7
/proc/13182/stat : 13182 (java) S 13179 13182 12680 0 -1 1077944320 17891 0 0 0 94 4 0 0 20 0 20 0 257902472 26732019712 21933 33554432000 4194304 4196468 140735553659472 140735553642016 139680456445687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
/proc/13182/statm: 6526372 21933 3496 1 0 6488444 0
[pid=13182/tid=13184] ppid=13179 vsize=26105488 memory=6224889892466676321 CPUtime=0.67 cores=0-7
/proc/13182/task/13184/stat : 13184 (java) R 13179 13182 12680 0 -1 4202560 15028 0 0 0 64 3 0 0 20 0 20 0 257902472 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680460660656 139680456467613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13185] ppid=13179 vsize=26105488 memory=56697863300898 CPUtime=0 cores=0-7
/proc/13182/task/13185/stat : 13185 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680409065872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13186] ppid=13179 vsize=26105488 memory=140144917196727 CPUtime=0 cores=0-7
/proc/13182/task/13186/stat : 13186 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680408013072 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13187] ppid=13179 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13187/stat : 13187 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680406960784 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13188] ppid=13179 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13188/stat : 13188 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680405907984 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13189] ppid=13179 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13189/stat : 13189 (java) S 13179 13182 12680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680404855696 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13190] ppid=13179 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13190/stat : 13190 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680403802896 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13191] ppid=13179 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/13182/task/13191/stat : 13191 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680402750608 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13192] ppid=13179 vsize=26105488 memory=1752 CPUtime=0 cores=0-7
/proc/13182/task/13192/stat : 13192 (java) S 13179 13182 12680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257902473 26732019712 21933 33554432000 4194304 4196468 140735553659472 139680401697808 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13193] ppid=13179 vsize=26105488 memory=844 CPUtime=0 cores=0-7
/proc/13182/task/13193/stat : 13193 (java) S 13179 13182 12680 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 257902474 26732019712 21933 33554432000 4194304 4196468 140735553659472 139678660941936 139680456456834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0

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

/proc/13182/task/13206/stat : 13206 (java) S 13179 13182 12680 0 -1 1077944384 98 0 0 0 5 0 0 0 20 0 46 0 257902703 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678324700320 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13207] ppid=13179 vsize=27850524 memory=1628 CPUtime=0.04 cores=0-7
/proc/13182/task/13207/stat : 13207 (java) S 13179 13182 12680 0 -1 1077944384 59 0 0 0 4 0 0 0 20 0 46 0 257902703 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678323648032 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13208] ppid=13179 vsize=27850524 memory=4140 CPUtime=2485.48 cores=0-7
/proc/13182/task/13208/stat : 13208 (java) R 13179 13182 12680 0 -1 4202560 103889 0 0 0 248449 99 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678320490856 139680082102686 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13209] ppid=13179 vsize=27850524 memory=6340 CPUtime=0.04 cores=0-7
/proc/13182/task/13209/stat : 13209 (java) S 13179 13182 12680 0 -1 1077944384 68 0 0 0 4 0 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678319444768 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13210] ppid=13179 vsize=27850524 memory=1628 CPUtime=2485.68 cores=0-7
/proc/13182/task/13210/stat : 13210 (java) R 13179 13182 12680 0 -1 4202560 102369 0 0 0 248469 99 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678318384504 139680082486577 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13211] ppid=13179 vsize=27850524 memory=1100 CPUtime=2484.84 cores=0-7
/proc/13182/task/13211/stat : 13211 (java) R 13179 13182 12680 0 -1 4202560 106886 0 0 0 248386 98 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678317332344 139680082251968 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13212] ppid=13179 vsize=27850524 memory=15188 CPUtime=2485.56 cores=0-7
/proc/13182/task/13212/stat : 13212 (java) R 13179 13182 12680 0 -1 4202560 109918 0 0 0 248450 106 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678316279656 139680078406656 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13213] ppid=13179 vsize=27850524 memory=39480 CPUtime=0.03 cores=0-7
/proc/13182/task/13213/stat : 13213 (java) S 13179 13182 12680 0 -1 1077944384 33 0 0 0 3 0 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678315234592 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13214] ppid=13179 vsize=27850524 memory=15188 CPUtime=2483.08 cores=0-7
/proc/13182/task/13214/stat : 13214 (java) R 13179 13182 12680 0 -1 4202560 107979 0 0 0 248211 97 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678314174328 139680077856832 0 4 0 16800975 0 0 0 -1 6 0 0 43 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13215] ppid=13179 vsize=27850524 memory=39480 CPUtime=2483.69 cores=0-7
/proc/13182/task/13215/stat : 13215 (java) R 13179 13182 12680 0 -1 4202560 113084 0 0 0 248268 101 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678313122040 139680078008736 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13216] ppid=13179 vsize=27850524 memory=1747548 CPUtime=2484.09 cores=0-7
/proc/13182/task/13216/stat : 13216 (java) R 13179 13182 12680 0 -1 4202560 106002 0 0 0 248313 96 0 0 20 0 46 0 257902710 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678312072064 139680082148828 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13217] ppid=13179 vsize=27850524 memory=15916 CPUtime=0 cores=0-7
/proc/13182/task/13217/stat : 13217 (java) S 13179 13182 12680 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 257902718 28518936576 436758 33554432000 4194304 4196468 140735553659472 139678311023392 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13218] ppid=13179 vsize=27850524 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13182/task/13218/stat : 13218 (java) S 13179 13182 12680 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 46 0 257902718 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676899861152 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13219] ppid=13179 vsize=27850524 memory=1704 CPUtime=0 cores=0-7
/proc/13182/task/13219/stat : 13219 (java) S 13179 13182 12680 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 257902718 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676898808864 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13220] ppid=13179 vsize=27850524 memory=1176 CPUtime=0 cores=0-7
/proc/13182/task/13220/stat : 13220 (java) S 13179 13182 12680 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 257902719 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676897756064 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13221] ppid=13179 vsize=27850524 memory=844 CPUtime=0 cores=0-7
/proc/13182/task/13221/stat : 13221 (java) S 13179 13182 12680 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 257902722 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676894569760 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13222] ppid=13179 vsize=27850524 memory=10072 CPUtime=0 cores=0-7
/proc/13182/task/13222/stat : 13222 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 257902722 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676893516960 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13223] ppid=13179 vsize=27850524 memory=5012 CPUtime=0 cores=0-7
/proc/13182/task/13223/stat : 13223 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 257902722 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676892464672 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13224] ppid=13179 vsize=27850524 memory=752 CPUtime=0 cores=0-7
/proc/13182/task/13224/stat : 13224 (java) S 13179 13182 12680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 257902723 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676891411872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13225] ppid=13179 vsize=27850524 memory=1124 CPUtime=0 cores=0-7
/proc/13182/task/13225/stat : 13225 (java) S 13179 13182 12680 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 257902723 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676890358560 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13226] ppid=13179 vsize=27850524 memory=1824 CPUtime=0 cores=0-7
/proc/13182/task/13226/stat : 13226 (java) S 13179 13182 12680 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 257902723 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676889305760 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13227] ppid=13179 vsize=27850524 memory=1356 CPUtime=0 cores=0-7
/proc/13182/task/13227/stat : 13227 (java) S 13179 13182 12680 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 257902723 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676888253472 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13228] ppid=13179 vsize=27850524 memory=8148 CPUtime=0 cores=0-7
/proc/13182/task/13228/stat : 13228 (java) S 13179 13182 12680 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 257902723 28518936576 436758 33554432000 4194304 4196468 140735553659472 139676887200672 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
Current children cumulated CPU time: 19952.8 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 1747032 KiB

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

[startup+2520.29 s]
# the end of solver process 13182 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19942.6 s, system=12.2536 s

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

[startup+2520.2 s]
/proc/loadavg: 8.45 8.60 8.65 9/225 13291
/proc/meminfo: memFree=22242048/32770624 swapFree=67108196/67108860
[pid=13182] ppid=13179 vsize=27984680 memory=1748880 CPUtime=19954.2 cores=0-7
/proc/13182/stat : 13182 (java) S 13179 13182 12680 0 -1 1077944320 2113718 0 0 0 1994201 1223 0 0 20 0 48 0 257902472 28656312320 437220 33554432000 4194304 4196468 140735553659472 140735553642016 139680456445687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
/proc/13182/statm: 6996170 437220 3617 1 0 6957721 0
[pid=13182/tid=13184] ppid=13179 vsize=27984680 memory=288230596050944315 CPUtime=2.3 cores=0-7
/proc/13182/task/13184/stat : 13184 (java) S 13179 13182 12680 0 -1 1077944384 25304 0 0 0 222 8 0 0 20 0 48 0 257902472 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680460683152 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13185] ppid=13179 vsize=27984680 memory=15537418795231702 CPUtime=6.88 cores=0-7
/proc/13182/task/13185/stat : 13185 (java) S 13179 13182 12680 0 -1 1077944384 118298 0 0 0 644 44 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680409065872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13186] ppid=13179 vsize=27984680 memory=1749600 CPUtime=6.91 cores=0-7
/proc/13182/task/13186/stat : 13186 (java) S 13179 13182 12680 0 -1 1077944384 121958 0 0 0 646 45 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680408013072 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13187] ppid=13179 vsize=27984680 memory=6791534058613427641 CPUtime=6.93 cores=0-7
/proc/13182/task/13187/stat : 13187 (java) S 13179 13182 12680 0 -1 1077944384 112115 0 0 0 650 43 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680406960784 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13188] ppid=13179 vsize=27984680 memory=1747548 CPUtime=6.88 cores=0-7
/proc/13182/task/13188/stat : 13188 (java) S 13179 13182 12680 0 -1 1077944384 118026 0 0 0 645 43 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680405907984 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13189] ppid=13179 vsize=27984680 memory=8148 CPUtime=6.87 cores=0-7
/proc/13182/task/13189/stat : 13189 (java) S 13179 13182 12680 0 -1 1077944384 117078 0 0 0 644 43 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680404855696 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13190] ppid=13179 vsize=27984680 memory=816 CPUtime=6.8 cores=0-7
/proc/13182/task/13190/stat : 13190 (java) S 13179 13182 12680 0 -1 1077944384 117733 0 0 0 639 41 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680403802896 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13191] ppid=13179 vsize=27984680 memory=1800 CPUtime=6.86 cores=0-7
/proc/13182/task/13191/stat : 13191 (java) S 13179 13182 12680 0 -1 1077944384 118563 0 0 0 642 44 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680402750608 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13192] ppid=13179 vsize=27984680 memory=920 CPUtime=6.84 cores=0-7
/proc/13182/task/13192/stat : 13192 (java) S 13179 13182 12680 0 -1 1077944384 126068 0 0 0 643 41 0 0 20 0 48 0 257902473 28656312320 437220 33554432000 4194304 4196468 140735553659472 139680401697808 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13193] ppid=13179 vsize=27984680 memory=4156 CPUtime=7.17 cores=0-7
/proc/13182/task/13193/stat : 13193 (java) S 13179 13182 12680 0 -1 1077944384 216209 0 0 0 611 106 0 0 20 0 48 0 257902474 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678660941936 139680456456834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13194] ppid=13179 vsize=27984680 memory=4104 CPUtime=0 cores=0-7
/proc/13182/task/13194/stat : 13194 (java) S 13179 13182 12680 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 257902475 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678659887968 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13195] ppid=13179 vsize=27984680 memory=1408 CPUtime=0 cores=0-7
/proc/13182/task/13195/stat : 13195 (java) S 13179 13182 12680 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 48 0 257902475 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678658835584 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13196] ppid=13179 vsize=27984680 memory=1748572 CPUtime=0 cores=0-7
/proc/13182/task/13196/stat : 13196 (java) S 13179 13182 12680 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678657783888 139680456464283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13197] ppid=13179 vsize=27984680 memory=816 CPUtime=1.46 cores=0-7
/proc/13182/task/13197/stat : 13197 (java) R 13179 13182 12680 0 -1 4202560 6477 0 0 0 143 3 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678656732056 139680440346288 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13198] ppid=13179 vsize=27984680 memory=1800 CPUtime=1.36 cores=0-7
/proc/13182/task/13198/stat : 13198 (java) S 13179 13182 12680 0 -1 1077944384 4324 0 0 0 135 1 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678655678960 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13199] ppid=13179 vsize=27984680 memory=920 CPUtime=1.59 cores=0-7
/proc/13182/task/13199/stat : 13199 (java) R 13179 13182 12680 0 -1 4202560 8261 0 0 0 156 3 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678654626968 139680440553786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13200] ppid=13179 vsize=27984680 memory=4156 CPUtime=0.98 cores=0-7
/proc/13182/task/13200/stat : 13200 (java) R 13179 13182 12680 0 -1 4202560 10754 0 0 0 96 2 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678653568808 139680435346950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13201] ppid=13179 vsize=27984680 memory=4104 CPUtime=0 cores=0-7
/proc/13182/task/13201/stat : 13201 (java) S 13179 13182 12680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 257902477 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678652520800 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13202] ppid=13179 vsize=27984680 memory=1408 CPUtime=0.76 cores=0-7
/proc/13182/task/13202/stat : 13202 (java) S 13179 13182 12680 0 -1 1077944384 9266 0 0 0 55 21 0 0 20 0 48 0 257902478 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678651468080 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13203] ppid=13179 vsize=27984680 memory=4524 CPUtime=0 cores=0-7
/proc/13182/task/13203/stat : 13203 (java) S 13179 13182 12680 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 48 0 257902664 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678646416256 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13204] ppid=13179 vsize=27984680 memory=1747548 CPUtime=3.89 cores=0-7
/proc/13182/task/13204/stat : 13204 (java) S 13179 13182 12680 0 -1 1077944384 22598 0 0 0 179 210 0 0 20 0 48 0 257902685 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678326805536 139680456456834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13205] ppid=13179 vsize=27984680 memory=6791534058613427641 CPUtime=2485.69 cores=0-7
/proc/13182/task/13205/stat : 13205 (java) R 13179 13182 12680 0 -1 4202560 106758 0 0 0 248467 102 0 0 20 0 48 0 257902702 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678325745656 139680082102185 0 4 0 16800975 0 0 0 -1 5 0 0 34 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13206] ppid=13179 vsize=27984680 memory=-7003737579269690708 CPUtime=0.05 cores=0-7
/proc/13182/task/13206/stat : 13206 (java) S 13179 13182 12680 0 -1 1077944384 198 0 0 0 5 0 0 0 20 0 48 0 257902703 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678324700320 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13207] ppid=13179 vsize=27984680 memory=2056 CPUtime=0.04 cores=0-7
/proc/13182/task/13207/stat : 13207 (java) S 13179 13182 12680 0 -1 1077944384 59 0 0 0 4 0 0 0 20 0 48 0 257902703 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678323648032 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13208] ppid=13179 vsize=27984680 memory=928 CPUtime=2485.66 cores=0-7
/proc/13182/task/13208/stat : 13208 (java) R 13179 13182 12680 0 -1 4202560 103889 0 0 0 248467 99 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678320490856 139680082152783 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13209] ppid=13179 vsize=27984680 memory=15916 CPUtime=0.04 cores=0-7
/proc/13182/task/13209/stat : 13209 (java) S 13179 13182 12680 0 -1 1077944384 68 0 0 0 4 0 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678319444768 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13210] ppid=13179 vsize=27984680 memory=504 CPUtime=2485.84 cores=0-7
/proc/13182/task/13210/stat : 13210 (java) R 13179 13182 12680 0 -1 4202560 102369 0 0 0 248485 99 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678318384504 139680082251223 0 4 0 16800975 0 0 0 -1 7 0 0 36 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13211] ppid=13179 vsize=27984680 memory=1704 CPUtime=2484.99 cores=0-7
/proc/13182/task/13211/stat : 13211 (java) R 13179 13182 12680 0 -1 4202560 106886 0 0 0 248401 98 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678317332216 139680081842484 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13212] ppid=13179 vsize=27984680 memory=6340 CPUtime=2485.74 cores=0-7
/proc/13182/task/13212/stat : 13212 (java) R 13179 13182 12680 0 -1 4202560 109918 0 0 0 248468 106 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678316279416 139680082710902 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13213] ppid=13179 vsize=27984680 memory=1628 CPUtime=0.03 cores=0-7
/proc/13182/task/13213/stat : 13213 (java) S 13179 13182 12680 0 -1 1077944384 33 0 0 0 3 0 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678315234592 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13214] ppid=13179 vsize=27984680 memory=1100 CPUtime=2483.26 cores=0-7
/proc/13182/task/13214/stat : 13214 (java) R 13179 13182 12680 0 -1 4202560 107979 0 0 0 248229 97 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678314174192 139680082474520 0 4 0 16800975 0 0 0 -1 6 0 0 43 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13215] ppid=13179 vsize=27984680 memory=15188 CPUtime=2483.88 cores=0-7
/proc/13182/task/13215/stat : 13215 (java) R 13179 13182 12680 0 -1 4202560 113084 0 0 0 248287 101 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678313122280 139680081497110 0 4 0 16800975 0 0 0 -1 0 0 0 42 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13216] ppid=13179 vsize=27984680 memory=39480 CPUtime=2484.27 cores=0-7
/proc/13182/task/13216/stat : 13216 (java) R 13179 13182 12680 0 -1 4202560 106002 0 0 0 248331 96 0 0 20 0 48 0 257902710 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678312069240 139680082146079 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13217] ppid=13179 vsize=27984680 memory=4028 CPUtime=0 cores=0-7
/proc/13182/task/13217/stat : 13217 (java) S 13179 13182 12680 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 48 0 257902718 28656312320 437220 33554432000 4194304 4196468 140735553659472 139678311023392 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13218] ppid=13179 vsize=27984680 memory=15916 CPUtime=0 cores=0-7
/proc/13182/task/13218/stat : 13218 (java) S 13179 13182 12680 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 48 0 257902718 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676899861152 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13219] ppid=13179 vsize=27984680 memory=504 CPUtime=0 cores=0-7
/proc/13182/task/13219/stat : 13219 (java) S 13179 13182 12680 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 48 0 257902718 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676898808864 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13220] ppid=13179 vsize=27984680 memory=1704 CPUtime=0 cores=0-7
/proc/13182/task/13220/stat : 13220 (java) S 13179 13182 12680 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 48 0 257902719 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676897756064 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13221] ppid=13179 vsize=27984680 memory=1176 CPUtime=0 cores=0-7
/proc/13182/task/13221/stat : 13221 (java) S 13179 13182 12680 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 48 0 257902722 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676894569760 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13222] ppid=13179 vsize=27984680 memory=932 CPUtime=0 cores=0-7
/proc/13182/task/13222/stat : 13222 (java) S 13179 13182 12680 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 257902722 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676893516960 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13223] ppid=13179 vsize=27984680 memory=2056 CPUtime=0 cores=0-7
/proc/13182/task/13223/stat : 13223 (java) S 13179 13182 12680 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 48 0 257902722 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676892464672 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13224] ppid=13179 vsize=27984680 memory=928 CPUtime=0 cores=0-7
/proc/13182/task/13224/stat : 13224 (java) S 13179 13182 12680 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 48 0 257902723 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676891411872 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13225] ppid=13179 vsize=27984680 memory=1568 CPUtime=0.01 cores=0-7
/proc/13182/task/13225/stat : 13225 (java) S 13179 13182 12680 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 48 0 257902723 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676890358560 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13226] ppid=13179 vsize=27984680 memory=2216 CPUtime=0 cores=0-7
/proc/13182/task/13226/stat : 13226 (java) S 13179 13182 12680 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 48 0 257902723 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676889305760 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13227] ppid=13179 vsize=27984680 memory=3984 CPUtime=0 cores=0-7
/proc/13182/task/13227/stat : 13227 (java) S 13179 13182 12680 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 48 0 257902723 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676888253472 139680456455893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
[pid=13182/tid=13228] ppid=13179 vsize=27984680 memory=2036 CPUtime=0.01 cores=0-7
/proc/13182/task/13228/stat : 13228 (java) R 13179 13182 12680 0 -1 4202560 236 0 0 0 1 0 0 0 20 0 48 0 257902723 28656312320 437220 33554432000 4194304 4196468 140735553659472 139676887182528 139680448687077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22061056 140735553664077 140735553664261 140735553664261 140735553667023 0
Current children cumulated CPU time: 19954.2 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 1748880 KiB

Child status: 143
Real time (s): 2520.29
CPU time (s): 19954.9
CPU user time (s): 19942.6
CPU system time (s): 12.2536
CPU usage (%): 791.768
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 2302808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19942.6
system time used= 12.2536
maximum resident set size= 2304856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2114647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 700302
involuntary context switches= 433906


# summary of solver processes directly reported to runsolver:
#   pid: 13182
#   total CPU time (s): 19954.9
#   total CPU user time (s): 19942.6
#   total CPU system time (s): 12.2536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.539 second user time and 36.9747 second system time

The end

Launcher Data

Begin job on node151 at 2018-08-16 09:09:53
IDJOB=4309204
IDBENCH=141684
IDSOLVER=2793
FILE ID=node151/4309204-1534403393
RUNJOBID= node151-1534398334-12707
PBS_JOBID= 21038335
Free space on /tmp= 44724 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-08b_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309204-1534403393/watcher-4309204-1534403393 -o /tmp/evaluation-result-4309204-1534403393/solver-4309204-1534403393 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1534398334-12707 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1438084055 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309204-1534403393.xml

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

MD5SUM BENCH= f0181ee827e5f84545abe9c1b131da86
RANDOM SEED=1438084055

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:        23984520 kB
MemAvailable:   31894064 kB
Buffers:          198604 kB
Cached:          7951096 kB
SwapCached:           12 kB
Active:          4199532 kB
Inactive:        4005480 kB
Active(anon):       4904 kB
Inactive(anon):   110768 kB
Active(file):    4194628 kB
Inactive(file):  3894712 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:             35568 kB
Writeback:             0 kB
AnonPages:         74888 kB
Mapped:            57772 kB
Shmem:             57716 kB
Slab:             276512 kB
SReclaimable:     248664 kB
SUnreclaim:        27848 kB
KernelStack:        3552 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 44688 MiB
End job on node151 at 2018-08-16 09:51:53