Trace number 4294500

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 12.0977 5.10577

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10a_c18.xml
MD5SUMf13f4091c5ede3f645bbcf95c31b7d83
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.045093
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of constraints253
Number of domains3
Minimum domain size3
Maximum domain size30
Distribution of domain sizes[{"size":3,"count":90},{"size":4,"count":90},{"size":30,"count":180}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":180},{"degree":3,"count":90},{"degree":4,"count":78},{"degree":5,"count":12}]
Minimum constraint arity2
Maximum constraint arity90
Distribution of constraint arities[{"arity":2,"count":180},{"arity":3,"count":60},{"arity":4,"count":3},{"arity":30,"count":6},{"arity":60,"count":3},{"arity":90,"count":1}]
Number of extensional constraints180
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":180},{"type":"allDifferent","count":66},{"type":"ordered","count":3},{"type":"lex","count":1},{"type":"channel","count":3}]
Optimization problemNO
Type of objective

Solver Data

0.96/0.74	c Concrete v3.8.1528841891564 running
11.82/5.08	v <instantiation>
11.82/5.08	v       <list>
11.82/5.08	v         vr[0][0] vr[0][1] vr[0][2] vr[1][0] vr[1][1] vr[1][2] vr[2][0] vr[2][1] vr[2][2] vr[3][0] vr[3][1] vr[3][2] vr[4][0] vr[4][1] vr[4][2] vr[5][0] vr[5][1] vr[5][2] vr[6][0] vr[6][1] vr[6][2] vr[7][0] vr[7][1] vr[7][2] vr[8][0] vr[8][1] vr[8][2] vr[9][0] vr[9][1] vr[9][2] vr[10][0] vr[10][1] vr[10][2] vr[11][0] vr[11][1] vr[11][2] vr[12][0] vr[12][1] vr[12][2] vr[13][0] vr[13][1] vr[13][2] vr[14][0] vr[14][1] vr[14][2] vr[15][0] vr[15][1] vr[15][2] vr[16][0] vr[16][1] vr[16][2] vr[17][0] vr[17][1] vr[17][2] vr[18][0] vr[18][1] vr[18][2] vr[19][0] vr[19][1] vr[19][2] vr[20][0] vr[20][1] vr[20][2] vr[21][0] vr[21][1] vr[21][2] vr[22][0] vr[22][1] vr[22][2] vr[23][0] vr[23][1] vr[23][2] vr[24][0] vr[24][1] vr[24][2] vr[25][0] vr[25][1] vr[25][2] vr[26][0] vr[26][1] vr[26][2] vr[27][0] vr[27][1] vr[27][2] vr[28][0] vr[28][1] vr[28][2] vr[29][0] vr[29][1] vr[29][2] ve[0][0] ve[0][1] ve[0][2] ve[1][0] ve[1][1] ve[1][2] ve[2][0] ve[2][1] ve[2][2] ve[3][0] ve[3][1] ve[3][2] ve[4][0] ve[4][1] ve[4][2] ve[5][0] ve[5][1] ve[5][2] ve[6][0] ve[6][1] ve[6][2] ve[7][0] ve[7][1] ve[7][2] ve[8][0] ve[8][1] ve[8][2] ve[9][0] ve[9][1] ve[9][2] ve[10][0] ve[10][1] ve[10][2] ve[11][0] ve[11][1] ve[11][2] ve[12][0] ve[12][1] ve[12][2] ve[13][0] ve[13][1] ve[13][2] ve[14][0] ve[14][1] ve[14][2] ve[15][0] ve[15][1] ve[15][2] ve[16][0] ve[16][1] ve[16][2] ve[17][0] ve[17][1] ve[17][2] ve[18][0] ve[18][1] ve[18][2] ve[19][0] ve[19][1] ve[19][2] ve[20][0] ve[20][1] ve[20][2] ve[21][0] ve[21][1] ve[21][2] ve[22][0] ve[22][1] ve[22][2] ve[23][0] ve[23][1] ve[23][2] ve[24][0] ve[24][1] ve[24][2] ve[25][0] ve[25][1] ve[25][2] ve[26][0] ve[26][1] ve[26][2] ve[27][0] ve[27][1] ve[27][2] ve[28][0] ve[28][1] ve[28][2] ve[29][0] ve[29][1] ve[29][2] gvr[0][0] gvr[0][1] gvr[0][2] gvr[1][0] gvr[1][1] gvr[1][2] gvr[2][0] gvr[2][1] gvr[2][2] gvr[3][0] gvr[3][1] gvr[3][2] gvr[4][0] gvr[4][1] gvr[4][2] gvr[5][0] gvr[5][1] gvr[5][2] gvr[6][0] gvr[6][1] gvr[6][2] gvr[7][0] gvr[7][1] gvr[7][2] gvr[8][0] gvr[8][1] gvr[8][2] gvr[9][0] gvr[9][1] gvr[9][2] gvr[10][0] gvr[10][1] gvr[10][2] gvr[11][0] gvr[11][1] gvr[11][2] gvr[12][0] gvr[12][1] gvr[12][2] gvr[13][0] gvr[13][1] gvr[13][2] gvr[14][0] gvr[14][1] gvr[14][2] gvr[15][0] gvr[15][1] gvr[15][2] gvr[16][0] gvr[16][1] gvr[16][2] gvr[17][0] gvr[17][1] gvr[17][2] gvr[18][0] gvr[18][1] gvr[18][2] gvr[19][0] gvr[19][1] gvr[19][2] gvr[20][0] gvr[20][1] gvr[20][2] gvr[21][0] gvr[21][1] gvr[21][2] gvr[22][0] gvr[22][1] gvr[22][2] gvr[23][0] gvr[23][1] gvr[23][2] gvr[24][0] gvr[24][1] gvr[24][2] gvr[25][0] gvr[25][1] gvr[25][2] gvr[26][0] gvr[26][1] gvr[26][2] gvr[27][0] gvr[27][1] gvr[27][2] gvr[28][0] gvr[28][1] gvr[28][2] gvr[29][0] gvr[29][1] gvr[29][2] gve[0][0] gve[0][1] gve[0][2] gve[1][0] gve[1][1] gve[1][2] gve[2][0] gve[2][1] gve[2][2] gve[3][0] gve[3][1] gve[3][2] gve[4][0] gve[4][1] gve[4][2] gve[5][0] gve[5][1] gve[5][2] gve[6][0] gve[6][1] gve[6][2] gve[7][0] gve[7][1] gve[7][2] gve[8][0] gve[8][1] gve[8][2] gve[9][0] gve[9][1] gve[9][2] gve[10][0] gve[10][1] gve[10][2] gve[11][0] gve[11][1] gve[11][2] gve[12][0] gve[12][1] gve[12][2] gve[13][0] gve[13][1] gve[13][2] gve[14][0] gve[14][1] gve[14][2] gve[15][0] gve[15][1] gve[15][2] gve[16][0] gve[16][1] gve[16][2] gve[17][0] gve[17][1] gve[17][2] gve[18][0] gve[18][1] gve[18][2] gve[19][0] gve[19][1] gve[19][2] gve[20][0] gve[20][1] gve[20][2] gve[21][0] gve[21][1] gve[21][2] gve[22][0] gve[22][1] gve[22][2] gve[23][0] gve[23][1] gve[23][2] gve[24][0] gve[24][1] gve[24][2] gve[25][0] gve[25][1] gve[25][2] gve[26][0] gve[26][1] gve[26][2] gve[27][0] gve[27][1] gve[27][2] gve[28][0] gve[28][1] gve[28][2] gve[29][0] gve[29][1] gve[29][2]
11.82/5.08	v       </list>
11.82/5.08	v       <values>
11.82/5.08	v         0 13 28 1 10 23 2 29 19 3 26 17 4 25 14 5 16 21 6 15 27 7 22 18 8 12 24 9 20 11 10 4 20 11 3 22 12 21 5 13 24 6 14 8 29 15 0 25 16 23 2 17 5 26 18 27 8 19 28 3 20 14 4 21 2 10 22 6 13 23 7 16 24 9 15 25 1 12 26 11 0 27 17 1 28 18 7 29 19 9 0 15 26 1 25 27 2 21 16 3 11 19 4 10 20 5 17 12 6 22 13 7 23 28 8 14 18 9 24 29 10 1 21 11 26 9 12 8 25 13 0 22 14 20 4 15 6 24 16 5 23 17 27 3 18 28 7 19 29 2 20 9 10 21 12 5 22 7 11 23 16 1 24 13 8 25 4 15 26 3 17 27 18 6 28 19 0 29 2 14 0 1 2 0 1 2 0 2 1 0 2 1 0 2 1 0 1 2 0 1 2 0 2 1 0 1 2 0 2 1 1 0 2 1 0 2 1 2 0 1 2 0 1 0 2 1 0 2 1 2 0 1 0 2 1 2 0 1 2 0 2 1 0 2 0 1 2 0 1 2 0 1 2 0 1 2 0 1 2 1 0 2 1 0 2 1 0 2 1 0 0 1 3 0 2 3 0 2 1 0 1 2 0 1 2 0 2 1 0 2 1 0 2 3 0 1 2 0 2 3 1 0 2 1 3 0 1 0 2 1 0 2 1 2 0 1 0 2 1 0 2 2 3 0 2 3 0 2 3 0 2 0 1 2 1 0 2 0 1 2 1 0 2 1 0 2 0 1 3 0 2 3 2 0 3 2 0 3 0 1
11.82/5.08	v       </values>
11.82/5.08	v     </instantiation>
11.82/5.08	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 (13264 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-4294500-1532470571/watcher-4294500-1532470571 -o /tmp/evaluation-result-4294500-1532470571/solver-4294500-1532470571 -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=1477195721 -superng HOME/instance-4294500-1532470571.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=27202, runsolver pid=27195
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.00 1.01 1.03 3/189 27308
/proc/meminfo: memFree=24744712/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=9972712 memory=17272 CPUtime=0.08 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 3972 13267 0 0 1 0 5 2 20 0 6 0 64620302 10212057088 4318 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2493178 4318 1719 1 0 2481616 0
[pid=27202/tid=27307] ppid=27195 vsize=9972712 memory=-6517102902069810590 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 1811 13267 0 0 0 0 5 2 20 0 6 0 64620312 10212057088 4384 33554432000 4194304 4196468 140733725506560 139706431349328 139706382588901 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 64620312 10212057088 4384 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=9972712 memory=139861374899840 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 6 0 64620312 10212057088 4384 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 64620312 10212057088 4384 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 6 0 64620312 10212057088 4384 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17272 KiB

[startup+0.210893 s]*
/proc/loadavg: 1.00 1.01 1.03 4/215 27334
/proc/meminfo: memFree=24697452/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10818904 memory=38672 CPUtime=0.24 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 6971 13267 0 0 16 1 5 2 20 0 15 0 64620302 11078557696 9668 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2704726 9668 2929 1 0 2667149 0
[pid=27202/tid=27307] ppid=27195 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 3600 13267 0 0 10 1 5 2 20 0 15 0 64620312 11078557696 9668 33554432000 4194304 4196468 140733725506560 139706431331768 139706439778450 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10818904 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11078557696 9668 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10818904 memory=139861374926794 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620312 11078557696 9668 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11078557696 9668 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11078557696 9668 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10818904 memory=139861374899840 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11078557696 9668 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 33 13267 0 0 0 0 5 2 20 0 15 0 64620314 11078557696 9668 33554432000 4194304 4196468 140733725506560 139705663042336 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620314 11078557696 9668 33554432000 4194304 4196468 140733725506560 139705555346544 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) S 27195 27202 27142 0 -1 1077944384 521 13267 0 0 1 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705629485680 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) S 27195 27202 27142 0 -1 1077944384 53 13267 0 0 0 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705628432880 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10818904 memory=139861374899840 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 554 13267 0 0 3 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10818904 memory=139861374899840 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620317 11078557696 9734 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 38672 KiB

