Trace number 4387993

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 50.7585 34.8367

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-m4D/
Subisomorphism-si2-m4Dr6-m256-00.xml
MD5SUM73ef0e8387fdebf21bbae2b4acf5d521
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.036418
Satisfiable
(Un)Satisfiability was proved
Number of variables51
Number of constraints105
Number of domains1
Minimum domain size256
Maximum domain size256
Distribution of domain sizes[{"size":256,"count":51}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":12},{"degree":4,"count":11},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":8,"count":3},{"degree":9,"count":5},{"degree":10,"count":1},{"degree":11,"count":2}]
Minimum constraint arity1
Maximum constraint arity51
Distribution of constraint arities[{"arity":1,"count":17},{"arity":2,"count":87},{"arity":51,"count":1}]
Number of extensional constraints104
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":104},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	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-21852-serial-file.bin HOME/instance-4387993-1568293160.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 14:58:40 CEST 2019
0.66/0.55	c PID: 21855
0.66/0.55	c IP: 172.20.3.134
0.66/0.55	c HOST: node134.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.57/0.95	c (0,0) Parsing End
1.57/0.95	c (0,0) CSP: 51 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 256
1.57/0.95	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/0.96	c (0,0) Constraint Name Generate Begin
1.57/0.97	c (0,0) Ctr:HOME/instance-4387993-1568293160.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.57/0.97	c (0,0) Constraint Name Generate End
1.57/0.97	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.57/0.97	c (0,0) CSP to CSPinCNF Begin
9.43/3.81	c (3,3) translated 11 (10%) constraints
12.43/5.79	c (5,5) translated 21 (20%) constraints
14.73/7.91	c (7,7) translated 32 (30%) constraints
17.02/9.98	c (9,9) translated 42 (40%) constraints
19.32/11.95	c (11,11) translated 53 (50%) constraints
21.19/13.73	c (13,13) translated 63 (60%) constraints
23.10/15.67	c (15,14) translated 74 (70%) constraints
24.90/17.44	c (16,16) translated 84 (80%) constraints
26.91/18.64	c (18,17) translated 95 (90%) constraints
26.91/18.67	c (18,17) translated 105 (100%) constraints
26.91/18.67	c (18,17) ===========================================
27.25/18.77	c (18,17) Hybrid: #OE=22323, #LE=0
27.25/18.77	c (18,17) Hybrid
27.25/18.77	c (18,17) ===========================================
28.82/19.49	c (18,18) translated 32576 (10%) constraints
29.45/20.07	c (19,19) translated 65152 (20%) constraints
30.09/20.64	c (20,19) translated 97727 (30%) constraints
30.69/21.22	c (20,20) translated 130303 (40%) constraints
31.19/21.79	c (21,20) translated 162878 (50%) constraints
31.82/22.36	c (21,21) translated 195454 (60%) constraints
32.42/22.94	c (22,21) translated 228030 (70%) constraints
33.02/23.51	c (22,22) translated 260605 (80%) constraints
33.53/24.08	c (23,23) translated 293181 (90%) constraints
34.18/24.67	c (24,23) translated 325756 (100%) constraints
34.18/24.67	c (24,23) CSP to CSPinCNF End
34.18/24.68	c (24,23) CSP: 51 int (0 aux), 22272 bool (22272 aux), 325756 ctr, max domain size 256
34.18/24.68	c (24,23) Heap : 2338 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
34.18/24.68	c (24,23) CSPinCNF Propagation Begin
38.39/26.74	c (26,25) 0 values, 1009 unsatisfiable literals, and 925 valid clauses are removed
38.39/26.74	c (26,25) CSPinCNF Propagation End
38.39/26.75	c (26,25) CSP: 51 int (0 aux), 22272 bool (22272 aux), 324831 ctr, max domain size 256
38.39/26.75	c (26,25) Heap : 1435 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
38.55/26.83	c (26,25) Hybrid: #OE=22323, #LE=0
38.55/26.83	c (26,25) Simplify CSPinCNF Begin
39.39/27.31	c (26,26) Simplify CSPinCNF End
39.39/27.31	c (26,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.39/27.31	c (26,26) Heap : 1767 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.39/27.31	c (26,26) Calculate Precise Domain Begin
39.39/27.31	c (26,26) 0 values are removed by re-calculation
39.39/27.31	c (26,26) Calculate Precise Domain End
39.39/27.32	c (26,26) CSP: 51 int (0 aux), 24822 bool (24822 aux), 327381 ctr, max domain size 256
39.39/27.32	c (26,26) Heap : 1767 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
39.39/27.32	c (26,26) CSPinCNF to SatSolver Begin
44.54/30.49	c (29,28) 32739 (10 %) CSP clauses are encoded (0 SAT variables, 691801 SAT clauses)
44.91/30.78	c (30,29) 65477 (20 %) CSP clauses are encoded (0 SAT variables, 724539 SAT clauses)
45.25/31.05	c (30,29) 98215 (30 %) CSP clauses are encoded (0 SAT variables, 757277 SAT clauses)
45.54/31.32	c (30,29) 130953 (40 %) CSP clauses are encoded (0 SAT variables, 790015 SAT clauses)
45.74/31.59	c (31,30) 163691 (50 %) CSP clauses are encoded (0 SAT variables, 822753 SAT clauses)
46.04/31.86	c (31,30) 196429 (60 %) CSP clauses are encoded (0 SAT variables, 855491 SAT clauses)
46.35/32.13	c (31,30) 229167 (70 %) CSP clauses are encoded (0 SAT variables, 888229 SAT clauses)
47.31/32.59	c (32,30) 261905 (80 %) CSP clauses are encoded (0 SAT variables, 920967 SAT clauses)
47.61/32.86	c (32,31) 294643 (90 %) CSP clauses are encoded (0 SAT variables, 953705 SAT clauses)
47.92/33.13	c (32,31) 327381 (100 %) CSP clauses are encoded (0 SAT variables, 986443 SAT clauses)
47.92/33.13	c (32,31) CSPinCNF to SatSolver End
47.92/33.13	c (32,31) Heap : 942 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
47.92/33.13	c (32,31) 37784 bool, 986444 clause
47.92/33.13	c (32,31) Export Begin
48.05/33.23	c (32,31) Export to HOME/scop-21852-serial-file.bin
48.05/33.23	c (32,31) Export End
48.05/33.23	c (32,31) Export File Size: 0.01 MB
48.05/33.23	c (32,31) 0,0,24,26,26,26,32,STOP-AFTER(DIMACS)
48.05/33.23	c END-Prog: Thu Sep 12 14:59:12 CEST 2019
48.05/33.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21852-serial-file.bin
48.17/33.71	c (0,0) Read Serial File Begin
48.17/33.71	c (0,0) HOME/scop-21852-serial-file.bin
48.17/33.93	c (0,0) Read Serial File End
48.17/33.94	
48.17/33.94	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
48.17/33.94	(Solving Process)
48.17/33.94	
48.17/33.96	c BEGIN-Prog: Thu Sep 12 14:59:13 CEST 2019
48.17/33.96	c PID: 21872
48.17/33.96	c IP: 172.20.3.134
48.17/33.96	c HOST: node134.alineos.net
48.17/33.96	c (0,0) SatSolver.solve Begin
48.17/33.96	c (0,0) HOME/cryptominisat5  HOME/instance-4387993-1568293160.xml-scop-21855.cnf
48.17/34.00	c (0,0) c Outputting solution to console
48.17/34.00	c (0,0) c CryptoMiniSat version 5.6.8
48.17/34.00	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
48.17/34.00	c (0,0) c CMS SHA revision GIT-notfound
48.17/34.00	c (0,0) c CMS is MIT licensed
48.17/34.00	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
48.17/34.00	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
48.17/34.00	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387993-1568293160.xml-scop-21855.cnf
48.17/34.00	c (0,0) c Reading file 'HOME/instance-4387993-1568293160.xml-scop-21855.cnf'
48.17/34.00	c (0,0) c -- header says num vars:          37784
48.17/34.00	c (0,0) c -- header says num clauses:      986444
49.66/34.33	c (0,0) c -- clauses added: 986444
49.66/34.33	c (0,0) c -- xor clauses added: 0
49.66/34.33	c (0,0) c -- vars added 37784
49.66/34.33	c (0,0) c Parsing time: 0.31 s
49.86/34.59	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
49.86/34.59	c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
49.86/34.59	c (0,0) c UIP search time          : 0.25        (44.13     % time)
49.86/34.59	c (0,0) c restarts                 : 1           (68.00     confls per restart)
49.86/34.59	c (0,0) c blocked restarts         : 0           (0.00      per normal restart)
49.86/34.59	c (0,0) c time                     : 0.25        
49.86/34.59	c (0,0) c decisions                : 1103        (0.00      % random)
49.86/34.59	c (0,0) c propagations             : 430359      
49.86/34.59	c (0,0) c decisions/conflicts      : 16.22       
49.86/34.59	c (0,0) c conflicts                : 68          (272.05    / sec)
49.86/34.59	c (0,0) c conf lits non-minim      : 1091        (16.04     lit/confl)
49.86/34.59	c (0,0) c conf lits final          : 12.59       
49.86/34.59	c (0,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
49.86/34.59	c (0,0) c red which0               : 16          (23.53     % of confl)
49.86/34.59	c (0,0) c props/decision           : 0.00        
49.86/34.59	c (0,0) c props/conflict           : 0.00        
49.86/34.59	c (0,0) c 0-depth assigns          : 0           (0.00      % vars)
49.86/34.59	c (0,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
49.86/34.59	c (0,0) c reduceDB time            : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c OccSimplifier time       : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c [occur] 0.00 is overhead
49.86/34.59	c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
49.86/34.59	c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
49.86/34.59	c (0,0) c SCC time                 : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c [scc] new: 0 BP 0M  T: 0.00
49.86/34.59	c (0,0) c vrep replace time        : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c vrep tree roots          : 0           
49.86/34.59	c (0,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
49.86/34.59	c (0,0) c distill time             : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c strength cache-irred time: 0.00        (0.00      % time)
49.86/34.59	c (0,0) c strength cache-red time  : 0.00        (0.00      % time)
49.86/34.59	c (0,0) c Conflicts in UIP         : 68          (120.04    confl/time_this_thread)
49.86/34.59	c (0,0) c Mem used                 : 106.55      MB
49.86/34.59	c (0,0) c Total time (this thread) : 0.57        
49.86/34.59	c (0,0) s SATISFIABLE
50.30/34.73	c (1,0) SatSolver.solve End
50.30/34.73	c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
50.30/34.73	c (1,0) Show results Begin
50.67/34.82	c (1,0) x[0] = 0
50.67/34.82	c (1,0) x[1] = 39
50.67/34.83	c (1,0) x[2] = 93
50.67/34.83	c (1,0) x[3] = 100
50.67/34.83	c (1,0) x[4] = 179
50.67/34.83	c (1,0) x[5] = 214
50.67/34.83	c (1,0) x[6] = 43
50.67/34.83	c (1,0) x[7] = 116
50.67/34.83	c (1,0) x[8] = 154
50.67/34.83	c (1,0) x[9] = 167
50.67/34.83	c (1,0) x[10] = 200
50.67/34.83	c (1,0) x[11] = 213
50.67/34.83	c (1,0) x[12] = 247
50.67/34.83	c (1,0) x[13] = 249
50.67/34.83	c (1,0) x[14] = 59
50.67/34.83	c (1,0) x[15] = 75
50.67/34.83	c (1,0) x[16] = 215
50.67/34.83	c (1,0) x[17] = 228
50.67/34.83	c (1,0) x[18] = 254
50.67/34.83	c (1,0) x[19] = 48
50.67/34.83	c (1,0) x[20] = 125
50.67/34.83	c (1,0) x[21] = 135
50.67/34.83	c (1,0) x[22] = 105
50.67/34.83	c (1,0) x[23] = 124
50.67/34.83	c (1,0) x[24] = 255
50.67/34.83	c (1,0) x[25] = 237
50.67/34.83	c (1,0) x[26] = 223
50.67/34.83	c (1,0) x[27] = 234
50.67/34.83	c (1,0) x[28] = 203
50.67/34.83	c (1,0) x[29] = 88
50.67/34.83	c (1,0) x[30] = 104
50.67/34.83	c (1,0) x[31] = 138
50.67/34.83	c (1,0) x[32] = 118
50.67/34.83	c (1,0) x[33] = 208
50.67/34.83	c (1,0) x[34] = 112
50.67/34.83	c (1,0) x[35] = 239
50.67/34.83	c (1,0) x[36] = 82
50.67/34.83	c (1,0) x[37] = 99
50.67/34.83	c (1,0) x[38] = 172
50.67/34.83	c (1,0) x[39] = 225
50.67/34.83	c (1,0) x[40] = 246
50.67/34.83	c (1,0) x[41] = 35
50.67/34.83	c (1,0) x[42] = 76
50.67/34.83	c (1,0) x[43] = 227
50.67/34.83	c (1,0) x[44] = 6
50.67/34.83	c (1,0) x[45] = 47
50.67/34.83	c (1,0) x[46] = 69
50.67/34.83	c (1,0) x[47] = 77
50.67/34.83	c (1,0) x[48] = 197
50.67/34.83	c (1,0) x[49] = 207
50.67/34.83	c (1,0) x[50] = 27
50.67/34.83	s SATISFIABLE
50.67/34.83	v <instantiation>
50.67/34.83	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] x[50]</list>
50.67/34.83	v     <values>0 39 93 100 179 214 43 116 154 167 200 213 247 249 59 75 215 228 254 48 125 135 105 124 255 237 223 234 203 88 104 138 118 208 112 239 82 99 172 225 246 35 76 227 6 47 69 77 197 207 27</values>
50.67/34.83	v </instantiation>
50.67/34.83	c (1,0) Show results End
50.67/34.83	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
50.67/34.83	c (1,0) 1,1,STOP-AFTER(ALL)
50.67/34.83	c END-Prog: Thu Sep 12 14:59:14 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 (14565 MiB free)
  memory of node 1: 16384 MiB (14503 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387993-1568293160/watcher-4387993-1568293160 -o /tmp/evaluation-result-4387993-1568293160/solver-4387993-1568293160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20801 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387993-1568293160.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
Current StackSize limit: 8192 KiB

solver pid=21852, runsolver pid=21849

[startup+0.100094 s]*
/proc/loadavg: 1.92 2.02 2.33 3/239 21869
/proc/meminfo: memFree=29708684/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0
[pid=21855] ppid=21852 vsize=15012696 memory=70872 CPUtime=0.12 cores=0,2,4,6
/proc/21855/stat : 21855 (java) S 21852 21852 20770 0 -1 1077944320 6984 0 0 0 10 2 0 0 20 0 15 0 405566562 15373000704 17718 33554432000 4194304 4196468 140722160936240 140722160918784 139680107560695 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
/proc/21855/statm: 3753174 17718 2925 1 0 3715579 0
[pid=21855/tid=21856] ppid=21852 vsize=15012696 memory=-6653361208406884295 CPUtime=0.09 cores=0,2,4,6
/proc/21855/task/21856/stat : 21856 (java) R 21852 21852 20770 0 -1 4202560 4767 0 0 0 8 1 0 0 20 0 15 0 405566563 15373000704 17718 33554432000 4194304 4196468 140722160936240 139680079354600 139680091641182 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21857] ppid=21852 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21857/stat : 21857 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 17718 33554432000 4194304 4196468 140722160936240 139680111802640 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21858] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21858/stat : 21858 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 17718 33554432000 4194304 4196468 140722160936240 139679925959056 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21859] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21859/stat : 21859 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 17718 33554432000 4194304 4196468 140722160936240 139679924906512 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21860] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21860/stat : 21860 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 17718 33554432000 4194304 4196468 140722160936240 139679923853968 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21861] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21861/stat : 21861 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678943525360 139680107571842 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21862] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21862/stat : 21862 (java) S 21852 21852 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678711801248 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21863] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21863/stat : 21863 (java) S 21852 21852 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678577579504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21864] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) S 21852 21852 20770 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678942472176 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0.01 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) S 21852 21852 20770 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678940367088 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 17718 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72268 KiB

