Trace number 4245549

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4OPT0 12.0528 5.10075

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-03-035-010.xml
MD5SUMfae8403920cd33ebcdf1b903a2143a11
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.026662
Satisfiable
(Un)Satisfiability was proved
Number of variables106
Number of constraints7
Number of domains2
Minimum domain size2
Maximum domain size36
Distribution of domain sizes[{"size":2,"count":105},{"size":36,"count":1}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":106}]
Minimum constraint arity35
Maximum constraint arity105
Distribution of constraint arities[{"arity":35,"count":3},{"arity":71,"count":3},{"arity":105,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":6}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

3.81/2.20	c Concrete v3.4 running
10.12/4.68	o 35
10.36/4.71	o 34
10.36/4.73	o 33
10.36/4.75	o 32
10.36/4.77	o 31
10.36/4.78	o 30
10.36/4.79	o 29
10.83/4.81	o 28
10.83/4.82	o 27
10.83/4.83	o 26
10.83/4.84	o 25
10.83/4.85	o 24
10.83/4.86	o 23
10.83/4.87	o 22
10.83/4.87	o 21
10.83/4.88	o 20
10.83/4.89	o 19
11.28/4.90	o 18
11.28/4.91	o 17
11.28/4.92	o 16
11.28/4.92	o 15
11.28/4.93	o 14
11.28/4.94	o 13
11.28/4.94	o 12
11.28/4.95	o 11
11.28/4.96	o 10
11.28/4.96	o 9
11.28/4.97	o 8
11.28/4.98	o 7
11.28/4.98	o 6
11.72/5.02	o 5
11.72/5.03	o 4
11.72/5.04	o 3
11.72/5.04	o 2
11.72/5.05	o 1
11.72/5.05	o 0
11.72/5.06	v <instantiation cost="0">
11.72/5.06	v       <list>
11.72/5.06	v         z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34]
11.72/5.06	v       </list>
11.72/5.06	v       <values>
11.72/5.06	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.72/5.06	v       </values>
11.72/5.06	v     </instantiation>
11.72/5.06	s OPTIMUM FOUND

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245549-1500704315/watcher-4245549-1500704315 -o /tmp/evaluation-result-4245549-1500704315/solver-4245549-1500704315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560 bin/concrete HOME/instance-4245549-1500704315.xml 

pid=19055
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.77 2.00 1.72 10/261 19058
/proc/meminfo: memFree=30013092/32770624 swapFree=5844/258308
[pid=19058] ppid=19055 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (bash) S 19055 19058 13605 0 -1 4202496 685 1532 0 0 0 0 0 0 20 0 1 0 5698401 9736192 350 33554432000 4194304 5098028 140729387033056 140729387030696 140111626570752 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 15560704 140729387042062 140729387042147 140729387042147 140729387044846 0
/proc/19058/statm: 2377 350 277 221 0 86 0

[startup+0.100099 s]
/proc/loadavg: 2.77 2.00 1.72 10/261 19058
/proc/meminfo: memFree=30013092/32770624 swapFree=5844/258308
[pid=19058] ppid=19055 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (bash) S 19055 19058 13605 0 -1 4202496 879 6419 0 0 0 0 0 1 20 0 1 0 5698401 9871360 378 33554432000 4194304 5098028 140729387033056 140729387027064 140111626570752 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 15560704 140729387042062 140729387042147 140729387042147 140729387044846 0
/proc/19058/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200267 s]
/proc/loadavg: 2.77 2.00 1.72 10/261 19058
/proc/meminfo: memFree=30013092/32770624 swapFree=5844/258308
[pid=19058] ppid=19055 vsize=10835244 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 5738 12640 0 0 7 2 6 3 20 0 19 0 5698401 11095289856 6070 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2708811 6070 2598 1 0 2697249 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10835244

[startup+0.300354 s]
/proc/loadavg: 2.77 2.00 1.72 10/261 19058
/proc/meminfo: memFree=30013092/32770624 swapFree=5844/258308
[pid=19058] ppid=19055 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 9650 12640 0 0 23 3 6 3 20 0 20 0 5698401 11164049408 10675 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2725598 10675 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700203 s]
/proc/loadavg: 2.77 2.00 1.72 10/261 19058
/proc/meminfo: memFree=30013092/32770624 swapFree=5844/258308
[pid=19058] ppid=19055 vsize=10902720 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 12950 12640 0 0 84 5 6 3 20 0 20 0 5698401 11164385280 16296 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2725680 16296 3228 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720

