Trace number 4294509

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 NameAnswerCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT 13.9624 5.68356

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06b_c18.xml
MD5SUMed15a4f7a5bcd1b231009209ed1d9727
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.764899
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints381
Number of domains3
Minimum domain size5
Maximum domain size30
Distribution of domain sizes[{"size":5,"count":150},{"size":6,"count":150},{"size":30,"count":300}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":300},{"degree":3,"count":150},{"degree":4,"count":130},{"degree":5,"count":20}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":300},{"arity":4,"count":5},{"arity":5,"count":60},{"arity":30,"count":10},{"arity":60,"count":5},{"arity":150,"count":1}]
Number of extensional constraints300
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":300},{"type":"allDifferent","count":70},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Solver Data 

0.97/0.73	c Concrete v3.8.1528841891564 running
13.73/5.66	v <instantiation>
13.73/5.66	v       <list>
13.73/5.66	v         vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4]
13.73/5.66	v       </list>
13.73/5.66	v       <values>
13.73/5.66	v         0 6 14 23 28 1 25 18 8 12 2 17 19 7 29 3 11 13 24 21 4 22 27 9 15 5 16 23 10 27 6 4 22 12 24 7 3 25 20 14 8 2 26 21 17 9 21 16 25 0 10 27 15 22 1 11 26 17 19 2 12 7 28 4 23 13 24 6 3 20 14 5 8 29 18 15 0 24 6 22 16 1 21 11 25 17 10 20 28 3 18 9 12 26 4 19 13 29 5 8 20 15 7 1 26 21 28 9 0 16 22 29 10 2 13 23 14 11 27 5 24 12 3 18 6 25 8 4 17 19 26 18 0 13 7 27 19 1 14 9 28 20 2 15 10 29 23 5 16 11 0 15 26 21 9 1 16 27 20 10 2 8 28 22 11 3 7 24 13 17 4 6 25 12 18 5 14 29 19 23 6 0 13 15 24 7 12 20 2 26 8 25 14 1 19 9 18 21 4 27 10 17 22 5 28 11 3 23 16 29 12 24 18 6 1 13 19 3 26 22 14 23 0 27 7 15 20 10 28 4 16 5 9 29 21 17 2 11 25 8 18 26 1 24 14 19 27 2 11 25 20 28 17 7 13 21 9 16 8 3 22 4 6 10 15 23 29 5 0 12 24 13 15 3 6 25 1 7 9 16 26 11 8 18 20 27 10 4 23 5 28 21 12 17 0 29 22 19 14 2 0 1 2 3 4 0 4 3 1 2 0 2 3 1 4 0 1 2 4 3 0 3 4 1 2 0 2 3 1 4 1 0 3 2 4 1 0 4 3 2 1 0 4 3 2 1 3 2 4 0 1 4 2 3 0 1 4 2 3 0 2 1 4 0 3 2 4 1 0 3 2 0 1 4 3 2 0 4 1 3 2 0 3 1 4 2 1 3 4 0 3 1 2 4 0 3 2 4 0 1 3 2 1 0 4 3 4 1 0 2 3 4 1 0 2 3 2 1 4 0 4 2 0 3 1 4 1 0 2 3 4 3 0 2 1 4 3 0 2 1 4 3 0 2 1 4 3 0 2 1 0 3 5 4 2 0 3 5 4 2 0 1 5 4 2 0 1 4 2 3 0 1 4 2 3 1 2 5 3 4 1 0 2 3 4 1 2 4 0 5 1 4 2 0 3 2 3 4 0 5 2 3 4 1 5 2 0 4 3 5 2 4 3 1 0 2 3 0 5 4 2 4 0 5 1 3 4 2 5 0 3 1 2 5 4 3 0 2 4 1 3 5 0 4 2 3 5 0 2 4 4 5 3 1 2 4 2 3 1 0 4 0 1 2 3 4 5 1 0 2 4 2 3 0 1 4 0 1 2 3 5 2 1 3 4 5 2 0 4 1 5 4 2 3 0 5 4 3 2 0
13.73/5.66	v       </values>
13.73/5.66	v     </instantiation>
13.73/5.66	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294509-1532470578/watcher-4294509-1532470578 -o /tmp/evaluation-result-4294509-1532470578/solver-4294509-1532470578 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=881936823 -superng HOME/instance-4294509-1532470578.xml 

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

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