[startup+0.310083 s]*
/proc/loadavg: 1.00 1.01 1.03 4/215 27334
/proc/meminfo: memFree=24673872/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10819352 memory=52568 CPUtime=0.36 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 10294 13267 0 0 27 2 5 2 20 0 15 0 64620302 11079016448 13142 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2704838 13142 3048 1 0 2667149 0
[pid=27202/tid=27307] ppid=27195 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 6912 13267 0 0 18 2 5 2 20 0 15 0 64620312 11079016448 13142 33554432000 4194304 4196468 140733725506560 139706431324576 139706439788288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 13142 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 13142 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 13142 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 13142 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 13142 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 33 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 13142 33554432000 4194304 4196468 140733725506560 139705663042336 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 13142 33554432000 4194304 4196468 140733725506560 139705555346544 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 13142 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) S 27195 27202 27142 0 -1 1077944384 522 13267 0 0 2 0 5 2 20 0 15 0 64620317 11079016448 13184 33554432000 4194304 4196468 140733725506560 139705629485680 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) S 27195 27202 27142 0 -1 1077944384 53 13267 0 0 1 0 5 2 20 0 15 0 64620317 11079016448 13184 33554432000 4194304 4196468 140733725506560 139705628432880 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10819352 memory=139861374899840 CPUtime=0.11 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 564 13267 0 0 4 0 5 2 20 0 15 0 64620317 11079016448 13184 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 13184 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10819352 memory=139861374899840 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 13184 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52568 KiB

