Trace number 4305356

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
scop order+MapleCOMSPS (2018-07-31)UNSAT 4.64893 2.49374

General information on the benchmark

NameDubois/
Dubois-022_c18.xml
MD5SUM6cb564a1b449df83d852ba5f609dcac6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008119
Satisfiable
(Un)Satisfiability was proved
Number of variables66
Number of constraints44
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":66}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":66}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":44}]
Number of extensional constraints44
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":44}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-8159-serial-file.bin HOME/instance-4305356-1534075105.xml
0.65/0.52	
0.65/0.53	scop order+minisat_release (2018-07-31)
0.78/0.65	(Encoding Process)
0.78/0.65	
0.78/0.65	c BEGIN-Prog: Sun Aug 12 13:58:26 CEST 2018
0.78/0.65	c PID: 8162
0.78/0.65	c IP: 172.20.3.151
0.78/0.65	c HOST: node151.alineos.net
0.78/0.65	c (0,0) Parsing Begin
1.15/0.87	c (0,0) Parsing End
1.15/0.88	c (0,0) CSP: 0 int (0 aux), 66 bool (0 aux), 44 ctr, max domain size 2
1.15/0.88	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.88	c (0,0) Constraint Name Generate Begin
1.15/0.88	c (0,0) Ctr:HOME/instance-4305356-1534075105.xml,ExtensionSupport:IntVar
1.15/0.88	c (0,0) Constraint Name Generate End
1.15/0.88	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.15/0.88	c (0,0) CSP to CSPinCNF Begin
1.69/1.12	c (0,0) translated 5 (10%) constraints
1.69/1.17	c (0,0) translated 9 (20%) constraints
1.94/1.21	c (0,0) translated 14 (30%) constraints
1.94/1.25	c (0,0) translated 18 (40%) constraints
1.94/1.27	c (0,0) translated 22 (50%) constraints
2.22/1.30	c (0,0) translated 27 (60%) constraints
2.22/1.32	c (0,0) translated 31 (70%) constraints
2.22/1.34	c (0,0) translated 36 (80%) constraints
2.22/1.36	c (0,0) translated 40 (90%) constraints
2.22/1.37	c (0,0) translated 44 (100%) constraints
2.51/1.41	c (0,0) STATISTICS1:HOME/instance-4305356-1534075105.xml,ExtensionSupport:IntVar,242,836,-1,2,3,1,,2:2200,3:572;2:264,1:2200;0:44,
2.51/1.41	c (0,0) ==========================================
2.51/1.41	c (0,0) Order
2.51/1.41	c (0,0) ==========================================
2.51/1.42	c (0,0) translated 84 (10%) constraints
2.51/1.43	c (0,0) translated 168 (20%) constraints
2.51/1.44	c (0,0) translated 251 (30%) constraints
2.51/1.44	c (0,0) translated 335 (40%) constraints
2.51/1.45	c (0,0) translated 418 (50%) constraints
2.51/1.45	c (0,0) translated 502 (60%) constraints
2.51/1.46	c (0,0) translated 586 (70%) constraints
2.51/1.46	c (0,0) translated 669 (80%) constraints
2.51/1.47	c (0,0) translated 753 (90%) constraints
2.51/1.47	c (0,0) translated 836 (100%) constraints
2.51/1.47	c (0,0) CSP to CSPinCNF End
2.51/1.47	c (0,0) CSP: 0 int (0 aux), 242 bool (176 aux), 836 ctr, max domain size 2
2.51/1.47	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.51/1.47	c (0,0) CSPinCNF Propagation Begin
2.83/1.51	c (0,0) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
2.83/1.51	c (0,0) CSPinCNF Propagation End
2.83/1.51	c (0,0) CSP: 0 int (0 aux), 242 bool (176 aux), 836 ctr, max domain size 2
2.83/1.51	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.83/1.51	c (0,0) Simplify CSPinCNF Begin
2.83/1.52	c (0,0) Simplify CSPinCNF End
2.83/1.52	c (0,0) CSP: 0 int (0 aux), 242 bool (176 aux), 836 ctr, max domain size 2
2.83/1.52	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.83/1.52	c (0,0) Calculate Precise Domain Begin
2.83/1.52	c (0,0) 0 values are removed by re-calculation
2.83/1.52	c (0,0) Calculate Precise Domain End
2.83/1.52	c (0,0) CSP: 0 int (0 aux), 242 bool (176 aux), 836 ctr, max domain size 2
2.83/1.52	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.83/1.52	c (0,0) CSPinCNF to SatSolver Begin
2.83/1.55	c (1,1) 84 (10 %) CSP clauses are encoded (242 SAT variables, 83 SAT clauses)
2.83/1.55	c (1,1) 168 (20 %) CSP clauses are encoded (242 SAT variables, 167 SAT clauses)
2.83/1.57	c (1,1) 251 (30 %) CSP clauses are encoded (242 SAT variables, 250 SAT clauses)
2.83/1.57	c (1,1) 335 (40 %) CSP clauses are encoded (242 SAT variables, 334 SAT clauses)
2.83/1.57	c (1,1) 418 (50 %) CSP clauses are encoded (242 SAT variables, 417 SAT clauses)
2.83/1.57	c (1,1) 502 (60 %) CSP clauses are encoded (242 SAT variables, 501 SAT clauses)
2.83/1.58	c (1,1) 586 (70 %) CSP clauses are encoded (242 SAT variables, 585 SAT clauses)
2.83/1.59	c (1,1) 669 (80 %) CSP clauses are encoded (242 SAT variables, 668 SAT clauses)
2.83/1.59	c (1,1) 753 (90 %) CSP clauses are encoded (242 SAT variables, 752 SAT clauses)
2.83/1.59	c (1,1) 836 (100 %) CSP clauses are encoded (242 SAT variables, 835 SAT clauses)
2.83/1.59	c (1,1) Launch Command will be: minisat_release
2.83/1.59	c (1,1) CSPinCNF to SatSolver End
2.83/1.59	c (1,1) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.19/1.60	c (1,1) STATISTICS2:HOME/instance-4305356-1534075105.xml,ExtensionSupport:IntVar,242,836,-1,2,3,1,,2:2200,3:528;2:308,1:2200,
3.19/1.60	c (1,1) 242 bool, 836 clause
3.19/1.60	c (1,1) Export Begin
3.19/1.69	c (1,1) Export to HOME/scop-8159-serial-file.bin
3.19/1.69	c (1,1) Export End
3.19/1.69	c (1,1) Export File Size: 0.01 MB
3.19/1.69	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.19/1.69	c END-Prog: Sun Aug 12 13:58:27 CEST 2018
3.47/1.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-8159-serial-file.bin
4.00/2.19	c (0,0) Read Serial File Begin
4.00/2.19	c (0,0) HOME/scop-8159-serial-file.bin
4.27/2.37	c (0,0) Read Serial File End
4.27/2.38	
4.27/2.38	scop order+minisat_release (2018-07-31)
4.27/2.38	(Solving Process)
4.27/2.38	
4.43/2.40	c BEGIN-Prog: Sun Aug 12 13:58:28 CEST 2018
4.43/2.40	c PID: 8177
4.43/2.40	c IP: 172.20.3.151
4.43/2.40	c HOST: node151.alineos.net
4.43/2.41	c (0,0) SatSolver.solve Begin
4.43/2.41	c (0,0) 0 bool, 0 clause
4.43/2.41	c (0,0) minisat_release HOME/instance-4305356-1534075105.xml-scop-8162.cnf
4.43/2.44	c (0,0) c This is COMiniSatPS.
4.43/2.44	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.43/2.44	c (0,0) c ============================[ Problem Statistics ]=============================
4.43/2.44	c (0,0) c |                                                                             |
4.43/2.44	c (0,0) c |  Number of variables:           242                                         |
4.43/2.44	c (0,0) c |  Number of clauses:             836                                         |
4.43/2.44	c (0,0) c |  Parse time:                   0.00 s                                       |
4.43/2.44	c (0,0) c |  Eliminated clauses:           0.01 Mb                                      |
4.43/2.44	c (0,0) c |  Simplification time:          0.00 s                                       |
4.43/2.44	c (0,0) c |                                                                             |
4.43/2.44	c (0,0) c ===============================================================================
4.43/2.44	c (0,0) c Solved by simplification
4.43/2.44	c (0,0) c restarts              : 0
4.43/2.44	c (0,0) c conflicts             : 0              (0 /sec)
4.43/2.44	c (0,0) c decisions             : 0              (-nan % random) (0 /sec)
4.43/2.44	c (0,0) c propagations          : 1              (266 /sec)
4.43/2.44	c (0,0) c conflict literals     : 0              (-nan % deleted)
4.43/2.44	c (0,0) c CPU time              : 0.003754 s
4.43/2.44	c (0,0) 
4.43/2.44	c (0,0) s UNSATISFIABLE
4.43/2.48	c (0,0) SatSolver.solve End
4.43/2.48	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.43/2.48	c (0,0) Show results Begin
4.43/2.48	s UNSATISFIABLE
4.43/2.48	c (0,0) Show results End
4.43/2.48	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.43/2.48	c (0,0) 0,0,STOP-AFTER(ALL)
4.43/2.48	c END-Prog: Sun Aug 12 13:58:28 CEST 2018

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305356-1534075105/watcher-4305356-1534075105 -o /tmp/evaluation-result-4305356-1534075105/solver-4305356-1534075105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305356-1534075105.xml 

