Trace number 4271844

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.5 par (2017-08-09)SAT (TO)4 1905.42 252.132

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-27.xml
MD5SUM1f968d7964fa1ced5b2605ed1734128f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark240.011
Satisfiable
(Un)Satisfiability was proved
Number of variables729
Number of constraints2925
Number of domains1
Minimum domain size351
Maximum domain size351
Distribution of domain sizes[{"size":351,"count":351}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":378},{"degree":26,"count":351}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2925}]
Number of extensional constraints0
Number of intensional constraints2925
Distribution of constraint types[{"type":"intension","count":2925}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271844-1502648561.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271844-1502648561.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
6.36/1.75	c solve instance...
9.92/2.26	o 25 
10.68/2.32	o 24 
10.68/2.35	o 23 
14.61/2.83	o 22 
48.32/9.93	o 21 
155.35/23.44	o 18 
182.04/28.99	o 6 
201.85/34.90	o 5 
398.90/63.19	o 4 
1904.70/252.08	s SATISFIABLE
1904.70/252.08	v <instantiation>
1904.70/252.08	v 	<list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[22][23] x[22][24] x[22][25] x[22][26] x[23][24] x[23][25] x[23][26] x[24][25] x[24][26] x[25][26] </list>
1904.70/252.08	v 	<values>1 3 2 1 1 2 1 3 2 2 3 2 0 2 1 1 0 4 4 4 4 3 4 0 0 1 1 2 4 3 2 3 3 1 2 1 4 3 0 0 2 0 2 3 0 0 4 1 2 0 0 3 0 1 1 1 0 0 0 2 0 3 4 3 0 1 2 3 2 1 2 0 1 1 2 2 1 1 1 0 1 0 2 0 1 3 2 4 0 0 4 1 0 2 2 3 0 3 4 2 4 3 3 2 0 1 3 0 3 2 0 2 3 1 0 1 4 1 0 0 2 2 0 0 1 1 2 0 2 3 3 3 0 1 3 3 1 3 2 0 0 3 2 3 1 0 0 0 0 3 4 0 0 3 2 4 2 1 4 0 2 4 0 0 3 1 0 1 0 2 3 2 1 2 3 2 2 0 0 2 1 4 0 3 2 0 0 2 1 3 0 0 1 4 1 4 1 3 3 2 1 2 0 1 2 0 1 1 0 0 1 2 1 2 2 0 1 2 0 3 1 2 1 2 0 4 2 4 1 3 0 1 3 1 1 0 2 1 3 3 4 0 4 0 3 1 3 3 2 2 2 2 2 4 4 2 2 0 1 0 1 2 1 3 2 1 0 0 4 3 1 1 3 3 0 1 2 3 3 1 0 1 0 3 2 0 1 3 4 1 2 0 1 3 1 2 0 0 3 4 1 4 1 3 0 0 1 0 2 2 1 0 3 3 1 0 1 2 0 0 0 1 4 1 0 3 1 4 2 2 1 0 0 0 2 1 0 0 3 2 3 1 3 1 0 4 3 0 2 1 1 </values>
1904.70/252.08	v </instantiation>
1904.70/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271844-1502648561/watcher-4271844-1502648561 -o /tmp/evaluation-result-4271844-1502648561/solver-4271844-1502648561 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 259160322 HOME/instance-4271844-1502648561.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 1.57 3.92 4.98 2/199 19428
/proc/meminfo: memFree=29130540/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=25999808 memory=26180 CPUtime=0.12 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 5477 0 0 0 11 1 0 0 20 0 20 0 97944165 26623803392 6545 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6499952 6545 2843 1 0 6488269 0
[pid=19409/tid=19410] ppid=19407 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) R 19407 19407 3823 0 -1 4202560 3484 0 0 0 8 1 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109693469320 140109673317726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=25999808 memory=140547293296256 CPUtime=0 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19414] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19414/stat : 19414 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109638699920 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19415] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19415/stat : 19415 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109637646864 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19416] ppid=19407 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19416/stat : 19416 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109636594320 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19417] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19417/stat : 19417 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109635541264 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19418] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19418/stat : 19418 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26623803392 6545 33554432000 4194304 4196468 140722969541824 140109634488720 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19419] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19419/stat : 19419 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944168 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107961420528 140109689248386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19420] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19420/stat : 19420 (java) S 19407 19407 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97944168 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107960366752 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19421] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19421/stat : 19421 (java) S 19407 19407 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97944169 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107959313648 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19422] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19422/stat : 19422 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107958262224 140109689255835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19423] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19423/stat : 19423 (java) S 19407 19407 3823 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107957209328 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19424] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19424/stat : 19424 (java) S 19407 19407 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107956156784 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19425] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19425/stat : 19425 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107955103728 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19426] ppid=19407 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19409/task/19426/stat : 19426 (java) S 19407 19407 3823 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107954051184 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19427] ppid=19407 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19427/stat : 19427 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107952999392 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19428] ppid=19407 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19428/stat : 19428 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26623803392 6545 33554432000 4194304 4196468 140722969541824 140107951946928 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27564 KiB

