Trace number 4281592

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-18)SAT (TO)83 1992.54 252.11

General information on the benchmark

NameStillLife/StillLife-m1-s1/
StillLife-11-15.xml
MD5SUMafc31b27070f112a4983969306f0150c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark86
Best CPU time to get the best result obtained on this benchmark251.97
Satisfiable
(Un)Satisfiability was proved
Number of variables330
Number of constraints374
Number of domains2
Minimum domain size2
Maximum domain size9
Distribution of domain sizes[{"size":2,"count":165},{"size":9,"count":165}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":165},{"degree":7,"count":4},{"degree":8,"count":44},{"degree":10,"count":117}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":165},{"arity":3,"count":44},{"arity":4,"count":4},{"arity":6,"count":44},{"arity":9,"count":117}]
Number of extensional constraints209
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":209},{"type":"sum","count":165}]
Optimization problemYES
Type of objectivemax SUM

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-4281592-1503180505.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281592-1503180505.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.34/0.26	c parse instance...
2.26/0.81	c solve instance...
2.26/0.89	o 0 
2.90/0.91	o 76 
3.70/1.07	o 77 
3.70/1.10	o 78 
4.44/1.12	o 79 
17.72/2.80	o 80 
284.33/36.45	o 81 
284.33/36.47	o 82 
284.33/36.50	o 83 
1991.79/252.08	s SATISFIABLE
1991.79/252.08	v <instantiation>
1991.79/252.08	v 	<list>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[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[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[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[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[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[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[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[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[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[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] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] </list>
1991.79/252.08	v 	<values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 4 3 3 2 3 3 4 3 3 4 3 3 4 3 3 4 3 3 2 4 5 5 5 5 5 5 5 5 5 5 5 5 4 2 2 3 3 3 3 3 3 3 3 3 3 2 2 2 2 3 5 5 3 4 4 3 4 4 3 5 5 6 6 3 4 3 4 2 2 2 2 2 2 2 4 2 3 3 2 3 3 5 2 4 4 3 4 4 2 5 3 6 5 4 4 3 4 2 3 3 3 3 3 2 5 2 5 2 2 2 4 4 5 6 6 6 6 6 4 5 2 6 3 4 2 5 3 3 3 3 3 3 3 3 5 3 6 3 4 2 3 3 4 4 3 4 4 3 4 3 2 4 2 2 </values>
1991.79/252.08	v </instantiation>
1991.79/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	83

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281592-1503180505/watcher-4281592-1503180505 -o /tmp/evaluation-result-4281592-1503180505/solver-4281592-1503180505 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1340904545 HOME/instance-4281592-1503180505.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=3019, runsolver pid=3016
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 8.00 8.00 8.10 2/200 3040
/proc/meminfo: memFree=26182368/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=25999808 memory=26320 CPUtime=0.12 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 5491 0 0 0 10 2 0 0 20 0 20 0 151138112 26623803392 6580 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6499952 6580 2844 1 0 6488269 0
[pid=3021/tid=3022] ppid=3019 vsize=25999808 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) R 3019 3019 13260 0 -1 4202560 3504 0 0 0 8 1 0 0 20 0 20 0 151138112 26623803392 6580 33554432000 4194304 4196468 140731159646880 140609288967984 140609284746646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=25999808 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=25999808 memory=139705574491776 CPUtime=0 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3026] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3026/stat : 3026 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608840145296 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3027] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3027/stat : 3027 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608839093264 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3028] ppid=3019 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3028/stat : 3028 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608838040720 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3029] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3029/stat : 3029 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608836987664 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3030] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3030/stat : 3030 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138113 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608835935120 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3031] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3031/stat : 3031 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138114 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608680634608 140609284745858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3032] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3032/stat : 3032 (java) S 3019 3019 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151138115 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608679580832 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3033] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3033/stat : 3033 (java) S 3019 3019 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151138115 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608678527728 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3034] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3034/stat : 3034 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138117 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608677476304 140609284753307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3035] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3035/stat : 3035 (java) S 3019 3019 13260 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 151138117 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608676424432 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3036] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3036/stat : 3036 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138117 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608675371888 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3037] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3037/stat : 3037 (java) S 3019 3019 13260 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151138117 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608674318832 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3038] ppid=3019 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3021/task/3038/stat : 3038 (java) S 3019 3019 13260 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 151138117 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608673266288 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3039] ppid=3019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3039/stat : 3039 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138118 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608672213472 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3040] ppid=3019 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3040/stat : 3040 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138118 26623803392 6580 33554432000 4194304 4196468 140731159646880 140608671161008 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27704 KiB