running on 4 cores: 0,2,4,6

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=8159, runsolver pid=8156
Current StackSize limit: 8192 KiB


[startup+0.100803 s]*
/proc/loadavg: 2.38 2.16 2.09 4/222 8176
/proc/meminfo: memFree=8704128/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0
[pid=8162] ppid=8159 vsize=15012476 memory=72732 CPUtime=0.11 cores=0,2,4,6
/proc/8162/stat : 8162 (java) S 8159 8159 3762 0 -1 1077944320 6843 0 0 0 9 2 0 0 20 0 15 0 225073741 15372775424 18183 33554432000 4194304 4196468 140727680371872 140727680354416 140083843137271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
/proc/8162/statm: 3753119 18183 2741 1 0 3715579 0
[pid=8162/tid=8163] ppid=8159 vsize=15012476 memory=-6526411401870300574 CPUtime=0.08 cores=0,2,4,6
/proc/8162/task/8163/stat : 8163 (java) R 8159 8159 3762 0 -1 4202560 4970 0 0 0 7 1 0 0 20 0 15 0 225073741 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083814933320 140083843159197 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8164] ppid=8159 vsize=15012476 memory=3472468048901199536 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 18183 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15372775424 18183 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) S 8159 8159 3762 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083248671344 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083247618544 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) R 8159 8159 3762 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083246566256 140083822494891 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 18183 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74128 KiB