[startup+0.211174 s]*
/proc/loadavg: 1.92 2.02 2.33 3/239 21869
/proc/meminfo: memFree=29689596/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0
[pid=21855] ppid=21852 vsize=15012696 memory=85932 CPUtime=0.25 cores=0,2,4,6
/proc/21855/stat : 21855 (java) S 21852 21852 20770 0 -1 1077944320 12084 0 0 0 22 3 0 0 20 0 15 0 405566562 15373000704 21483 33554432000 4194304 4196468 140722160936240 140722160918784 139680107560695 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
/proc/21855/statm: 3753174 21483 2931 1 0 3715579 0
[pid=21855/tid=21856] ppid=21852 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/21855/task/21856/stat : 21856 (java) R 21852 21852 20770 0 -1 4202560 9812 0 0 0 17 3 0 0 20 0 15 0 405566563 15373000704 21483 33554432000 4194304 4196468 140722160936240 139680079384272 139680107572630 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21857] ppid=21852 vsize=15012696 memory=398 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21857/stat : 21857 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 21483 33554432000 4194304 4196468 140722160936240 139680111802640 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21858] ppid=21852 vsize=15012696 memory=288370607686502016 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21858/stat : 21858 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 21483 33554432000 4194304 4196468 140722160936240 139679925959056 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21859] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21859/stat : 21859 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 21483 33554432000 4194304 4196468 140722160936240 139679924906512 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21860] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21860/stat : 21860 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 21483 33554432000 4194304 4196468 140722160936240 139679923853968 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21861] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21861/stat : 21861 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678943525360 139680107571842 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21862] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21862/stat : 21862 (java) S 21852 21852 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678711801248 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21863] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21863/stat : 21863 (java) S 21852 21852 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678577579504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21864] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) S 21852 21852 20770 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678942472176 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15012696 memory=140231534790272 CPUtime=0.02 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) R 21852 21852 20770 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678940367088 139680086578780 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 21483 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87328 KiB

