Trace number 4387813

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
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)SAT 16.2737 6.44204

General information on the benchmark

NameQRandom/
QRandom-geometric-rw/geometric-50-20-d4-75-76.xml
MD5SUM67696fc72ebd3977eb7611ca6505cd00
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.043006
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints365
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":50}]
Minimum variable degree6
Maximum variable degree22
Distribution of variable degrees[{"degree":6,"count":1},{"degree":10,"count":4},{"degree":11,"count":2},{"degree":12,"count":6},{"degree":13,"count":7},{"degree":14,"count":7},{"degree":15,"count":5},{"degree":16,"count":5},{"degree":17,"count":3},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":20,"count":2},{"degree":21,"count":1},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":365}]
Number of extensional constraints365
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":365}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-6087-serial-file.bin HOME/instance-4387813-1568291244.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 14:26:45 CEST 2019
0.66/0.56	c PID: 6090
0.66/0.56	c IP: 172.20.3.119
0.66/0.56	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.38/1.13	c (0,0) Parsing End
2.38/1.14	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 20
2.38/1.14	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.38/1.14	c (0,0) Constraint Name Generate Begin
2.38/1.15	c (0,0) Ctr:HOME/instance-4387813-1568291244.xml,ExtensionConflict:Var
2.38/1.15	c (0,0) Constraint Name Generate End
2.38/1.15	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.38/1.15	c (0,0) CSP to CSPinCNF Begin
4.54/1.85	c (1,1) translated 37 (10%) constraints
5.17/2.08	c (1,1) translated 73 (20%) constraints
6.05/2.32	c (1,1) translated 110 (30%) constraints
6.67/2.52	c (1,1) translated 146 (40%) constraints
7.27/2.71	c (2,2) translated 183 (50%) constraints
7.88/2.90	c (2,2) translated 219 (60%) constraints
8.20/3.09	c (2,2) translated 256 (70%) constraints
8.79/3.27	c (2,2) translated 292 (80%) constraints
9.39/3.47	c (2,2) translated 329 (90%) constraints
9.99/3.65	c (3,3) translated 365 (100%) constraints
9.99/3.66	c (3,3) ===========================================
9.99/3.69	c (3,3) Hybrid: #OE=50, #LE=0
9.99/3.69	c (3,3) Hybrid
9.99/3.69	c (3,3) ===========================================
10.62/3.80	c (3,3) translated 2778 (10%) constraints
10.62/3.90	c (3,3) translated 5556 (20%) constraints
10.92/3.99	c (3,3) translated 8334 (30%) constraints
11.25/4.07	c (3,3) translated 11111 (40%) constraints
11.45/4.14	c (3,3) translated 13889 (50%) constraints
11.68/4.20	c (3,3) translated 16667 (60%) constraints
11.68/4.26	c (3,3) translated 19444 (70%) constraints
11.77/4.32	c (3,3) translated 22222 (80%) constraints
11.77/4.38	c (3,3) translated 25000 (90%) constraints
11.88/4.44	c (3,3) translated 27777 (100%) constraints
11.88/4.44	c (3,3) CSP to CSPinCNF End
11.88/4.44	c (3,3) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
11.88/4.44	c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
11.88/4.44	c (3,3) CSPinCNF Propagation Begin
12.39/4.68	c (4,4) 0 values, 3151 unsatisfiable literals, and 0 valid clauses are removed
12.39/4.68	c (4,4) CSPinCNF Propagation End
12.39/4.68	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
12.39/4.68	c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.70/4.70	c (4,4) Hybrid: #OE=50, #LE=0
12.70/4.70	c (4,4) Simplify CSPinCNF Begin
12.88/4.80	c (4,4) Simplify CSPinCNF End
12.88/4.80	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
12.88/4.80	c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.88/4.80	c (4,4) Calculate Precise Domain Begin
12.88/4.80	c (4,4) 0 values are removed by re-calculation
12.88/4.80	c (4,4) Calculate Precise Domain End
12.88/4.80	c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 27777 ctr, max domain size 20
12.88/4.80	c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.88/4.80	c (4,4) CSPinCNF to SatSolver Begin
13.20/4.99	c (4,4) 2778 (10 %) CSP clauses are encoded (0 SAT variables, 3677 SAT clauses)
13.51/5.08	c (4,4) 5556 (20 %) CSP clauses are encoded (0 SAT variables, 6455 SAT clauses)
13.80/5.16	c (4,4) 8334 (30 %) CSP clauses are encoded (0 SAT variables, 9233 SAT clauses)
14.08/5.21	c (4,4) 11111 (40 %) CSP clauses are encoded (0 SAT variables, 12010 SAT clauses)
14.08/5.25	c (4,4) 13889 (50 %) CSP clauses are encoded (0 SAT variables, 14788 SAT clauses)
14.08/5.29	c (4,4) 16667 (60 %) CSP clauses are encoded (0 SAT variables, 17566 SAT clauses)
14.39/5.33	c (4,4) 19444 (70 %) CSP clauses are encoded (0 SAT variables, 20343 SAT clauses)
14.39/5.37	c (4,4) 22222 (80 %) CSP clauses are encoded (0 SAT variables, 23121 SAT clauses)
14.55/5.40	c (4,4) 25000 (90 %) CSP clauses are encoded (0 SAT variables, 25899 SAT clauses)
14.55/5.43	c (4,4) 27777 (100 %) CSP clauses are encoded (0 SAT variables, 28676 SAT clauses)
14.55/5.43	c (4,4) CSPinCNF to SatSolver End
14.55/5.43	c (4,4) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.55/5.44	c (4,4) 950 bool, 28677 clause
14.55/5.44	c (4,4) Export Begin
14.72/5.53	c (4,4) Export to HOME/scop-6087-serial-file.bin
14.72/5.53	c (4,4) Export End
14.72/5.53	c (4,4) Export File Size: 0.01 MB
14.72/5.53	c (4,4) 0,0,3,4,4,4,4,STOP-AFTER(DIMACS)
14.72/5.53	c END-Prog: Thu Sep 12 14:26:50 CEST 2019
14.72/5.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6087-serial-file.bin
15.42/6.01	c (0,0) Read Serial File Begin
15.42/6.01	c (0,0) HOME/scop-6087-serial-file.bin
15.71/6.22	c (0,0) Read Serial File End
15.71/6.24	
15.71/6.24	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
15.71/6.24	(Solving Process)
15.71/6.24	
15.71/6.26	c BEGIN-Prog: Thu Sep 12 14:26:51 CEST 2019
15.71/6.26	c PID: 6107
15.71/6.26	c IP: 172.20.3.119
15.71/6.26	c HOST: node119.alineos.net
15.71/6.26	c (0,0) SatSolver.solve Begin
15.71/6.26	c (0,0) HOME/cryptominisat5  HOME/instance-4387813-1568291244.xml-scop-6090.cnf
15.92/6.30	c (0,0) c Outputting solution to console
15.92/6.30	c (0,0) c CryptoMiniSat version 5.6.8
15.92/6.30	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
15.92/6.30	c (0,0) c CMS SHA revision GIT-notfound
15.92/6.30	c (0,0) c CMS is MIT licensed
15.92/6.30	c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS =  -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES =  -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND =  | ZLIB_FOUND = TRUE | VALGRIND_FOUND =  | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS =  | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
15.92/6.30	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
15.92/6.30	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387813-1568291244.xml-scop-6090.cnf
15.92/6.30	c (0,0) c Reading file 'HOME/instance-4387813-1568291244.xml-scop-6090.cnf'
15.92/6.30	c (0,0) c -- header says num vars:            950
15.92/6.30	c (0,0) c -- header says num clauses:       28677
15.92/6.31	c (0,0) c -- clauses added: 28677
15.92/6.31	c (0,0) c -- xor clauses added: 0
15.92/6.31	c (0,0) c -- vars added 950
15.92/6.31	c (0,0) c Parsing time: 0.01 s
15.92/6.31	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
15.92/6.31	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
15.92/6.31	c (0,0) c UIP search time          : 0.00        (7.31      % time)
15.92/6.31	c (0,0) c restarts                 : 1           (6.00      confls per restart)
15.92/6.31	c (0,0) c blocked restarts         : 0           (0.00      per normal restart)
15.92/6.31	c (0,0) c time                     : 0.00        
15.92/6.31	c (0,0) c decisions                : 162         (0.00      % random)
15.92/6.31	c (0,0) c propagations             : 1284        
15.92/6.31	c (0,0) c decisions/conflicts      : 27.00       
15.92/6.31	c (0,0) c conflicts                : 6           (6085.19   / sec)
15.92/6.31	c (0,0) c conf lits non-minim      : 82          (13.67     lit/confl)
15.92/6.31	c (0,0) c conf lits final          : 12.00       
15.92/6.31	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
15.92/6.31	c (0,0) c red which0               : 0           (0.00      % of confl)
15.92/6.31	c (0,0) c props/decision           : 0.00        
15.92/6.31	c (0,0) c props/conflict           : 0.00        
15.92/6.31	c (0,0) c 0-depth assigns          : 0           (0.00      % vars)
15.92/6.31	c (0,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
15.92/6.31	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c [occur] 0.00 is overhead
15.92/6.31	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
15.92/6.31	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
15.92/6.31	c (0,0) c SCC time                 : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
15.92/6.31	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c vrep tree roots          : 0           
15.92/6.31	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
15.92/6.31	c (0,0) c distill time             : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
15.92/6.31	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
15.92/6.31	c (0,0) c Conflicts in UIP         : 6           (444.87    confl/time_this_thread)
15.92/6.31	c (0,0) c Mem used                 : 5.61        MB
15.92/6.31	c (0,0) c Total time (this thread) : 0.01        
15.92/6.31	c (0,0) s SATISFIABLE
15.92/6.34	c (0,0) SatSolver.solve End
15.92/6.34	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
15.92/6.34	c (0,0) Show results Begin
16.17/6.43	c (0,0) x[0] = 1
16.17/6.43	c (0,0) x[1] = 14
16.17/6.43	c (0,0) x[2] = 17
16.17/6.43	c (0,0) x[3] = 14
16.17/6.43	c (0,0) x[4] = 13
16.17/6.43	c (0,0) x[5] = 12
16.17/6.43	c (0,0) x[6] = 9
16.17/6.43	c (0,0) x[7] = 18
16.17/6.43	c (0,0) x[8] = 2
16.17/6.43	c (0,0) x[9] = 7
16.17/6.43	c (0,0) x[10] = 17
16.17/6.43	c (0,0) x[11] = 16
16.17/6.43	c (0,0) x[12] = 2
16.17/6.43	c (0,0) x[13] = 7
16.17/6.43	c (0,0) x[14] = 1
16.17/6.43	c (0,0) x[15] = 16
16.17/6.43	c (0,0) x[16] = 9
16.17/6.43	c (0,0) x[17] = 9
16.17/6.43	c (0,0) x[18] = 15
16.17/6.43	c (0,0) x[19] = 15
16.17/6.43	c (0,0) x[20] = 11
16.17/6.43	c (0,0) x[21] = 7
16.17/6.43	c (0,0) x[22] = 11
16.17/6.43	c (0,0) x[23] = 9
16.17/6.43	c (0,0) x[24] = 10
16.17/6.43	c (0,0) x[25] = 17
16.17/6.43	c (0,0) x[26] = 3
16.17/6.43	c (0,0) x[27] = 4
16.17/6.43	c (0,0) x[28] = 2
16.17/6.43	c (0,0) x[29] = 8
16.17/6.43	c (0,0) x[30] = 7
16.17/6.43	c (0,0) x[31] = 9
16.17/6.43	c (0,0) x[32] = 5
16.17/6.43	c (0,0) x[33] = 8
16.17/6.43	c (0,0) x[34] = 19
16.17/6.43	c (0,0) x[35] = 11
16.17/6.43	c (0,0) x[36] = 17
16.17/6.43	c (0,0) x[37] = 9
16.17/6.43	c (0,0) x[38] = 3
16.17/6.43	c (0,0) x[39] = 1
16.17/6.43	c (0,0) x[40] = 20
16.17/6.43	c (0,0) x[41] = 13
16.17/6.43	c (0,0) x[42] = 2
16.17/6.43	c (0,0) x[43] = 6
16.17/6.43	c (0,0) x[44] = 1
16.17/6.43	c (0,0) x[45] = 2
16.17/6.43	c (0,0) x[46] = 1
16.17/6.43	c (0,0) x[47] = 1
16.17/6.43	c (0,0) x[48] = 2
16.17/6.43	c (0,0) x[49] = 1
16.17/6.43	s SATISFIABLE
16.17/6.43	v <instantiation>
16.17/6.43	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
16.17/6.43	v     <values>1 14 17 14 13 12 9 18 2 7 17 16 2 7 1 16 9 9 15 15 11 7 11 9 10 17 3 4 2 8 7 9 5 8 19 11 17 9 3 1 20 13 2 6 1 2 1 1 2 1</values>
16.17/6.43	v </instantiation>
16.17/6.43	c (0,0) Show results End
16.17/6.43	c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
16.17/6.43	c (0,0) 0,0,STOP-AFTER(ALL)
16.17/6.43	c END-Prog: Thu Sep 12 14:26:51 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1162 MiB free)
  memory of node 1: 16384 MiB (11880 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387813-1568291244/watcher-4387813-1568291244 -o /tmp/evaluation-result-4387813-1568291244/solver-4387813-1568291244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387813-1568291244.xml 

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

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

solver pid=6087, runsolver pid=6084

[startup+0.100094 s]*
/proc/loadavg: 4.46 3.92 3.10 3/234 6104
/proc/meminfo: memFree=13296884/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0
[pid=6090] ppid=6087 vsize=15012696 memory=71900 CPUtime=0.09 cores=1,3,5,7
/proc/6090/stat : 6090 (java) S 6087 6087 3344 0 -1 1077944320 6715 0 0 0 7 2 0 0 20 0 15 0 405039356 15373000704 17975 33554432000 4194304 4196468 140722264470640 140722264453184 140361472278263 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
/proc/6090/statm: 3753174 17975 2802 1 0 3715579 0
[pid=6090/tid=6091] ppid=6087 vsize=15012696 memory=-7828588039587137883 CPUtime=0.08 cores=1,3,5,7
/proc/6090/task/6091/stat : 6091 (java) R 6087 6087 3344 0 -1 4202560 4837 0 0 0 6 2 0 0 20 0 15 0 405039356 15373000704 17975 33554432000 4194304 4196468 140722264470640 140361444082464 140361472300189 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6092] ppid=6087 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 17975 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 17975 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 17975 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 17975 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039359 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 17975 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 17975 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) R 6087 6087 3344 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360877906544 140361472289410 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360876853744 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) S 6087 6087 3344 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360875801456 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 17975 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 17975 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73292 KiB