[startup+0.100138 s]*
/proc/loadavg: 1.63 1.15 1.08 3/206 27455
/proc/meminfo: memFree=24345312/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=9988792 memory=19380 CPUtime=0.09 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 4477 12887 0 0 1 1 5 2 20 0 6 0 64620974 10228523008 4845 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2497455 4845 1973 1 0 2485893 0
[pid=27398/tid=27451] ppid=27395 vsize=10055356 memory=4279135703913365648 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 2288 12887 0 0 1 0 5 2 20 0 7 0 64620983 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637760346896 140637774187030 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 7 0 64620984 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10055356 memory=139798830823040 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 7 0 64620984 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 7 0 64620984 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 7 0 64620984 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10055356 memory=139798830823040 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 7 0 64620985 10296684544 4845 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 19380 KiB

[startup+0.210394 s]*
/proc/loadavg: 1.63 1.15 1.08 5/215 27464
/proc/meminfo: memFree=24323208/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10818936 memory=45388 CPUtime=0.25 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 9246 12887 0 0 16 2 5 2 20 0 15 0 64620974 11078590464 11347 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2704734 11347 2938 1 0 2667157 0
[pid=27398/tid=27451] ppid=27395 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 5900 12887 0 0 10 1 5 2 20 0 15 0 64620983 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637760328608 140637781183517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10818936 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10818936 memory=139798830849994 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620984 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10818936 memory=139798830823040 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620985 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 64620986 11078557696 11347 33554432000 4194304 4196468 140729938216080 140637227705632 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620986 11078557696 11347 33554432000 4194304 4196468 140729938216080 140636623726192 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11078557696 11347 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) S 27395 27398 27142 0 -1 1077944384 514 12887 0 0 1 0 5 2 20 0 15 0 64620989 11078557696 11347 33554432000 4194304 4196468 140729938216080 140637314021488 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) S 27395 27398 27142 0 -1 1077944384 55 12887 0 0 0 0 5 2 20 0 15 0 64620989 11078557696 11347 33554432000 4194304 4196468 140729938216080 140637312968688 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10818904 memory=139798830823040 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 558 12887 0 0 3 0 5 2 20 0 15 0 64620989 11078557696 11347 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11078590464 11347 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10818936 memory=139798830823040 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620989 11078590464 11347 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 45388 KiB

[startup+0.310419 s]*
/proc/loadavg: 1.63 1.15 1.08 5/215 27464
/proc/meminfo: memFree=24311920/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10819352 memory=53264 CPUtime=0.38 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 10455 12887 0 0 28 3 5 2 20 0 15 0 64620974 11079016448 13316 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2704838 13316 3057 1 0 2667149 0
[pid=27398/tid=27451] ppid=27395 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 7100 12887 0 0 19 2 5 2 20 0 15 0 64620983 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637760315808 140637772584286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620985 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 64620986 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637227705632 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620986 11079016448 13316 33554432000 4194304 4196468 140729938216080 140636623726192 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) S 27395 27398 27142 0 -1 1077944384 514 12887 0 0 1 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637314021488 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) S 27395 27398 27142 0 -1 1077944384 56 12887 0 0 1 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637312968688 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10819352 memory=139798830823040 CPUtime=0.12 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 566 12887 0 0 5 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10819352 memory=139798830823040 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 13316 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53264 KiB

[startup+0.700755 s]
/proc/loadavg: 1.63 1.15 1.08 3/215 27464
/proc/meminfo: memFree=24302492/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10819352 memory=86260 CPUtime=0.97 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 16732 12887 0 0 86 4 5 2 20 0 15 0 64620974 11079016448 21565 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2704838 21565 3237 1 0 2667149 0
[pid=27398/tid=27451] ppid=27395 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 12304 12887 0 0 56 2 5 2 20 0 15 0 64620983 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637760324624 140637770067337 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10819352 memory=139798702604912 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10819352 memory=139801185485406 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620984 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10819352 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 5 12887 0 0 0 0 5 2 20 0 15 0 64620985 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10819352 memory=7014751519633986897 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 13 12887 0 0 0 0 5 2 20 0 15 0 64620986 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637227705632 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10819352 memory=12556 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620986 11079016448 21565 33554432000 4194304 4196468 140729938216080 140636623726192 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10819352 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10819352 memory=18444 CPUtime=0.13 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) S 27395 27398 27142 0 -1 1077944384 897 12887 0 0 6 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637314021488 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10819352 memory=640 CPUtime=0.16 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) S 27395 27398 27142 0 -1 1077944384 652 12887 0 0 9 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637312968688 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10819352 memory=1784 CPUtime=0.2 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 657 12887 0 0 13 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10819352 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620989 11079016448 21565 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86260 KiB