[startup+0.20972 s]*
/proc/loadavg: 1.57 3.92 4.98 3/199 19428
/proc/meminfo: memFree=29118464/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=26004064 memory=38708 CPUtime=0.33 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 8279 0 0 0 31 2 0 0 20 0 20 0 97944165 26628161536 9677 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6501016 9677 3026 1 0 6488269 0
[pid=19409/tid=19410] ppid=19407 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) R 19407 19407 3823 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109693457272 140109673317726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=26004064 memory=140547293311551 CPUtime=0 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19414] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19414/stat : 19414 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109638699920 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19415] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19415/stat : 19415 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109637646864 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19416] ppid=19407 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19416/stat : 19416 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109636594320 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19417] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19417/stat : 19417 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109635541264 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19418] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19418/stat : 19418 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 9677 33554432000 4194304 4196468 140722969541824 140109634488720 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19419] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19419/stat : 19419 (java) S 19407 19407 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97944168 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107961420528 140109689248386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19420] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19420/stat : 19420 (java) S 19407 19407 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97944168 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107960366752 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19421] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19421/stat : 19421 (java) S 19407 19407 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97944169 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107959313648 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19422] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19422/stat : 19422 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107958262224 140109689255835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19423] ppid=19407 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19409/task/19423/stat : 19423 (java) S 19407 19407 3823 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107957209328 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19424] ppid=19407 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/19409/task/19424/stat : 19424 (java) S 19407 19407 3823 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107956156784 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19425] ppid=19407 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19425/stat : 19425 (java) S 19407 19407 3823 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107955103728 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19426] ppid=19407 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/19409/task/19426/stat : 19426 (java) R 19407 19407 3823 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107954051184 140109667851088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19427] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19427/stat : 19427 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107952999392 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19428] ppid=19407 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19428/stat : 19428 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 9677 33554432000 4194304 4196468 140722969541824 140107951946928 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40092 KiB