[startup+0.210334 s]*
/proc/loadavg: 2.38 2.16 2.09 4/222 8176
/proc/meminfo: memFree=8690800/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0
[pid=8162] ppid=8159 vsize=15012476 memory=86328 CPUtime=0.24 cores=0,2,4,6
/proc/8162/stat : 8162 (java) S 8159 8159 3762 0 -1 1077944320 10428 0 0 0 21 3 0 0 20 0 15 0 225073741 15372775424 21582 33554432000 4194304 4196468 140727680371872 140727680354416 140083843137271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
/proc/8162/statm: 3753119 21582 2869 1 0 3715579 0
[pid=8162/tid=8163] ppid=8159 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=0,2,4,6
/proc/8162/task/8163/stat : 8163 (java) R 8159 8159 3762 0 -1 4202560 8335 0 0 0 17 2 0 0 20 0 15 0 225073741 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083814946016 140083828831669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8164] ppid=8159 vsize=15012476 memory=3472468048901199536 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 21582 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15372775424 21582 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) S 8159 8159 3762 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083248671344 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) S 8159 8159 3762 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083247618544 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0.03 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) S 8159 8159 3762 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083246566256 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 21582 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87724 KiB

[startup+0.310323 s]*
/proc/loadavg: 2.38 2.16 2.09 3/222 8176
/proc/meminfo: memFree=8686976/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0
[pid=8162] ppid=8159 vsize=15012476 memory=89848 CPUtime=0.41 cores=0,2,4,6
/proc/8162/stat : 8162 (java) S 8159 8159 3762 0 -1 1077944320 10942 0 0 0 38 3 0 0 20 0 15 0 225073741 15372775424 22462 33554432000 4194304 4196468 140727680371872 140727680354416 140083843137271 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
/proc/8162/statm: 3753119 22462 2970 1 0 3715579 0
[pid=8162/tid=8163] ppid=8159 vsize=15012476 memory=-8976644418600983157 CPUtime=0.28 cores=0,2,4,6
/proc/8162/task/8163/stat : 8163 (java) R 8159 8159 3762 0 -1 4202560 8706 0 0 0 26 2 0 0 20 0 15 0 225073741 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083814928528 140083824700831 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8164] ppid=8159 vsize=15012476 memory=3472468048901199536 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15012476 memory=279505205193600 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15012476 memory=279505063381024 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15012476 memory=139752531674383 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15012476 memory=279505205200512 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15012476 memory=139752531678991 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15372775424 22462 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15012476 memory=139752531688752 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15372775424 22462 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15012476 memory=279505063390240 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) S 8159 8159 3762 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083248671344 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15012476 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) S 8159 8159 3762 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083247618544 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15012476 memory=139752673519232 CPUtime=0.07 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) S 8159 8159 3762 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083246566256 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15012476 memory=139752673520628 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15372775424 22462 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91244 KiB