[startup+0.311042 s]*
/proc/loadavg: 1.92 2.02 2.33 3/239 21869
/proc/meminfo: memFree=29687176/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0
[pid=21855] ppid=21852 vsize=15012696 memory=90128 CPUtime=0.43 cores=0,2,4,6
/proc/21855/stat : 21855 (java) S 21852 21852 20770 0 -1 1077944320 13078 0 0 0 39 4 0 0 20 0 15 0 405566562 15373000704 22532 33554432000 4194304 4196468 140722160936240 140722160918784 139680107560695 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
/proc/21855/statm: 3753174 22532 3072 1 0 3715579 0
[pid=21855/tid=21856] ppid=21852 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/21855/task/21856/stat : 21856 (java) R 21852 21852 20770 0 -1 4202560 10593 0 0 0 27 3 0 0 20 0 15 0 405566563 15373000704 22532 33554432000 4194304 4196468 140722160936240 139680079375072 139680092726281 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21857] ppid=21852 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21857/stat : 21857 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 22532 33554432000 4194304 4196468 140722160936240 139680111802640 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21858] ppid=21852 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21858/stat : 21858 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 22532 33554432000 4194304 4196468 140722160936240 139679925959056 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21859] ppid=21852 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21859/stat : 21859 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 22532 33554432000 4194304 4196468 140722160936240 139679924906512 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21860] ppid=21852 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21860/stat : 21860 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566564 15373000704 22532 33554432000 4194304 4196468 140722160936240 139679923853968 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21861] ppid=21852 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21861/stat : 21861 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678943525360 139680107571842 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21862] ppid=21852 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21862/stat : 21862 (java) S 21852 21852 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678711801248 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21863] ppid=21852 vsize=15012696 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21863/stat : 21863 (java) S 21852 21852 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405566566 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678577579504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21864] ppid=21852 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) S 21852 21852 20770 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678942472176 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) S 21852 21852 20770 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678940367088 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15012696 memory=3472898942829666353 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566569 15373000704 22532 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91524 KiB