[startup+0.309515 s]*
/proc/loadavg: 1.57 3.92 4.98 3/199 19428
/proc/meminfo: memFree=29114476/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=26004064 memory=45920 CPUtime=0.51 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 9198 0 0 0 48 3 0 0 20 0 20 0 97944165 26628161536 11480 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6501016 11480 3083 1 0 6488269 0
[pid=19409/tid=19410] ppid=19407 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) R 19407 19407 3823 0 -1 4202560 6103 0 0 0 27 2 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109693475056 140109689249174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19414] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19414/stat : 19414 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109638699920 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19415] ppid=19407 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19409/task/19415/stat : 19415 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109637646864 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19416] ppid=19407 vsize=26004064 memory=140547167712175 CPUtime=0 cores=0-7
/proc/19409/task/19416/stat : 19416 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109636594320 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19417] ppid=19407 vsize=26004064 memory=140547167714480 CPUtime=0 cores=0-7
/proc/19409/task/19417/stat : 19417 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109635541264 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19418] ppid=19407 vsize=26004064 memory=140547167716784 CPUtime=0 cores=0-7
/proc/19409/task/19418/stat : 19418 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26628161536 11480 33554432000 4194304 4196468 140722969541824 140109634488720 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19419] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19419/stat : 19419 (java) S 19407 19407 3823 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 97944168 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107961420528 140109689248386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19420] ppid=19407 vsize=26004064 memory=281094335440528 CPUtime=0 cores=0-7
/proc/19409/task/19420/stat : 19420 (java) S 19407 19407 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97944168 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107960366752 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19421] ppid=19407 vsize=26004064 memory=281094335447440 CPUtime=0 cores=0-7
/proc/19409/task/19421/stat : 19421 (java) S 19407 19407 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97944169 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107959313648 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19422] ppid=19407 vsize=26004064 memory=281094335388720 CPUtime=0 cores=0-7
/proc/19409/task/19422/stat : 19422 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107958262224 140109689255835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19423] ppid=19407 vsize=26004064 memory=281094335461264 CPUtime=0.01 cores=0-7
/proc/19409/task/19423/stat : 19423 (java) S 19407 19407 3823 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107957209328 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19424] ppid=19407 vsize=26004064 memory=281094335468176 CPUtime=0.04 cores=0-7
/proc/19409/task/19424/stat : 19424 (java) R 19407 19407 3823 0 -1 4202560 363 0 0 0 4 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107956156784 140109669936697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19425] ppid=19407 vsize=26004064 memory=281094335465872 CPUtime=0.01 cores=0-7
/proc/19409/task/19425/stat : 19425 (java) R 19407 19407 3823 0 -1 4202560 184 0 0 0 1 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107955103728 140109689249174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19426] ppid=19407 vsize=26004064 memory=281094335482032 CPUtime=0.13 cores=0-7
/proc/19409/task/19426/stat : 19426 (java) R 19407 19407 3823 0 -1 4202560 868 0 0 0 13 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107954051184 140109668041567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19427] ppid=19407 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19427/stat : 19427 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107952999392 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19428] ppid=19407 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19409/task/19428/stat : 19428 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944171 26628161536 11480 33554432000 4194304 4196468 140722969541824 140107951946928 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47304 KiB

[startup+0.700938 s]
/proc/loadavg: 1.57 3.92 4.98 5/199 19428
/proc/meminfo: memFree=29080540/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=26006188 memory=102532 CPUtime=2.03 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 14297 0 0 0 198 5 0 0 20 0 20 0 97944165 26630336512 25633 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6501547 25633 3199 1 0 6488781 0
[pid=19409/tid=19410] ppid=19407 vsize=26006188 memory=281094335839920 CPUtime=0.67 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) R 19407 19407 3823 0 -1 4202560 6780 0 0 0 64 3 0 0 20 0 20 0 97944166 26630336512 25633 33554432000 4194304 4196468 140722969541824 140109693473024 140109689249174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=26006188 memory=140547167921008 CPUtime=0 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97944166 26630336512 25633 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97944166 26630336512 25633 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97944166 26630336512 25633 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0

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

[pid=19409/tid=19508] ppid=19407 vsize=26538700 memory=4044 CPUtime=98.88 cores=0-7
/proc/19409/task/19508/stat : 19508 (java) R 19407 19407 3823 0 -1 4202560 2897 0 0 0 9887 1 0 0 20 0 28 0 97950484 27175628800 884910 33554432000 4194304 4196468 140722969541824 140107943938976 140109310162713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 1189.12 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3541024 KiB