[startup+1.50124 s]
/proc/loadavg: 2.77 2.00 1.72 3/281 19131
/proc/meminfo: memFree=29552568/32770624 swapFree=5844/258624
[pid=19058] ppid=19055 vsize=10915392 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 26399 12640 0 0 211 13 6 3 20 0 20 0 5698401 11177361408 44146 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2728848 44146 3408 1 0 2716962 0
[pid=19058/tid=19113] ppid=19055 vsize=10915392 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) R 19055 19058 13605 0 -1 4202560 19665 12640 0 0 128 5 6 3 20 0 20 0 5698412 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271512692504 140271508475286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 149 12640 0 0 1 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 17 12640 0 0 0 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 25 12640 0 0 1 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 11 12640 0 0 0 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 41 12640 0 0 1 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 12 12640 0 0 0 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 26 12640 0 0 1 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 44 12640 0 0 1 0 6 3 20 0 20 0 5698413 11177361408 44146 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 738 12640 0 0 2 0 6 3 20 0 20 0 5698415 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 0 0 6 3 20 0 20 0 5698416 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270847788320 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270846735984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10915392 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) S 19055 19058 13605 0 -1 1077944384 948 12640 0 0 17 0 6 3 20 0 20 0 5698420 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270844631152 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10915392 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) S 19055 19058 13605 0 -1 1077944384 442 12640 0 0 12 0 6 3 20 0 20 0 5698420 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270843578352 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10915392 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) S 19055 19058 13605 0 -1 1077944384 777 12640 0 0 13 0 6 3 20 0 20 0 5698420 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270842526064 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10915392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) S 19055 19058 13605 0 -1 1077944384 1266 12640 0 0 28 0 6 3 20 0 20 0 5698420 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270841473264 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10915392 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) S 19055 19058 13605 0 -1 1077944384 5 12640 0 0 0 0 6 3 20 0 20 0 5698421 11177361408 44146 33554432000 4194304 4196468 140727162927600 140270839368496 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10915392