[startup+0.700742 s]
/proc/loadavg: 2.38 2.16 2.09 3/222 8176
/proc/meminfo: memFree=8663412/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0
[pid=8162] ppid=8159 vsize=15020872 memory=127132 CPUtime=0.96 cores=0,2,4,6
/proc/8162/stat : 8162 (java) S 8159 8159 3762 0 -1 1077944320 17973 0 0 0 91 5 0 0 20 0 15 0 225073741 15381372928 31783 33554432000 4194304 4196468 140727680371872 140727680354416 140083843137271 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
/proc/8162/statm: 3755218 31783 3146 1 0 3716603 0
[pid=8162/tid=8163] ppid=8159 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/8162/task/8163/stat : 8163 (java) D 8159 8159 3762 0 -1 1077944384 15329 0 0 0 63 4 0 0 20 0 15 0 225073741 15381372928 31783 33554432000 4194304 4196468 140727680371872 140083814946128 140083835816493 0 4 2 25189581 18446744072101756452 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8164] ppid=8159 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15381372928 31783 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15381372928 31783 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15020872 memory=5788902676991533888 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15381372928 31783 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15020904 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15381405696 31783 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15020904 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225073744 15381405696 31783 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15020904 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15381405696 31783 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15381372928 31832 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15020872 memory=4536 CPUtime=0.09 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) R 8159 8159 3762 0 -1 4202560 770 0 0 0 9 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140083248671344 140083822983203 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15020872 memory=8448 CPUtime=0.05 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) S 8159 8159 3762 0 -1 1077944384 161 0 0 0 5 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140083247618544 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15020872 memory=1628 CPUtime=0.14 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) S 8159 8159 3762 0 -1 1077944384 376 0 0 0 14 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140083246566256 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15381372928 31832 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 128528 KiB

[startup+1.50103 s]
/proc/loadavg: 2.38 2.16 2.09 4/222 8176
/proc/meminfo: memFree=8634704/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0

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

/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15385567232 44126 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15385567232 44126 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15024968 memory=279505063199392 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15385567232 44126 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15024968 memory=54 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15385567232 44126 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225073744 15385567232 44638 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15024968 memory=279505063408192 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15385567232 44638 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15385567232 44638 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15024968 memory=279505063427360 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15024968 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) R 8159 8159 3762 0 -1 4202560 1186 0 0 0 39 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140083248650576 140083823838935 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15024968 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) R 8159 8159 3762 0 -1 4202560 431 0 0 0 29 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140083247602864 140083836234107 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15024968 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) R 8159 8159 3762 0 -1 1077944384 2486 0 0 0 66 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140083246566256 140083843148418 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15385567232 44638 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 177900 KiB