[startup+0.210968 s]*
/proc/loadavg: 4.46 3.92 3.10 3/234 6104
/proc/meminfo: memFree=13275616/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0
[pid=6090] ppid=6087 vsize=15012696 memory=88992 CPUtime=0.24 cores=1,3,5,7
/proc/6090/stat : 6090 (java) S 6087 6087 3344 0 -1 1077944320 12337 0 0 0 20 4 0 0 20 0 15 0 405039356 15373000704 22248 33554432000 4194304 4196468 140722264470640 140722264453184 140361472278263 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
/proc/6090/statm: 3753174 22248 2921 1 0 3715579 0
[pid=6090/tid=6091] ppid=6087 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/6090/task/6091/stat : 6091 (java) R 6087 6087 3344 0 -1 4202560 10079 0 0 0 16 3 0 0 20 0 15 0 405039356 15373000704 22248 33554432000 4194304 4196468 140722264470640 140361444085824 140361453841815 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6092] ppid=6087 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 22248 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15012696 memory=140123695578473 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 22248 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 22248 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 22248 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039359 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 22248 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 22248 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) S 6087 6087 3344 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360877906544 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) S 6087 6087 3344 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360876853744 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15012696 memory=140123694069376 CPUtime=0.02 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) S 6087 6087 3344 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 405039362 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360875801456 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 22248 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 22248 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90384 KiB