[startup+0.700787 s]
/proc/loadavg: 1.00 1.01 1.03 6/215 27334
/proc/meminfo: memFree=24652176/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10819352 memory=85332 CPUtime=0.96 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 16417 13267 0 0 85 4 5 2 20 0 15 0 64620302 11079016448 21333 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2704838 21333 3240 1 0 2667149 0
[pid=27202/tid=27307] ppid=27195 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 11938 13267 0 0 55 3 5 2 20 0 15 0 64620312 11079016448 21333 33554432000 4194304 4196468 140733725506560 139706431333392 139706441065872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 21333 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10819352 memory=2516783728385 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 21333 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10819352 memory=215418774 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 21333 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10819352 memory=-7886167514736700194 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620312 11079016448 21333 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10819352 memory=7518588407632847961 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 5 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10819352 memory=5795117241467496816 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 33 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705663042336 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620314 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705555346544 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10819352 memory=12556 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10819352 memory=4052 CPUtime=0.17 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) S 27195 27202 27142 0 -1 1077944384 1190 13267 0 0 10 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705629485680 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10819352 memory=18444 CPUtime=0.13 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) S 27195 27202 27142 0 -1 1077944384 427 13267 0 0 6 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705628432880 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10819352 memory=640 CPUtime=0.2 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 616 13267 0 0 13 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10819352 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10819352 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 1 13267 0 0 0 0 5 2 20 0 15 0 64620317 11079016448 21333 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85332 KiB