[startup+2.49369 s]
# the end of solver process 8159 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.47472 s, system=0.174216 s

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

[startup+1.60089 s]
/proc/loadavg: 2.38 2.16 2.09 4/222 8176
/proc/meminfo: memFree=8634704/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225073740 115843072 349 33554432000 4194304 5098028 140728962717088 140728962714344 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 349 296 221 0 87 0
[pid=8162] ppid=8159 vsize=15027084 memory=188256 CPUtime=3.19 cores=0,2,4,6
/proc/8162/stat : 8162 (java) S 8159 8159 3762 0 -1 1077944320 22986 0 0 0 311 8 0 0 20 0 15 0 225073741 15387734016 47064 33554432000 4194304 4196468 140727680371872 140727680354416 140083843137271 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
/proc/8162/statm: 3756771 47064 3203 1 0 3717627 0
[pid=8162/tid=8163] ppid=8159 vsize=15027084 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/8162/task/8163/stat : 8163 (java) R 8159 8159 3762 0 -1 4202560 16927 0 0 0 151 5 0 0 20 0 15 0 225073741 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083814972288 140083336352930 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8164] ppid=8159 vsize=15027084 memory=7667449165590849394 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8164/stat : 8164 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073742 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083847379856 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8165] ppid=8159 vsize=15027084 memory=7230921007607278949 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8165/stat : 8165 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083661536016 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8166] ppid=8159 vsize=15027084 memory=7445408212576988264 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8166/stat : 8166 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073743 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083660483728 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8167] ppid=8159 vsize=15027084 memory=7378958217699028332 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8167/stat : 8167 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073743 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083659430928 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8168] ppid=8159 vsize=15027084 memory=7014751519617013604 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8168/stat : 8168 (java) S 8159 8159 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225073744 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083249723504 140083843148418 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8169] ppid=8159 vsize=15027084 memory=7014751519617013604 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8169/stat : 8169 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073744 15387734016 47064 33554432000 4194304 4196468 140727680371872 140082438726432 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8170] ppid=8159 vsize=15027084 memory=139752673519232 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8170/stat : 8170 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073745 15387734016 47064 33554432000 4194304 4196468 140727680371872 140082170291312 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8171] ppid=8159 vsize=15027084 memory=139749645877249 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8171/stat : 8171 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140081795782736 140083843155867 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8172] ppid=8159 vsize=15027084 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/8162/task/8172/stat : 8172 (java) R 8159 8159 3762 0 -1 4202560 1556 0 0 0 49 0 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083248651816 140083824682778 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8173] ppid=8159 vsize=15027084 memory=7157735280196867940 CPUtime=0.38 cores=0,2,4,6
/proc/8162/task/8173/stat : 8173 (java) R 8159 8159 3762 0 -1 4202560 548 0 0 0 38 0 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083247610192 140083822854407 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8174] ppid=8159 vsize=15027084 memory=7813297110892700004 CPUtime=0.73 cores=0,2,4,6
/proc/8162/task/8174/stat : 8174 (java) S 8159 8159 3762 0 -1 1077944384 2619 0 0 0 72 1 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083246566256 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8175] ppid=8159 vsize=15027084 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8175/stat : 8175 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140081297877984 140083843147477 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
[pid=8162/tid=8176] ppid=8159 vsize=15027084 memory=159364 CPUtime=0 cores=0,2,4,6
/proc/8162/task/8176/stat : 8176 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073747 15387734016 47064 33554432000 4194304 4196468 140727680371872 140083245513136 140083843148418 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28033024 140727680377863 140727680378161 140727680378161 140727680380879 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 189652 KiB

