Trace number 4407184

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 2019-09-24 parallelSAT (TO)5 20074.4 2520.11

General information on the benchmark

NameOpd/Opd-sum-small/
Opd-19-020-009.xml
MD5SUM62ee24bcba75d1d33fbbd4bb45a854a0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1412.74
Satisfiable
(Un)Satisfiability was proved
Number of variables381
Number of constraints191
Number of domains2
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":380},{"size":17,"count":1}]
Minimum variable degree20
Maximum variable degree172
Distribution of variable degrees[{"degree":20,"count":380},{"degree":172,"count":1}]
Minimum constraint arity20
Maximum constraint arity380
Distribution of constraint arities[{"arity":20,"count":19},{"arity":41,"count":171},{"arity":380,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":190}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407184-1569346076.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4407184-1569346076.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.16/1.19	c solve instance...
11.13/2.31	o 7 
11.13/2.32	o 6 
11.13/2.33	o 5 
20073.72/2520.08	s SATISFIABLE
20073.72/2520.08	v <instantiation>
20073.72/2520.08	v 	<list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] </list>
20073.72/2520.08	v 	<values>5 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 </values>
20073.72/2520.08	v </instantiation>
20073.72/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407184-1569346076/watcher-4407184-1569346076 -o /var/tmp/evaluation-result-4407184-1569346076/solver-4407184-1569346076 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407184-1569346076.xml 

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

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

solver pid=21437, runsolver pid=21434

[startup+0.100111 s]*
/proc/loadavg: 6.48 7.90 7.74 2/211 21458
/proc/meminfo: memFree=22101188/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28227396 memory=28900 CPUtime=0.13 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 5700 0 0 0 11 2 0 0 20 0 20 0 510521468 28904853504 7225 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7056849 7225 3121 1 0 7019032 0
[pid=21439/tid=21440] ppid=21437 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) R 21437 21437 18490 0 -1 4202560 3611 0 0 0 8 1 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369118798240 140368742979493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28227396 memory=139905772807808 CPUtime=0 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21444] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21444/stat : 21444 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369064024720 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21445] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21445/stat : 21445 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369062972176 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21446] ppid=21437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21446/stat : 21446 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140369061919632 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21447] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21447/stat : 21447 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368659995664 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21448] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21448/stat : 21448 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368658943120 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21449] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21449/stat : 21449 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521471 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368499333104 140369114573442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21450] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21450/stat : 21450 (java) S 21437 21437 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510521471 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368498279328 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21451] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21451/stat : 21451 (java) S 21437 21437 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510521472 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368497226736 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21452] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21452/stat : 21452 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368496175312 140369114580891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21453] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21453/stat : 21453 (java) S 21437 21437 18490 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368495122928 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21454] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21454/stat : 21454 (java) S 21437 21437 18490 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368494070384 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21455] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21455/stat : 21455 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368493017840 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21456] ppid=21437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21439/task/21456/stat : 21456 (java) R 21437 21437 18490 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368491965296 140369114574230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21457] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21457/stat : 21457 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368490911968 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21458] ppid=21437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21458/stat : 21458 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521475 28904853504 7225 33554432000 4194304 4196468 140725148175600 140368489859504 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30352 KiB

[startup+0.210138 s]*
/proc/loadavg: 6.48 7.90 7.74 2/211 21458
/proc/meminfo: memFree=22087684/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28227396 memory=40996 CPUtime=0.33 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 510521468 28904853504 10249 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7056849 10249 3302 1 0 7019032 0
[pid=21439/tid=21440] ppid=21437 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) R 21437 21437 18490 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369118795024 140369114574230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28227396 memory=288370281924519552 CPUtime=0 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21444] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21444/stat : 21444 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369064024720 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21445] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21445/stat : 21445 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369062972176 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21446] ppid=21437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21446/stat : 21446 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140369061919632 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21447] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21447/stat : 21447 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368659995664 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21448] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21448/stat : 21448 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368658943120 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21449] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21449/stat : 21449 (java) S 21437 21437 18490 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510521471 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368499333104 140369114573442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21450] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21450/stat : 21450 (java) S 21437 21437 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510521471 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368498279328 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21451] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21451/stat : 21451 (java) S 21437 21437 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510521472 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368497226736 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21452] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21452/stat : 21452 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368496175312 140369114580891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21453] ppid=21437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21439/task/21453/stat : 21453 (java) S 21437 21437 18490 0 -1 1077944384 584 0 0 0 1 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368495122928 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21454] ppid=21437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21439/task/21454/stat : 21454 (java) S 21437 21437 18490 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368494070384 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21455] ppid=21437 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/21439/task/21455/stat : 21455 (java) S 21437 21437 18490 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368493017840 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21456] ppid=21437 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/21439/task/21456/stat : 21456 (java) R 21437 21437 18490 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368491965296 140369099727852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21457] ppid=21437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21457/stat : 21457 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521474 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368490911968 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21458] ppid=21437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21458/stat : 21458 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521475 28904853504 10249 33554432000 4194304 4196468 140725148175600 140368489859504 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42448 KiB