[startup+1.50073 s]
/proc/loadavg: 1.63 1.15 1.08 3/215 27464
/proc/meminfo: memFree=24242800/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10834252 memory=193640 CPUtime=2.66 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 24712 12887 0 0 249 10 5 2 20 0 15 0 64620974 11094274048 48410 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2708563 48410 3481 1 0 2670221 0
[pid=27398/tid=27451] ppid=27395 vsize=10834252 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 17214 12887 0 0 129 5 5 2 20 0 15 0 64620983 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637760320960 140637772584316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10834252 memory=279597405258176 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 53 12887 0 0 1 0 5 2 20 0 15 0 64620984 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10834252 memory=279597405267488 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 25 12887 0 0 1 0 5 2 20 0 15 0 64620984 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10834252 memory=139798702639600 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 20 12887 0 0 1 0 5 2 20 0 15 0 64620984 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 222 12887 0 0 1 0 5 2 20 0 15 0 64620984 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 58 12887 0 0 1 0 5 2 20 0 15 0 64620985 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10834252 memory=13275743914299 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 64620986 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637227705696 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10834252 memory=7157180147067152749 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620986 11094274048 48410 33554432000 4194304 4196468 140729938216080 140636623726208 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10834252 memory=7157180147067152749 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10834252 memory=7596837356346041194 CPUtime=0.42 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) S 27395 27398 27142 0 -1 1077944384 1891 12887 0 0 35 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637314021488 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10834252 memory=7305489985055386980 CPUtime=0.4 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) S 27395 27398 27142 0 -1 1077944384 1351 12887 0 0 33 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637312968688 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10834252 memory=7377862013548580967 CPUtime=0.49 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 1665 12887 0 0 42 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10834252 memory=7158302761441519722 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10834252 memory=7234277919586480231 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 1 12887 0 0 0 0 5 2 20 0 15 0 64620989 11094274048 48410 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0

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

[startup+5.68351 s]
# the end of solver process 27398 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.706 s, system=0.256462 s

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

[startup+3.20082 s]
/proc/loadavg: 1.63 1.15 1.08 5/215 27464
/proc/meminfo: memFree=23993076/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10844512 memory=264316 CPUtime=6.6 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 50356 12887 0 0 637 16 5 2 20 0 15 0 64620974 11104780288 66079 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2711128 66079 3503 1 0 2672781 0
[pid=27398/tid=27451] ppid=27395 vsize=10844512 memory=6791534058613427641 CPUtime=3.11 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 33865 12887 0 0 296 8 5 2 20 0 15 0 64620983 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637760336256 140637772547429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10844512 memory=8326441112149131689 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 53 12887 0 0 1 0 5 2 20 0 15 0 64620984 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10844512 memory=-8033973737701895300 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 25 12887 0 0 1 0 5 2 20 0 15 0 64620984 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10844512 memory=-7533522213388100735 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 20 12887 0 0 1 0 5 2 20 0 15 0 64620984 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10844512 memory=1404238533841559158 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 222 12887 0 0 1 0 5 2 20 0 15 0 64620984 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 279 12887 0 0 1 0 5 2 20 0 15 0 64620985 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 64620986 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637227705696 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10844512 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620986 11104780288 66079 33554432000 4194304 4196468 140729938216080 140636623726208 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10844512 memory=279597405318880 CPUtime=1.28 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) S 27395 27398 27142 0 -1 1077944384 4676 12887 0 0 120 1 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637314021488 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10844512 memory=3472468094930352800 CPUtime=1.04 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) R 27395 27398 27142 0 -1 4202560 2986 12887 0 0 96 1 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637312968688 140637788525146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10844512 memory=6944656592387989600 CPUtime=1.25 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 6009 12887 0 0 116 2 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10844512 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10844512 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 10 12887 0 0 0 0 5 2 20 0 15 0 64620989 11104780288 66079 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 6.6 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 264316 KiB

