Trace number 4292677

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7 seq (493a269)SAT (TO)14 2400.07 2379.92

General information on the benchmark

NameBacp/Bacp-m1/
Bacp-m1-10b_c18.xml
MD5SUM4cdbad1057c2bf63c0002b000000d906
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2400.22
Satisfiable
(Un)Satisfiability was proved
Number of variables482
Number of constraints96
Number of domains8
Minimum domain size2
Maximum domain size10
Distribution of domain sizes[{"size":2,"count":420},{"size":6,"count":10},{"size":7,"count":10},{"size":10,"count":42}]
Minimum variable degree1
Maximum variable degree16
Distribution of variable degrees[{"degree":1,"count":10},{"degree":2,"count":430},{"degree":11,"count":9},{"degree":12,"count":9},{"degree":13,"count":17},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":1}]
Minimum constraint arity2
Maximum constraint arity43
Distribution of constraint arities[{"arity":2,"count":34},{"arity":11,"count":42},{"arity":43,"count":20}]
Number of extensional constraints42
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":42},{"type":"intension","count":34},{"type":"sum","count":10},{"type":"count","count":10}]
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.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292677-1532592223.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292677-1532592223.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
1.02/0.55	c solve instance...
1.28/0.62	o 16 
1.28/0.63	o 15 
1.28/0.64	o 14 
2400.03/2379.90	s SATISFIABLE
2400.03/2379.90	v <instantiation>
2400.03/2379.90	v 	<list>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] nco[0] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] ncr[0] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] 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[0][8] cp[0][9] 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[1][8] cp[1][9] 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[2][8] cp[2][9] 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[3][8] cp[3][9] 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[4][8] cp[4][9] 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[5][8] cp[5][9] 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[6][8] cp[6][9] 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[7][8] cp[7][9] 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[8][8] cp[8][9] 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[9][8] cp[9][9] 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[10][8] cp[10][9] 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[11][8] cp[11][9] 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[12][8] cp[12][9] 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[13][8] cp[13][9] 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[14][8] cp[14][9] 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[15][8] cp[15][9] 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[16][8] cp[16][9] 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[17][8] cp[17][9] 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[18][8] cp[18][9] 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[19][8] cp[19][9] 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[20][8] cp[20][9] 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[21][8] cp[21][9] 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[22][8] cp[22][9] 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[23][8] cp[23][9] 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[24][8] cp[24][9] 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[25][8] cp[25][9] 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[26][8] cp[26][9] 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[27][8] cp[27][9] 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[28][8] cp[28][9] 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[29][8] cp[29][9] 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[30][8] cp[30][9] 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[31][8] cp[31][9] 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[32][8] cp[32][9] 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[33][8] cp[33][9] 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[34][8] cp[34][9] 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[35][8] cp[35][9] 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[36][8] cp[36][9] 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[37][8] cp[37][9] 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[38][8] cp[38][9] 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[39][8] cp[39][9] 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[40][8] cp[40][9] 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[41][8] cp[41][9] </list>
2400.03/2379.90	v 	<values>8 5 9 8 7 4 7 3 8 9 6 6 1 8 1 7 8 5 6 6 6 9 8 4 2 3 4 5 0 2 2 7 3 1 4 0 1 9 5 0 0 9 4 4 3 3 4 4 5 4 6 5 14 14 12 13 14 14 14 13 12 14 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 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 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 4 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 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 </values>
2400.03/2379.90	v </instantiation>
2400.03/2379.90	c Unexpected resolution interruption!

Verifier Data 

OK	14

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292677-1532592223/watcher-4292677-1532592223 -o /tmp/evaluation-result-4292677-1532592223/solver-4292677-1532592223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532582652-2307 --watchdog 2560 HOME/xcsp3-exec -seed 396635197 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292677-1532592223.xml 

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

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


[startup+0.100134 s]*
/proc/loadavg: 1.71 1.63 1.60 3/221 3689
/proc/meminfo: memFree=21635396/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14082840 memory=28672 CPUtime=0.12 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 5591 0 0 0 11 1 0 0 20 0 15 0 76785510 14420828160 7168 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3520710 7168 2971 1 0 3483008 0
[pid=3675/tid=3676] ppid=3673 vsize=14082840 memory=8261191195436487515 CPUtime=0.08 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 3608 0 0 0 8 0 0 0 20 0 15 0 76785510 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473764321072 140473760103830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14082840 memory=139927035397760 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76785511 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14082840 memory=139927035397760 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76785513 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76785513 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76785513 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14082840 memory=139927035397760 CPUtime=0.01 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) R 3673 3673 2275 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473227897584 140473744274639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14082840 memory=139927035397760 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785516 14420828160 7233 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30128 KiB