[startup+3.10115 s]
/proc/loadavg: 2.77 2.00 1.72 4/281 19131
/proc/meminfo: memFree=28742596/32770624 swapFree=5844/258592
[pid=19058] ppid=19055 vsize=10927868 CPUtime=7.04 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 43468 12640 0 0 677 18 6 3 20 0 20 0 5698401 11190136832 53975 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2731967 53975 3475 1 0 2719522 0
[pid=19058/tid=19113] ppid=19055 vsize=10927868 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) R 19055 19058 13605 0 -1 4202560 28944 12640 0 0 285 7 6 3 20 0 20 0 5698412 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271512694968 140271490026833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 149 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 17 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 25 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 11 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 41 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 12 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 26 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 44 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 53975 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 751 12640 0 0 2 0 6 3 20 0 20 0 5698415 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 0 0 6 3 20 0 20 0 5698416 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270847788320 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270846735984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10927868 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) R 19055 19058 13605 0 -1 4202560 3982 12640 0 0 115 1 6 3 20 0 20 0 5698420 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270844617120 140271501563051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10927868 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) R 19055 19058 13605 0 -1 4202560 1677 12640 0 0 68 1 6 3 20 0 20 0 5698420 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270843564376 140271489983030 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10927868 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) R 19055 19058 13605 0 -1 4202560 1972 12640 0 0 84 0 6 3 20 0 20 0 5698420 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270842512088 140271493588720 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10927868 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) S 19055 19058 13605 0 -1 1077944384 3580 12640 0 0 111 1 6 3 20 0 20 0 5698420 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270841473264 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) S 19055 19058 13605 0 -1 1077944384 6 12640 0 0 0 0 6 3 20 0 20 0 5698421 11190136832 53975 33554432000 4194304 4196468 140727162927600 140270839368496 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 10927868

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19058 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20146 s]
/proc/loadavg: 2.77 2.00 1.72 4/281 19131
/proc/meminfo: memFree=28742596/32770624 swapFree=5844/258592
[pid=19058] ppid=19055 vsize=10927868 CPUtime=7.44 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 43934 12640 0 0 717 18 6 3 20 0 20 0 5698401 11190136832 55952 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2731967 55952 3475 1 0 2719522 0
[pid=19058/tid=19113] ppid=19055 vsize=10927868 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) R 19055 19058 13605 0 -1 4202560 28962 12640 0 0 295 7 6 3 20 0 20 0 5698412 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271512693032 140271101943792 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 149 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 17 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 25 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 11 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 41 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 12 12640 0 0 0 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 26 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 44 12640 0 0 1 0 6 3 20 0 20 0 5698413 11190136832 55952 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10927868 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 751 12640 0 0 2 0 6 3 20 0 20 0 5698415 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 0 0 6 3 20 0 20 0 5698416 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270847788320 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270846735984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10927868 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) R 19055 19058 13605 0 -1 4202560 4212 12640 0 0 125 1 6 3 20 0 20 0 5698420 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270844617584 140271493589232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10927868 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) R 19055 19058 13605 0 -1 4202560 1715 12640 0 0 73 1 6 3 20 0 20 0 5698420 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270843578648 140271493588070 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10927868 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) S 19055 19058 13605 0 -1 1077944384 2009 12640 0 0 90 0 6 3 20 0 20 0 5698420 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270842526064 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10927868 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) R 19055 19058 13605 0 -1 4202560 3720 12640 0 0 120 1 6 3 20 0 20 0 5698420 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270841466272 140271487862224 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10927868 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) S 19055 19058 13605 0 -1 1077944384 6 12640 0 0 0 0 6 3 20 0 20 0 5698421 11190136832 55952 33554432000 4194304 4196468 140727162927600 140270839368496 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 10927868

[startup+4.00077 s]
/proc/loadavg: 2.79 2.01 1.73 3/281 19131
/proc/meminfo: memFree=28634076/32770624 swapFree=5844/258592
[pid=19058] ppid=19055 vsize=10929916 CPUtime=8.84 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 51314 12640 0 0 853 22 6 3 20 0 20 0 5698401 11192233984 68908 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2732479 68908 3482 1 0 2720034 0
[pid=19058/tid=19113] ppid=19055 vsize=10929916 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) D 19055 19058 13605 0 -1 4202560 34585 12640 0 0 338 8 6 3 20 0 20 0 5698412 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271512678008 140271488115824 0 4 0 16800975 18446744072100719749 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 160 12640 0 0 2 1 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 49 12640 0 0 2 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 33 12640 0 0 2 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 23 12640 0 0 2 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 74 12640 0 0 3 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 27 12640 0 0 2 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 45 12640 0 0 3 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10929916 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 47 12640 0 0 2 0 6 3 20 0 20 0 5698413 11192233984 68908 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10929916 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 1733 12640 0 0 4 0 6 3 20 0 20 0 5698415 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10929916 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 0 0 6 3 20 0 20 0 5698416 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270847788384 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10929916 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270846736000 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10929916 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10929916 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) S 19055 19058 13605 0 -1 1077944384 4292 12640 0 0 143 1 6 3 20 0 20 0 5698420 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270844631152 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10929916 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) S 19055 19058 13605 0 -1 1077944384 1857 12640 0 0 93 1 6 3 20 0 20 0 5698420 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270843578352 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10929916 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) S 19055 19058 13605 0 -1 1077944384 2099 12640 0 0 110 1 6 3 20 0 20 0 5698420 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270842526064 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10929916 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) S 19055 19058 13605 0 -1 1077944384 4050 12640 0 0 138 1 6 3 20 0 20 0 5698420 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270841473264 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10929916 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10929916 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) D 19055 19058 13605 0 -1 4202560 6 12640 0 0 0 0 6 3 20 0 20 0 5698421 11192233984 68908 33554432000 4194304 4196468 140727162927600 140270839368416 140271493319438 0 4 0 16800975 18446744072100719749 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 10929916