[startup+0.309633 s]*
/proc/loadavg: 6.48 7.90 7.74 4/211 21458
/proc/meminfo: memFree=22080672/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28231652 memory=50012 CPUtime=0.52 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 10865 0 0 0 48 4 0 0 20 0 20 0 510521468 28909211648 12503 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7057913 12503 3348 1 0 7019032 0
[pid=21439/tid=21440] ppid=21437 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) R 21437 21437 18490 0 -1 4202560 7780 0 0 0 27 3 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369118796080 140369114584221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21444] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21444/stat : 21444 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369064024720 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21445] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21445/stat : 21445 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369062972176 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21446] ppid=21437 vsize=28231652 memory=139905674078895 CPUtime=0 cores=0-7
/proc/21439/task/21446/stat : 21446 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140369061919632 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21447] ppid=21437 vsize=28231652 memory=139905674081200 CPUtime=0 cores=0-7
/proc/21439/task/21447/stat : 21447 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368659995664 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21448] ppid=21437 vsize=28231652 memory=139905674083504 CPUtime=0 cores=0-7
/proc/21439/task/21448/stat : 21448 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368658943120 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21449] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21449/stat : 21449 (java) S 21437 21437 18490 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510521471 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368499333104 140369114573442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21450] ppid=21437 vsize=28231652 memory=279811348180880 CPUtime=0 cores=0-7
/proc/21439/task/21450/stat : 21450 (java) S 21437 21437 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510521471 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368498279328 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21451] ppid=21437 vsize=28231652 memory=279811348178576 CPUtime=0 cores=0-7
/proc/21439/task/21451/stat : 21451 (java) S 21437 21437 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510521472 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368497226736 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21452] ppid=21437 vsize=28231652 memory=279811348185488 CPUtime=0 cores=0-7
/proc/21439/task/21452/stat : 21452 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368496175312 140369114580891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21453] ppid=21437 vsize=28231652 memory=279811348126768 CPUtime=0.02 cores=0-7
/proc/21439/task/21453/stat : 21453 (java) S 21437 21437 18490 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368495122928 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21454] ppid=21437 vsize=28231652 memory=279811348199312 CPUtime=0.03 cores=0-7
/proc/21439/task/21454/stat : 21454 (java) R 21437 21437 18490 0 -1 4202560 255 0 0 0 3 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368494070384 140369097947164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21455] ppid=21437 vsize=28231652 memory=279811348206224 CPUtime=0.02 cores=0-7
/proc/21439/task/21455/stat : 21455 (java) S 21437 21437 18490 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368493017840 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21456] ppid=21437 vsize=28231652 memory=279811348203920 CPUtime=0.12 cores=0-7
/proc/21439/task/21456/stat : 21456 (java) S 21437 21437 18490 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368491965296 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21457] ppid=21437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21457/stat : 21457 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510521474 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368490911968 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21458] ppid=21437 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21439/task/21458/stat : 21458 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521475 28909211648 12503 33554432000 4194304 4196468 140725148175600 140368489859504 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51464 KiB

[startup+0.701043 s]
/proc/loadavg: 6.48 7.90 7.74 1/211 21458
/proc/meminfo: memFree=22073016/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28231728 memory=52308 CPUtime=0.63 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 11418 0 0 0 59 4 0 0 20 0 20 0 510521468 28909289472 13077 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7057932 13077 3389 1 0 7019032 0
[pid=21439/tid=21440] ppid=21437 vsize=28231728 memory=0 CPUtime=0.36 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) R 21437 21437 18490 0 -1 4202560 8209 0 0 0 33 3 0 0 20 0 20 0 510521469 28909289472 13077 33554432000 4194304 4196468 140725148175600 140369118796368 140368742002469 0 4 0 16800975 0 0 0 -1 5 0 0 32 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28231728 memory=139905674290032 CPUtime=0 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909289472 13077 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28231728 memory=0 CPUtime=0 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510521469 28909289472 13077 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28231728 memory=1056 CPUtime=0 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510521469 28909289472 13077 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0

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