[startup+0.210214 s]*
/proc/loadavg: 8.00 8.00 8.10 2/200 3040
/proc/meminfo: memFree=26170072/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=26004064 memory=39348 CPUtime=0.34 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 8370 0 0 0 31 3 0 0 20 0 20 0 151138112 26628161536 9837 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6501016 9837 3059 1 0 6488269 0
[pid=3021/tid=3022] ppid=3019 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) R 3019 3019 13260 0 -1 4202560 5431 0 0 0 18 1 0 0 20 0 20 0 151138112 26628161536 9837 33554432000 4194304 4196468 140731159646880 140609288948688 140609268815198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=26004064 memory=288370081726203520 CPUtime=0 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3026] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3026/stat : 3026 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608840145296 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3027] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3027/stat : 3027 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608839093264 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3028] ppid=3019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3028/stat : 3028 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608838040720 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3029] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3029/stat : 3029 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608836987664 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3030] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3030/stat : 3030 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608835935120 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3031] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3031/stat : 3031 (java) S 3019 3019 13260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151138114 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608680634608 140609284745858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3032] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3032/stat : 3032 (java) S 3019 3019 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151138115 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608679580832 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3033] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3033/stat : 3033 (java) S 3019 3019 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151138115 26628161536 9837 33554432000 4194304 4196468 140731159646880 140608678527728 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3034] ppid=3019 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3034/stat : 3034 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138117 26628194304 9837 33554432000 4194304 4196468 140731159646880 140608677476304 140609284753307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3035] ppid=3019 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/3021/task/3035/stat : 3035 (java) S 3019 3019 13260 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 20 0 151138117 26628194304 9837 33554432000 4194304 4196468 140731159646880 140608676424432 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3036] ppid=3019 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3021/task/3036/stat : 3036 (java) S 3019 3019 13260 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 151138117 26628161536 9859 33554432000 4194304 4196468 140731159646880 140608675371888 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3037] ppid=3019 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/3021/task/3037/stat : 3037 (java) S 3019 3019 13260 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 151138117 26628161536 9859 33554432000 4194304 4196468 140731159646880 140608674318832 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3038] ppid=3019 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/3021/task/3038/stat : 3038 (java) S 3019 3019 13260 0 -1 1077944384 807 0 0 0 8 0 0 0 20 0 20 0 151138117 26628161536 9859 33554432000 4194304 4196468 140731159646880 140608673266288 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3039] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3039/stat : 3039 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138118 26628161536 9859 33554432000 4194304 4196468 140731159646880 140608672213472 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3040] ppid=3019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3040/stat : 3040 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138118 26628161536 9859 33554432000 4194304 4196468 140731159646880 140608671161008 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40732 KiB