[startup+4.80111 s]
/proc/loadavg: 2.79 2.01 1.73 7/281 19131
/proc/meminfo: memFree=28548988/32770624 swapFree=5844/258600
[pid=19058] ppid=19055 vsize=10997500 CPUtime=10.83 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 57721 12640 0 0 1050 24 6 3 20 0 20 0 5698401 11261440000 75247 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2749375 75247 3482 1 0 2736930 0
[pid=19058/tid=19113] ppid=19055 vsize=10997500 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) R 19055 19058 13605 0 -1 4202560 40351 12640 0 0 385 9 6 3 20 0 20 0 5698412 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271512695624 140271111589686 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 161 12640 0 0 11 1 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10997500 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 13 1 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 42 12640 0 0 12 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 35 12640 0 0 12 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 79 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10997500 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 30 12640 0 0 11 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 58 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75247 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 1748 12640 0 0 12 0 6 3 20 0 20 0 5698415 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 57 12640 0 0 0 0 6 3 20 0 20 0 5698416 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270847788448 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270846736000 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10997500 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) R 19055 19058 13605 0 -1 4202560 4336 12640 0 0 156 1 6 3 20 0 20 0 5698420 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270844618832 140271508475286 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10997500 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) R 19055 19058 13605 0 -1 4202560 1904 12640 0 0 106 1 6 3 20 0 20 0 5698420 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270843564896 140271508484698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10997500 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) R 19055 19058 13605 0 -1 4202560 2144 12640 0 0 127 1 6 3 20 0 20 0 5698420 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270842514544 140271508484698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10997500 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) R 19055 19058 13605 0 -1 4202560 4493 12640 0 0 157 1 6 3 20 0 20 0 5698420 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270841466928 140271508484698 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) S 19055 19058 13605 0 -1 1077944384 9 12640 0 0 0 0 6 3 20 0 20 0 5698421 11261440000 75247 33554432000 4194304 4196468 140727162927600 140270839368496 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 41 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 10.83
Current children cumulated vsize (KiB) 10997500