[startup+0.310518 s]*
/proc/loadavg: 4.46 3.92 3.10 3/234 6104
/proc/meminfo: memFree=13273072/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0
[pid=6090] ppid=6087 vsize=15012696 memory=92600 CPUtime=0.42 cores=1,3,5,7
/proc/6090/stat : 6090 (java) S 6087 6087 3344 0 -1 1077944320 13161 0 0 0 37 5 0 0 20 0 15 0 405039356 15373000704 23150 33554432000 4194304 4196468 140722264470640 140722264453184 140361472278263 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
/proc/6090/statm: 3753174 23150 3029 1 0 3715579 0
[pid=6090/tid=6091] ppid=6087 vsize=15012696 memory=7022364632946311227 CPUtime=0.28 cores=1,3,5,7
/proc/6090/task/6091/stat : 6091 (java) R 6087 6087 3344 0 -1 4202560 10760 0 0 0 25 3 0 0 20 0 15 0 405039356 15373000704 23150 33554432000 4194304 4196468 140722264470640 140361444090608 140361455465072 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6092] ppid=6087 vsize=15012696 memory=288292155783643526 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 23150 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15012696 memory=13573716747491548 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 23150 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15012696 memory=280247153228144 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 23216 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15373000704 23216 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039359 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15373000704 23216 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15373000704 23216 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) R 6087 6087 3344 0 -1 4202560 464 0 0 0 1 0 0 0 20 0 15 0 405039362 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360877906544 140361452978560 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) S 6087 6087 3344 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 405039362 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360876853744 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) S 6087 6087 3344 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 15 0 405039362 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360875801456 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 23216 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039363 15373000704 23216 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93992 KiB