[startup+0.211109 s]*
/proc/loadavg: 1.71 1.63 1.60 4/221 3689
/proc/meminfo: memFree=21624636/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14084956 memory=40568 CPUtime=0.34 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 8198 0 0 0 32 2 0 0 20 0 15 0 76785510 14422994944 10142 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3521239 10142 3147 1 0 3483008 0
[pid=3675/tid=3676] ppid=3673 vsize=14087096 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 5461 0 0 0 18 1 0 0 20 0 15 0 76785510 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473764312888 140473744172382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14087096 memory=14649 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14087096 memory=139927035839616 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14087096 memory=139927035397760 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14087096 memory=139927035397760 CPUtime=0.07 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 10145 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14198084 KiB
Current children cumulated memory: 42024 KiB

[startup+0.311152 s]*
/proc/loadavg: 1.71 1.63 1.60 3/221 3689
/proc/meminfo: memFree=21617936/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14087096 memory=47500 CPUtime=0.51 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 9073 0 0 0 48 3 0 0 20 0 15 0 76785510 14425186304 11875 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3521774 11875 3182 1 0 3483008 0
[pid=3675/tid=3676] ppid=3673 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 6157 0 0 0 27 2 0 0 20 0 15 0 76785510 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473764325680 140473744172412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14087096 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14087096 memory=-6803092254075368380 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14087096 memory=7594263430582204840 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76785511 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14087096 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14087096 memory=6944656592452807316 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14087096 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76785513 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14087096 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14087096 memory=8325818968683490714 CPUtime=0.04 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 462 0 0 0 4 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 895 0 0 0 12 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785516 14425186304 11875 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48956 KiB

[startup+0.701751 s]
/proc/loadavg: 1.71 1.63 1.60 5/221 3689
/proc/meminfo: memFree=21600816/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14089220 memory=71936 CPUtime=1.58 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 12742 0 0 0 153 5 0 0 20 0 15 0 76785510 14427361280 17984 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3522305 17984 3340 1 0 3483520 0
[pid=3675/tid=3676] ppid=3673 vsize=14089220 memory=23000 CPUtime=0.67 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 7061 0 0 0 64 3 0 0 20 0 15 0 76785510 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473764331072 140473368867050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14089220 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14089220 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785511 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14089220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76785511 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14089220 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14089220 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14089220 memory=1200 CPUtime=0.29 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) R 3673 3673 2275 0 -1 4202560 1227 0 0 0 29 0 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473229990544 140473740727779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14089220 memory=1008 CPUtime=0.23 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) R 3673 3673 2275 0 -1 4202560 1037 0 0 0 23 0 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473228935808 140473741637120 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14089220 memory=12040 CPUtime=0.36 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 2108 0 0 0 35 1 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14089220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14089220 memory=8532 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 17984 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 73392 KiB

[startup+1.50084 s]
/proc/loadavg: 1.71 1.63 1.60 5/221 3689
/proc/meminfo: memFree=21585120/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0

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

/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14089220 memory=2657408 CPUtime=1.57 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 12701 0 0 0 156 1 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.42 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 9157 0 0 0 141 1 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14089220 memory=4616 CPUtime=0.51 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 7198 0 0 0 49 2 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14089220 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14089220 memory=1456 CPUtime=0.57 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1143 0 0 0 25 32 0 0 20 0 15 0 76785516 14427361280 664352 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 2280.88 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2658864 KiB