[startup+4.80139 s]
/proc/loadavg: 1.63 1.15 1.08 6/215 27464
/proc/meminfo: memFree=23809144/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10916192 memory=325180 CPUtime=11.28 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 60545 12887 0 0 1101 20 5 2 20 0 15 0 64620974 11178180608 81295 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2729048 81295 3515 1 0 2690701 0
[pid=27398/tid=27451] ppid=27395 vsize=10916192 memory=279597405156272 CPUtime=4.65 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 39481 12887 0 0 449 9 5 2 20 0 15 0 64620983 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637760332648 140637397127468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10916192 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 69 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10916192 memory=15872 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 71 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 107 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10916192 memory=279597405396032 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 248 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10916192 memory=139798702700272 CPUtime=0.11 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2384 12887 0 0 4 0 5 2 20 0 15 0 64620985 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637227705696 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 81295 33554432000 4194304 4196468 140729938216080 140636623726208 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10916192 memory=139798702633872 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10916192 memory=4028 CPUtime=2.42 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) R 27395 27398 27142 0 -1 4202560 5024 12887 0 0 234 1 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637314008480 140637767750306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10916192 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) R 27395 27398 27142 0 -1 4202560 3408 12887 0 0 211 1 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637312958480 140637774112464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10916192 memory=279597405715680 CPUtime=1.96 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 7529 12887 0 0 186 3 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10916192 memory=139798702860096 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 11 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 81295 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 11.28 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 325180 KiB

[startup+5.20139 s]
/proc/loadavg: 1.82 1.19 1.09 5/215 27464
/proc/meminfo: memFree=23727044/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10916192 memory=360016 CPUtime=12.49 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 61057 12887 0 0 1221 21 5 2 20 0 15 0 64620974 11178180608 90004 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2729048 90004 3516 1 0 2690701 0
[pid=27398/tid=27451] ppid=27395 vsize=10916192 memory=257755684575079 CPUtime=5.04 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 39514 12887 0 0 487 10 5 2 20 0 15 0 64620983 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637760331520 140637397274976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10916192 memory=4137280412607091059 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 83 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10916192 memory=279597405524272 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 71 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10916192 memory=6010459845258471017 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 110 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10916192 memory=7519152530197337680 CPUtime=0.11 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 258 12887 0 0 4 0 5 2 20 0 15 0 64620984 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.11 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2385 12887 0 0 4 0 5 2 20 0 15 0 64620985 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637227705696 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 90004 33554432000 4194304 4196468 140729938216080 140636623726208 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10916192 memory=7302450732804516248 CPUtime=2.81 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) R 27395 27398 27142 0 -1 4202560 5083 12887 0 0 273 1 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637314001200 140637771925952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=2.58 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) R 27395 27398 27142 0 -1 4202560 3786 12887 0 0 250 1 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637312968984 140637767902238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10916192 memory=7302450732804516248 CPUtime=1.98 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 7542 12887 0 0 188 3 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10916192 memory=7302451832316144024 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 12 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 90004 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 360016 KiB