[startup+0.702276 s]
/proc/loadavg: 4.46 3.92 3.10 3/234 6104
/proc/meminfo: memFree=13244684/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0
[pid=6090] ppid=6087 vsize=15018968 memory=129184 CPUtime=1.01 cores=1,3,5,7
/proc/6090/stat : 6090 (java) S 6087 6087 3344 0 -1 1077944320 20052 0 0 0 94 7 0 0 20 0 15 0 405039356 15379423232 32296 33554432000 4194304 4196468 140722264470640 140722264453184 140361472278263 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
/proc/6090/statm: 3754742 32296 3183 1 0 3716091 0
[pid=6090/tid=6091] ppid=6087 vsize=15018968 memory=1786974831873 CPUtime=0.66 cores=1,3,5,7
/proc/6090/task/6091/stat : 6091 (java) R 6087 6087 3344 0 -1 4202560 17186 0 0 0 61 5 0 0 20 0 15 0 405039356 15379423232 32296 33554432000 4194304 4196468 140722264470640 140361444115248 140361472300189 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6092] ppid=6087 vsize=15018968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15379423232 32296 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15018968 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15379423232 32296 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15018968 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15379423232 32296 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15018968 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15379423232 32296 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15018968 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405039359 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15018968 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15018968 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15379423232 32296 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15018968 memory=668 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15379423232 32296 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15018968 memory=1232 CPUtime=0.06 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) R 6087 6087 3344 0 -1 1077944384 577 0 0 0 6 0 0 0 20 0 15 0 405039362 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360877906544 140361472289410 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15018968 memory=1064 CPUtime=0.09 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) S 6087 6087 3344 0 -1 1077944384 366 0 0 0 9 0 0 0 20 0 15 0 405039362 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360876853744 140361472289410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15018968 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) R 6087 6087 3344 0 -1 4202560 589 0 0 0 16 0 0 0 20 0 15 0 405039362 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360875797184 140361456358750 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15018968 memory=20592 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15379423232 32296 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15018968 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039363 15379423232 32296 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130576 KiB