[startup+2322.3 s]
/proc/loadavg: 1.30 1.51 1.52 3/222 3847
/proc/meminfo: memFree=12102204/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14089220 memory=2730216 CPUtime=2341.69 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 159662 0 0 0 233865 304 0 0 20 0 15 0 76785510 14427361280 682554 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3522305 682554 3410 1 0 3483520 0
[pid=3675/tid=3676] ppid=3673 vsize=14089220 memory=1456 CPUtime=2315 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 73406 0 0 0 231303 197 0 0 20 0 15 0 76785510 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473764330608 140473368940419 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14089220 memory=2730216 CPUtime=5.27 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 12477 0 0 0 511 16 0 0 20 0 15 0 76785511 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.3 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 9348 0 0 0 515 15 0 0 20 0 15 0 76785511 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14089220 memory=2685952 CPUtime=5.29 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 10034 0 0 0 515 14 0 0 20 0 15 0 76785511 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.29 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 9085 0 0 0 514 15 0 0 20 0 15 0 76785511 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.35 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 13726 0 0 0 116 19 0 0 20 0 15 0 76785513 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14089220 memory=2730728 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.57 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 12703 0 0 0 156 1 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14089220 memory=2730728 CPUtime=1.42 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 9159 0 0 0 141 1 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14089220 memory=1456 CPUtime=0.51 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 7201 0 0 0 49 2 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14089220 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14089220 memory=23056 CPUtime=0.59 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1157 0 0 0 26 33 0 0 20 0 15 0 76785516 14427361280 682554 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 2341.69 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2731672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2379.9 s]
/proc/loadavg: 1.41 1.49 1.51 3/222 3848
/proc/meminfo: memFree=12103912/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14089220 memory=2730196 CPUtime=2400.03 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 164735 0 0 0 239696 307 0 0 20 0 15 0 76785510 14427361280 682549 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3522305 682549 3410 1 0 3483520 0
[pid=3675/tid=3676] ppid=3673 vsize=14089220 memory=2730196 CPUtime=2372.31 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 78256 0 0 0 237034 197 0 0 20 0 15 0 76785510 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473764330608 140473368940895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14089220 memory=2730196 CPUtime=5.51 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 12504 0 0 0 534 17 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.56 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 9382 0 0 0 540 16 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.54 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 10090 0 0 0 539 15 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.54 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 9144 0 0 0 539 15 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.37 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 13747 0 0 0 117 20 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14089220 memory=2730196 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14089220 memory=2730196 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14089220 memory=2730196 CPUtime=1.57 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 12705 0 0 0 156 1 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.42 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 9162 0 0 0 141 1 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14089220 memory=2730708 CPUtime=0.51 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 7203 0 0 0 49 2 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14089220 memory=1456 CPUtime=0.61 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1176 0 0 0 27 34 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2731652 KiB

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

[startup+2379.91 s]
# the end of solver process 3673 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002204 s, system=0 s