[startup+2.00027 s]*
/proc/loadavg: 2.38 2.16 2.09 3/222 8191
/proc/meminfo: memFree=8712668/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1472 CPUtime=3.47 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 591 24241 0 0 0 0 338 9 20 0 1 0 225073740 115843072 368 33554432000 4194304 5098028 140728962717088 140728962713832 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 368 311 221 0 87 0
[pid=8177] ppid=8159 vsize=7404280 memory=66048 CPUtime=0.41 cores=0,2,4,6
/proc/8177/stat : 8177 (java) S 8159 8159 3762 0 -1 1077944320 10450 0 0 0 38 3 0 0 20 0 15 0 225073911 7581982720 16512 33554432000 4194304 4196468 140725793109904 140725793092448 139801941884663 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
/proc/8177/statm: 1851070 16512 3011 1 0 1813530 0
[pid=8177/tid=8178] ppid=8159 vsize=7404280 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/8177/task/8178/stat : 8178 (java) R 8159 8159 3762 0 -1 4202560 8140 0 0 0 26 2 0 0 20 0 15 0 225073911 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801913712544 139801923448192 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8179] ppid=8159 vsize=7404280 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8179/stat : 8179 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801946127376 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8180] ppid=8159 vsize=7404280 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8180/stat : 8180 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801746295952 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8181] ppid=8159 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8181/stat : 8181 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801745242896 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8182] ppid=8159 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8182/stat : 8182 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073912 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801744190352 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8183] ppid=8159 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8183/stat : 8183 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073914 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801388304624 139801941895810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8184] ppid=8159 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8184/stat : 8184 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073914 7581982720 16512 33554432000 4194304 4196468 140725793109904 139800782824608 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8185] ppid=8159 vsize=7404280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8185/stat : 8185 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073915 7581982720 16512 33554432000 4194304 4196468 140725793109904 139800514388720 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8186] ppid=8159 vsize=7404280 memory=288230617509017792 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8186/stat : 8186 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139800139880400 139801941903259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8187] ppid=8159 vsize=7404280 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8177/task/8187/stat : 8187 (java) R 8159 8159 3762 0 -1 4202560 475 0 0 0 2 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801319697136 139801922520573 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8188] ppid=8159 vsize=7404280 memory=3689070556746297651 CPUtime=0.02 cores=0,2,4,6
/proc/8177/task/8188/stat : 8188 (java) S 8159 8159 3762 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801318644592 139801941895810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8189] ppid=8159 vsize=7404280 memory=3690612272694909873 CPUtime=0.07 cores=0,2,4,6
/proc/8177/task/8189/stat : 8189 (java) S 8159 8159 3762 0 -1 1077944384 361 0 0 0 7 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801317591536 139801941895810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8190] ppid=8159 vsize=7404280 memory=7878495878512654391 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8190/stat : 8190 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139799641975648 139801941894869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8191] ppid=8159 vsize=7404280 memory=3472468048901199536 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8191/stat : 8191 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073917 7581982720 16512 33554432000 4194304 4196468 140725793109904 139801316538928 139801941895810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 67520 KiB