[startup+1.50383 s]
/proc/loadavg: 4.46 3.92 3.10 5/234 6104
/proc/meminfo: memFree=13190860/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0

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

/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 52509 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15023140 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 52509 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15023140 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 52509 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15023140 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 52509 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15023140 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405039359 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15023140 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15023140 memory=668 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15383695360 52509 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15023140 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15383695360 52509 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15023140 memory=1064 CPUtime=0.72 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) R 6087 6087 3344 0 -1 4202560 3342 0 0 0 72 0 0 0 20 0 15 0 405039362 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360877891072 140361457166385 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15023140 memory=14008 CPUtime=0.71 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) R 6087 6087 3344 0 -1 4202560 1216 0 0 0 71 0 0 0 20 0 15 0 405039362 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360876853744 140361457380399 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15023140 memory=20592 CPUtime=0.66 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) R 6087 6087 3344 0 -1 4202560 1957 0 0 0 65 1 0 0 20 0 15 0 405039362 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360875795808 140361465375099 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15023140 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15383695360 52509 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15023140 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039363 15383695360 52509 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 211428 KiB

[startup+3.11088 s]
/proc/loadavg: 4.26 3.89 3.10 5/234 6104
/proc/meminfo: memFree=12727292/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405039354 115843072 348 33554432000 4194304 5098028 140726991375104 140726991372360 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 348 296 221 0 87 0
[pid=6090] ppid=6087 vsize=15023140 memory=675596 CPUtime=8.52 cores=1,3,5,7
/proc/6090/stat : 6090 (java) S 6087 6087 3344 0 -1 1077944320 30463 0 0 0 831 21 0 0 20 0 15 0 405039356 15383695360 168899 33554432000 4194304 4196468 140722264470640 140722264453184 140361472278263 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
/proc/6090/statm: 3755785 168899 3251 1 0 3717115 0
[pid=6090/tid=6091] ppid=6087 vsize=15023140 memory=1392 CPUtime=3.06 cores=1,3,5,7
/proc/6090/task/6091/stat : 6091 (java) R 6087 6087 3344 0 -1 4202560 20517 0 0 0 290 16 0 0 20 0 15 0 405039356 15383695360 168899 33554432000 4194304 4196468 140722264470640 140361444108672 140360961039219 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6092] ppid=6087 vsize=15023140 memory=465720 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6092/stat : 6092 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 168899 33554432000 4194304 4196468 140722264470640 140361476520848 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6093] ppid=6087 vsize=15023140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6093/stat : 6093 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 168899 33554432000 4194304 4196468 140722264470640 140361290677008 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6094] ppid=6087 vsize=15023140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6094/stat : 6094 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 168899 33554432000 4194304 4196468 140722264470640 140361289624720 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6095] ppid=6087 vsize=15023140 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6095/stat : 6095 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039358 15383695360 168899 33554432000 4194304 4196468 140722264470640 140361288571920 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6096] ppid=6087 vsize=15023140 memory=3054156605368930971 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6096/stat : 6096 (java) S 6087 6087 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405039359 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360878958704 140361472289410 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6097] ppid=6087 vsize=15023140 memory=8332960738902774619 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6097/stat : 6097 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405039360 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360068096800 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6098] ppid=6087 vsize=15023140 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6098/stat : 6098 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405039360 15383695360 168899 33554432000 4194304 4196468 140722264470640 140359799661680 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6099] ppid=6087 vsize=15023140 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6099/stat : 6099 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039362 15383695360 168899 33554432000 4194304 4196468 140722264470640 140359425153104 140361472296859 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6100] ppid=6087 vsize=15023140 memory=13573678109563930 CPUtime=2.32 cores=1,3,5,7
/proc/6090/task/6100/stat : 6100 (java) R 6087 6087 3344 0 -1 4202560 4453 0 0 0 231 1 0 0 20 0 15 0 405039362 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360877893048 140361455775043 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6101] ppid=6087 vsize=15023140 memory=6944656592455359580 CPUtime=2.3 cores=1,3,5,7
/proc/6090/task/6101/stat : 6101 (java) R 6087 6087 3344 0 -1 4202560 2036 0 0 0 230 0 0 0 20 0 15 0 405039362 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360876832336 140361452979927 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6102] ppid=6087 vsize=15023140 memory=6944656592455360604 CPUtime=0.79 cores=1,3,5,7
/proc/6090/task/6102/stat : 6102 (java) S 6087 6087 3344 0 -1 1077944384 2128 0 0 0 78 1 0 0 20 0 15 0 405039362 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360875801456 140361472289410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6103] ppid=6087 vsize=15023140 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6103/stat : 6103 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405039363 15383695360 168899 33554432000 4194304 4196468 140722264470640 140358927248352 140361472288469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
[pid=6090/tid=6104] ppid=6087 vsize=15023140 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6090/task/6104/stat : 6104 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405039363 15383695360 168899 33554432000 4194304 4196468 140722264470640 140360874748336 140361472289410 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21213184 140722264478506 140722264478874 140722264478874 140722264481743 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 676988 KiB