[startup+1.50081 s]
/proc/loadavg: 1.00 1.01 1.03 4/215 27334
/proc/meminfo: memFree=24562480/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10834252 memory=187652 CPUtime=2.57 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 25444 13267 0 0 240 10 5 2 20 0 15 0 64620302 11094274048 46913 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2708563 46913 3470 1 0 2670221 0
[pid=27202/tid=27307] ppid=27195 vsize=10834252 memory=110752 CPUtime=1.41 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 17227 13267 0 0 128 6 5 2 20 0 15 0 64620312 11094274048 46913 33554432000 4194304 4196468 140733725506560 139706431329328 139706443593054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10834252 memory=108712 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 20 13267 0 0 1 0 5 2 20 0 15 0 64620312 11094274048 46913 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 17 13267 0 0 1 0 5 2 20 0 15 0 64620312 11094274048 46913 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10834252 memory=1572 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 61 13267 0 0 1 0 5 2 20 0 15 0 64620312 11094274048 46913 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10834252 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 193 13267 0 0 1 0 5 2 20 0 15 0 64620312 11094274048 46913 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10834252 memory=4124 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 883 13267 0 0 1 0 5 2 20 0 15 0 64620314 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10834252 memory=279722496155936 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 55 13267 0 0 0 0 5 2 20 0 15 0 64620314 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705663042400 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705555346560 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10834252 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) S 27195 27202 27142 0 -1 1077944384 2076 13267 0 0 39 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705629485680 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10834252 memory=8868 CPUtime=0.33 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) S 27195 27202 27142 0 -1 1077944384 1111 13267 0 0 26 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705628432880 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10834252 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 1597 13267 0 0 38 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10834252 memory=19233 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11094274048 46913 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 10834252 KiB

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