[startup+0.309682 s]*
/proc/loadavg: 8.00 8.00 8.10 3/200 3040
/proc/meminfo: memFree=26165668/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=26004064 memory=43992 CPUtime=0.5 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 9246 0 0 0 46 4 0 0 20 0 20 0 151138112 26628161536 10998 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6501016 10998 3080 1 0 6488269 0
[pid=3021/tid=3022] ppid=3019 vsize=26004064 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) R 3019 3019 13260 0 -1 4202560 6136 0 0 0 27 2 0 0 20 0 20 0 151138112 26628161536 10998 33554432000 4194304 4196468 140731159646880 140609288973360 140609268815198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=26004064 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=26004064 memory=24032 CPUtime=0 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=26004064 memory=18292 CPUtime=0 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3026] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3026/stat : 3026 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608840145296 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3027] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3027/stat : 3027 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608839093264 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3028] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3028/stat : 3028 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608838040720 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3029] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3029/stat : 3029 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608836987664 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3030] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3030/stat : 3030 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138113 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608835935120 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3031] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3031/stat : 3031 (java) S 3019 3019 13260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151138114 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608680634608 140609284745858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3032] ppid=3019 vsize=26004064 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/3021/task/3032/stat : 3032 (java) S 3019 3019 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151138115 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608679580832 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3033] ppid=3019 vsize=26004064 memory=2110056028369924 CPUtime=0 cores=0-7
/proc/3021/task/3033/stat : 3033 (java) S 3019 3019 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151138115 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608678527728 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3034] ppid=3019 vsize=26004064 memory=2110056028339364 CPUtime=0 cores=0-7
/proc/3021/task/3034/stat : 3034 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138117 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608677476304 140609284753307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3035] ppid=3019 vsize=26004064 memory=2110056028341668 CPUtime=0.01 cores=0-7
/proc/3021/task/3035/stat : 3035 (java) S 3019 3019 13260 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 20 0 151138117 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608676424432 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3036] ppid=3019 vsize=26004064 memory=2110056028343972 CPUtime=0.03 cores=0-7
/proc/3021/task/3036/stat : 3036 (java) S 3019 3019 13260 0 -1 1077944384 129 0 0 0 3 0 0 0 20 0 20 0 151138117 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608675371888 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3037] ppid=3019 vsize=26004064 memory=2110056028346276 CPUtime=0.01 cores=0-7
/proc/3021/task/3037/stat : 3037 (java) S 3019 3019 13260 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 151138117 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608674318832 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3038] ppid=3019 vsize=26004064 memory=2110056028369828 CPUtime=0.12 cores=0-7
/proc/3021/task/3038/stat : 3038 (java) R 3019 3019 13260 0 -1 4202560 889 0 0 0 12 0 0 0 20 0 20 0 151138117 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608673262656 140609263680295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3039] ppid=3019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3039/stat : 3039 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151138118 26628161536 10998 33554432000 4194304 4196468 140731159646880 140608672213472 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3040] ppid=3019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3021/task/3040/stat : 3040 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138118 26628161536 11510 33554432000 4194304 4196468 140731159646880 140608671161008 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45376 KiB

[startup+0.700923 s]
/proc/loadavg: 8.00 8.00 8.10 4/200 3040
/proc/meminfo: memFree=26152300/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=26006188 memory=90696 CPUtime=1.82 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 13814 0 0 0 176 6 0 0 20 0 20 0 151138112 26630336512 22674 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6501547 22674 3206 1 0 6488781 0
[pid=3021/tid=3022] ppid=3019 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) R 3019 3019 13260 0 -1 4202560 6861 0 0 0 64 3 0 0 20 0 20 0 151138112 26630336512 22674 33554432000 4194304 4196468 140731159646880 140609288972368 140608925277191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=26006188 memory=279410842526576 CPUtime=0 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151138113 26630336512 22674 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=26006188 memory=139705421439856 CPUtime=0 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26630336512 22674 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151138113 26630336512 22674 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0

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

[pid=3021/tid=3120] ppid=3019 vsize=26538700 memory=42164 CPUtime=124.15 cores=0-7
/proc/3021/task/3120/stat : 3120 (java) R 3019 3019 13260 0 -1 4202560 7030 0 0 0 12412 3 0 0 20 0 28 0 151141762 27175628800 114636 33554432000 4194304 4196468 140731159646880 140608659995568 140609284756058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 1281.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 459928 KiB