[pid=21439/tid=21490] ppid=21437 vsize=28768336 memory=2508128 CPUtime=2416.96 cores=0-7
/proc/21439/task/21490/stat : 21490 (java) R 21437 21437 18490 0 -1 4202560 32965 0 0 0 241628 68 0 0 20 0 28 0 510521702 29458776064 627032 33554432000 4194304 4196468 140725148175600 140368477482728 140368748679456 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 19454.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2509580 KiB

[startup+2502.3 s]
/proc/loadavg: 8.10 8.21 8.18 10/220 21700
/proc/meminfo: memFree=19596152/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28768336 memory=2528048 CPUtime=19932.5 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 679734 0 0 0 1992562 689 0 0 20 0 28 0 510521468 29458776064 632012 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7192084 632012 3550 1 0 7153184 0
[pid=21439/tid=21440] ppid=21437 vsize=28768336 memory=2528560 CPUtime=0.87 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) S 21437 21437 18490 0 -1 1077944384 9458 0 0 0 82 5 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369118803072 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28768336 memory=2527024 CPUtime=6.86 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 28793 0 0 0 651 35 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28768336 memory=2524476 CPUtime=6.78 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 28462 0 0 0 641 37 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28768336 memory=1452 CPUtime=6.77 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 26696 0 0 0 643 34 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21444] ppid=21437 vsize=28768336 memory=1452 CPUtime=6.84 cores=0-7
/proc/21439/task/21444/stat : 21444 (java) S 21437 21437 18490 0 -1 1077944384 31463 0 0 0 647 37 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369064024720 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21445] ppid=21437 vsize=28768336 memory=1452 CPUtime=6.77 cores=0-7
/proc/21439/task/21445/stat : 21445 (java) S 21437 21437 18490 0 -1 1077944384 23980 0 0 0 641 36 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369062972176 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21446] ppid=21437 vsize=28768336 memory=2526004 CPUtime=6.79 cores=0-7
/proc/21439/task/21446/stat : 21446 (java) S 21437 21437 18490 0 -1 1077944384 22476 0 0 0 644 35 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140369061919632 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21447] ppid=21437 vsize=28768336 memory=2528560 CPUtime=6.85 cores=0-7
/proc/21439/task/21447/stat : 21447 (java) S 21437 21437 18490 0 -1 1077944384 23014 0 0 0 647 38 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368659995664 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21448] ppid=21437 vsize=28768336 memory=1452 CPUtime=6.75 cores=0-7
/proc/21439/task/21448/stat : 21448 (java) S 21437 21437 18490 0 -1 1077944384 25905 0 0 0 638 37 0 0 20 0 28 0 510521469 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368658943120 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21449] ppid=21437 vsize=28768336 memory=1452 CPUtime=1.65 cores=0-7
/proc/21439/task/21449/stat : 21449 (java) S 21437 21437 18490 0 -1 1077944384 120056 0 0 0 104 61 0 0 20 0 28 0 510521471 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368499333104 140369114573442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21450] ppid=21437 vsize=28768336 memory=2528560 CPUtime=0 cores=0-7
/proc/21439/task/21450/stat : 21450 (java) S 21437 21437 18490 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 510521471 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368498279392 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21451] ppid=21437 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/21439/task/21451/stat : 21451 (java) S 21437 21437 18490 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 510521472 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368497226752 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21452] ppid=21437 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/21439/task/21452/stat : 21452 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368496175312 140369114580891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21453] ppid=21437 vsize=28768336 memory=1452 CPUtime=1.69 cores=0-7
/proc/21439/task/21453/stat : 21453 (java) S 21437 21437 18490 0 -1 1077944384 9123 0 0 0 167 2 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368495122928 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21454] ppid=21437 vsize=28768336 memory=3616 CPUtime=2.18 cores=0-7
/proc/21439/task/21454/stat : 21454 (java) S 21437 21437 18490 0 -1 1077944384 16801 0 0 0 216 2 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368494070384 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21455] ppid=21437 vsize=28768336 memory=1452 CPUtime=1.74 cores=0-7
/proc/21439/task/21455/stat : 21455 (java) S 21437 21437 18490 0 -1 1077944384 10614 0 0 0 172 2 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368493017840 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21456] ppid=21437 vsize=28768336 memory=2527024 CPUtime=0.86 cores=0-7
/proc/21439/task/21456/stat : 21456 (java) S 21437 21437 18490 0 -1 1077944384 10320 0 0 0 83 3 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368491965296 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21457] ppid=21437 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/21439/task/21457/stat : 21457 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510521474 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368490911968 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21458] ppid=21437 vsize=28768336 memory=2525492 CPUtime=0.95 cores=0-7
/proc/21439/task/21458/stat : 21458 (java) S 21437 21437 18490 0 -1 1077944384 7773 0 0 0 54 41 0 0 20 0 28 0 510521475 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368489859504 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21483] ppid=21437 vsize=28768336 memory=1452 CPUtime=2485.56 cores=0-7
/proc/21439/task/21483/stat : 21483 (java) R 21437 21437 18490 0 -1 4202560 21555 0 0 0 248542 14 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368480643624 140368751403433 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21484] ppid=21437 vsize=28768336 memory=2527028 CPUtime=2481.72 cores=0-7
/proc/21439/task/21484/stat : 21484 (java) R 21437 21437 18490 0 -1 4202560 21551 0 0 0 248158 14 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368473272296 140368748679544 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21485] ppid=21437 vsize=28768336 memory=2528560 CPUtime=2479.17 cores=0-7
/proc/21439/task/21485/stat : 21485 (java) R 21437 21437 18490 0 -1 4202560 58001 0 0 0 247896 21 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368478534960 140368749774088 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21486] ppid=21437 vsize=28768336 memory=772 CPUtime=2485.38 cores=0-7
/proc/21439/task/21486/stat : 21486 (java) R 21437 21437 18490 0 -1 4202560 68853 0 0 0 248402 136 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368474328208 140368748132882 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21487] ppid=21437 vsize=28768336 memory=1556 CPUtime=2485.16 cores=0-7
/proc/21439/task/21487/stat : 21487 (java) R 21437 21437 18490 0 -1 4202560 24941 0 0 0 248484 32 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368476431224 140368748543788 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21488] ppid=21437 vsize=28768336 memory=1056 CPUtime=2482.64 cores=0-7
/proc/21439/task/21488/stat : 21488 (java) R 21437 21437 18490 0 -1 4202560 30761 0 0 0 248235 29 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368475378392 140368748543972 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21489] ppid=21437 vsize=28768336 memory=1096 CPUtime=2485.7 cores=0-7
/proc/21439/task/21489/stat : 21489 (java) R 21437 21437 18490 0 -1 4202560 23174 0 0 0 248556 14 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368479587944 140368748412388 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21490] ppid=21437 vsize=28768336 memory=1452 CPUtime=2476.57 cores=0-7
/proc/21439/task/21490/stat : 21490 (java) R 21437 21437 18490 0 -1 4202560 33967 0 0 0 247589 68 0 0 20 0 28 0 510521702 29458776064 632012 33554432000 4194304 4196468 140725148175600 140368477482536 140368749215197 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 19932.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2529500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.08 8.20 8.17 9/219 21700
/proc/meminfo: memFree=19592328/32770624 swapFree=67002364/67108860
[pid=21437] ppid=21434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21437/stat : 21437 (xcsp3-exec) S 21434 21437 18490 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 510521468 115843072 363 33554432000 4194304 5098028 140724689435216 140724689433320 139797727298172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37376000 140724689441617 140724689441877 140724689441877 140724689444806 0
/proc/21437/statm: 28282 363 304 221 0 87 0
[pid=21439] ppid=21437 vsize=28768336 memory=2531108 CPUtime=20073.7 cores=0-7
/proc/21439/stat : 21439 (java) S 21437 21437 18490 0 -1 1077944320 684746 0 0 0 2006679 693 0 0 20 0 28 0 510521468 29458776064 632777 33554432000 4194304 4196468 140725148175600 140725148158144 140369114562295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
/proc/21439/statm: 7192084 632777 3550 1 0 7153184 0
[pid=21439/tid=21440] ppid=21437 vsize=28768336 memory=2648 CPUtime=0.87 cores=0-7
/proc/21439/task/21440/stat : 21440 (java) S 21437 21437 18490 0 -1 1077944384 9458 0 0 0 82 5 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369118803072 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21441] ppid=21437 vsize=28768336 memory=884 CPUtime=6.9 cores=0-7
/proc/21439/task/21441/stat : 21441 (java) S 21437 21437 18490 0 -1 1077944384 29106 0 0 0 654 36 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369067182352 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21442] ppid=21437 vsize=28768336 memory=1440 CPUtime=6.83 cores=0-7
/proc/21439/task/21442/stat : 21442 (java) S 21437 21437 18490 0 -1 1077944384 29282 0 0 0 645 38 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369066129808 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21443] ppid=21437 vsize=28768336 memory=4872558044660077418 CPUtime=6.82 cores=0-7
/proc/21439/task/21443/stat : 21443 (java) S 21437 21437 18490 0 -1 1077944384 27100 0 0 0 647 35 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369065077264 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21444] ppid=21437 vsize=28768336 memory=2530088 CPUtime=6.88 cores=0-7
/proc/21439/task/21444/stat : 21444 (java) S 21437 21437 18490 0 -1 1077944384 31887 0 0 0 651 37 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369064024720 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21445] ppid=21437 vsize=28768336 memory=2648 CPUtime=6.81 cores=0-7
/proc/21439/task/21445/stat : 21445 (java) S 21437 21437 18490 0 -1 1077944384 24073 0 0 0 645 36 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369062972176 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21446] ppid=21437 vsize=28768336 memory=884 CPUtime=6.83 cores=0-7
/proc/21439/task/21446/stat : 21446 (java) S 21437 21437 18490 0 -1 1077944384 22573 0 0 0 647 36 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140369061919632 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21447] ppid=21437 vsize=28768336 memory=1440 CPUtime=6.88 cores=0-7
/proc/21439/task/21447/stat : 21447 (java) S 21437 21437 18490 0 -1 1077944384 23112 0 0 0 650 38 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368659995664 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21448] ppid=21437 vsize=28768336 memory=1768 CPUtime=6.78 cores=0-7
/proc/21439/task/21448/stat : 21448 (java) S 21437 21437 18490 0 -1 1077944384 26001 0 0 0 641 37 0 0 20 0 28 0 510521469 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368658943120 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21449] ppid=21437 vsize=28768336 memory=111636 CPUtime=1.66 cores=0-7
/proc/21439/task/21449/stat : 21449 (java) S 21437 21437 18490 0 -1 1077944384 120632 0 0 0 105 61 0 0 20 0 28 0 510521471 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368499333104 140369114573442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21450] ppid=21437 vsize=28768336 memory=808 CPUtime=0 cores=0-7
/proc/21439/task/21450/stat : 21450 (java) S 21437 21437 18490 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 510521471 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368498279392 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21451] ppid=21437 vsize=28768336 memory=1804 CPUtime=0 cores=0-7
/proc/21439/task/21451/stat : 21451 (java) S 21437 21437 18490 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 510521472 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368497226752 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21452] ppid=21437 vsize=28768336 memory=1424 CPUtime=0 cores=0-7
/proc/21439/task/21452/stat : 21452 (java) S 21437 21437 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368496175312 140369114580891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21453] ppid=21437 vsize=28768336 memory=580 CPUtime=1.69 cores=0-7
/proc/21439/task/21453/stat : 21453 (java) S 21437 21437 18490 0 -1 1077944384 9136 0 0 0 167 2 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368495122928 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21454] ppid=21437 vsize=28768336 memory=1692 CPUtime=2.18 cores=0-7
/proc/21439/task/21454/stat : 21454 (java) S 21437 21437 18490 0 -1 1077944384 16807 0 0 0 216 2 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368494070384 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21455] ppid=21437 vsize=28768336 memory=3616 CPUtime=1.74 cores=0-7
/proc/21439/task/21455/stat : 21455 (java) S 21437 21437 18490 0 -1 1077944384 10620 0 0 0 172 2 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368493017840 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21456] ppid=21437 vsize=28768336 memory=7548 CPUtime=0.86 cores=0-7
/proc/21439/task/21456/stat : 21456 (java) S 21437 21437 18490 0 -1 1077944384 10326 0 0 0 83 3 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368491965296 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21457] ppid=21437 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/21439/task/21457/stat : 21457 (java) S 21437 21437 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510521474 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368490911968 140369114572501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21458] ppid=21437 vsize=28768336 memory=1224 CPUtime=0.96 cores=0-7
/proc/21439/task/21458/stat : 21458 (java) S 21437 21437 18490 0 -1 1077944384 7807 0 0 0 55 41 0 0 20 0 28 0 510521475 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368489859504 140369114573442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21483] ppid=21437 vsize=28768336 memory=6164 CPUtime=2503.22 cores=0-7
/proc/21439/task/21483/stat : 21483 (java) R 21437 21437 18490 0 -1 4202560 21691 0 0 0 250308 14 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368480639736 140368748678485 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21484] ppid=21437 vsize=28768336 memory=1452 CPUtime=2499.38 cores=0-7
/proc/21439/task/21484/stat : 21484 (java) R 21437 21437 18490 0 -1 4202560 21694 0 0 0 249924 14 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368473272424 140368748679603 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21485] ppid=21437 vsize=28768336 memory=2529064 CPUtime=2496.64 cores=0-7
/proc/21439/task/21485/stat : 21485 (java) R 21437 21437 18490 0 -1 4202560 58323 0 0 0 249643 21 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368478535280 140368751016316 0 4 0 16800975 0 0 0 -1 7 0 0 19 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21486] ppid=21437 vsize=28768336 memory=6791534058613427641 CPUtime=2503.01 cores=0-7
/proc/21439/task/21486/stat : 21486 (java) R 21437 21437 18490 0 -1 4202560 69540 0 0 0 250165 136 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368474328208 140368751269563 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21487] ppid=21437 vsize=28768336 memory=34600 CPUtime=2502.73 cores=0-7
/proc/21439/task/21487/stat : 21487 (java) R 21437 21437 18490 0 -1 4202560 25081 0 0 0 250241 32 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368476430888 140368748543921 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21488] ppid=21437 vsize=28768336 memory=12028 CPUtime=2500.29 cores=0-7
/proc/21439/task/21488/stat : 21488 (java) R 21437 21437 18490 0 -1 4202560 31028 0 0 0 250000 29 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368475378280 140368748679581 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21489] ppid=21437 vsize=28768336 memory=532 CPUtime=2503.36 cores=0-7
/proc/21439/task/21489/stat : 21489 (java) R 21437 21437 18490 0 -1 4202560 23261 0 0 0 250322 14 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368479587944 140368748412300 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
[pid=21439/tid=21490] ppid=21437 vsize=28768336 memory=1564 CPUtime=2494.14 cores=0-7
/proc/21439/task/21490/stat : 21490 (java) R 21437 21437 18490 0 -1 4202560 34211 0 0 0 249346 68 0 0 20 0 28 0 510521702 29458776064 632777 33554432000 4194304 4196468 140725148175600 140368477482720 140368748678128 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 33894400 140725148177366 140725148177542 140725148177542 140725148180431 0
Current children cumulated CPU time: 20073.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2532560 KiB

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

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