[startup+0.700735 s]
/proc/loadavg: 1.93 2.02 2.33 3/239 21869
/proc/meminfo: memFree=29666036/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0
[pid=21855] ppid=21852 vsize=15021092 memory=128380 CPUtime=1.01 cores=0,2,4,6
/proc/21855/stat : 21855 (java) S 21852 21852 20770 0 -1 1077944320 20353 0 0 0 95 6 0 0 20 0 15 0 405566562 15381598208 32095 33554432000 4194304 4196468 140722160936240 140722160918784 139680107560695 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
/proc/21855/statm: 3755273 32095 3203 1 0 3716603 0
[pid=21855/tid=21856] ppid=21852 vsize=15021092 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/21855/task/21856/stat : 21856 (java) R 21852 21852 20770 0 -1 4202560 17333 0 0 0 63 5 0 0 20 0 15 0 405566563 15381598208 32095 33554432000 4194304 4196468 140722160936240 139680079398416 140722161334472 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21857] ppid=21852 vsize=15021092 memory=116 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21857/stat : 21857 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15381598208 32095 33554432000 4194304 4196468 140722160936240 139680111802640 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21858] ppid=21852 vsize=15021092 memory=13812 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21858/stat : 21858 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15381598208 32095 33554432000 4194304 4196468 140722160936240 139679925959056 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21859] ppid=21852 vsize=15021092 memory=24080 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21859/stat : 21859 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566564 15381598208 32095 33554432000 4194304 4196468 140722160936240 139679924906512 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21860] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21860/stat : 21860 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405566564 15381598208 32095 33554432000 4194304 4196468 140722160936240 139679923853968 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21861] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21861/stat : 21861 (java) S 21852 21852 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405566566 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678943525360 139680107571842 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21862] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21862/stat : 21862 (java) S 21852 21852 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405566566 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678711801248 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21863] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21863/stat : 21863 (java) S 21852 21852 20770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405566566 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678577579504 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21864] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15021092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) S 21852 21852 20770 0 -1 1077944384 696 0 0 0 8 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678942472176 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15021092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15021092 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) S 21852 21852 20770 0 -1 1077944384 635 0 0 0 15 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678940367088 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405566569 15381598208 32095 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 129776 KiB