[startup+2.40071 s]
/proc/loadavg: 2.38 2.16 2.09 3/222 8191
/proc/meminfo: memFree=8712668/32770624 swapFree=67108860/67108860
[pid=8159] ppid=8156 vsize=113128 memory=1472 CPUtime=3.47 cores=0,2,4,6
/proc/8159/stat : 8159 (scop.sh) S 8156 8159 3762 0 -1 4202496 591 24241 0 0 0 0 338 9 20 0 1 0 225073740 115843072 368 33554432000 4194304 5098028 140728962717088 140728962713832 140379153375868 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30138368 140728962720832 140728962721031 140728962721031 140728962723789 0
/proc/8159/statm: 28282 368 311 221 0 87 0
[pid=8177] ppid=8159 vsize=7408432 memory=100984 CPUtime=0.96 cores=0,2,4,6
/proc/8177/stat : 8177 (java) S 8159 8159 3762 0 -1 1077944320 16982 0 0 0 90 6 0 0 20 0 15 0 225073911 7586234368 25246 33554432000 4194304 4196468 140725793109904 140725793092448 139801941884663 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
/proc/8177/statm: 1852108 25246 3046 1 0 1814042 0
[pid=8177/tid=8178] ppid=8159 vsize=7408432 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8177/task/8178/stat : 8178 (java) R 8159 8159 3762 0 -1 4202560 14434 0 0 0 62 5 0 0 20 0 15 0 225073911 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801913710880 139801941906589 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8179] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8179/stat : 8179 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801946127376 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8180] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8180/stat : 8180 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801746295952 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8181] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8181/stat : 8181 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073912 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801745242896 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8182] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8182/stat : 8182 (java) S 8159 8159 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225073912 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801744190352 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8183] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8183/stat : 8183 (java) S 8159 8159 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225073914 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801388304624 139801941895810 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8184] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8184/stat : 8184 (java) S 8159 8159 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225073914 7586234368 25246 33554432000 4194304 4196468 140725793109904 139800782824608 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8185] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8185/stat : 8185 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073915 7586234368 25246 33554432000 4194304 4196468 140725793109904 139800514388720 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8186] ppid=8159 vsize=7408432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8186/stat : 8186 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139800139880400 139801941903259 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8187] ppid=8159 vsize=7408432 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8177/task/8187/stat : 8187 (java) S 8159 8159 3762 0 -1 1077944384 509 0 0 0 5 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801319697136 139801941895810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8188] ppid=8159 vsize=7408432 memory=71892 CPUtime=0.05 cores=0,2,4,6
/proc/8177/task/8188/stat : 8188 (java) S 8159 8159 3762 0 -1 1077944384 159 0 0 0 5 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801318644592 139801941895810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8189] ppid=8159 vsize=7408432 memory=279505063269568 CPUtime=0.17 cores=0,2,4,6
/proc/8177/task/8189/stat : 8189 (java) S 8159 8159 3762 0 -1 1077944384 545 0 0 0 17 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801317591536 139801941895810 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8190] ppid=8159 vsize=7408432 memory=279505063386448 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8190/stat : 8190 (java) S 8159 8159 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139799641975648 139801941894869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
[pid=8177/tid=8191] ppid=8159 vsize=7408432 memory=7522797428473883477 CPUtime=0 cores=0,2,4,6
/proc/8177/task/8191/stat : 8191 (java) S 8159 8159 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225073917 7586234368 25246 33554432000 4194304 4196468 140725793109904 139801316538928 139801941895810 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24944640 140725793117366 140725793117489 140725793117489 140725793120207 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 102456 KiB

Child status: 0
Real time (s): 2.49374
CPU time (s): 4.64893
CPU user time (s): 4.47472
CPU system time (s): 0.174216
CPU usage (%): 186.424
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 189652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.47471
system time used= 0.174216
maximum resident set size= 198420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4887
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 8159
#   total CPU time (s): 4.64893
#   total CPU user time (s): 4.47472
#   total CPU system time (s): 0.174216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044599 second user time and 0.062231 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-12 13:58:25
IDJOB=4305356
IDBENCH=141406
IDSOLVER=2782
FILE ID=node151/4305356-1534075105
RUNJOBID= node151-1534062410-3793
PBS_JOBID= 21036982
Free space on /tmp= 41244 MiB

SOLVER NAME= scop order+MapleCOMSPS (2018-07-31)
BENCH NAME= XCSP18/Dubois/Dubois-022_c18.xml
COMMAND LINE= scop.sh 11g scop.jar -order minisat_release default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305356-1534075105/watcher-4305356-1534075105 -o /tmp/evaluation-result-4305356-1534075105/solver-4305356-1534075105 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580  scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305356-1534075105.xml

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

MD5SUM BENCH= 6cb564a1b449df83d852ba5f609dcac6
RANDOM SEED=55806092

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:         8765812 kB
MemAvailable:   31748684 kB
Buffers:          263088 kB
Cached:         22675348 kB
SwapCached:            0 kB
Active:         10454292 kB
Inactive:       12694672 kB
Active(anon):     159632 kB
Inactive(anon):   103292 kB
Active(file):   10294660 kB
Inactive(file): 12591380 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8088 kB
Writeback:             0 kB
AnonPages:        252376 kB
Mapped:            71972 kB
Shmem:             49800 kB
Slab:             554276 kB
SReclaimable:     525292 kB
SUnreclaim:        28984 kB
KernelStack:        3920 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5869152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 41236 MiB
End job on node151 at 2018-08-12 13:58:28