[startup+2520.11 s]
# the end of solver process 21439 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20067.5 s, system=6.94525 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): 2520.11
CPU time (s): 20074.4
CPU user time (s): 20067.5
CPU system time (s): 6.94525
CPU usage (%): 796.569
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2546788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20067.5
system time used= 6.94525
maximum resident set size= 2545336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124043
involuntary context switches= 223563


# summary of solver processes directly reported to runsolver:
#   pid: 21437,21439
#   total CPU time (s): 20074.4
#   total CPU user time (s): 20067.5
#   total CPU system time (s): 6.94525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1697 second user time and 30.9773 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-24 19:27:14
IDJOB=4407184
IDBENCH=122984
IDSOLVER=2871
FILE ID=node146/4407184-1569346076
RUNJOBID= node146-1569335937-18517
PBS_JOBID= 21705051
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-19-020-009.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407184-1569346076/watcher-4407184-1569346076 -o /var/tmp/evaluation-result-4407184-1569346076/solver-4407184-1569346076 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407184-1569346076.xml

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

MD5SUM BENCH= 62ee24bcba75d1d33fbbd4bb45a854a0
RANDOM SEED=1428284258

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        22116896 kB
MemAvailable:   31841196 kB
Buffers:          146376 kB
Cached:          9615596 kB
SwapCached:         3568 kB
Active:          4854568 kB
Inactive:        4912356 kB
Active(anon):       4732 kB
Inactive(anon):    56464 kB
Active(file):    4849836 kB
Inactive(file):  4855892 kB
Unevictable:      110892 kB
Mlocked:          110892 kB
SwapTotal:      67108860 kB
SwapFree:       67002364 kB
Dirty:             26480 kB
Writeback:             0 kB
AnonPages:        169276 kB
Mapped:            57020 kB
Shmem:             47620 kB
Slab:             475512 kB
SReclaimable:     447032 kB
SUnreclaim:        28480 kB
KernelStack:        3744 kB
PageTables:         5548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /var/tmp at the end= 13480 MiB
End job on node146 at 2019-09-24 20:09:14