[startup+5.00113 s]
/proc/loadavg: 2.79 2.01 1.73 7/281 19131
/proc/meminfo: memFree=28548988/32770624 swapFree=5844/258600
[pid=19058] ppid=19055 vsize=10997500 CPUtime=11.72 cores=0,2,4,6,8,10,12,14
/proc/19058/stat : 19058 (java) S 19055 19058 13605 0 -1 1077944320 58392 12640 0 0 1139 24 6 3 20 0 20 0 5698401 11261440000 75864 33554432000 4194304 4196468 140727162927600 140727162910144 140271508463351 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
/proc/19058/statm: 2749375 75864 3485 1 0 2736930 0
[pid=19058/tid=19113] ppid=19055 vsize=10997500 CPUtime=4.23 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19113/stat : 19113 (java) R 19055 19058 13605 0 -1 4202560 40353 12640 0 0 405 9 6 3 20 0 20 0 5698412 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271512695656 140271508475286 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19114] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19114/stat : 19114 (java) S 19055 19058 13605 0 -1 1077944384 161 12640 0 0 11 1 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271434537872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19115] ppid=19055 vsize=10997500 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19115/stat : 19115 (java) S 19055 19058 13605 0 -1 1077944384 56 12640 0 0 13 1 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271433485072 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19116] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19116/stat : 19116 (java) S 19055 19058 13605 0 -1 1077944384 42 12640 0 0 12 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271432432784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19117] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19117/stat : 19117 (java) S 19055 19058 13605 0 -1 1077944384 35 12640 0 0 12 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271431379984 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19118] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19118/stat : 19118 (java) S 19055 19058 13605 0 -1 1077944384 79 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271430326672 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19119] ppid=19055 vsize=10997500 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19119/stat : 19119 (java) S 19055 19058 13605 0 -1 1077944384 30 12640 0 0 11 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271429273872 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19120] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19120/stat : 19120 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271428221584 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19121] ppid=19055 vsize=10997500 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19121/stat : 19121 (java) S 19055 19058 13605 0 -1 1077944384 58 12640 0 0 13 0 6 3 20 0 20 0 5698413 11261440000 75864 33554432000 4194304 4196468 140727162927600 140271427168784 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19122] ppid=19055 vsize=10997500 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19122/stat : 19122 (java) S 19055 19058 13605 0 -1 1077944384 1748 12640 0 0 12 0 6 3 20 0 20 0 5698415 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270848842352 140271508474498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19123] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19123/stat : 19123 (java) S 19055 19058 13605 0 -1 1077944384 57 12640 0 0 0 0 6 3 20 0 20 0 5698416 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270847788448 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19124] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19124/stat : 19124 (java) S 19055 19058 13605 0 -1 1077944384 46 12640 0 0 0 0 6 3 20 0 20 0 5698416 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270846736000 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19125] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19125/stat : 19125 (java) S 19055 19058 13605 0 -1 1077944384 1 12640 0 0 0 0 6 3 20 0 20 0 5698420 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270845684304 140271508481947 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19126] ppid=19055 vsize=10997500 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19126/stat : 19126 (java) R 19055 19058 13605 0 -1 4202560 4697 12640 0 0 176 1 6 3 20 0 20 0 5698420 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270844620576 140271492853220 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19127] ppid=19055 vsize=10997500 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19127/stat : 19127 (java) R 19055 19058 13605 0 -1 4202560 1959 12640 0 0 126 1 6 3 20 0 20 0 5698420 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270843563792 140271491838518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19128] ppid=19055 vsize=10997500 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19128/stat : 19128 (java) R 19055 19058 13605 0 -1 4202560 2309 12640 0 0 147 1 6 3 20 0 20 0 5698420 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270842509808 140271491949301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19129] ppid=19055 vsize=10997500 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19129/stat : 19129 (java) S 19055 19058 13605 0 -1 1077944384 4575 12640 0 0 166 1 6 3 20 0 20 0 5698420 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270841473264 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19130] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19130/stat : 19130 (java) S 19055 19058 13605 0 -1 1077944384 3 12640 0 0 0 0 6 3 20 0 20 0 5698421 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270840421216 140271508473557 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
[pid=19058/tid=19131] ppid=19055 vsize=10997500 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19058/task/19131/stat : 19131 (java) S 19055 19058 13605 0 -1 1077944384 9 12640 0 0 0 0 6 3 20 0 20 0 5698421 11261440000 75864 33554432000 4194304 4196468 140727162927600 140270839368496 140271508474498 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 41 0 0 6293624 6294260 25583616 140727162931905 140727162934679 140727162934679 140727162937295 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 10997500

Child status: 0
Real time (s): 5.10075
CPU time (s): 12.0528
CPU user time (s): 11.7551
CPU system time (s): 0.297778
CPU usage (%): 236.295
Max. virtual memory (cumulated for all children) (KiB): 10997500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7551
system time used= 0.297778
maximum resident set size= 304932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71151
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= 9861
involuntary context switches= 1311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035658 second user time and 0.058179 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-22 08:18:35
IDJOB=4245549
IDBENCH=122951
IDSOLVER=2630
FILE ID=node136/4245549-1500704315
RUNJOBID= node136-1500683313-13636
PBS_JOBID= 20623338
Free space on /tmp= 61972 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-03-035-010.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245549-1500704315/watcher-4245549-1500704315 -o /tmp/evaluation-result-4245549-1500704315/solver-4245549-1500704315 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560  bin/concrete HOME/instance-4245549-1500704315.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= fae8403920cd33ebcdf1b903a2143a11
RANDOM SEED=217604891

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.42
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30018676 kB
MemAvailable:   30228428 kB
Buffers:          117740 kB
Cached:           374060 kB
SwapCached:            0 kB
Active:          2033520 kB
Inactive:         267072 kB
Active(anon):    1812712 kB
Inactive(anon):     8764 kB
Active(file):     220808 kB
Inactive(file):   258308 kB
Unevictable:        5844 kB
Mlocked:            5876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24324 kB
Writeback:             0 kB
AnonPages:       1778836 kB
Mapped:            44064 kB
Shmem:              8852 kB
Slab:             126556 kB
SReclaimable:      92940 kB
SUnreclaim:        33616 kB
KernelStack:        4512 kB
PageTables:         8524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3099204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1593344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61948 MiB
End job on node136 at 2017-07-22 08:18:41