[startup+1.50084 s]
/proc/loadavg: 1.93 2.02 2.33 5/239 21869
/proc/meminfo: memFree=29629044/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0

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

[pid=21855/tid=21864] ppid=21852 vsize=15027304 memory=2528 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15027304 memory=1764 CPUtime=4.27 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) R 21852 21852 20770 0 -1 4202560 7392 0 0 0 425 2 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139678942472176 139680090947483 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15027304 memory=111632 CPUtime=5.55 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 7151 0 0 0 553 2 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15027304 memory=792 CPUtime=1.23 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) S 21852 21852 20770 0 -1 1077944384 4767 0 0 0 121 2 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139678940367088 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15027304 memory=1640 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15027304 memory=3628 CPUtime=0.01 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 32 0 0 0 0 1 0 0 20 0 15 0 405566569 15387959296 883350 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 42.08 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 3534796 KiB

[startup+32.0009 s]*
/proc/loadavg: 2.11 2.06 2.33 3/239 21871
/proc/meminfo: memFree=26069760/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405566562 115843072 349 33554432000 4194304 5098028 140728725981104 140728725978360 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 349 296 221 0 87 0
[pid=21855] ppid=21852 vsize=15027304 memory=3592932 CPUtime=46.25 cores=0,2,4,6
/proc/21855/stat : 21855 (java) S 21852 21852 20770 0 -1 1077944320 50057 0 0 0 4500 125 0 0 20 0 15 0 405566562 15387959296 898233 33554432000 4194304 4196468 140722160936240 140722160918784 139680107560695 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
/proc/21855/statm: 3756826 898233 3298 1 0 3717627 0
[pid=21855/tid=21856] ppid=21852 vsize=15027304 memory=6791534058613427641 CPUtime=30.99 cores=0,2,4,6
/proc/21855/task/21856/stat : 21856 (java) R 21852 21852 20770 0 -1 4202560 26141 0 0 0 3047 52 0 0 20 0 15 0 405566563 15387959296 898233 33554432000 4194304 4196468 140722160936240 139680079396000 139679606135525 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21857] ppid=21852 vsize=15027304 memory=4872558044660077418 CPUtime=0.95 cores=0,2,4,6
/proc/21855/task/21857/stat : 21857 (java) S 21852 21852 20770 0 -1 1077944384 645 0 0 0 79 16 0 0 20 0 15 0 405566564 15387959296 898233 33554432000 4194304 4196468 140722160936240 139680111802640 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21858] ppid=21852 vsize=15027304 memory=16097061523163479 CPUtime=0.95 cores=0,2,4,6
/proc/21855/task/21858/stat : 21858 (java) S 21852 21852 20770 0 -1 1077944384 1104 0 0 0 79 16 0 0 20 0 15 0 405566564 15387959296 898233 33554432000 4194304 4196468 140722160936240 139679925959056 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21859] ppid=21852 vsize=15027304 memory=3356 CPUtime=0.95 cores=0,2,4,6
/proc/21855/task/21859/stat : 21859 (java) S 21852 21852 20770 0 -1 1077944384 757 0 0 0 80 15 0 0 20 0 15 0 405566564 15387959296 898233 33554432000 4194304 4196468 140722160936240 139679924906512 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21860] ppid=21852 vsize=15027304 memory=2828 CPUtime=0.95 cores=0,2,4,6
/proc/21855/task/21860/stat : 21860 (java) S 21852 21852 20770 0 -1 1077944384 555 0 0 0 80 15 0 0 20 0 15 0 405566564 15387959296 898233 33554432000 4194304 4196468 140722160936240 139679923853968 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21861] ppid=21852 vsize=15027304 memory=1712 CPUtime=0.02 cores=0,2,4,6
/proc/21855/task/21861/stat : 21861 (java) S 21852 21852 20770 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 405566566 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678943525360 139680107571842 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21862] ppid=21852 vsize=15027304 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21862/stat : 21862 (java) S 21852 21852 20770 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405566566 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678711801312 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21863] ppid=21852 vsize=15027304 memory=944 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21863/stat : 21863 (java) S 21852 21852 20770 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 405566566 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678577579520 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21864] ppid=21852 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21864/stat : 21864 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678203075280 139680107579291 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21865] ppid=21852 vsize=15027304 memory=3592932 CPUtime=4.37 cores=0,2,4,6
/proc/21855/task/21865/stat : 21865 (java) S 21852 21852 20770 0 -1 1077944384 7395 0 0 0 435 2 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678942472176 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21866] ppid=21852 vsize=15027304 memory=2952 CPUtime=5.72 cores=0,2,4,6
/proc/21855/task/21866/stat : 21866 (java) S 21852 21852 20770 0 -1 1077944384 7155 0 0 0 570 2 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678941419632 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21867] ppid=21852 vsize=15027304 memory=2596 CPUtime=1.26 cores=0,2,4,6
/proc/21855/task/21867/stat : 21867 (java) S 21852 21852 20770 0 -1 1077944384 4792 0 0 0 124 2 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678940367088 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21868] ppid=21852 vsize=15027304 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/21855/task/21868/stat : 21868 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139677705169504 139680107570901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
[pid=21855/tid=21869] ppid=21852 vsize=15027304 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/21855/task/21869/stat : 21869 (java) S 21852 21852 20770 0 -1 1077944384 33 0 0 0 0 1 0 0 20 0 15 0 405566569 15387959296 898233 33554432000 4194304 4196468 140722160936240 139678939314992 139680107571842 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 21131264 140722160943913 140722160944282 140722160944282 140722160947151 0
Current children cumulated CPU time: 46.25 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 3594328 KiB