[startup+222.301 s]
/proc/loadavg: 8.15 6.10 5.62 10/208 19516
/proc/meminfo: memFree=25609204/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=26538700 memory=3543784 CPUtime=1667.66 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 159140 0 0 0 166558 208 0 0 20 0 28 0 97944165 27175628800 885946 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6634675 885946 3291 1 0 6621909 0
[pid=19409/tid=19410] ppid=19407 vsize=26538700 memory=1384 CPUtime=1.67 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) S 19407 19407 3823 0 -1 1077944384 8130 0 0 0 161 6 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109693478016 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=26538700 memory=1384 CPUtime=0.24 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1403 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=26538700 memory=3543784 CPUtime=0.24 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 1226 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=26538700 memory=167 CPUtime=0.2 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 502 0 0 0 14 6 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19414] ppid=19407 vsize=26538700 memory=24 CPUtime=0.24 cores=0-7
/proc/19409/task/19414/stat : 19414 (java) S 19407 19407 3823 0 -1 1077944384 1027 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109638699920 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19415] ppid=19407 vsize=26538700 memory=1572 CPUtime=0.23 cores=0-7
/proc/19409/task/19415/stat : 19415 (java) S 19407 19407 3823 0 -1 1077944384 2895 0 0 0 16 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109637646864 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19416] ppid=19407 vsize=26538700 memory=932 CPUtime=0.23 cores=0-7
/proc/19409/task/19416/stat : 19416 (java) S 19407 19407 3823 0 -1 1077944384 2114 0 0 0 15 8 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109636594320 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19417] ppid=19407 vsize=26538700 memory=3541680 CPUtime=0.24 cores=0-7
/proc/19409/task/19417/stat : 19417 (java) S 19407 19407 3823 0 -1 1077944384 1077 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109635541264 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19418] ppid=19407 vsize=26538700 memory=4612 CPUtime=0.23 cores=0-7
/proc/19409/task/19418/stat : 19418 (java) S 19407 19407 3823 0 -1 1077944384 1442 0 0 0 16 7 0 0 20 0 28 0 97944166 27175628800 885946 33554432000 4194304 4196468 140722969541824 140109634488720 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19419] ppid=19407 vsize=26538700 memory=15872 CPUtime=0.13 cores=0-7
/proc/19409/task/19419/stat : 19419 (java) S 19407 19407 3823 0 -1 1077944384 6447 0 0 0 6 7 0 0 20 0 28 0 97944168 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107961420528 140109689248386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19420] ppid=19407 vsize=26538700 memory=18448 CPUtime=0 cores=0-7
/proc/19409/task/19420/stat : 19420 (java) S 19407 19407 3823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97944168 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107960366816 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19421] ppid=19407 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/19409/task/19421/stat : 19421 (java) S 19407 19407 3823 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97944169 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107959313664 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19422] ppid=19407 vsize=26538700 memory=3543784 CPUtime=0 cores=0-7
/proc/19409/task/19422/stat : 19422 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107958262224 140109689255835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19423] ppid=19407 vsize=26538700 memory=4140 CPUtime=3.75 cores=0-7
/proc/19409/task/19423/stat : 19423 (java) S 19407 19407 3823 0 -1 1077944384 19154 0 0 0 372 3 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107957209328 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19424] ppid=19407 vsize=26538700 memory=1384 CPUtime=3.63 cores=0-7
/proc/19409/task/19424/stat : 19424 (java) S 19407 19407 3823 0 -1 1077944384 17524 0 0 0 362 1 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107956156784 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19425] ppid=19407 vsize=26538700 memory=3543784 CPUtime=3.43 cores=0-7
/proc/19409/task/19425/stat : 19425 (java) S 19407 19407 3823 0 -1 1077944384 20491 0 0 0 340 3 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107955103728 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19426] ppid=19407 vsize=26538700 memory=1384 CPUtime=1 cores=0-7
/proc/19409/task/19426/stat : 19426 (java) S 19407 19407 3823 0 -1 1077944384 14967 0 0 0 97 3 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107954051184 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19427] ppid=19407 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/19409/task/19427/stat : 19427 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107952999392 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19428] ppid=19407 vsize=26538700 memory=11032 CPUtime=0.08 cores=0-7
/proc/19409/task/19428/stat : 19428 (java) S 19407 19407 3823 0 -1 1077944384 3389 0 0 0 1 7 0 0 20 0 28 0 97944171 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107951946928 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19501] ppid=19407 vsize=26538700 memory=1712 CPUtime=158.4 cores=0-7
/proc/19409/task/19501/stat : 19501 (java) R 19407 19407 3823 0 -1 4202560 1174 0 0 0 15840 0 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107942882344 140109308565239 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19502] ppid=19407 vsize=26538700 memory=3543784 CPUtime=158.84 cores=0-7
/proc/19409/task/19502/stat : 19502 (java) R 19407 19407 3823 0 -1 4202560 966 0 0 0 15884 0 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107065570216 140109307808563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19503] ppid=19407 vsize=26538700 memory=4140 CPUtime=157.88 cores=0-7
/proc/19409/task/19503/stat : 19503 (java) R 19407 19407 3823 0 -1 4202560 1205 0 0 0 15788 0 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107064516616 140109308518548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19504] ppid=19407 vsize=26538700 memory=28000 CPUtime=158.82 cores=0-7
/proc/19409/task/19504/stat : 19504 (java) R 19407 19407 3823 0 -1 4202560 13233 0 0 0 15854 28 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140106933457352 140109309935235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19505] ppid=19407 vsize=26538700 memory=4126316290023845779 CPUtime=158.25 cores=0-7
/proc/19409/task/19505/stat : 19505 (java) R 19407 19407 3823 0 -1 4202560 3723 0 0 0 15819 6 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107066621184 140109309935823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19506] ppid=19407 vsize=26538700 memory=-7175204567652784766 CPUtime=158.57 cores=0-7
/proc/19409/task/19506/stat : 19506 (java) R 19407 19407 3823 0 -1 4202560 1682 0 0 0 15857 0 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107941830648 140109310026377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19507] ppid=19407 vsize=26538700 memory=0 CPUtime=158.14 cores=0-7
/proc/19409/task/19507/stat : 19507 (java) R 19407 19407 3823 0 -1 4202560 3375 0 0 0 15813 1 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107067674968 140109306957390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19508] ppid=19407 vsize=26538700 memory=3543784 CPUtime=158.83 cores=0-7
/proc/19409/task/19508/stat : 19508 (java) R 19407 19407 3823 0 -1 4202560 3403 0 0 0 15881 2 0 0 20 0 28 0 97950484 27175628800 885946 33554432000 4194304 4196468 140722969541824 140107943936504 140109308565063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 1667.66 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3545168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.09 6.28 5.70 9/208 19516
/proc/meminfo: memFree=25609284/32770624 swapFree=67108860/67108860
[pid=19407] ppid=19404 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (xcsp3-exec) S 19404 19407 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97944165 9740288 346 33554432000 4194304 5098028 140726047261360 140726047259464 140083761238652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10776576 140726047265899 140726047266108 140726047266108 140726047268843 0
/proc/19407/statm: 2378 346 289 221 0 87 0
[pid=19409] ppid=19407 vsize=26538700 memory=3543788 CPUtime=1904.7 cores=0-7
/proc/19409/stat : 19409 (java) S 19407 19407 3823 0 -1 1077944320 161047 0 0 0 190260 210 0 0 20 0 28 0 97944165 27175628800 885947 33554432000 4194304 4196468 140722969541824 140722969524368 140109689237239 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
/proc/19409/statm: 6634675 885947 3291 1 0 6621909 0
[pid=19409/tid=19410] ppid=19407 vsize=26538700 memory=3543784 CPUtime=1.67 cores=0-7
/proc/19409/task/19410/stat : 19410 (java) S 19407 19407 3823 0 -1 1077944384 8130 0 0 0 161 6 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109693478016 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19411] ppid=19407 vsize=26538700 memory=1384 CPUtime=0.24 cores=0-7
/proc/19409/task/19411/stat : 19411 (java) S 19407 19407 3823 0 -1 1077944384 1403 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109641858064 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19412] ppid=19407 vsize=26538700 memory=4140 CPUtime=0.24 cores=0-7
/proc/19409/task/19412/stat : 19412 (java) S 19407 19407 3823 0 -1 1077944384 1226 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109640805520 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19413] ppid=19407 vsize=26538700 memory=4126316290023845779 CPUtime=0.2 cores=0-7
/proc/19409/task/19413/stat : 19413 (java) S 19407 19407 3823 0 -1 1077944384 502 0 0 0 14 6 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109639752464 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19414] ppid=19407 vsize=26538700 memory=2200 CPUtime=0.24 cores=0-7
/proc/19409/task/19414/stat : 19414 (java) S 19407 19407 3823 0 -1 1077944384 1027 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109638699920 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19415] ppid=19407 vsize=26538700 memory=6504 CPUtime=0.23 cores=0-7
/proc/19409/task/19415/stat : 19415 (java) S 19407 19407 3823 0 -1 1077944384 2895 0 0 0 16 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109637646864 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19416] ppid=19407 vsize=26538700 memory=840 CPUtime=0.23 cores=0-7
/proc/19409/task/19416/stat : 19416 (java) S 19407 19407 3823 0 -1 1077944384 2114 0 0 0 15 8 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109636594320 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19417] ppid=19407 vsize=26538700 memory=1692 CPUtime=0.24 cores=0-7
/proc/19409/task/19417/stat : 19417 (java) S 19407 19407 3823 0 -1 1077944384 1077 0 0 0 17 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109635541264 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19418] ppid=19407 vsize=26538700 memory=916 CPUtime=0.23 cores=0-7
/proc/19409/task/19418/stat : 19418 (java) S 19407 19407 3823 0 -1 1077944384 1442 0 0 0 16 7 0 0 20 0 28 0 97944166 27175628800 885947 33554432000 4194304 4196468 140722969541824 140109634488720 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19419] ppid=19407 vsize=26538700 memory=4440 CPUtime=0.13 cores=0-7
/proc/19409/task/19419/stat : 19419 (java) S 19407 19407 3823 0 -1 1077944384 6449 0 0 0 6 7 0 0 20 0 28 0 97944168 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107961420528 140109689248386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19420] ppid=19407 vsize=26538700 memory=4100 CPUtime=0 cores=0-7
/proc/19409/task/19420/stat : 19420 (java) S 19407 19407 3823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 97944168 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107960366816 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19421] ppid=19407 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/19409/task/19421/stat : 19421 (java) S 19407 19407 3823 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97944169 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107959313664 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19422] ppid=19407 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/19409/task/19422/stat : 19422 (java) S 19407 19407 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107958262224 140109689255835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19423] ppid=19407 vsize=26538700 memory=1384 CPUtime=3.75 cores=0-7
/proc/19409/task/19423/stat : 19423 (java) S 19407 19407 3823 0 -1 1077944384 19904 0 0 0 372 3 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107957209328 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19424] ppid=19407 vsize=26538700 memory=3543784 CPUtime=3.63 cores=0-7
/proc/19409/task/19424/stat : 19424 (java) S 19407 19407 3823 0 -1 1077944384 17633 0 0 0 362 1 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107956156784 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19425] ppid=19407 vsize=26538700 memory=1292 CPUtime=3.43 cores=0-7
/proc/19409/task/19425/stat : 19425 (java) S 19407 19407 3823 0 -1 1077944384 20493 0 0 0 340 3 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107955103728 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19426] ppid=19407 vsize=26538700 memory=2428 CPUtime=1 cores=0-7
/proc/19409/task/19426/stat : 19426 (java) S 19407 19407 3823 0 -1 1077944384 15093 0 0 0 97 3 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107954051184 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19427] ppid=19407 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/19409/task/19427/stat : 19427 (java) S 19407 19407 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107952999392 140109689247445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19428] ppid=19407 vsize=26538700 memory=1420 CPUtime=0.08 cores=0-7
/proc/19409/task/19428/stat : 19428 (java) S 19407 19407 3823 0 -1 1077944384 3403 0 0 0 1 7 0 0 20 0 28 0 97944171 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107951946928 140109689248386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19501] ppid=19407 vsize=26538700 memory=3543784 CPUtime=188.11 cores=0-7
/proc/19409/task/19501/stat : 19501 (java) R 19407 19407 3823 0 -1 4202560 1185 0 0 0 18811 0 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107942886384 140109309935079 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19502] ppid=19407 vsize=26538700 memory=1384 CPUtime=188.54 cores=0-7
/proc/19409/task/19502/stat : 19502 (java) R 19407 19407 3823 0 -1 4202560 985 0 0 0 18854 0 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107065574056 140109307807302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19503] ppid=19407 vsize=26538700 memory=3543784 CPUtime=187.58 cores=0-7
/proc/19409/task/19503/stat : 19503 (java) R 19407 19407 3823 0 -1 4202560 1232 0 0 0 18758 0 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107064516616 140109306940437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19504] ppid=19407 vsize=26538700 memory=6791534058613427641 CPUtime=188.52 cores=0-7
/proc/19409/task/19504/stat : 19504 (java) R 19407 19407 3823 0 -1 4202560 13382 0 0 0 18824 28 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140106933457352 140109303604604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19505] ppid=19407 vsize=26538700 memory=288230604624101685 CPUtime=187.96 cores=0-7
/proc/19409/task/19505/stat : 19505 (java) R 19407 19407 3823 0 -1 4202560 3930 0 0 0 18790 6 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107066621184 140109302894095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19506] ppid=19407 vsize=26538700 memory=14698478437665088 CPUtime=188.27 cores=0-7
/proc/19409/task/19506/stat : 19506 (java) R 19407 19407 3823 0 -1 4202560 1699 0 0 0 18827 0 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107941830648 140109307412539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19507] ppid=19407 vsize=26538700 memory=2428 CPUtime=187.83 cores=0-7
/proc/19409/task/19507/stat : 19507 (java) R 19407 19407 3823 0 -1 4202560 3588 0 0 0 18782 1 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107067677208 140109300193110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
[pid=19409/tid=19508] ppid=19407 vsize=26538700 memory=1728 CPUtime=187.93 cores=0-7
/proc/19409/task/19508/stat : 19508 (java) R 19407 19407 3823 0 -1 4202560 3655 0 0 0 18790 3 0 0 20 0 28 0 97950484 27175628800 885947 33554432000 4194304 4196468 140722969541824 140107943936504 140109310162713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16293888 140722969543832 140722969544008 140722969544008 140722969546703 0
Current children cumulated CPU time: 1904.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3545172 KiB

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

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

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

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