[startup+2379.92 s]
# the end of solver process 3675 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.98 s, system=3.08878 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2379.9 s]
/proc/loadavg: 1.41 1.49 1.51 3/222 3848
/proc/meminfo: memFree=12103912/32770624 swapFree=67108860/67108860
[pid=3673] ppid=3670 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3673/stat : 3673 (xcsp3-exec) S 3670 3673 2275 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76785510 115843072 364 33554432000 4194304 5098028 140735942407840 140735942405944 139975076455036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20172800 140735942411323 140735942411524 140735942411524 140735942414282 0
/proc/3673/statm: 28282 364 306 221 0 87 0
[pid=3675] ppid=3673 vsize=14089220 memory=2730196 CPUtime=2400.03 cores=1,3,5,7
/proc/3675/stat : 3675 (java) S 3673 3673 2275 0 -1 1077944320 164735 0 0 0 239696 307 0 0 20 0 15 0 76785510 14427361280 682549 33554432000 4194304 4196468 140729307223520 140729307206064 140473760091895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
/proc/3675/statm: 3522305 682549 3410 1 0 3483520 0
[pid=3675/tid=3676] ppid=3673 vsize=14089220 memory=2730196 CPUtime=2372.31 cores=1,3,5,7
/proc/3675/task/3676/stat : 3676 (java) R 3673 3673 2275 0 -1 4202560 78256 0 0 0 237034 197 0 0 20 0 15 0 76785510 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473764330608 140473368940895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3677] ppid=3673 vsize=14089220 memory=2730196 CPUtime=5.51 cores=1,3,5,7
/proc/3675/task/3677/stat : 3677 (java) S 3673 3673 2275 0 -1 1077944384 12504 0 0 0 534 17 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473690180368 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3678] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.56 cores=1,3,5,7
/proc/3675/task/3678/stat : 3678 (java) S 3673 3673 2275 0 -1 1077944384 9382 0 0 0 540 16 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473689127824 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3679] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.54 cores=1,3,5,7
/proc/3675/task/3679/stat : 3679 (java) S 3673 3673 2275 0 -1 1077944384 10090 0 0 0 539 15 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473688075280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3680] ppid=3673 vsize=14089220 memory=1456 CPUtime=5.54 cores=1,3,5,7
/proc/3675/task/3680/stat : 3680 (java) S 3673 3673 2275 0 -1 1077944384 9144 0 0 0 539 15 0 0 20 0 15 0 76785511 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473687022736 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3681] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.37 cores=1,3,5,7
/proc/3675/task/3681/stat : 3681 (java) S 3673 3673 2275 0 -1 1077944384 13747 0 0 0 117 20 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473234212848 140473760103042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3682] ppid=3673 vsize=14089220 memory=2730196 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3682/stat : 3682 (java) S 3673 3673 2275 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473233159072 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3683] ppid=3673 vsize=14089220 memory=2730196 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3683/stat : 3683 (java) S 3673 3673 2275 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 76785513 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473232106480 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3684] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3684/stat : 3684 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473231055056 140473760110491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3685] ppid=3673 vsize=14089220 memory=2730196 CPUtime=1.57 cores=1,3,5,7
/proc/3675/task/3685/stat : 3685 (java) S 3673 3673 2275 0 -1 1077944384 12705 0 0 0 156 1 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473230002672 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3686] ppid=3673 vsize=14089220 memory=1456 CPUtime=1.42 cores=1,3,5,7
/proc/3675/task/3686/stat : 3686 (java) S 3673 3673 2275 0 -1 1077944384 9162 0 0 0 141 1 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473228950128 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3687] ppid=3673 vsize=14089220 memory=2730708 CPUtime=0.51 cores=1,3,5,7
/proc/3675/task/3687/stat : 3687 (java) S 3673 3673 2275 0 -1 1077944384 7203 0 0 0 49 2 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473227897584 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3688] ppid=3673 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3675/task/3688/stat : 3688 (java) S 3673 3673 2275 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473226845280 140473760102101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
[pid=3675/tid=3689] ppid=3673 vsize=14089220 memory=1456 CPUtime=0.61 cores=1,3,5,7
/proc/3675/task/3689/stat : 3689 (java) S 3673 3673 2275 0 -1 1077944384 1176 0 0 0 27 34 0 0 20 0 15 0 76785516 14427361280 682549 33554432000 4194304 4196468 140729307223520 140473225791792 140473760103042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 38993920 140729307227265 140729307227441 140729307227441 140729307230159 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2731652 KiB

Child status: 143
Real time (s): 2379.92
CPU time (s): 2400.07
CPU user time (s): 2396.98
CPU system time (s): 3.08878
CPU usage (%): 100.847
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 3671564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.98
system time used= 3.08878
maximum resident set size= 3678300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84366
involuntary context switches= 3564


# summary of solver processes directly reported to runsolver:
#   pid: 3673,3675
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2396.98
#   total CPU system time (s): 3.08878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2602 second user time and 20.7374 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-26 10:03:43
IDJOB=4292677
IDBENCH=141681
IDSOLVER=2747
FILE ID=node135/4292677-1532592223
RUNJOBID= node135-1532582652-2307
PBS_JOBID= 21021965
Free space on /tmp= 48348 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/Bacp/Bacp-m1/Bacp-m1-10b_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292677-1532592223/watcher-4292677-1532592223 -o /tmp/evaluation-result-4292677-1532592223/solver-4292677-1532592223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532582652-2307 --watchdog 2560  HOME/xcsp3-exec -seed 396635197 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292677-1532592223.xml

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

MD5SUM BENCH= 4cdbad1057c2bf63c0002b000000d906
RANDOM SEED=396635197

node135.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.50
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.50
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.50
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.50
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:        21653364 kB
MemAvailable:   30524684 kB
Buffers:          196080 kB
Cached:          8856240 kB
SwapCached:            0 kB
Active:          3940056 kB
Inactive:        6568824 kB
Active(anon):    1406064 kB
Inactive(anon):    78312 kB
Active(file):    2533992 kB
Inactive(file):  6490512 kB
Unevictable:        7220 kB
Mlocked:            7220 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             20664 kB
Writeback:             0 kB
AnonPages:       1496220 kB
Mapped:            53208 kB
Shmem:             25248 kB
Slab:             303248 kB
SReclaimable:     275276 kB
SUnreclaim:        27972 kB
KernelStack:        3920 kB
PageTables:         8228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2005836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1402880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48328 MiB
End job on node135 at 2018-07-26 10:43:23