[startup+33.6003 s]
/proc/loadavg: 2.11 2.06 2.33 3/239 21871
/proc/meminfo: memFree=26059956/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1476 CPUtime=48.17 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 583 51175 0 0 0 0 4686 131 20 0 1 0 405566562 115843072 369 33554432000 4194304 5098028 140728725981104 140728725977848 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 48.17 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+34.4009 s]
/proc/loadavg: 2.11 2.06 2.33 6/242 21889
/proc/meminfo: memFree=29552056/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1476 CPUtime=48.17 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 583 51175 0 0 0 0 4686 131 20 0 1 0 405566562 115843072 369 33554432000 4194304 5098028 140728725981104 140728725977848 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 369 311 221 0 87 0
[pid=21872] ppid=21852 vsize=8068440 memory=119548 CPUtime=1.19 cores=0,2,4,6
/proc/21872/stat : 21872 (java) S 21852 21852 20770 0 -1 1077944320 19875 0 0 0 113 6 0 0 20 0 19 0 405569888 8262082560 29887 33554432000 4194304 4196468 140737128077568 140737128060112 139816675102455 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
/proc/21872/statm: 2017110 29887 3200 1 0 1978454 0
[pid=21887] ppid=21872 vsize=137920 memory=101976 CPUtime=0.4 cores=0,2,4,6
/proc/21887/stat : 21887 (cryptominisat5) R 21872 21852 20770 0 -1 4202496 21545 0 0 0 37 3 0 0 20 0 1 0 405569961 141230080 25494 33554432000 4194304 4451008 140737026356880 140737026352840 140710045711333 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 10764288 140737026360252 140737026360384 140737026360384 140737026363334 0
/proc/21887/statm: 34480 25494 635 63 0 28207 0
[pid=21872/tid=21873] ppid=21852 vsize=8068440 memory=8039887049847964329 CPUtime=0.75 cores=0,2,4,6
/proc/21872/task/21873/stat : 21873 (java) S 21852 21852 20770 0 -1 1077944384 16894 0 0 0 71 4 0 0 20 0 19 0 405569888 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816646942624 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21874] ppid=21852 vsize=8068440 memory=792 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21874/stat : 21874 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569889 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816679345296 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21875] ppid=21852 vsize=8068440 memory=1640 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21875/stat : 21875 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569889 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816487906320 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21876] ppid=21852 vsize=8068440 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21876/stat : 21876 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569889 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816159140752 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21877] ppid=21852 vsize=8068440 memory=920 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21877/stat : 21877 (java) S 21852 21852 20770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405569889 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816158087952 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21878] ppid=21852 vsize=8068440 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21878/stat : 21878 (java) S 21852 21852 20770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405569891 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816054237552 139816675113602 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21879] ppid=21852 vsize=8068440 memory=2952 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21879/stat : 21879 (java) S 21852 21852 20770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405569891 8262082560 29887 33554432000 4194304 4196468 140737128077568 139815546774560 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21880] ppid=21852 vsize=8068440 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21880/stat : 21880 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569892 8262082560 29887 33554432000 4194304 4196468 140737128077568 139815278338928 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21881] ppid=21852 vsize=8068440 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21881/stat : 21881 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569894 8262082560 29887 33554432000 4194304 4196468 140737128077568 139814903830352 139816675121051 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21882] ppid=21852 vsize=8068440 memory=1412 CPUtime=0.1 cores=0,2,4,6
/proc/21872/task/21882/stat : 21882 (java) S 21852 21852 20770 0 -1 1077944384 719 0 0 0 10 0 0 0 20 0 19 0 405569894 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816053185392 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21883] ppid=21852 vsize=8068440 memory=3464 CPUtime=0.09 cores=0,2,4,6
/proc/21872/task/21883/stat : 21883 (java) S 21852 21852 20770 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 405569894 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816052132592 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21884] ppid=21852 vsize=8068440 memory=1476 CPUtime=0.2 cores=0,2,4,6
/proc/21872/task/21884/stat : 21884 (java) S 21852 21852 20770 0 -1 1077944384 549 0 0 0 20 0 0 0 20 0 19 0 405569894 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816051079792 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21885] ppid=21852 vsize=8068440 memory=130320 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21885/stat : 21885 (java) S 21852 21852 20770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405569894 8262082560 29887 33554432000 4194304 4196468 140737128077568 139814405925600 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21886] ppid=21852 vsize=8068440 memory=820036 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21886/stat : 21886 (java) S 21852 21852 20770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405569895 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816050027184 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21888] ppid=21852 vsize=8068440 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21888/stat : 21888 (java) S 21852 21852 20770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405569961 8262082560 29887 33554432000 4194304 4196468 140737128077568 139816041993408 139816675127065 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21890] ppid=21852 vsize=8068440 memory=2800 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21890/stat : 21890 (java) S 21852 21852 20770 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405569962 8262082560 29887 33554432000 4194304 4196468 140737128077568 139813869042960 139816675124381 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21891] ppid=21852 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21872/task/21891/stat : 21891 (java) S 21852 21852 20770 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405569963 8262082560 29887 33554432000 4194304 4196468 140737128077568 139813600608400 139816675124381 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
Current children cumulated CPU time: 49.76 s
Current children cumulated vsize: 8319488 KiB
Current children cumulated memory: 223000 KiB