[startup+6.30321 s]
/proc/loadavg: 4.26 3.89 3.10 4/235 6121
/proc/meminfo: memFree=13292288/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1472 CPUtime=14.83 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 582 37509 0 0 0 0 1446 37 20 0 1 0 405039354 115843072 368 33554432000 4194304 5098028 140726991375104 140726991371848 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 368 311 221 0 87 0
[pid=6107] ppid=6087 vsize=8000856 memory=116496 CPUtime=1.09 cores=1,3,5,7
/proc/6107/stat : 6107 (java) S 6087 6087 3344 0 -1 1077944320 20028 0 0 0 103 6 0 0 20 0 19 0 405039910 8192876544 29124 33554432000 4194304 4196468 140727203504720 140727203487264 140704627642103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
/proc/6107/statm: 2000214 29124 3208 1 0 1961558 0
[pid=6107/tid=6108] ppid=6087 vsize=8000856 memory=1392 CPUtime=0.72 cores=1,3,5,7
/proc/6107/task/6108/stat : 6108 (java) R 6087 6087 3344 0 -1 4202560 17152 0 0 0 67 5 0 0 20 0 19 0 405039911 8192876544 29124 33554432000 4194304 4196468 140727203504720 140704599482768 140704611722620 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6109] ppid=6087 vsize=8000856 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6109/stat : 6109 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039912 8192876544 29124 33554432000 4194304 4196468 140727203504720 140704631884560 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6110] ppid=6087 vsize=8000856 memory=37224 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6110/stat : 6110 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039912 8192876544 29124 33554432000 4194304 4196468 140727203504720 140704432053136 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6111] ppid=6087 vsize=8000856 memory=988 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6111/stat : 6111 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039912 8192876544 29124 33554432000 4194304 4196468 140727203504720 140704431000592 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6112] ppid=6087 vsize=8000856 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6112/stat : 6112 (java) S 6087 6087 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405039912 8192876544 29124 33554432000 4194304 4196468 140727203504720 140704429948048 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6113] ppid=6087 vsize=8000856 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6113/stat : 6113 (java) S 6087 6087 3344 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405039913 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703939897328 140704627653250 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6114] ppid=6087 vsize=8000856 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6114/stat : 6114 (java) S 6087 6087 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405039914 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703464154016 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6115] ppid=6087 vsize=8000856 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6115/stat : 6115 (java) S 6087 6087 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405039914 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703329932272 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6116] ppid=6087 vsize=8000856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6116/stat : 6116 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039916 8192876544 29124 33554432000 4194304 4196468 140727203504720 140702955428048 140704627660699 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6117] ppid=6087 vsize=8000856 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/6107/task/6117/stat : 6117 (java) S 6087 6087 3344 0 -1 1077944384 609 0 0 0 8 0 0 0 20 0 19 0 405039916 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703938845168 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6118] ppid=6087 vsize=8000856 memory=6944656591801720226 CPUtime=0.08 cores=1,3,5,7
/proc/6107/task/6118/stat : 6118 (java) R 6087 6087 3344 0 -1 4202560 375 0 0 0 8 0 0 0 20 0 19 0 405039916 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703937773640 140704612751056 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6119] ppid=6087 vsize=8000856 memory=-7595754389018297760 CPUtime=0.19 cores=1,3,5,7
/proc/6107/task/6119/stat : 6119 (java) S 6087 6087 3344 0 -1 1077944384 508 0 0 0 19 0 0 0 20 0 19 0 405039916 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703936740080 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6120] ppid=6087 vsize=8000856 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6120/stat : 6120 (java) S 6087 6087 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405039917 8192876544 29124 33554432000 4194304 4196468 140727203504720 140702457523296 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6121] ppid=6087 vsize=8000856 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/6107/task/6121/stat : 6121 (java) S 6087 6087 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405039917 8192876544 29124 33554432000 4194304 4196468 140727203504720 140703935686960 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
Current children cumulated CPU time: 15.92 s
Current children cumulated vsize: 8113984 KiB
Current children cumulated memory: 117968 KiB