[startup+5.10572 s]
# the end of solver process 27202 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.8504 s, system=0.247331 s

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

[startup+3.20889 s]
/proc/loadavg: 1.16 1.05 1.05 9/215 27334
/proc/meminfo: memFree=24276272/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10844512 memory=245344 CPUtime=6.25 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 39839 13267 0 0 604 14 5 2 20 0 15 0 64620302 11104780288 61336 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2711128 61336 3491 1 0 2672781 0
[pid=27202/tid=27307] ppid=27195 vsize=10844512 memory=1728 CPUtime=3.11 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 26884 13267 0 0 296 8 5 2 20 0 15 0 64620312 11104780288 61336 33554432000 4194304 4196468 140733725506560 139706431343888 139706459534493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10844512 memory=1004 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 20 13267 0 0 1 0 5 2 20 0 15 0 64620312 11104780288 61336 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10844512 memory=11956 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 17 13267 0 0 1 0 5 2 20 0 15 0 64620312 11104780288 61336 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10844512 memory=5520 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 61 13267 0 0 1 0 5 2 20 0 15 0 64620312 11104780288 61336 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10844512 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 193 13267 0 0 1 0 5 2 20 0 15 0 64620312 11104780288 61336 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 953 13267 0 0 1 0 5 2 20 0 15 0 64620314 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10844512 memory=6933690305039933585 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 55 13267 0 0 0 0 5 2 20 0 15 0 64620314 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705663042400 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10844512 memory=6933690287860520088 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705555346560 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10844512 memory=-8412658744833442419 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10844512 memory=8622098092527429763 CPUtime=1.03 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) R 27195 27202 27142 0 -1 4202560 3086 13267 0 0 96 0 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705629472144 139706451801949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10844512 memory=288230574492221466 CPUtime=0.95 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) R 27195 27202 27142 0 -1 4202560 1898 13267 0 0 87 1 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705628421280 139706439229703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10844512 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 4467 13267 0 0 116 1 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 11 13267 0 0 0 0 5 2 20 0 15 0 64620317 11104780288 61336 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 245344 KiB

[startup+4.00087 s]*
/proc/loadavg: 1.16 1.05 1.05 10/215 27334
/proc/meminfo: memFree=24179360/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10848608 memory=276848 CPUtime=8.71 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 53970 13267 0 0 847 17 5 2 20 0 15 0 64620302 11108974592 69212 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2712152 69212 3513 1 0 2673805 0
[pid=27202/tid=27307] ppid=27195 vsize=10848608 memory=-5576147254922478384 CPUtime=3.86 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 33879 13267 0 0 371 8 5 2 20 0 15 0 64620312 11108974592 69212 33554432000 4194304 4196468 140733725506560 139706431328208 139706439788274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10848608 memory=3054156605267021189 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 437 13267 0 0 3 0 5 2 20 0 15 0 64620312 11108974592 69212 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10848608 memory=7719367038752372384 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 214 13267 0 0 3 0 5 2 20 0 15 0 64620312 11108974592 69212 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10848608 memory=-8382741927119592821 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 95 13267 0 0 3 0 5 2 20 0 15 0 64620312 11108974592 69212 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10848608 memory=7742905388416778858 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 216 13267 0 0 3 0 5 2 20 0 15 0 64620312 11108974592 69212 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10848608 memory=2308580214820701142 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 3431 13267 0 0 3 0 5 2 20 0 15 0 64620314 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10848608 memory=3474022669416215857 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 55 13267 0 0 0 0 5 2 20 0 15 0 64620314 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705663042400 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10848608 memory=7373069242380148841 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705555346560 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10848608 memory=7518026630507424870 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10848608 memory=0 CPUtime=1.64 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) R 27195 27202 27142 0 -1 4202560 4039 13267 0 0 157 0 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705629466576 139706444421666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10848608 memory=3539887818412142647 CPUtime=1.56 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) R 27195 27202 27142 0 -1 4202560 3767 13267 0 0 148 1 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705628423472 139706441032214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10848608 memory=3905077604352374448 CPUtime=1.61 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 5641 13267 0 0 152 2 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10848608 memory=4049052952914636847 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10848608 memory=3543663734255892152 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 11 13267 0 0 0 0 5 2 20 0 15 0 64620317 11108974592 69212 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 276848 KiB