[startup+222.302 s]
/proc/loadavg: 8.70 8.35 8.22 9/208 3121
/proc/meminfo: memFree=25721968/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=26538700 memory=488348 CPUtime=1756.46 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 146631 0 0 0 175524 122 0 0 20 0 28 0 151138112 27175628800 122087 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6634675 122087 3283 1 0 6621909 0
[pid=3021/tid=3022] ppid=3019 vsize=26538700 memory=479616 CPUtime=0.8 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) S 3019 3019 13260 0 -1 1077944384 7125 0 0 0 77 3 0 0 20 0 28 0 151138112 27175628800 122087 33554432000 4194304 4196468 140731159646880 140609288975488 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=26538700 memory=478600 CPUtime=0.77 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 3598 0 0 0 69 8 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 4040 0 0 0 69 8 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=26538700 memory=42164 CPUtime=0.76 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 3420 0 0 0 68 8 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3026] ppid=3019 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7
/proc/3021/task/3026/stat : 3026 (java) S 3019 3019 13260 0 -1 1077944384 3896 0 0 0 70 7 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608840145296 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3027] ppid=3019 vsize=26538700 memory=1384 CPUtime=0.78 cores=0-7
/proc/3021/task/3027/stat : 3027 (java) S 3019 3019 13260 0 -1 1077944384 2636 0 0 0 71 7 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608839093264 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3028] ppid=3019 vsize=26538700 memory=397572 CPUtime=0.78 cores=0-7
/proc/3021/task/3028/stat : 3028 (java) S 3019 3019 13260 0 -1 1077944384 3848 0 0 0 69 9 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608838040720 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3029] ppid=3019 vsize=26538700 memory=1384 CPUtime=0.79 cores=0-7
/proc/3021/task/3029/stat : 3029 (java) S 3019 3019 13260 0 -1 1077944384 4023 0 0 0 71 8 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608836987664 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3030] ppid=3019 vsize=26538700 memory=480760 CPUtime=0.76 cores=0-7
/proc/3021/task/3030/stat : 3030 (java) S 3019 3019 13260 0 -1 1077944384 2791 0 0 0 69 7 0 0 20 0 28 0 151138113 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608835935120 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3031] ppid=3019 vsize=26538700 memory=172 CPUtime=0.56 cores=0-7
/proc/3021/task/3031/stat : 3031 (java) S 3019 3019 13260 0 -1 1077944384 10244 0 0 0 46 10 0 0 20 0 28 0 151138114 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608680634608 140609284745858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3032] ppid=3019 vsize=26538700 memory=196 CPUtime=0 cores=0-7
/proc/3021/task/3032/stat : 3032 (java) S 3019 3019 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151138115 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608679580832 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3033] ppid=3019 vsize=26538700 memory=139706696204900 CPUtime=0 cores=0-7
/proc/3021/task/3033/stat : 3033 (java) S 3019 3019 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151138115 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608678527728 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3034] ppid=3019 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3021/task/3034/stat : 3034 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151138117 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608677476304 140609284753307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3035] ppid=3019 vsize=26538700 memory=279410842882712 CPUtime=1.79 cores=0-7
/proc/3021/task/3035/stat : 3035 (java) S 3019 3019 13260 0 -1 1077944384 9446 0 0 0 177 2 0 0 20 0 28 0 151138117 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608676424432 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3036] ppid=3019 vsize=26538700 memory=6943526294502006880 CPUtime=1.72 cores=0-7
/proc/3021/task/3036/stat : 3036 (java) S 3019 3019 13260 0 -1 1077944384 6940 0 0 0 171 1 0 0 20 0 28 0 151138117 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608675371888 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3037] ppid=3019 vsize=26538700 memory=1572 CPUtime=1.96 cores=0-7
/proc/3021/task/3037/stat : 3037 (java) S 3019 3019 13260 0 -1 1077944384 5913 0 0 0 194 2 0 0 20 0 28 0 151138117 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608674318832 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3038] ppid=3019 vsize=26538700 memory=0 CPUtime=0.84 cores=0-7
/proc/3021/task/3038/stat : 3038 (java) S 3019 3019 13260 0 -1 1077944384 6575 0 0 0 82 2 0 0 20 0 28 0 151138117 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608673266288 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3039] ppid=3019 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/3021/task/3039/stat : 3039 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151138118 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608672213472 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3040] ppid=3019 vsize=26538700 memory=1720 CPUtime=0.04 cores=0-7
/proc/3021/task/3040/stat : 3040 (java) S 3019 3019 13260 0 -1 1077944384 1186 0 0 0 1 3 0 0 20 0 28 0 151138118 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608671161008 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3113] ppid=3019 vsize=26538700 memory=1384 CPUtime=183.24 cores=0-7
/proc/3021/task/3113/stat : 3113 (java) R 3019 3019 13260 0 -1 4202560 2793 0 0 0 18323 1 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608658939128 140608932392958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3114] ppid=3019 vsize=26538700 memory=479616 CPUtime=183.48 cores=0-7
/proc/3021/task/3114/stat : 3114 (java) R 3019 3019 13260 0 -1 4202560 3014 0 0 0 18346 2 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608661044624 140608928712528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3115] ppid=3019 vsize=26538700 memory=1384 CPUtime=183.53 cores=0-7
/proc/3021/task/3115/stat : 3115 (java) R 3019 3019 13260 0 -1 4202560 3003 0 0 0 18352 1 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608655782392 140608930655920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3116] ppid=3019 vsize=26538700 memory=1384 CPUtime=182.75 cores=0-7
/proc/3021/task/3116/stat : 3116 (java) R 3019 3019 13260 0 -1 4202560 8888 0 0 0 18272 3 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608656835832 140608930855264 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3117] ppid=3019 vsize=26538700 memory=458152 CPUtime=183.62 cores=0-7
/proc/3021/task/3117/stat : 3117 (java) R 3019 3019 13260 0 -1 4202560 3335 0 0 0 18360 2 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608657887984 140608929276875 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3118] ppid=3019 vsize=26538700 memory=1384 CPUtime=183 cores=0-7
/proc/3021/task/3118/stat : 3118 (java) R 3019 3019 13260 0 -1 4202560 3517 0 0 0 18299 1 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608662098496 140608929129746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3119] ppid=3019 vsize=26538700 memory=836 CPUtime=182.46 cores=0-7
/proc/3021/task/3119/stat : 3119 (java) R 3019 3019 13260 0 -1 4202560 16026 0 0 0 18243 3 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608663150288 140608930579977 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3120] ppid=3019 vsize=26538700 memory=1160 CPUtime=183.42 cores=0-7
/proc/3021/task/3120/stat : 3120 (java) R 3019 3019 13260 0 -1 4202560 18753 0 0 0 18336 6 0 0 20 0 28 0 151141762 27175628800 122087 33554432000 4194304 4196468 140731159646880 140608659995568 140608925987415 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 1756.46 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 489732 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.42 8.32 8.22 10/207 3122
/proc/meminfo: memFree=25815156/32770624 swapFree=67108860/67108860
[pid=3019] ppid=3016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3019/stat : 3019 (xcsp3-exec) S 3016 3019 13260 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151138112 9740288 346 33554432000 4194304 5098028 140734863713088 140734863711192 139732070773372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7688192 140734863717482 140734863717692 140734863717692 140734863720427 0
/proc/3019/statm: 2378 346 289 221 0 87 0
[pid=3021] ppid=3019 vsize=26538700 memory=393632 CPUtime=1991.79 cores=0-7
/proc/3021/stat : 3021 (java) S 3019 3019 13260 0 -1 1077944320 189648 0 0 0 199043 136 0 0 20 0 28 0 151138112 27175628800 98408 33554432000 4194304 4196468 140731159646880 140731159629424 140609284734711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
/proc/3021/statm: 6634675 98408 3299 1 0 6621909 0
[pid=3021/tid=3022] ppid=3019 vsize=26538700 memory=1398720917958146503 CPUtime=0.8 cores=0-7
/proc/3021/task/3022/stat : 3022 (java) S 3019 3019 13260 0 -1 1077944384 7125 0 0 0 77 3 0 0 20 0 28 0 151138112 27175628800 98408 33554432000 4194304 4196468 140731159646880 140609288975488 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3023] ppid=3019 vsize=26538700 memory=4872558044660077418 CPUtime=0.89 cores=0-7
/proc/3021/task/3023/stat : 3023 (java) S 3019 3019 13260 0 -1 1077944384 4784 0 0 0 80 9 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608843303440 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3024] ppid=3019 vsize=26538700 memory=397096 CPUtime=0.9 cores=0-7
/proc/3021/task/3024/stat : 3024 (java) S 3019 3019 13260 0 -1 1077944384 4882 0 0 0 81 9 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608842250896 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3025] ppid=3019 vsize=26538700 memory=2424 CPUtime=0.87 cores=0-7
/proc/3021/task/3025/stat : 3025 (java) S 3019 3019 13260 0 -1 1077944384 4397 0 0 0 79 8 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608841197840 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3026] ppid=3019 vsize=26538700 memory=1384 CPUtime=0.89 cores=0-7
/proc/3021/task/3026/stat : 3026 (java) S 3019 3019 13260 0 -1 1077944384 5388 0 0 0 81 8 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608840145296 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3027] ppid=3019 vsize=26538700 memory=397376 CPUtime=0.9 cores=0-7
/proc/3021/task/3027/stat : 3027 (java) S 3019 3019 13260 0 -1 1077944384 3196 0 0 0 82 8 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608839093264 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3028] ppid=3019 vsize=26538700 memory=397320 CPUtime=0.89 cores=0-7
/proc/3021/task/3028/stat : 3028 (java) S 3019 3019 13260 0 -1 1077944384 4345 0 0 0 80 9 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608838040720 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3029] ppid=3019 vsize=26538700 memory=1692 CPUtime=0.91 cores=0-7
/proc/3021/task/3029/stat : 3029 (java) S 3019 3019 13260 0 -1 1077944384 4521 0 0 0 82 9 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608836987664 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3030] ppid=3019 vsize=26538700 memory=916 CPUtime=0.87 cores=0-7
/proc/3021/task/3030/stat : 3030 (java) S 3019 3019 13260 0 -1 1077944384 4275 0 0 0 80 7 0 0 20 0 28 0 151138113 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608835935120 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3031] ppid=3019 vsize=26538700 memory=397532 CPUtime=0.65 cores=0-7
/proc/3021/task/3031/stat : 3031 (java) S 3019 3019 13260 0 -1 1077944384 17008 0 0 0 53 12 0 0 20 0 28 0 151138114 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608680634608 140609284745858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3032] ppid=3019 vsize=26538700 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/3021/task/3032/stat : 3032 (java) S 3019 3019 13260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151138115 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608679580832 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3033] ppid=3019 vsize=26538700 memory=14972256849759457 CPUtime=0 cores=0-7
/proc/3021/task/3033/stat : 3033 (java) S 3019 3019 13260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 151138115 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608678527728 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3034] ppid=3019 vsize=26538700 memory=397588 CPUtime=0 cores=0-7
/proc/3021/task/3034/stat : 3034 (java) S 3019 3019 13260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151138117 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608677476304 140609284753307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3035] ppid=3019 vsize=26538700 memory=1384 CPUtime=1.79 cores=0-7
/proc/3021/task/3035/stat : 3035 (java) S 3019 3019 13260 0 -1 1077944384 9458 0 0 0 177 2 0 0 20 0 28 0 151138117 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608676424432 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3036] ppid=3019 vsize=26538700 memory=397532 CPUtime=1.72 cores=0-7
/proc/3021/task/3036/stat : 3036 (java) S 3019 3019 13260 0 -1 1077944384 6948 0 0 0 171 1 0 0 20 0 28 0 151138117 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608675371888 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3037] ppid=3019 vsize=26538700 memory=15876 CPUtime=1.96 cores=0-7
/proc/3021/task/3037/stat : 3037 (java) S 3019 3019 13260 0 -1 1077944384 5921 0 0 0 194 2 0 0 20 0 28 0 151138117 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608674318832 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3038] ppid=3019 vsize=26538700 memory=4040 CPUtime=0.84 cores=0-7
/proc/3021/task/3038/stat : 3038 (java) S 3019 3019 13260 0 -1 1077944384 6583 0 0 0 82 2 0 0 20 0 28 0 151138117 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608673266288 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3039] ppid=3019 vsize=26538700 memory=24036 CPUtime=0 cores=0-7
/proc/3021/task/3039/stat : 3039 (java) S 3019 3019 13260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151138118 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608672213472 140609284744917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3040] ppid=3019 vsize=26538700 memory=397472 CPUtime=0.06 cores=0-7
/proc/3021/task/3040/stat : 3040 (java) S 3019 3019 13260 0 -1 1077944384 1374 0 0 0 2 4 0 0 20 0 28 0 151138118 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608671161008 140609284745858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3113] ppid=3019 vsize=26538700 memory=4872558044660077418 CPUtime=212.49 cores=0-7
/proc/3021/task/3113/stat : 3113 (java) R 3019 3019 13260 0 -1 4202560 4170 0 0 0 21247 2 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608658938992 140608930654895 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3114] ppid=3019 vsize=26538700 memory=1384 CPUtime=212.8 cores=0-7
/proc/3021/task/3114/stat : 3114 (java) R 3019 3019 13260 0 -1 4202560 4244 0 0 0 21278 2 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608661049512 140608929132891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3115] ppid=3019 vsize=26538700 memory=394096 CPUtime=212.86 cores=0-7
/proc/3021/task/3115/stat : 3115 (java) R 3019 3019 13260 0 -1 4202560 4160 0 0 0 21284 2 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608655782896 140608923477716 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3116] ppid=3019 vsize=26538700 memory=1792 CPUtime=212.09 cores=0-7
/proc/3021/task/3116/stat : 3116 (java) R 3019 3019 13260 0 -1 4202560 13387 0 0 0 21205 4 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608656835832 140608932361843 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3117] ppid=3019 vsize=26538700 memory=648 CPUtime=212.97 cores=0-7
/proc/3021/task/3117/stat : 3117 (java) R 3019 3019 13260 0 -1 4202560 4612 0 0 0 21295 2 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608657887984 140608930658819 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3118] ppid=3019 vsize=26538700 memory=1236 CPUtime=212.24 cores=0-7
/proc/3021/task/3118/stat : 3118 (java) R 3019 3019 13260 0 -1 4202560 5077 0 0 0 21223 1 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608662102208 140608930654678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3119] ppid=3019 vsize=26538700 memory=960 CPUtime=211.76 cores=0-7
/proc/3021/task/3119/stat : 3119 (java) R 3019 3019 13260 0 -1 4202560 22963 0 0 0 21171 5 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608663150352 140608929877608 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
[pid=3021/tid=3120] ppid=3019 vsize=26538700 memory=1792 CPUtime=212.59 cores=0-7
/proc/3021/task/3120/stat : 3120 (java) R 3019 3019 13260 0 -1 4202560 29209 0 0 0 21250 9 0 0 20 0 28 0 151141762 27175628800 98408 33554432000 4194304 4196468 140731159646880 140608659995456 140608928176341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37888000 140731159651480 140731159651656 140731159651656 140731159654351 0
Current children cumulated CPU time: 1991.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 395016 KiB

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

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