[startup+34.8062 s]
/proc/loadavg: 2.11 2.06 2.33 6/242 21889
/proc/meminfo: memFree=29552056/32770624 swapFree=66915632/67108860
[pid=21852] ppid=21849 vsize=113128 memory=1476 CPUtime=48.17 cores=0,2,4,6
/proc/21852/stat : 21852 (scop.sh) S 21849 21852 20770 0 -1 4202496 583 51175 0 0 0 0 4686 131 20 0 1 0 405566562 115843072 369 33554432000 4194304 5098028 140728725981104 140728725977848 139717964202620 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18501632 140728725984099 140728725984368 140728725984368 140728725987277 0
/proc/21852/statm: 28282 369 311 221 0 87 0
[pid=21872] ppid=21852 vsize=7937364 memory=143888 CPUtime=2.5 cores=0,2,4,6
/proc/21872/stat : 21872 (java) S 21852 21852 20770 0 -1 1077944320 21292 23363 0 0 181 7 58 4 20 0 17 0 405569888 8127860736 35972 33554432000 4194304 4196468 140737128077568 140737128060112 139816675102455 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
/proc/21872/statm: 1984341 35972 3231 1 0 1945685 0
[pid=21872/tid=21873] ppid=21852 vsize=7937364 memory=6941844071827530861 CPUtime=1.46 cores=0,2,4,6
/proc/21872/task/21873/stat : 21873 (java) R 21852 21852 20770 0 -1 4202560 17164 23363 0 0 79 5 58 4 20 0 17 0 405569888 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816646941104 139816675114390 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21874] ppid=21852 vsize=7937364 memory=4206468019014099040 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21874/stat : 21874 (java) S 21852 21852 20770 0 -1 1077944384 1 23363 0 0 0 0 58 4 20 0 17 0 405569889 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816679345296 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21875] ppid=21852 vsize=7937364 memory=69028 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21875/stat : 21875 (java) S 21852 21852 20770 0 -1 1077944384 1 23363 0 0 0 0 58 4 20 0 17 0 405569889 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816487906320 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21876] ppid=21852 vsize=7937364 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21876/stat : 21876 (java) S 21852 21852 20770 0 -1 1077944384 1 23363 0 0 0 0 58 4 20 0 17 0 405569889 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816159140752 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21877] ppid=21852 vsize=7937364 memory=280462841982736 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21877/stat : 21877 (java) S 21852 21852 20770 0 -1 1077944384 2 23363 0 0 0 0 58 4 20 0 17 0 405569889 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816158087952 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21878] ppid=21852 vsize=7937364 memory=1476 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21878/stat : 21878 (java) S 21852 21852 20770 0 -1 1077944384 5 23363 0 0 0 0 58 4 20 0 17 0 405569891 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816054237552 139816675113602 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21879] ppid=21852 vsize=7937364 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21879/stat : 21879 (java) S 21852 21852 20770 0 -1 1077944384 13 23363 0 0 0 0 58 4 20 0 17 0 405569891 8127860736 35972 33554432000 4194304 4196468 140737128077568 139815546774560 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21880] ppid=21852 vsize=7937364 memory=16097061523163479 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21880/stat : 21880 (java) S 21852 21852 20770 0 -1 1077944384 1 23363 0 0 0 0 58 4 20 0 17 0 405569892 8127860736 35972 33554432000 4194304 4196468 140737128077568 139815278338928 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21881] ppid=21852 vsize=7937364 memory=1552 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21881/stat : 21881 (java) S 21852 21852 20770 0 -1 1077944384 3 23363 0 0 0 0 58 4 20 0 17 0 405569894 8127860736 35972 33554432000 4194304 4196468 140737128077568 139814903830352 139816675121051 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21882] ppid=21852 vsize=7937364 memory=1052 CPUtime=0.9 cores=0,2,4,6
/proc/21872/task/21882/stat : 21882 (java) R 21852 21852 20770 0 -1 1077944384 1005 23363 0 0 28 0 58 4 20 0 17 0 405569894 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816053185520 139816675112661 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21883] ppid=21852 vsize=7937364 memory=1476 CPUtime=0.89 cores=0,2,4,6
/proc/21872/task/21883/stat : 21883 (java) S 21852 21852 20770 0 -1 1077944384 820 23363 0 0 27 0 58 4 20 0 17 0 405569894 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816052132592 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21884] ppid=21852 vsize=7937364 memory=119548 CPUtime=0.94 cores=0,2,4,6
/proc/21872/task/21884/stat : 21884 (java) R 21852 21852 20770 0 -1 4202560 852 23363 0 0 32 0 58 4 20 0 17 0 405569894 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816051079792 139816675114390 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21885] ppid=21852 vsize=7937364 memory=55240 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21885/stat : 21885 (java) S 21852 21852 20770 0 -1 1077944384 3 23363 0 0 0 0 58 4 20 0 17 0 405569894 8127860736 35972 33554432000 4194304 4196468 140737128077568 139814405925600 139816675112661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21886] ppid=21852 vsize=7937364 memory=14012 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21886/stat : 21886 (java) S 21852 21852 20770 0 -1 1077944384 1 23363 0 0 0 0 58 4 20 0 17 0 405569895 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816050027184 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
[pid=21872/tid=21888] ppid=21852 vsize=7937364 memory=18768 CPUtime=0.62 cores=0,2,4,6
/proc/21872/task/21888/stat : 21888 (java) S 21852 21852 20770 0 -1 1077944384 25 23363 0 0 0 0 58 4 20 0 17 0 405569961 8127860736 35972 33554432000 4194304 4196468 140737128077568 139816041992592 139816675113602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20344832 140737128080379 140737128080538 140737128080538 140737128083407 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 145364 KiB