[startup+4.80089 s]
/proc/loadavg: 1.16 1.05 1.05 10/215 27334
/proc/meminfo: memFree=24179360/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10916192 memory=347128 CPUtime=11.17 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 66372 13267 0 0 1090 20 5 2 20 0 15 0 64620302 11178180608 86782 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2729048 86782 3518 1 0 2690701 0
[pid=27202/tid=27307] ppid=27195 vsize=10916192 memory=7 CPUtime=4.65 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 42624 13267 0 0 448 10 5 2 20 0 15 0 64620312 11178180608 86782 33554432000 4194304 4196468 140733725506560 139706431343568 139706059448807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10916192 memory=139861247963765 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 437 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 86782 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10916192 memory=11380 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 214 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 86782 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10916192 memory=8319106358719951414 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 95 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 86782 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10916192 memory=7163085330834601270 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 216 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 86782 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10916192 memory=8751464017575295288 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 3431 13267 0 0 3 0 5 2 20 0 15 0 64620314 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10916192 memory=30 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 55 13267 0 0 0 0 5 2 20 0 15 0 64620314 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705663042400 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705555346560 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10916192 memory=139861248052224 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10916192 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) R 27195 27202 27142 0 -1 4202560 5553 13267 0 0 235 1 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705629473232 139706440697524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10916192 memory=825241649 CPUtime=2.21 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) R 27195 27202 27142 0 -1 4202560 5459 13267 0 0 213 1 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705628418976 139706441034273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10916192 memory=6791534058613427641 CPUtime=1.83 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) S 27195 27202 27142 0 -1 1077944384 6075 13267 0 0 174 2 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10916192 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10916192 memory=12556 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 12 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 86782 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 11.17 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 347128 KiB