[startup+6.442 s]
# the end of solver process 6087 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=15.8134 s, system=0.460288 s

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

[startup+6.40089 s]
/proc/loadavg: 4.26 3.89 3.10 4/235 6121
/proc/meminfo: memFree=13292288/32770624 swapFree=66939824/67108860
[pid=6087] ppid=6084 vsize=113128 memory=1472 CPUtime=14.83 cores=1,3,5,7
/proc/6087/stat : 6087 (scop.sh) S 6084 6087 3344 0 -1 4202496 582 37509 0 0 0 0 1446 37 20 0 1 0 405039354 115843072 368 33554432000 4194304 5098028 140726991375104 140726991371848 140671961481852 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28774400 140726991381347 140726991381616 140726991381616 140726991384525 0
/proc/6087/statm: 28282 368 311 221 0 87 0
[pid=6107] ppid=6087 vsize=7871828 memory=123288 CPUtime=1.34 cores=1,3,5,7
/proc/6107/stat : 6107 (java) S 6087 6087 3344 0 -1 1077944320 20800 1692 0 0 126 7 1 0 20 0 17 0 405039910 8060751872 30822 33554432000 4194304 4196468 140727203504720 140727203487264 140704627642103 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
/proc/6107/statm: 1967957 30822 3214 1 0 1929301 0
[pid=6107/tid=6108] ppid=6087 vsize=7871828 memory=7980 CPUtime=0.81 cores=1,3,5,7
/proc/6107/task/6108/stat : 6108 (java) R 6087 6087 3344 0 -1 4202560 17524 1692 0 0 75 5 1 0 20 0 17 0 405039911 8060751872 30822 33554432000 4194304 4196468 140727203504720 140704599479712 140704607838766 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6109] ppid=6087 vsize=7871828 memory=9580 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6109/stat : 6109 (java) S 6087 6087 3344 0 -1 1077944384 2 1692 0 0 0 0 1 0 20 0 17 0 405039912 8060751872 30822 33554432000 4194304 4196468 140727203504720 140704631884560 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6110] ppid=6087 vsize=7871828 memory=1052 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6110/stat : 6110 (java) S 6087 6087 3344 0 -1 1077944384 2 1692 0 0 0 0 1 0 20 0 17 0 405039912 8060751872 30822 33554432000 4194304 4196468 140727203504720 140704432053136 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6111] ppid=6087 vsize=7871828 memory=776 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6111/stat : 6111 (java) S 6087 6087 3344 0 -1 1077944384 2 1692 0 0 0 0 1 0 20 0 17 0 405039912 8060751872 30822 33554432000 4194304 4196468 140727203504720 140704431000592 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6112] ppid=6087 vsize=7871828 memory=2241 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6112/stat : 6112 (java) S 6087 6087 3344 0 -1 1077944384 2 1692 0 0 0 0 1 0 20 0 17 0 405039912 8060751872 30822 33554432000 4194304 4196468 140727203504720 140704429948048 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6113] ppid=6087 vsize=7871828 memory=2244 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6113/stat : 6113 (java) S 6087 6087 3344 0 -1 1077944384 6 1692 0 0 0 0 1 0 20 0 17 0 405039913 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703939897328 140704627653250 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6114] ppid=6087 vsize=7871828 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6114/stat : 6114 (java) S 6087 6087 3344 0 -1 1077944384 13 1692 0 0 0 0 1 0 20 0 17 0 405039914 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703464154016 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6115] ppid=6087 vsize=7871828 memory=-7595761213668167008 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6115/stat : 6115 (java) S 6087 6087 3344 0 -1 1077944384 21 1692 0 0 0 0 1 0 20 0 17 0 405039914 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703329932272 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6116] ppid=6087 vsize=7871828 memory=4639948313719891052 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6116/stat : 6116 (java) S 6087 6087 3344 0 -1 1077944384 3 1692 0 0 0 0 1 0 20 0 17 0 405039916 8060751872 30822 33554432000 4194304 4196468 140727203504720 140702955428048 140704627660699 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6117] ppid=6087 vsize=7871828 memory=1392 CPUtime=0.12 cores=1,3,5,7
/proc/6107/task/6117/stat : 6117 (java) S 6087 6087 3344 0 -1 1077944384 619 1692 0 0 11 0 1 0 20 0 17 0 405039916 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703938845168 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6118] ppid=6087 vsize=7871828 memory=1394452 CPUtime=0.12 cores=1,3,5,7
/proc/6107/task/6118/stat : 6118 (java) S 6087 6087 3344 0 -1 1077944384 442 1692 0 0 11 0 1 0 20 0 17 0 405039916 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703937792624 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6119] ppid=6087 vsize=7871828 memory=6440821933291825253 CPUtime=0.24 cores=1,3,5,7
/proc/6107/task/6119/stat : 6119 (java) S 6087 6087 3344 0 -1 1077944384 626 1692 0 0 23 0 1 0 20 0 17 0 405039916 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703936740080 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6120] ppid=6087 vsize=7871828 memory=6368764339253897317 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6120/stat : 6120 (java) S 6087 6087 3344 0 -1 1077944384 3 1692 0 0 0 0 1 0 20 0 17 0 405039917 8060751872 30822 33554432000 4194304 4196468 140727203504720 140702457523296 140704627652309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
[pid=6107/tid=6121] ppid=6087 vsize=7871828 memory=6368764339253897317 CPUtime=0.01 cores=1,3,5,7
/proc/6107/task/6121/stat : 6121 (java) S 6087 6087 3344 0 -1 1077944384 1 1692 0 0 0 0 1 0 20 0 17 0 405039917 8060751872 30822 33554432000 4194304 4196468 140727203504720 140703935686960 140704627653250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25886720 140727203513340 140727203513498 140727203513498 140727203516367 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 7984956 KiB
Current children cumulated memory: 124760 KiB