Child status: 143
Real time (s): 252.132
CPU time (s): 1905.42
CPU user time (s): 1903.28
CPU system time (s): 2.14127
CPU usage (%): 755.723
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3545172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1903.28
system time used= 2.14127
maximum resident set size= 3545784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12596
involuntary context switches= 20180


# summary of solver processes directly reported to runsolver:
#   pid: 19407,19409
#   total CPU time (s): 1905.42
#   total CPU user time (s): 1903.28
#   total CPU system time (s): 2.14127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.09078 second user time and 3.02885 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 20:08:22
IDJOB=4271844
IDBENCH=140572
IDSOLVER=2663
FILE ID=node107/4271844-1502648561
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-27.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271844-1502648561/watcher-4271844-1502648561 -o /tmp/evaluation-result-4271844-1502648561/solver-4271844-1502648561 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 259160322 HOME/instance-4271844-1502648561.xml

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

MD5SUM BENCH= 1f968d7964fa1ced5b2605ed1734128f
RANDOM SEED=259160322

node107.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.84
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.84
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.84
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.84
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:        29145948 kB
MemAvailable:   31990420 kB
Buffers:          172168 kB
Cached:          2960588 kB
SwapCached:            0 kB
Active:           535540 kB
Inactive:        2650492 kB
Active(anon):      55996 kB
Inactive(anon):    24972 kB
Active(file):     479544 kB
Inactive(file):  2625520 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7796 kB
Writeback:             0 kB
AnonPages:         53088 kB
Mapped:            43732 kB
Shmem:             25228 kB
Slab:             136432 kB
SReclaimable:     110484 kB
SUnreclaim:        25948 kB
KernelStack:        3552 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 20:12:35