[startup+5.60065 s]
/proc/loadavg: 1.82 1.19 1.09 5/215 27464
/proc/meminfo: memFree=23727044/32770624 swapFree=67108860/67108860
[pid=27398] ppid=27395 vsize=10916192 memory=366096 CPUtime=13.73 cores=1,3,5,7
/proc/27398/stat : 27398 (java) S 27395 27398 27142 0 -1 1077944320 62589 12887 0 0 1345 21 5 2 20 0 15 0 64620974 11178180608 91524 33554432000 4194304 4196468 140729938216080 140729938198624 140637788503799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
/proc/27398/statm: 2729048 91524 3516 1 0 2690701 0
[pid=27398/tid=27451] ppid=27395 vsize=10916192 memory=0 CPUtime=5.44 cores=1,3,5,7
/proc/27398/task/27451/stat : 27451 (java) R 27395 27398 27142 0 -1 4202560 39523 12887 0 0 527 10 5 2 20 0 15 0 64620983 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637760331520 140637396490120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27452] ppid=27395 vsize=10916192 memory=4028 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27452/stat : 27452 (java) S 27395 27398 27142 0 -1 1077944384 83 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637792745872 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27453] ppid=27395 vsize=10916192 memory=19704 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27453/stat : 27453 (java) S 27395 27398 27142 0 -1 1077944384 71 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637707565328 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27454] ppid=27395 vsize=10916192 memory=1296 CPUtime=0.1 cores=1,3,5,7
/proc/27398/task/27454/stat : 27454 (java) S 27395 27398 27142 0 -1 1077944384 110 12887 0 0 3 0 5 2 20 0 15 0 64620984 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637706513040 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27455] ppid=27395 vsize=10916192 memory=2428 CPUtime=0.11 cores=1,3,5,7
/proc/27398/task/27455/stat : 27455 (java) S 27395 27398 27142 0 -1 1077944384 258 12887 0 0 4 0 5 2 20 0 15 0 64620984 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637705460240 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27456] ppid=27395 vsize=10916192 memory=1728 CPUtime=0.11 cores=1,3,5,7
/proc/27398/task/27456/stat : 27456 (java) S 27395 27398 27142 0 -1 1077944384 2385 12887 0 0 4 0 5 2 20 0 15 0 64620985 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637315074672 140637788514946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27457] ppid=27395 vsize=10916192 memory=1004 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27457/stat : 27457 (java) S 27395 27398 27142 0 -1 1077944384 14 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637227705696 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27458] ppid=27395 vsize=10916192 memory=11956 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27458/stat : 27458 (java) S 27395 27398 27142 0 -1 1077944384 2 12887 0 0 0 0 5 2 20 0 15 0 64620986 11178180608 91524 33554432000 4194304 4196468 140729938216080 140636623726208 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27459] ppid=27395 vsize=10916192 memory=5520 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27459/stat : 27459 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140636316326480 140637788522395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27460] ppid=27395 vsize=10916192 memory=792 CPUtime=3.21 cores=1,3,5,7
/proc/27398/task/27460/stat : 27460 (java) R 27395 27398 27142 0 -1 4202560 5159 12887 0 0 313 1 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637314006800 140637766008320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27461] ppid=27395 vsize=10916192 memory=1228 CPUtime=2.97 cores=1,3,5,7
/proc/27398/task/27461/stat : 27461 (java) R 27395 27398 27142 0 -1 4202560 5070 12887 0 0 289 1 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637312960016 140637767790591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27462] ppid=27395 vsize=10916192 memory=1944 CPUtime=2.03 cores=1,3,5,7
/proc/27398/task/27462/stat : 27462 (java) S 27395 27398 27142 0 -1 1077944384 7705 12887 0 0 192 4 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637311916400 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27463] ppid=27395 vsize=10916192 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27463/stat : 27463 (java) S 27395 27398 27142 0 -1 1077944384 3 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140636282767840 140637788514005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
[pid=27398/tid=27464] ppid=27395 vsize=10916192 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/27398/task/27464/stat : 27464 (java) S 27395 27398 27142 0 -1 1077944384 12 12887 0 0 0 0 5 2 20 0 15 0 64620989 11178180608 91524 33554432000 4194304 4196468 140729938216080 140637310864304 140637788514946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29147136 140729938217132 140729938220380 140729938220380 140729938223055 0
Current children cumulated CPU time: 13.73 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 366096 KiB

Child status: 0
Real time (s): 5.68356
CPU time (s): 13.9624
CPU user time (s): 13.706
CPU system time (s): 0.256462
CPU usage (%): 245.663
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 366096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.706
system time used= 0.256462
maximum resident set size= 368636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75663
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7842
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 27398
#   total CPU time (s): 13.9624
#   total CPU user time (s): 13.706
#   total CPU system time (s): 0.256462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055158 second user time and 0.096431 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-25 00:16:18
IDJOB=4294509
IDBENCH=141391
IDSOLVER=2751
FILE ID=node151/4294509-1532470578
RUNJOBID= node151-1532470571-27174
PBS_JOBID= 21021586
Free space on /tmp= 54912 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06b_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294509-1532470578/watcher-4294509-1532470578 -o /tmp/evaluation-result-4294509-1532470578/solver-4294509-1532470578 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27174 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=881936823 -superng HOME/instance-4294509-1532470578.xml

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

MD5SUM BENCH= ed15a4f7a5bcd1b231009209ed1d9727
RANDOM SEED=881936823

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24353476 kB
MemAvailable:   31552152 kB
Buffers:          167368 kB
Cached:          7269728 kB
SwapCached:            0 kB
Active:          1745732 kB
Inactive:        6146412 kB
Active(anon):     405268 kB
Inactive(anon):    69472 kB
Active(file):    1340464 kB
Inactive(file):  6076940 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27148 kB
Writeback:             0 kB
AnonPages:        462952 kB
Mapped:            51812 kB
Shmem:             17032 kB
Slab:             221788 kB
SReclaimable:     194212 kB
SUnreclaim:        27576 kB
KernelStack:        3488 kB
PageTables:         6020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1508476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54884 MiB
End job on node151 at 2018-07-25 00:16:24