[startup+252.11 s]
# the end of solver process 3021 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1991.15 s, system=1.38668 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.11
CPU time (s): 1992.54
CPU user time (s): 1991.15
CPU system time (s): 1.38668
CPU usage (%): 790.345
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 547048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1991.15
system time used= 1.38668
maximum resident set size= 577696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55623
involuntary context switches= 23358


# summary of solver processes directly reported to runsolver:
#   pid: 3019,3021
#   total CPU time (s): 1992.54
#   total CPU user time (s): 1991.15
#   total CPU system time (s): 1.38668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45951 second user time and 2.59431 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 23:54:05
IDJOB=4281592
IDBENCH=115930
IDSOLVER=2676
FILE ID=node112/4281592-1503180505
RUNJOBID= node112-1503169099-13287
PBS_JOBID= 20630837
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-11-15.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-4281592-1503180505/watcher-4281592-1503180505 -o /tmp/evaluation-result-4281592-1503180505/solver-4281592-1503180505 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503169099-13287 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1340904545 HOME/instance-4281592-1503180505.xml

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

MD5SUM BENCH= afc31b27070f112a4983969306f0150c
RANDOM SEED=1340904545

node112.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.24
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.24
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.24
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.24
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:        26197212 kB
MemAvailable:   31970632 kB
Buffers:          252048 kB
Cached:          5811572 kB
SwapCached:            0 kB
Active:          1101980 kB
Inactive:        5015044 kB
Active(anon):       5124 kB
Inactive(anon):    84388 kB
Active(file):    1096856 kB
Inactive(file):  4930656 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7980 kB
Writeback:             0 kB
AnonPages:         89636 kB
Mapped:            51232 kB
Shmem:             33416 kB
Slab:             150172 kB
SReclaimable:     123484 kB
SUnreclaim:        26688 kB
KernelStack:        3648 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 23:58:17