Child status: 0
Real time (s): 34.8367
CPU time (s): 50.7585
CPU user time (s): 49.3151
CPU system time (s): 1.4434
CPU usage (%): 145.704
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3603760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.3151
system time used= 1.4434
maximum resident set size= 3602928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7397
involuntary context switches= 182


# summary of solver processes directly reported to runsolver:
#   pid: 21852
#   total CPU time (s): 50.7585
#   total CPU user time (s): 49.3151
#   total CPU system time (s): 1.4434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202962 second user time and 0.446881 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-12 14:58:39
IDJOB=4387993
IDBENCH=131444
IDSOLVER=2826
FILE ID=node134/4387993-1568293160
RUNJOBID= node134-1568289862-20801
PBS_JOBID= 21701097
Free space on /tmp= 51848 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-m4D/Subisomorphism-si2-m4Dr6-m256-00.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-4387993-1568293160/watcher-4387993-1568293160 -o /tmp/evaluation-result-4387993-1568293160/solver-4387993-1568293160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568289862-20801 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387993-1568293160.xml

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

MD5SUM BENCH= 73ef0e8387fdebf21bbae2b4acf5d521
RANDOM SEED=435022430

node134.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.76
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.76
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.76
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.76
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:        29767048 kB
MemAvailable:   30970536 kB
Buffers:          103308 kB
Cached:          1383068 kB
SwapCached:        90696 kB
Active:          1191276 kB
Inactive:        1229772 kB
Active(anon):     868580 kB
Inactive(anon):   105752 kB
Active(file):     322696 kB
Inactive(file):  1124020 kB
Unevictable:      110944 kB
Mlocked:          110944 kB
SwapTotal:      67108860 kB
SwapFree:       66915632 kB
Dirty:             20644 kB
Writeback:           368 kB
AnonPages:        968756 kB
Mapped:            54816 kB
Shmem:             30564 kB
Slab:             174024 kB
SReclaimable:     145212 kB
SUnreclaim:        28812 kB
KernelStack:        4224 kB
PageTables:         7244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6761404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 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= 51828 MiB
End job on node134 at 2019-09-12 14:59:14