[startup+5.00091 s]*
/proc/loadavg: 1.16 1.05 1.05 9/215 27334
/proc/meminfo: memFree=24074272/32770624 swapFree=67108860/67108860
[pid=27202] ppid=27195 vsize=10916192 memory=368172 CPUtime=11.82 cores=1,3,5,7
/proc/27202/stat : 27202 (java) S 27195 27202 27142 0 -1 1077944320 66555 13267 0 0 1155 20 5 2 20 0 15 0 64620302 11178180608 92043 33554432000 4194304 4196468 140733725506560 140733725489104 139706459512567 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
/proc/27202/statm: 2729048 92043 3520 1 0 2690701 0
[pid=27202/tid=27307] ppid=27195 vsize=10916192 memory=-5721105768416838448 CPUtime=4.85 cores=1,3,5,7
/proc/27202/task/27307/stat : 27307 (java) R 27195 27202 27142 0 -1 4202560 42700 13267 0 0 468 10 5 2 20 0 15 0 64620312 11178180608 92043 33554432000 4194304 4196468 140733725506560 139706431342880 139706041925700 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27309] ppid=27195 vsize=10916192 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27309/stat : 27309 (java) S 27195 27202 27142 0 -1 1077944384 444 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 92043 33554432000 4194304 4196468 140733725506560 139706463755152 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27310] ppid=27195 vsize=10916192 memory=279722623236240 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27310/stat : 27310 (java) S 27195 27202 27142 0 -1 1077944384 216 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 92043 33554432000 4194304 4196468 140733725506560 139706362645264 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27313] ppid=27195 vsize=10916192 memory=268340 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27313/stat : 27313 (java) S 27195 27202 27142 0 -1 1077944384 103 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 92043 33554432000 4194304 4196468 140733725506560 139706031271056 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27316] ppid=27195 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27316/stat : 27316 (java) S 27195 27202 27142 0 -1 1077944384 216 13267 0 0 3 0 5 2 20 0 15 0 64620312 11178180608 92043 33554432000 4194304 4196468 140733725506560 139706030218256 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27317] ppid=27195 vsize=10916192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27202/task/27317/stat : 27317 (java) S 27195 27202 27142 0 -1 1077944384 3432 13267 0 0 3 0 5 2 20 0 15 0 64620314 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705664096368 139706459523714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27319] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27319/stat : 27319 (java) S 27195 27202 27142 0 -1 1077944384 55 13267 0 0 0 0 5 2 20 0 15 0 64620314 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705663042464 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27321] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27321/stat : 27321 (java) S 27195 27202 27142 0 -1 1077944384 2 13267 0 0 0 0 5 2 20 0 15 0 64620314 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705555346560 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27324] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27324/stat : 27324 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705046620240 139706459531163 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27328] ppid=27195 vsize=10916192 memory=0 CPUtime=2.64 cores=1,3,5,7
/proc/27202/task/27328/stat : 27328 (java) R 27195 27202 27142 0 -1 4202560 5587 13267 0 0 256 1 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705629475792 139706442923521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27329] ppid=27195 vsize=10916192 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/27202/task/27329/stat : 27329 (java) R 27195 27202 27142 0 -1 4202560 5496 13267 0 0 234 1 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705628419424 139706443899617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27330] ppid=27195 vsize=10916192 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/27202/task/27330/stat : 27330 (java) R 27195 27202 27142 0 -1 1077944384 6093 13267 0 0 177 2 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705627380592 139706459523714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27332] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27332/stat : 27332 (java) S 27195 27202 27142 0 -1 1077944384 3 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705013062624 139706459522773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
[pid=27202/tid=27334] ppid=27195 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27202/task/27334/stat : 27334 (java) S 27195 27202 27142 0 -1 1077944384 12 13267 0 0 0 0 5 2 20 0 15 0 64620317 11178180608 92043 33554432000 4194304 4196468 140733725506560 139705626327472 139706459523714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18681856 140733725509803 140733725513052 140733725513052 140733725515727 0
Current children cumulated CPU time: 11.82 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 368172 KiB

Child status: 0
Real time (s): 5.10577
CPU time (s): 12.0977
CPU user time (s): 11.8504
CPU system time (s): 0.247331
CPU usage (%): 236.941
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 368172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8504
system time used= 0.247331
maximum resident set size= 370876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7721
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 27202
#   total CPU time (s): 12.0977
#   total CPU user time (s): 11.8504
#   total CPU system time (s): 0.247331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056597 second user time and 0.091455 second system time

The end

Launcher Data

Begin job on node151 at 2018-07-25 00:16:11
IDJOB=4294500
IDBENCH=141390
IDSOLVER=2751
FILE ID=node151/4294500-1532470571
RUNJOBID= node151-1532470571-27174
PBS_JOBID= 21021586
Free space on /tmp= 54936 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-10a_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-4294500-1532470571/watcher-4294500-1532470571 -o /tmp/evaluation-result-4294500-1532470571/solver-4294500-1532470571 -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=1477195721 -superng HOME/instance-4294500-1532470571.xml

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

MD5SUM BENCH= f13f4091c5ede3f645bbcf95c31b7d83
RANDOM SEED=1477195721

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:        24754852 kB
MemAvailable:   31952732 kB
Buffers:          167188 kB
Cached:          7269120 kB
SwapCached:            0 kB
Active:          1344596 kB
Inactive:        6146276 kB
Active(anon):       4692 kB
Inactive(anon):    69472 kB
Active(file):    1339904 kB
Inactive(file):  6076804 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             53192 kB
Writeback:             0 kB
AnonPages:         62260 kB
Mapped:            38032 kB
Shmem:             17032 kB
Slab:             220856 kB
SReclaimable:     194016 kB
SUnreclaim:        26840 kB
KernelStack:        3104 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:16