Child status: 0
Real time (s): 6.44204
CPU time (s): 16.2737
CPU user time (s): 15.8134
CPU system time (s): 0.460288
CPU usage (%): 252.617
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1571392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8134
system time used= 0.460288
maximum resident set size= 1575012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60736
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5103
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 6087
#   total CPU time (s): 16.2737
#   total CPU user time (s): 15.8134
#   total CPU system time (s): 0.460288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057321 second user time and 0.121807 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-12 14:26:45
IDJOB=4387813
IDBENCH=126132
IDSOLVER=2826
FILE ID=node119/4387813-1568291244
RUNJOBID= node119-1568285951-4194
PBS_JOBID= 21701084
Free space on /tmp= 52072 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-76.xml
COMMAND LINE= DIR/scop.sh 11g DIR/scop.jar -hybrid DIR/cryptominisat5 default TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387813-1568291244/watcher-4387813-1568291244 -o /tmp/evaluation-result-4387813-1568291244/solver-4387813-1568291244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387813-1568291244.xml

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

MD5SUM BENCH= 67696fc72ebd3977eb7611ca6505cd00
RANDOM SEED=1895787326

node119.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.47
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.47
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.47
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.47
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:        13355876 kB
MemAvailable:   25412048 kB
Buffers:          135836 kB
Cached:         12066764 kB
SwapCached:        61084 kB
Active:          8202912 kB
Inactive:       10445356 kB
Active(anon):    4998640 kB
Inactive(anon):  1488536 kB
Active(file):    3204272 kB
Inactive(file):  8956820 kB
Unevictable:      106656 kB
Mlocked:          106656 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             21004 kB
Writeback:             0 kB
AnonPages:       6615488 kB
Mapped:            56184 kB
Shmem:             32808 kB
Slab:             351976 kB
SReclaimable:     323540 kB
SUnreclaim:        28436 kB
KernelStack:        4144 kB
PageTables:        18108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   11411268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3379200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 52052 MiB
End job on node119 at 2019-09-12 14:26:51