Trace number 4388074

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 46.1515 41.4794

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-04-m018.xml
MD5SUMe1b631bab6f8bd4ad65377e678a0b81e
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 benchmark2.54992
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints28
Number of domains1
Minimum domain size37
Maximum domain size37
Distribution of domain sizes[{"size":37,"count":37}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity37
Distribution of constraint arities[{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}]
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-3888-serial-file.bin HOME/instance-4388074-1568294557.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 15:21:57 CEST 2019
0.66/0.56	c PID: 3891
0.66/0.56	c IP: 172.20.3.146
0.66/0.56	c HOST: node146.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.00/0.87	c (0,0) Parsing End
1.00/1.07	c (0,0) CSP: 37 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 37
1.00/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.00/1.07	c (0,0) Constraint Name Generate Begin
1.00/1.07	c (0,0) Ctr:HOME/instance-4388074-1568294557.xml,AllDifferent:Lt:Num:Var:WeightedSum
1.00/1.07	c (0,0) Constraint Name Generate End
1.00/1.07	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.00/1.07	c (0,0) CSP to CSPinCNF Begin
2.11/1.26	c (0,0) translated 3 (10%) constraints
2.11/1.26	c (0,0) translated 6 (20%) constraints
2.11/1.27	c (0,0) translated 9 (30%) constraints
2.11/1.27	c (0,0) translated 12 (40%) constraints
2.11/1.27	c (0,0) translated 14 (50%) constraints
2.11/1.27	c (0,0) translated 17 (60%) constraints
2.11/1.28	c (0,0) translated 20 (70%) constraints
2.11/1.28	c (0,0) translated 23 (80%) constraints
2.11/1.28	c (0,0) translated 26 (90%) constraints
2.11/1.28	c (0,0) translated 28 (100%) constraints
2.11/1.28	c (0,0) ===========================================
2.11/1.30	c (0,0) Hybrid: #OE=0, #LE=37
2.11/1.30	c (0,0) Hybrid
2.11/1.30	c (0,0) ===========================================
2.41/1.32	c (0,0) translated 74 (10%) constraints
2.41/1.33	c (0,0) translated 147 (20%) constraints
2.41/1.34	c (0,0) translated 220 (30%) constraints
2.41/1.35	c (0,0) translated 293 (40%) constraints
2.41/1.36	c (0,0) translated 366 (50%) constraints
2.41/1.37	c (0,0) translated 440 (60%) constraints
2.41/1.37	c (0,0) translated 513 (70%) constraints
2.41/1.38	c (0,0) translated 586 (80%) constraints
2.41/1.39	c (0,0) translated 659 (90%) constraints
3.00/1.58	c (1,1) translated 732 (100%) constraints
3.00/1.58	c (1,1) CSP to CSPinCNF End
3.00/1.59	c (1,1) CSP: 37 int (0 aux), 1369 bool (1369 aux), 3491 ctr, max domain size 37
3.00/1.59	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.00/1.59	c (1,1) CSPinCNF Propagation Begin
3.31/1.64	c (1,1) 9 values, 25 unsatisfiable literals, and 92 valid clauses are removed
3.31/1.64	c (1,1) CSPinCNF Propagation End
3.31/1.64	c (1,1) CSP: 37 int (0 aux), 1369 bool (1369 aux), 3399 ctr, max domain size 37
3.31/1.64	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.31/1.66	c (1,1) Hybrid: #OE=1369, #LE=37
3.31/1.66	c (1,1) Simplify CSPinCNF Begin
3.66/1.73	c (1,1) Simplify CSPinCNF End
3.66/1.73	c (1,1) CSP: 37 int (0 aux), 2768 bool (2768 aux), 4798 ctr, max domain size 37
3.66/1.73	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.66/1.73	c (1,1) Calculate Precise Domain Begin
3.66/1.73	c (1,1) 0 values are removed by re-calculation
3.66/1.73	c (1,1) Calculate Precise Domain End
3.66/1.73	c (1,1) CSP: 37 int (0 aux), 2768 bool (2768 aux), 4798 ctr, max domain size 37
3.66/1.73	c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.66/1.73	c (1,1) CSPinCNF to SatSolver Begin
4.24/1.97	c (1,1) 480 (10 %) CSP clauses are encoded (0 SAT variables, 14675 SAT clauses)
4.57/2.05	c (1,1) 960 (20 %) CSP clauses are encoded (0 SAT variables, 28097 SAT clauses)
4.90/2.12	c (1,1) 1440 (30 %) CSP clauses are encoded (0 SAT variables, 41286 SAT clauses)
4.90/2.17	c (1,1) 1920 (40 %) CSP clauses are encoded (0 SAT variables, 54732 SAT clauses)
5.16/2.22	c (1,1) 2399 (50 %) CSP clauses are encoded (0 SAT variables, 61128 SAT clauses)
5.16/2.25	c (1,1) 2879 (60 %) CSP clauses are encoded (0 SAT variables, 65942 SAT clauses)
5.16/2.28	c (1,1) 3359 (70 %) CSP clauses are encoded (0 SAT variables, 70650 SAT clauses)
5.43/2.32	c (1,1) 3839 (80 %) CSP clauses are encoded (0 SAT variables, 75459 SAT clauses)
5.43/2.35	c (1,1) 4319 (90 %) CSP clauses are encoded (0 SAT variables, 80306 SAT clauses)
5.74/2.42	c (1,1) 4798 (100 %) CSP clauses are encoded (0 SAT variables, 102690 SAT clauses)
5.74/2.42	c (1,1) CSPinCNF to SatSolver End
5.74/2.42	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.74/2.42	c (1,1) 47518 bool, 102728 clause
5.74/2.42	c (1,1) Export Begin
5.99/2.53	c (1,1) Export to HOME/scop-3888-serial-file.bin
5.99/2.53	c (1,1) Export End
5.99/2.53	c (1,1) Export File Size: 0.04 MB
5.99/2.53	c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.99/2.53	c END-Prog: Thu Sep 12 15:21:59 CEST 2019
5.99/2.55	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3888-serial-file.bin
6.10/3.01	c (0,0) Read Serial File Begin
6.10/3.01	c (0,0) HOME/scop-3888-serial-file.bin
6.10/3.24	c (0,0) Read Serial File End
6.10/3.26	
6.10/3.26	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
6.10/3.26	(Solving Process)
6.10/3.26	
6.10/3.28	c BEGIN-Prog: Thu Sep 12 15:22:00 CEST 2019
6.10/3.28	c PID: 3908
6.10/3.28	c IP: 172.20.3.146
6.10/3.28	c HOST: node146.alineos.net
6.10/3.28	c (0,0) SatSolver.solve Begin
6.10/3.28	c (0,0) HOME/cryptominisat5  HOME/instance-4388074-1568294557.xml-scop-3891.cnf
7.27/3.31	c (0,0) c Outputting solution to console
7.27/3.31	c (0,0) c CryptoMiniSat version 5.6.8
7.27/3.31	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.27/3.31	c (0,0) c CMS SHA revision GIT-notfound
7.27/3.31	c (0,0) c CMS is MIT licensed
7.27/3.31	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
7.27/3.31	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.27/3.31	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388074-1568294557.xml-scop-3891.cnf
7.27/3.31	c (0,0) c Reading file 'HOME/instance-4388074-1568294557.xml-scop-3891.cnf'
7.27/3.31	c (0,0) c -- header says num vars:          47518
7.27/3.31	c (0,0) c -- header says num clauses:      102728
7.27/3.35	c (0,0) c -- clauses added: 102728
7.27/3.35	c (0,0) c -- xor clauses added: 0
7.27/3.35	c (0,0) c -- vars added 47518
7.27/3.35	c (0,0) c Parsing time: 0.04 s
7.27/3.37	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
7.27/3.37	c (0,0) c [distill] long cls tried: 2/2 cl-short:2 lit-r:1 T: 0.00 T-out: N T-r: 100.00%
7.38/3.64	c (0,0) c [distill] long cls tried: 213/170 cl-short:213 lit-r:79 T: 0.01 T-out: N T-r: 99.97%
7.38/4.10	c (1,0) c [distill] long cls tried: 269/408 cl-short:269 lit-r:97 T: 0.01 T-out: N T-r: 99.97%
7.38/4.29	c (1,0) c   glue     1    75  8193   47433   64K   38K    3.02    2.64   456  2195  5374   168   19.78   19.42
8.76/4.73	c (1,0) c [distill] long cls tried: 1220/1555 cl-short:1219 lit-r:632 T: 0.05 T-out: N T-r: 99.79%
9.56/5.50	c (2,0) c   geom     1   129 16386   47390   64K   38K    3.02    2.64  1903  4328  9844   309   22.91   22.52
9.56/5.56	c (2,0) c [distill] long cls tried: 351/1850 cl-short:351 lit-r:217 T: 0.02 T-out: N T-r: 99.88%
10.77/6.72	c (3,0) c [distill] long cls tried: 1135/2879 cl-short:1135 lit-r:766 T: 0.07 T-out: N T-r: 99.50%
11.07/7.01	c (4,0) c   glue     1   191   24K   47390   64K   38K    3.02    2.64  2935  5026 16075   541   25.23   24.72
11.97/7.97	c (5,0) c [distill] long cls tried: 1179/3971 cl-short:1178 lit-r:737 T: 0.08 T-out: N T-r: 99.43%
12.38/8.32	c (5,0) c   glue     1   230   32K   47390   64K   38K    3.02    2.64  4035  6799 17905   681   26.55   25.98
13.77/9.72	c (6,0) c [distill] long cls tried: 1095/4993 cl-short:1094 lit-r:601 T: 0.09 T-out: N T-r: 99.35%
13.97/9.92	c (6,0) c   glue     1   286   40K   47390   64K   38K    3.02    2.64  5019  5526   26K   809   27.61   27.06
15.48/11.46	c (8,0) c   glue     1   346   49K   47390   64K   38K    3.02    2.64  5359  7852   24K   857   26.73   26.18
15.87/11.88	c (8,0) c [distill] long cls tried: 1167/6104 cl-short:1165 lit-r:668 T: 0.10 T-out: N T-r: 99.29%
17.08/13.00	c (10,0) c   geom     1   396   57K   47390   64K   38K    3.02    2.64  6257  6734   33K   954   27.47   26.96
18.78/14.73	c (11,0) c [distill] long cls tried: 1237/7287 cl-short:1237 lit-r:812 T: 0.12 T-out: N T-r: 99.16%
18.88/14.89	c (11,0) c   glue     1   443   65K   47390   64K   38K    3.02    2.64  7300  6865   30K  1061   25.89   25.34
19.88/15.87	c (12,0) c recursive minimization cost OK: 703Kcost/(% lits removed)
19.88/15.87	c (12,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
19.88/15.88	c (12,0) c --> Executing strategy token: handle-comps
19.88/15.88	c (12,0) c --> Executing strategy token: scc-vrepl
19.88/15.88	c (12,0) c [scc] new: 0 BP 0M T: 0.01
19.88/15.89	c (12,0) c --> Executing strategy token: cache-clean
19.88/15.89	c (12,0) c --> Executing strategy token: cache-tryboth
19.88/15.90	c (12,0) c --> Executing strategy token: sub-impl
19.88/15.90	c (12,0) c [impl sub] bin: 296 T: 0.01 T-out: N w-visit: 95036
19.99/15.91	c (12,0) c --> Executing strategy token: intree-probe
19.99/15.91	c (12,0) c [scc] new: 0 BP 0M T: 0.01
19.99/15.93	c (12,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
20.89/16.89	c (13,0) c [intree] Set 7 vars hyper-added: 315678 trans-irred::48 trans-red::7489 T: 0.96 T-out: N T-r: 94.22%
21.09/17.05	c (14,0) c --> Executing strategy token: probe
21.09/17.05	c (14,0) c --> Executing strategy token: sub-str-cls-with-bin
21.09/17.05	c (14,0) c [distill] cache-based irred--  cl tried   113444 cl-sh     0 cl-rem 14668 lit-rem      0 T: 0.11 T-out: N
21.09/17.05	c (14,0) c [distill] cache-based   red--  cl tried    14464 cl-sh   227 cl-rem  355 lit-rem    252 T: 0.03 T-out: N
22.50/18.46	c (15,0) c --> Executing strategy token: distill-cls
22.50/18.46	c (15,0) c [distill] long cls tried: 41123/49385 cl-short:9988 lit-r:7 T: 1.41 T-out: Y T-r: -0.00%
22.50/18.46	c (15,0) c [distill] long useful: 19976/82246/98776 lits-rem: 14 0-depth-assigns: 0 T: 2.81 T-out: Y
22.50/18.48	c (15,0) c --> Executing strategy token: scc-vrepl
22.50/18.48	c (15,0) c [scc] new: 9 BP 0M T: 0.02
22.60/18.51	c (15,0) c --> Executing strategy token: sub-impl
22.60/18.51	c (15,0) c [impl sub] bin: 75 T: 0.04 T-out: N w-visit: 95036
22.60/18.53	c (15,0) c --> Executing strategy token: str-impl
22.60/18.53	c (15,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.02 T-out: N T-r: 98.03% w-visit: 95036
22.60/18.56	c (15,0) c --> Executing strategy token: sub-impl
22.60/18.56	c (15,0) c [impl sub] bin: 0 T: 0.03 T-out: N w-visit: 95036
22.60/18.59	c (15,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
22.60/18.59	c (15,0) c [occ] mem usage for occur      8 MB
22.70/18.60	c (15,0) c [occ] mem usage for occur      4 MB
22.70/18.66	c (15,0) c Mem for watch alloc      : 21          MB (42.13     %)
22.70/18.66	c (15,0) c Mem for watch array      : 2           MB (4.25      %)
22.80/18.76	c (15,0) c --> Executing OCC strategy token: occ-backw-sub-str
22.80/18.76	c (15,0) c [occ-backw-sub-str-long-w-bins] subs: 2 str: 0 tried: 694366 0-depth ass: 0 T: 0.10 T-out: N T-r: 90.18%
22.90/18.82	c (15,0) c [occ-sub-long-w-long] rem cl: 340 tried: 197104/98552 (200.0%) T: 0.06 T-out: N T-r: 96.94%
23.00/18.91	c (15,0) c [occ-sub-str-long-w-long] sub: 3 str: 151 tried: 295656/98552 (300.0)  T: 0.10 T-out: N T-r: 92.06%
23.00/18.93	c (15,0) c --> Executing OCC strategy token: occ-clean-implicit
23.00/18.93	c (15,0) c --> Executing OCC strategy token: occ-bve
23.00/18.93	c (15,0) c [occ-empty-res] Empty resolvent elimed: 58 T: 0.01 T-out: N
23.31/19.22	c (16,0) c [occ-bve] iter v-elim 34601
23.31/19.22	c (16,0) c cl_inc_rate=0.5, var_dec_rate=3.7 (grow=0)
23.31/19.22	c (16,0) c Reduced to 12724 vars, 46200 cls (grow=0)
23.52/19.47	c (16,0) c [occ-bve] iter v-elim 6645
23.52/19.47	c (16,0) c cl_inc_rate=0.9, var_dec_rate=2.1 (grow=8)
23.52/19.47	c (16,0) c Reduced to 6079 vars, 43182 cls (grow=8)
23.71/19.60	c (16,0) c [occ-bve] iter v-elim 538
23.71/19.60	c (16,0) c cl_inc_rate=1.1, var_dec_rate=1.1 (grow=16)
23.71/19.60	c (16,0) c Reduced to 5541 vars, 45775 cls (grow=16)
23.71/19.60	c (16,0) c x n vars       : 5541
23.71/19.61	c (16,0) c  #try to eliminate:    84K
23.71/19.61	c (16,0) c  #var-elim        :    41K
23.71/19.61	c (16,0) c  #T-o: N
23.71/19.61	c (16,0) c  #T-r: 99.90%
23.71/19.61	c (16,0) c  #T  : 0.67
23.71/19.61	c (16,0) c [occur] 0.08 is overhead
23.71/19.61	c (16,0) c [occur] link-in T: 0.08 cleanup T: 0.00
23.71/19.61	c (16,0) c --> Executing OCC strategy token: occ-bva
23.71/19.61	c (16,0) c [occ-bva] global numcalls: 0
23.71/19.62	c (16,0) c --> Executing OCC strategy token: occ-ternary-res
23.71/19.62	c (16,0) c --> Executing OCC strategy token: occ-xor
23.71/19.62	c (16,0) c [occ-xor] sort occur list T: 0.01
23.71/19.64	c (16,0) c [occ-xor] found      0 T: 0.04 T-out: N T-r: 99.25%
23.71/19.64	c (16,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
23.71/19.66	c (16,0) c --> Executing strategy token: cl-consolidate
23.71/19.66	c (16,0) c [mem] consolidate  old-sz:  18175K new-sz:  1827K new bits offs: 0 T: 0.00
23.71/19.66	c (16,0) c --> Executing strategy token: str-impl
23.71/19.66	c (16,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.92% w-visit: 95036
23.82/19.78	c (16,0) c --> Executing strategy token: cache-clean
23.82/19.78	c (16,0) c --> Executing strategy token: sub-str-cls-with-bin
23.82/19.78	c (16,0) c [distill] cache-based irred--  cl tried    73525 cl-sh     0 cl-rem    1 lit-rem      0 T: 0.11 T-out: N
23.82/19.78	c (16,0) c [distill] cache-based   red--  cl tried     1966 cl-sh    19 cl-rem    4 lit-rem     32 T: 0.00 T-out: N
24.53/20.44	c (17,0) c --> Executing strategy token: distill-cls
24.53/20.44	c (17,0) c [distill] long cls tried: 35523/36681 cl-short:12595 lit-r:1935 T: 0.66 T-out: N T-r: 47.98%
24.53/20.44	c (17,0) c [distill] long useful: 25190/71046/73524 lits-rem: 3870 0-depth-assigns: 0 T: 1.32 T-out: N
24.53/20.44	c (17,0) c --> Executing strategy token: scc-vrepl
24.53/20.44	c (17,0) c [scc] new: 0 BP 0M T: 0.00
24.53/20.46	c (17,0) c --> Executing strategy token: check-cache-size
24.53/20.46	c (17,0) c --> Executing strategy token: renumber
24.53/20.46	c (17,0) c [renumber] T: 0.01
24.53/20.46	c (17,0) c --> Executing strategy token: sls
24.53/20.46	c (17,0) c [consolidate] mini T: 0.00
24.53/20.46	c (17,0) c global_timeout_multiplier: 4.40
24.53/20.46	c (17,0) c clause size stats. size3: 10864 size4: 12007 size5: 4660 larger: 9150
24.82/20.74	c (17,0) c   luby     0   503   73K    5541   36K  9093    5.00    4.41  1040   566  4321  2566   28.90   20.78
25.43/21.40	c (18,0) c [distill] long cls tried: 529/1339 cl-short:505 lit-r:173 T: 0.02 T-out: N T-r: 99.77%
25.53/21.45	c (18,0) c   luby     0   535   81K    5541   36K  9093    5.00    4.41  1347   995 11297  2601   37.75   32.02
26.32/22.27	c (19,0) c   luby     0   553   90K    5541   36K  9093    5.00    4.41  1800  1868 14166  2604   40.36   35.47
27.23/23.20	c (20,0) c   luby     0   585   98K    5541   36K  9093    5.00    4.41  1902  2389   21K  2611   42.85   39.13
27.63/23.58	c (20,0) c [distill] long cls tried: 895/2227 cl-short:893 lit-r:328 T: 0.05 T-out: N T-r: 99.35%
28.54/24.47	c (21,0) c   luby     0   610  106K    5541   36K  9093    5.00    4.41  2332  2868 17548  2619   41.69   37.59
29.54/25.49	c (22,0) c   luby     0   611  114K    5541   36K  9093    5.00    4.41  2768  2396   25K  2625   44.05   40.76
30.83/26.71	c (23,0) c   luby     0   642  122K    5541   36K  9093    5.00    4.41  3114  2113   22K  2627   42.59   39.04
31.03/26.92	c (23,0) c [distill] long cls tried: 894/3106 cl-short:891 lit-r:381 T: 0.05 T-out: N T-r: 99.31%
31.93/27.89	c (24,0) c   luby     0   673  131K    5541   36K  9093    5.00    4.41  3396  1807   30K  2644   44.14   41.22
33.13/29.03	c (26,0) c   luby     0   700  139K    5541   36K  9093    5.00    4.41  3519  2646   23K  2648   40.06   36.91
34.44/30.40	c (27,0) c   luby     0   732  147K    5541   36K  9093    5.00    4.41  3843  2157   31K  2649   42.62   39.94
35.54/31.47	c (28,0) c [distill] long cls tried: 1015/4108 cl-short:1015 lit-r:450 T: 0.07 T-out: N T-r: 99.13%
35.83/31.79	c (28,0) c   luby     0   738  155K    5541   36K  9093    5.00    4.41  4120  2366   24K  2664   41.24   38.13
36.93/32.89	c (29,0) c   luby     0   739  163K    5541   36K  9093    5.00    4.41  4436  2193   32K  2667   42.52   39.93
37.54/33.47	c (30,0) c recursive minimization cost OK: 2428Kcost/(% lits removed)
37.54/33.47	c (30,0) c --> Executing strategy token: handle-comps
37.54/33.47	c (30,0) c --> Executing strategy token: scc-vrepl
37.54/33.47	c (30,0) c [scc] new: 0 BP 0M T: 0.00
37.54/33.48	c (30,0) c --> Executing strategy token: cache-clean
37.54/33.48	c (30,0) c --> Executing strategy token: cache-tryboth
37.54/33.48	c (30,0) c --> Executing strategy token: sub-impl
37.54/33.48	c (30,0) c [impl sub] bin: 28 T: 0.00 T-out: N w-visit: 11082
37.54/33.49	c (30,0) c --> Executing strategy token: intree-probe
37.54/33.49	c (30,0) c [scc] new: 0 BP 0M T: 0.00
37.63/33.50	c (30,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.01
37.63/33.57	c (30,0) c [intree] Set 0 vars hyper-added: 40108 trans-irred::1152 trans-red::223 T: 0.08 T-out: N T-r: 99.45%
37.83/33.73	c (30,0) c --> Executing strategy token: probe
37.83/33.73	c (30,0) c --> Executing strategy token: sub-str-cls-with-bin
37.83/33.73	c (30,0) c [distill] cache-based irred--  cl tried    73362 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.13 T-out: N
37.83/33.73	c (30,0) c [distill] cache-based   red--  cl tried     8984 cl-sh   192 cl-rem   38 lit-rem    204 T: 0.03 T-out: N
37.83/33.73	c (30,0) c --> Executing strategy token: distill-cls
37.83/33.73	c (30,0) c [distill] long cls tried: 0/36681 cl-short:0 lit-r:0 T: 0.00 T-out: N T-r: 99.79%
37.83/33.73	c (30,0) c [distill] long useful: 0/0/73362 lits-rem: 0 0-depth-assigns: 0 T: 0.00 T-out: N
37.83/33.74	c (30,0) c --> Executing strategy token: scc-vrepl
37.83/33.74	c (30,0) c [scc] new: 0 BP 0M T: 0.00
37.83/33.74	c (30,0) c --> Executing strategy token: sub-impl
37.83/33.74	c (30,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 11082
37.83/33.75	c (30,0) c --> Executing strategy token: str-impl
37.83/33.75	c (30,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.72% w-visit: 11082
37.83/33.75	c (30,0) c --> Executing strategy token: sub-impl
37.83/33.75	c (30,0) c [impl sub] bin: 0 T: 0.01 T-out: N w-visit: 11082
37.83/33.76	c (30,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
37.83/33.76	c (30,0) c [occ] mem usage for occur      6 MB
37.83/33.77	c (30,0) c [occ] mem usage for occur      1 MB
37.95/33.81	c (30,0) c Mem for watch alloc      : 13          MB (20.79     %)
37.95/33.81	c (30,0) c Mem for watch array      : 0           MB (0.38      %)
37.95/33.83	c (30,0) c --> Executing OCC strategy token: occ-backw-sub-str
37.95/33.83	c (30,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 884408 0-depth ass: 0 T: 0.02 T-out: N T-r: 97.93%
37.95/33.88	c (30,0) c [occ-sub-long-w-long] rem cl: 442 tried: 131398/65699 (200.0%) T: 0.05 T-out: N T-r: 92.19%
38.05/33.98	c (31,0) c [occ-sub-str-long-w-long] sub: 51 str: 570 tried: 197097/65699 (300.0)  T: 0.10 T-out: N T-r: 90.75%
38.05/33.99	c (31,0) c --> Executing OCC strategy token: occ-clean-implicit
38.05/33.99	c (31,0) c --> Executing OCC strategy token: occ-bve
38.05/33.99	c (31,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.00 T-out: N
38.15/34.02	c (31,0) c [occ-bve] iter v-elim 0
38.15/34.02	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
38.15/34.02	c (31,0) c Reduced to 5541 vars, 44246 cls (grow=0)
38.15/34.09	c (31,0) c [occ-bve] iter v-elim 8
38.15/34.09	c (31,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
38.15/34.09	c (31,0) c Reduced to 5533 vars, 44274 cls (grow=8)
38.15/34.09	c (31,0) c x n vars       : 5533
38.15/34.09	c (31,0) c  #try to eliminate:  11167
38.15/34.09	c (31,0) c  #var-elim        :      8
38.15/34.09	c (31,0) c  #T-o: N
38.15/34.09	c (31,0) c  #T-r: 99.98%
38.15/34.09	c (31,0) c  #T  : 0.11
38.15/34.09	c (31,0) c [occur] 0.05 is overhead
38.15/34.09	c (31,0) c [occur] link-in T: 0.05 cleanup T: 0.00
38.15/34.09	c (31,0) c --> Executing OCC strategy token: occ-bva
38.15/34.09	c (31,0) c [occ-bva] global numcalls: 1
38.25/34.10	c (31,0) c --> Executing OCC strategy token: occ-ternary-res
38.25/34.10	c (31,0) c --> Executing OCC strategy token: occ-xor
38.25/34.10	c (31,0) c [occ-xor] sort occur list T: 0.01
38.25/34.13	c (31,0) c [occ-xor] found      0 T: 0.04 T-out: N T-r: 99.31%
38.25/34.15	c (31,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
38.25/34.15	c (31,0) c --> Executing strategy token: cl-consolidate
38.25/34.15	c (31,0) c Not consolidating memory.
38.25/34.16	c (31,0) c --> Executing strategy token: str-impl
38.25/34.16	c (31,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.00 T-out: N T-r: 99.72% w-visit: 11082
38.46/34.32	c (31,0) c --> Executing strategy token: cache-clean
38.46/34.32	c (31,0) c --> Executing strategy token: sub-str-cls-with-bin
38.46/34.32	c (31,0) c [distill] cache-based irred--  cl tried    72668 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.13 T-out: N
38.46/34.32	c (31,0) c [distill] cache-based   red--  cl tried     9064 cl-sh    17 cl-rem    2 lit-rem     21 T: 0.03 T-out: N
38.46/34.32	c (31,0) c --> Executing strategy token: distill-cls
38.46/34.32	c (31,0) c [distill] long cls tried: 93/36334 cl-short:64 lit-r:33 T: 0.00 T-out: N T-r: 99.25%
38.46/34.32	c (31,0) c [distill] long useful: 128/186/72668 lits-rem: 66 0-depth-assigns: 0 T: 0.01 T-out: N
38.46/34.33	c (31,0) c --> Executing strategy token: scc-vrepl
38.46/34.33	c (31,0) c [scc] new: 0 BP 0M T: 0.00
38.46/34.33	c (31,0) c --> Executing strategy token: check-cache-size
38.46/34.33	c (31,0) c --> Executing strategy token: renumber
38.46/34.33	c (31,0) c --> Executing strategy token: sls
38.46/34.33	c (31,0) c [consolidate] mini T: 0.00
38.46/34.33	c (31,0) c global_timeout_multiplier: 4.84
38.46/34.34	c (31,0) c [features] numVars 3022, numClauses 44274, var_cl_ratio 0.07, binary 0.18, horn 0.22, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.01, horn_spread 0.01, vcg_var_mean 0.00, vcg_var_std 2.77, vcg_var_min 0.00, vcg_var_max 0.01, vcg_var_spread 0.01, vcg_cls_mean 0.00, vcg_cls_std 2.23, vcg_cls_min 0.00, vcg_cls_max 0.01, vcg_cls_spread 0.01, pnr_var_mean 0.37, pnr_var_std 0.81, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.10, pnr_cls_std 2.01, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 40.33, confl_size_min 2.00, confl_size_max 246.00, avg_confl_glue 26.09, confl_glue_min 2.00, confl_glue_max 50.00, avg_num_resolutions 0.00, num_resolutions_min 0.00, num_resolutions_max 0.00, learnt_bins_per_confl 0.00, avg_branch_depth 51.48, branch_depth_min 40.00, branch_depth_max 193.00, avg_trail_depth_delta 396.30, trail_depth_delta_min 2.00, trail_depth_delta_max 2210.00, avg_branch_depth_delta 1.54, props_per_confl 0.00, confl_per_restart 227.34, decisions_per_conflict 3.00, irred_cl_distrib.glue_distr_mean 993.69, irred_cl_distrib.glue_distr_var 6254.59, irred_cl_distrib.size_distr_mean 4.94, irred_cl_distrib.size_distr_var 6.23, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.00, irred_cl_distrib.activity_distr_var 110942294.54, red_cl_distrib.glue_distr_mean 2.86, red_cl_distrib.glue_distr_var 0.14, red_cl_distrib.size_distr_mean 7.21, red_cl_distrib.size_distr_var 10.77, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 6334.45, red_cl_distrib.activity_distr_var 2219844918.72, num_gates_found_last 0, num_xors_found_last 0
38.46/34.34	c (31,0) c clause size stats. size3: 10855 size4: 11959 size5: 4679 larger: 8841
39.07/34.95	c (32,0) c   luby     0   761  172K    5533   36K  7940    4.94    4.41  4587  2472   25K   42K   40.09   18.58
40.47/36.32	c (33,0) c   luby     0   793  180K    5533   36K  7940    4.94    4.41  4834  2280 19403   42K   37.60   15.68
41.57/37.44	c (34,0) c [distill] long cls tried: 1026/4854 cl-short:1013 lit-r:324 T: 0.08 T-out: N T-r: 99.06%
41.66/37.55	c (34,0) c   luby     0   810  188K    5533   36K  7940    4.94    4.41  4866  2582   27K   42K   40.47   19.29
42.96/38.82	c (35,0) c   luby     0   841  196K    5533   36K  7940    4.94    4.41  5132  2280   20K   42K   36.94   15.93
44.16/40.05	c (37,0) c   luby     0   866  204K    5533   36K  7940    4.94    4.41  5285  2081   29K   42K   40.89   19.93
45.36/41.25	c (38,0) c ------- FINAL TOTAL SEARCH STATS ---------
45.36/41.25	c (38,0) c UIP search time          : 32.41       (85.54     % time)
45.36/41.25	c (38,0) c restarts                 : 867         (244.54    confls per restart)
45.36/41.25	c (38,0) c blocked restarts         : 253         (0.29      per normal restart)
45.36/41.25	c (38,0) c time                     : 32.41       
45.36/41.25	c (38,0) c decisions                : 576678      (0.00      % random)
45.36/41.25	c (38,0) c propagations             : 161756984   
45.36/41.25	c (38,0) c decisions/conflicts      : 2.72        
45.36/41.25	c (38,0) c conflicts                : 212015      (6540.83   / sec)
45.36/41.25	c (38,0) c conf lits non-minim      : 14091016    (66.46     lit/confl)
45.36/41.25	c (38,0) c conf lits final          : 42.74       
45.36/41.25	c (38,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
45.36/41.25	c (38,0) c red which0               : 3983        (1.88      % of confl)
45.36/41.25	c (38,0) c props/decision           : 0.00        
45.36/41.25	c (38,0) c props/conflict           : 0.00        
45.36/41.25	c (38,0) c 0-depth assigns          : 135         (2.44      % vars)
45.36/41.25	c (38,0) c 0-depth assigns by CNF   : 85          (1.53      % vars)
45.36/41.25	c (38,0) c reduceDB time            : 0.07        (0.18      % time)
45.36/41.25	c (38,0) c OccSimplifier time       : 0.69        (1.82      % time)
45.36/41.25	c (38,0) c [occur] 0.16 is overhead
45.36/41.25	c (38,0) c [occur] link-in T: 0.13 cleanup T: 0.03
45.36/41.25	c (38,0) c [occ-substr] long subBySub: 1122 subByStr: 57 lits-rem-str: 70186 T: 0.45
45.36/41.25	c (38,0) c SCC time                 : 0.04        (0.11      % time)
45.36/41.25	c (38,0) c [scc] new: 9 BP 0M  T: 0.04
45.36/41.25	c (38,0) c vrep replace time        : 0.03        (0.08      % time)
45.36/41.25	c (38,0) c vrep tree roots          : 0           
45.36/41.25	c (38,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
45.36/41.25	c (38,0) c distill time             : 4.95        (13.05     % time)
45.36/41.25	c (38,0) c strength cache-irred time: 0.48        (1.26      % time)
45.36/41.25	c (38,0) c strength cache-red time  : 0.08        (0.22      % time)
45.36/41.25	c (38,0) c Conflicts in UIP         : 212015      (5595.32   confl/time_this_thread)
45.36/41.25	c (38,0) c Mem used                 : 73.30       MB
45.36/41.25	c (38,0) c Total time (this thread) : 37.89       
45.36/41.25	c (38,0) s SATISFIABLE
45.61/41.40	c (38,0) SatSolver.solve End
45.61/41.40	c (38,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
45.61/41.40	c (38,0) Show results Begin
45.92/41.45	c (38,0) x[0][0] = -11
45.92/41.45	c (38,0) x[0][1] = 18
45.92/41.45	c (38,0) x[0][2] = -6
45.92/41.45	c (38,0) x[0][3] = -1
45.92/41.45	c (38,0) x[1][0] = 16
45.92/41.45	c (38,0) x[1][1] = -13
45.92/41.45	c (38,0) x[1][2] = -18
45.92/41.45	c (38,0) x[1][3] = 1
45.92/41.45	c (38,0) x[1][4] = 14
45.92/41.45	c (38,0) x[2][0] = -17
45.92/41.45	c (38,0) x[2][1] = 4
45.92/41.45	c (38,0) x[2][2] = 11
45.92/41.45	c (38,0) x[2][3] = -2
45.92/41.45	c (38,0) x[2][4] = 7
45.92/41.45	c (38,0) x[2][5] = -3
45.92/41.45	c (38,0) x[3][0] = 12
45.92/41.45	c (38,0) x[3][1] = 6
45.92/41.45	c (38,0) x[3][2] = -12
45.92/41.45	c (38,0) x[3][3] = 17
45.92/41.45	c (38,0) x[3][4] = -16
45.92/41.45	c (38,0) x[3][5] = 3
45.92/41.45	c (38,0) x[3][6] = -10
45.92/41.45	c (38,0) x[4][0] = -15
45.92/41.45	c (38,0) x[4][1] = 15
45.92/41.45	c (38,0) x[4][2] = -8
45.92/41.45	c (38,0) x[4][3] = 8
45.92/41.45	c (38,0) x[4][4] = 5
45.92/41.45	c (38,0) x[4][5] = -5
45.92/41.45	c (38,0) x[5][0] = 10
45.92/41.45	c (38,0) x[5][1] = 0
45.92/41.45	c (38,0) x[5][2] = -9
45.92/41.45	c (38,0) x[5][3] = -14
45.92/41.45	c (38,0) x[5][4] = 13
45.92/41.45	c (38,0) x[6][0] = -7
45.92/41.45	c (38,0) x[6][1] = -4
45.92/41.45	c (38,0) x[6][2] = 9
45.92/41.45	c (38,0) x[6][3] = 2
45.92/41.45	s SATISFIABLE
45.92/41.46	v <instantiation>
45.92/41.46	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3]</list>
45.92/41.46	v     <values>-11 18 -6 -1 16 -13 -18 1 14 -17 4 11 -2 7 -3 12 6 -12 17 -16 3 -10 -15 15 -8 8 5 -5 10 0 -9 -14 13 -7 -4 9 2</values>
45.92/41.46	v </instantiation>
45.92/41.46	c (38,0) Show results End
45.92/41.46	c (38,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
45.92/41.46	c (38,0) 38,38,STOP-AFTER(ALL)
45.92/41.46	c END-Prog: Thu Sep 12 15:22:38 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 (15309 MiB free)
  memory of node 1: 16384 MiB (14309 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388074-1568294557/watcher-4388074-1568294557 -o /tmp/evaluation-result-4388074-1568294557/solver-4388074-1568294557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388074-1568294557.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=3888, runsolver pid=3885

[startup+0.100109 s]*
/proc/loadavg: 2.00 2.16 2.46 4/235 3905
/proc/meminfo: memFree=30271232/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405369748 115843072 349 33554432000 4194304 5098028 140731942401472 140731942398728 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 349 296 221 0 87 0
[pid=3891] ppid=3888 vsize=15012696 memory=72928 CPUtime=0.11 cores=0,2,4,6
/proc/3891/stat : 3891 (java) S 3888 3888 31842 0 -1 1077944320 6497 0 0 0 8 3 0 0 20 0 15 0 405369749 15373000704 18232 33554432000 4194304 4196468 140724777556144 140724777538688 140639646756599 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
/proc/3891/statm: 3753174 18232 2829 1 0 3715579 0
[pid=3891/tid=3892] ppid=3888 vsize=15012696 memory=-7812800577974661515 CPUtime=0.09 cores=0,2,4,6
/proc/3891/task/3892/stat : 3892 (java) R 3888 3888 31842 0 -1 4202560 4481 0 0 0 7 2 0 0 20 0 15 0 405369749 15373000704 18363 33554432000 4194304 4196468 140724777556144 140639618540600 140639124599901 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3893] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3893/stat : 3893 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 18363 33554432000 4194304 4196468 140724777556144 140639650999056 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3894] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3894/stat : 3894 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 18363 33554432000 4194304 4196468 140724777556144 140639449774992 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3895] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3895/stat : 3895 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 18363 33554432000 4194304 4196468 140724777556144 140639448722448 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3896] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3896/stat : 3896 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 18363 33554432000 4194304 4196468 140724777556144 140639447669904 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3897] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3897/stat : 3897 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369752 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638481754096 140639646767746 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3898] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3898/stat : 3898 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638234338208 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3899] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3899/stat : 3899 (java) S 3888 3888 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638100116464 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3900] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3900/stat : 3900 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 18363 33554432000 4194304 4196468 140724777556144 140637725612240 140639646775195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3901] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3901/stat : 3901 (java) S 3888 3888 31842 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638480701936 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3902] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3902/stat : 3902 (java) S 3888 3888 31842 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638479649392 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3903] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3903/stat : 3903 (java) R 3888 3888 31842 0 -1 4202560 384 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638478596848 140639625382463 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3904] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3904/stat : 3904 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 18363 33554432000 4194304 4196468 140724777556144 140637227707488 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3905] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3905/stat : 3905 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 18363 33554432000 4194304 4196468 140724777556144 140638477543728 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74324 KiB

[startup+0.210826 s]*
/proc/loadavg: 2.00 2.16 2.46 4/235 3905
/proc/meminfo: memFree=30250588/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405369748 115843072 349 33554432000 4194304 5098028 140731942401472 140731942398728 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 349 296 221 0 87 0
[pid=3891] ppid=3888 vsize=15012696 memory=89036 CPUtime=0.25 cores=0,2,4,6
/proc/3891/stat : 3891 (java) S 3888 3888 31842 0 -1 1077944320 11874 0 0 0 20 5 0 0 20 0 15 0 405369749 15373000704 22259 33554432000 4194304 4196468 140724777556144 140724777538688 140639646756599 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
/proc/3891/statm: 3753174 22259 2941 1 0 3715579 0
[pid=3891/tid=3892] ppid=3888 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/3891/task/3892/stat : 3892 (java) R 3888 3888 31842 0 -1 4202560 9593 0 0 0 16 4 0 0 20 0 15 0 405369749 15373000704 22259 33554432000 4194304 4196468 140724777556144 140639618540160 140639646778525 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3893] ppid=3888 vsize=15012696 memory=539 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3893/stat : 3893 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 22259 33554432000 4194304 4196468 140724777556144 140639650999056 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3894] ppid=3888 vsize=15012696 memory=140593742259626 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3894/stat : 3894 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 22259 33554432000 4194304 4196468 140724777556144 140639449774992 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3895] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3895/stat : 3895 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 22259 33554432000 4194304 4196468 140724777556144 140639448722448 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3896] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3896/stat : 3896 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 22259 33554432000 4194304 4196468 140724777556144 140639447669904 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3897] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3897/stat : 3897 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369752 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638481754096 140639646767746 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3898] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3898/stat : 3898 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638234338208 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3899] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3899/stat : 3899 (java) S 3888 3888 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638100116464 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3900] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3900/stat : 3900 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 22259 33554432000 4194304 4196468 140724777556144 140637725612240 140639646775195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3901] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3901/stat : 3901 (java) S 3888 3888 31842 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638480701936 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3902] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3902/stat : 3902 (java) S 3888 3888 31842 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638479649392 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3903] ppid=3888 vsize=15012696 memory=140593740924544 CPUtime=0.02 cores=0,2,4,6
/proc/3891/task/3903/stat : 3903 (java) R 3888 3888 31842 0 -1 4202560 444 0 0 0 2 0 0 0 20 0 15 0 405369755 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638478596848 140639646777946 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3904] ppid=3888 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3904/stat : 3904 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 22259 33554432000 4194304 4196468 140724777556144 140637227707488 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3905] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3905/stat : 3905 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 22259 33554432000 4194304 4196468 140724777556144 140638477543728 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90432 KiB

[startup+0.310635 s]*
/proc/loadavg: 2.00 2.16 2.46 4/235 3905
/proc/meminfo: memFree=30248160/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405369748 115843072 349 33554432000 4194304 5098028 140731942401472 140731942398728 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 349 296 221 0 87 0
[pid=3891] ppid=3888 vsize=15012696 memory=92912 CPUtime=0.44 cores=0,2,4,6
/proc/3891/stat : 3891 (java) S 3888 3888 31842 0 -1 1077944320 12223 0 0 0 39 5 0 0 20 0 15 0 405369749 15373000704 23228 33554432000 4194304 4196468 140724777556144 140724777538688 140639646756599 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
/proc/3891/statm: 3753174 23228 3070 1 0 3715579 0
[pid=3891/tid=3892] ppid=3888 vsize=15012696 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/3891/task/3892/stat : 3892 (java) R 3888 3888 31842 0 -1 4202560 9774 0 0 0 26 4 0 0 20 0 15 0 405369749 15373000704 23228 33554432000 4194304 4196468 140724777556144 140639618541584 140639630837086 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3893] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3893/stat : 3893 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 23228 33554432000 4194304 4196468 140724777556144 140639650999056 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3894] ppid=3888 vsize=15012696 memory=667913 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3894/stat : 3894 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 23228 33554432000 4194304 4196468 140724777556144 140639449774992 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3895] ppid=3888 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3895/stat : 3895 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 23228 33554432000 4194304 4196468 140724777556144 140639448722448 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3896] ppid=3888 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3896/stat : 3896 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15373000704 23228 33554432000 4194304 4196468 140724777556144 140639447669904 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3897] ppid=3888 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3897/stat : 3897 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369752 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638481754096 140639646767746 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3898] ppid=3888 vsize=15012696 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3898/stat : 3898 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638234338208 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3899] ppid=3888 vsize=15012696 memory=7595409176523259756 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3899/stat : 3899 (java) S 3888 3888 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405369753 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638100116464 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3900] ppid=3888 vsize=15012696 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3900/stat : 3900 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369755 15373000704 23228 33554432000 4194304 4196468 140724777556144 140637725612240 140639646775195 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3901] ppid=3888 vsize=15012696 memory=-7737605734073681312 CPUtime=0.02 cores=0,2,4,6
/proc/3891/task/3901/stat : 3901 (java) S 3888 3888 31842 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 405369755 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638480701936 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3902] ppid=3888 vsize=15012696 memory=8514701219781834910 CPUtime=0.03 cores=0,2,4,6
/proc/3891/task/3902/stat : 3902 (java) S 3888 3888 31842 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 405369755 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638479649392 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3903] ppid=3888 vsize=15012696 memory=4949696295874309003 CPUtime=0.07 cores=0,2,4,6
/proc/3891/task/3903/stat : 3903 (java) S 3888 3888 31842 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 15 0 405369755 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638478596848 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3904] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3904/stat : 3904 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 23228 33554432000 4194304 4196468 140724777556144 140637227707488 140639646766805 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3905] ppid=3888 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3905/stat : 3905 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369756 15373000704 23228 33554432000 4194304 4196468 140724777556144 140638477543728 140639646767746 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94308 KiB

[startup+0.701943 s]
/proc/loadavg: 2.00 2.16 2.46 3/235 3905
/proc/meminfo: memFree=30227200/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405369748 115843072 349 33554432000 4194304 5098028 140731942401472 140731942398728 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 349 296 221 0 87 0
[pid=3891] ppid=3888 vsize=15021092 memory=129880 CPUtime=1 cores=0,2,4,6
/proc/3891/stat : 3891 (java) S 3888 3888 31842 0 -1 1077944320 19757 0 0 0 92 8 0 0 20 0 15 0 405369749 15381598208 32470 33554432000 4194304 4196468 140724777556144 140724777538688 140639646756599 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
/proc/3891/statm: 3755273 32470 3211 1 0 3716603 0
[pid=3891/tid=3892] ppid=3888 vsize=15022116 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3891/task/3892/stat : 3892 (java) R 3888 3888 31842 0 -1 4202560 16918 0 0 0 61 6 0 0 20 0 15 0 405369749 15382646784 32470 33554432000 4194304 4196468 140724777556144 140639618565536 140639639436317 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3893] ppid=3888 vsize=15022116 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3893/stat : 3893 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15382646784 32470 33554432000 4194304 4196468 140724777556144 140639650999056 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3894] ppid=3888 vsize=15022116 memory=57 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3894/stat : 3894 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15382646784 32470 33554432000 4194304 4196468 140724777556144 140639449774992 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3895] ppid=3888 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3895/stat : 3895 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405369751 15381598208 32470 33554432000 4194304 4196468 140724777556144 140639448722448 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3896] ppid=3888 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3896/stat : 3896 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405369751 15381598208 32470 33554432000 4194304 4196468 140724777556144 140639447669904 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3897] ppid=3888 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3897/stat : 3897 (java) S 3888 3888 31842 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405369752 15381598208 32470 33554432000 4194304 4196468 140724777556144 140638481754096 140639646767746 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3898] ppid=3888 vsize=15022116 memory=1294 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3898/stat : 3898 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405369753 15382646784 32470 33554432000 4194304 4196468 140724777556144 140638234338208 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3899] ppid=3888 vsize=15022116 memory=32800 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3899/stat : 3899 (java) S 3888 3888 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405369753 15382646784 32470 33554432000 4194304 4196468 140724777556144 140638100116464 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3900] ppid=3888 vsize=15022116 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3900/stat : 3900 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369755 15382646784 32470 33554432000 4194304 4196468 140724777556144 140637725612240 140639646775195 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3901] ppid=3888 vsize=15021092 memory=2012 CPUtime=0.06 cores=0,2,4,6
/proc/3891/task/3901/stat : 3901 (java) S 3888 3888 31842 0 -1 1077944384 461 0 0 0 6 0 0 0 20 0 15 0 405369755 15381598208 32470 33554432000 4194304 4196468 140724777556144 140638480701936 140639646767746 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3902] ppid=3888 vsize=15021092 memory=1240 CPUtime=0.09 cores=0,2,4,6
/proc/3891/task/3902/stat : 3902 (java) S 3888 3888 31842 0 -1 1077944384 479 0 0 0 9 0 0 0 20 0 15 0 405369755 15381598208 32470 33554432000 4194304 4196468 140724777556144 140638479649392 140639646767746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3903] ppid=3888 vsize=15021092 memory=580 CPUtime=0.14 cores=0,2,4,6
/proc/3891/task/3903/stat : 3903 (java) R 3888 3888 31842 0 -1 4202560 547 0 0 0 14 0 0 0 20 0 15 0 405369755 15381598208 32470 33554432000 4194304 4196468 140724777556144 140638478596848 140639626949549 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3904] ppid=3888 vsize=15022116 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3904/stat : 3904 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369756 15382646784 32470 33554432000 4194304 4196468 140724777556144 140637227707488 140639646766805 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
[pid=3891/tid=3905] ppid=3888 vsize=15022116 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/3891/task/3905/stat : 3905 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405369756 15382646784 32470 33554432000 4194304 4196468 140724777556144 140638477543728 140639646767746 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21958656 140724777562922 140724777563290 140724777563290 140724777566159 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131276 KiB

[startup+1.50076 s]
/proc/loadavg: 2.00 2.16 2.46 4/235 3905
/proc/meminfo: memFree=30179456/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405369748 115843072 349 33554432000 4194304 5098028 140731942401472 140731942398728 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 349 296 221 0 87 0

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

/proc/3908/task/3924/stat : 3924 (java) S 3888 3888 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405370079 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642627053248 139643260038937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3926] ppid=3888 vsize=8068440 memory=3580 CPUtime=0.03 cores=0,2,4,6
/proc/3908/task/3926/stat : 3926 (java) S 3888 3888 31842 0 -1 4202560 1709 0 0 0 2 1 0 0 20 0 19 0 405370080 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640459734800 139643260036253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3927] ppid=3888 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3927/stat : 3927 (java) S 3888 3888 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405370080 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640325512880 139643260036253 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3928] ppid=3888 vsize=8068440 memory=125996 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3928/stat : 3928 (java) S 3888 3888 31842 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405370082 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640593964208 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
Current children cumulated CPU time: 44.47 s
Current children cumulated vsize: 8281444 KiB
Current children cumulated memory: 199680 KiB

[startup+41.101 s]
/proc/loadavg: 2.05 2.15 2.44 3/240 3929
/proc/meminfo: memFree=30142920/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1476 CPUtime=6.1 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 583 25992 0 0 0 0 591 19 20 0 1 0 405369748 115843072 369 33554432000 4194304 5098028 140731942401472 140731942398216 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 369 311 221 0 87 0
[pid=3908] ppid=3888 vsize=8068440 memory=123288 CPUtime=1.38 cores=0,2,4,6
/proc/3908/stat : 3908 (java) S 3888 3888 31842 0 -1 1077944320 22686 0 0 0 128 10 0 0 20 0 19 0 405370004 8262082560 30822 33554432000 4194304 4196468 140728958092864 140728958075408 139643260014327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
/proc/3908/statm: 2017110 30822 3216 1 0 1978454 0
[pid=3923] ppid=3908 vsize=99876 memory=75060 CPUtime=37.78 cores=0,2,4,6
/proc/3923/stat : 3923 (cryptominisat5) R 3908 3888 31842 0 -1 4202496 55402 0 0 0 3773 5 0 0 20 0 1 0 405370079 102273024 18765 33554432000 4194304 4451008 140722462033232 140722462029160 139790323909548 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 6828032 140722462036925 140722462037056 140722462037056 140722462040006 0
/proc/3923/statm: 24969 18765 743 63 0 18696 0
[pid=3908/tid=3909] ppid=3888 vsize=8068440 memory=-3622645143214314312 CPUtime=0.78 cores=0,2,4,6
/proc/3908/task/3909/stat : 3909 (java) S 3888 3888 31842 0 -1 1077944384 17316 0 0 0 72 6 0 0 20 0 19 0 405370004 8262082560 30822 33554432000 4194304 4196468 140728958092864 139643231854496 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3910] ppid=3888 vsize=8068440 memory=2980 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3910/stat : 3910 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 30822 33554432000 4194304 4196468 140728958092864 139643264256656 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3911] ppid=3888 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3911/stat : 3911 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 30822 33554432000 4194304 4196468 140728958092864 139643078412816 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3912] ppid=3888 vsize=8068440 memory=123288 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3912/stat : 3912 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642744240528 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3913] ppid=3888 vsize=8068440 memory=74916 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3913/stat : 3913 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642743187728 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3914] ppid=3888 vsize=8068440 memory=123288 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3914/stat : 3914 (java) S 3888 3888 31842 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405370007 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642639297392 139643260025474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3915] ppid=3888 vsize=8068440 memory=74916 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3915/stat : 3915 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405370007 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642137470496 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3916] ppid=3888 vsize=8068440 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3916/stat : 3916 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405370008 8262082560 30822 33554432000 4194304 4196468 140728958092864 139641869034864 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3917] ppid=3888 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3917/stat : 3917 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405370010 8262082560 30822 33554432000 4194304 4196468 140728958092864 139641494526288 139643260032923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3918] ppid=3888 vsize=8068440 memory=1240 CPUtime=0.15 cores=0,2,4,6
/proc/3908/task/3918/stat : 3918 (java) S 3888 3888 31842 0 -1 1077944384 970 0 0 0 15 0 0 0 20 0 19 0 405370010 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642638244208 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3919] ppid=3888 vsize=8068440 memory=580 CPUtime=0.1 cores=0,2,4,6
/proc/3908/task/3919/stat : 3919 (java) S 3888 3888 31842 0 -1 1077944384 262 0 0 0 10 0 0 0 20 0 19 0 405370010 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642637191408 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3920] ppid=3888 vsize=8068440 memory=1696 CPUtime=0.25 cores=0,2,4,6
/proc/3908/task/3920/stat : 3920 (java) S 3888 3888 31842 0 -1 1077944384 1038 0 0 0 25 0 0 0 20 0 19 0 405370010 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642636138608 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3921] ppid=3888 vsize=8068440 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3921/stat : 3921 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405370010 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640996620512 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3922] ppid=3888 vsize=8068440 memory=7548 CPUtime=0.02 cores=0,2,4,6
/proc/3908/task/3922/stat : 3922 (java) S 3888 3888 31842 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405370011 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642635087024 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3924] ppid=3888 vsize=8068440 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3924/stat : 3924 (java) S 3888 3888 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405370079 8262082560 30822 33554432000 4194304 4196468 140728958092864 139642627053248 139643260038937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3926] ppid=3888 vsize=8068440 memory=1224 CPUtime=0.03 cores=0,2,4,6
/proc/3908/task/3926/stat : 3926 (java) S 3888 3888 31842 0 -1 4202560 1709 0 0 0 2 1 0 0 20 0 19 0 405370080 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640459734800 139643260036253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3927] ppid=3888 vsize=8068440 memory=5904 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3927/stat : 3927 (java) S 3888 3888 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405370080 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640325512880 139643260036253 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3928] ppid=3888 vsize=8068440 memory=772 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3928/stat : 3928 (java) S 3888 3888 31842 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405370082 8262082560 30822 33554432000 4194304 4196468 140728958092864 139640593964208 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
Current children cumulated CPU time: 45.26 s
Current children cumulated vsize: 8281444 KiB
Current children cumulated memory: 199824 KiB

[startup+41.306 s]*
/proc/loadavg: 2.05 2.15 2.44 5/240 3929
/proc/meminfo: memFree=30140128/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1476 CPUtime=6.1 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 583 25992 0 0 0 0 591 19 20 0 1 0 405369748 115843072 369 33554432000 4194304 5098028 140731942401472 140731942398216 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 369 311 221 0 87 0
[pid=3908] ppid=3888 vsize=8068440 memory=127588 CPUtime=1.57 cores=0,2,4,6
/proc/3908/stat : 3908 (java) S 3888 3888 31842 0 -1 1077944320 23266 0 0 0 146 11 0 0 20 0 19 0 405370004 8262082560 31897 33554432000 4194304 4196468 140728958092864 140728958075408 139643260014327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
/proc/3908/statm: 2017110 31897 3223 1 0 1978454 0
[pid=3923] ppid=3908 vsize=99876 memory=75060 CPUtime=37.94 cores=0,2,4,6
/proc/3923/stat : 3923 (cryptominisat5) R 3908 3888 31842 0 -1 4202496 55457 0 0 0 3789 5 0 0 20 0 1 0 405370079 102273024 18765 33554432000 4194304 4451008 140722462033232 140722462030456 139790316457056 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 6828032 140722462036925 140722462037056 140722462037056 140722462040006 0
/proc/3923/statm: 24969 18765 743 63 0 18696 0
[pid=3908/tid=3909] ppid=3888 vsize=8068440 memory=8305309928409948256 CPUtime=0.78 cores=0,2,4,6
/proc/3908/task/3909/stat : 3909 (java) S 3888 3888 31842 0 -1 1077944384 17316 0 0 0 72 6 0 0 20 0 19 0 405370004 8262082560 31963 33554432000 4194304 4196468 140728958092864 139643231854496 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3910] ppid=3888 vsize=8068440 memory=140593607920367 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3910/stat : 3910 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 31963 33554432000 4194304 4196468 140728958092864 139643264256656 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3911] ppid=3888 vsize=8068440 memory=281187214866712 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3911/stat : 3911 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 31963 33554432000 4194304 4196468 140728958092864 139643078412816 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3912] ppid=3888 vsize=8068440 memory=2319389199166944815 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3912/stat : 3912 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642744240528 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3913] ppid=3888 vsize=8068440 memory=8462108013221118012 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3913/stat : 3913 (java) S 3888 3888 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405370005 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642743187728 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3914] ppid=3888 vsize=8068440 memory=288293255295284612 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3914/stat : 3914 (java) S 3888 3888 31842 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405370007 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642639297392 139643260025474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3915] ppid=3888 vsize=8068440 memory=3691039850703893658 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3915/stat : 3915 (java) S 3888 3888 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405370007 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642137470496 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3916] ppid=3888 vsize=8068440 memory=-7737289088053317216 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3916/stat : 3916 (java) S 3888 3888 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405370008 8262082560 31963 33554432000 4194304 4196468 140728958092864 139641869034864 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3917] ppid=3888 vsize=8068440 memory=6944652027076318631 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3917/stat : 3917 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405370010 8262082560 31963 33554432000 4194304 4196468 140728958092864 139641494526288 139643260032923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3918] ppid=3888 vsize=8068440 memory=-7161732098442470212 CPUtime=0.18 cores=0,2,4,6
/proc/3908/task/3918/stat : 3918 (java) R 3888 3888 31842 0 -1 4202560 1003 0 0 0 18 0 0 0 20 0 19 0 405370010 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642638232912 139643243513688 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3919] ppid=3888 vsize=8068440 memory=-7175753904026764170 CPUtime=0.14 cores=0,2,4,6
/proc/3908/task/3919/stat : 3919 (java) R 3888 3888 31842 0 -1 4202560 587 0 0 0 14 0 0 0 20 0 19 0 405370010 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642637172424 139643241539430 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3920] ppid=3888 vsize=8068440 memory=-2541025649211760737 CPUtime=0.3 cores=0,2,4,6
/proc/3908/task/3920/stat : 3920 (java) R 3888 3888 31842 0 -1 4202560 1261 0 0 0 30 0 0 0 20 0 19 0 405370010 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642636138608 139643253111163 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3921] ppid=3888 vsize=8068440 memory=-2895008908443480685 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3921/stat : 3921 (java) S 3888 3888 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405370010 8262082560 31963 33554432000 4194304 4196468 140728958092864 139640996620512 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3922] ppid=3888 vsize=8068440 memory=-7809347781619650400 CPUtime=0.02 cores=0,2,4,6
/proc/3908/task/3922/stat : 3922 (java) S 3888 3888 31842 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 19 0 405370011 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642635087024 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3924] ppid=3888 vsize=8068440 memory=6944656592385698452 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3924/stat : 3924 (java) S 3888 3888 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405370079 8262082560 31963 33554432000 4194304 4196468 140728958092864 139642627053248 139643260038937 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3926] ppid=3888 vsize=8068440 memory=-7175753904026764170 CPUtime=0.09 cores=0,2,4,6
/proc/3908/task/3926/stat : 3926 (java) R 3888 3888 31842 0 -1 4202560 1754 0 0 0 8 1 0 0 20 0 19 0 405370080 8262082560 31963 33554432000 4194304 4196468 140728958092864 139640459734960 139642761655308 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3927] ppid=3888 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3927/stat : 3927 (java) S 3888 3888 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405370080 8262082560 31963 33554432000 4194304 4196468 140728958092864 139640325512880 139643260036253 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3928] ppid=3888 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3908/task/3928/stat : 3928 (java) S 3888 3888 31842 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405370082 8262082560 31963 33554432000 4194304 4196468 140728958092864 139640593964208 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
Current children cumulated CPU time: 45.61 s
Current children cumulated vsize: 8281444 KiB
Current children cumulated memory: 204124 KiB

[startup+41.411 s]
/proc/loadavg: 2.05 2.15 2.44 5/240 3929
/proc/meminfo: memFree=30140128/32770624 swapFree=66999612/67108860
[pid=3888] ppid=3885 vsize=113128 memory=1476 CPUtime=6.1 cores=0,2,4,6
/proc/3888/stat : 3888 (scop.sh) S 3885 3888 31842 0 -1 4202496 583 25992 0 0 0 0 591 19 20 0 1 0 405369748 115843072 369 33554432000 4194304 5098028 140731942401472 140731942398216 139628233482876 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 7675904 140731942404963 140731942405232 140731942405232 140731942408141 0
/proc/3888/statm: 28282 369 311 221 0 87 0
[pid=3908] ppid=3888 vsize=7937364 memory=148676 CPUtime=39.82 cores=0,2,4,6
/proc/3908/stat : 3908 (java) S 3888 3888 31842 0 -1 1077944320 24083 55589 0 0 176 11 3790 5 20 0 17 0 405370004 8127860736 37169 33554432000 4194304 4196468 140728958092864 140728958075408 139643260014327 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
/proc/3908/statm: 1984341 37169 3229 1 0 1945685 0
[pid=3908/tid=3909] ppid=3888 vsize=7937364 memory=123288 CPUtime=38.74 cores=0,2,4,6
/proc/3908/task/3909/stat : 3909 (java) R 3888 3888 31842 0 -1 4202560 17331 55589 0 0 73 6 3790 5 20 0 17 0 405370004 8127860736 37169 33554432000 4194304 4196468 140728958092864 139643231845344 139643244057957 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3910] ppid=3888 vsize=7937364 memory=1476 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3910/stat : 3910 (java) S 3888 3888 31842 0 -1 1077944384 2 55589 0 0 0 0 3790 5 20 0 17 0 405370005 8127860736 37169 33554432000 4194304 4196468 140728958092864 139643264256656 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3911] ppid=3888 vsize=7937364 memory=123288 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3911/stat : 3911 (java) S 3888 3888 31842 0 -1 1077944384 1 55589 0 0 0 0 3790 5 20 0 17 0 405370005 8127860736 37169 33554432000 4194304 4196468 140728958092864 139643078412816 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3912] ppid=3888 vsize=7937364 memory=1476 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3912/stat : 3912 (java) S 3888 3888 31842 0 -1 1077944384 2 55589 0 0 0 0 3790 5 20 0 17 0 405370005 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642744240528 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3913] ppid=3888 vsize=7937364 memory=1476 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3913/stat : 3913 (java) S 3888 3888 31842 0 -1 1077944384 2 55589 0 0 0 0 3790 5 20 0 17 0 405370005 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642743187728 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3914] ppid=3888 vsize=7937364 memory=1230328 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3914/stat : 3914 (java) S 3888 3888 31842 0 -1 1077944384 7 55589 0 0 0 0 3790 5 20 0 17 0 405370007 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642639297392 139643260025474 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3915] ppid=3888 vsize=7937364 memory=4104 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3915/stat : 3915 (java) S 3888 3888 31842 0 -1 1077944384 13 55589 0 0 0 0 3790 5 20 0 17 0 405370007 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642137470496 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3916] ppid=3888 vsize=7937364 memory=120584 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3916/stat : 3916 (java) S 3888 3888 31842 0 -1 1077944384 1 55589 0 0 0 0 3790 5 20 0 17 0 405370008 8127860736 37169 33554432000 4194304 4196468 140728958092864 139641869034864 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3917] ppid=3888 vsize=7937364 memory=1476 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3917/stat : 3917 (java) S 3888 3888 31842 0 -1 1077944384 3 55589 0 0 0 0 3790 5 20 0 17 0 405370010 8127860736 37169 33554432000 4194304 4196468 140728958092864 139641494526288 139643260032923 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3918] ppid=3888 vsize=7937364 memory=1476 CPUtime=38.23 cores=0,2,4,6
/proc/3908/task/3918/stat : 3918 (java) R 3888 3888 31842 0 -1 4202560 1432 55589 0 0 28 0 3790 5 20 0 17 0 405370010 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642638228872 139643260017619 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3919] ppid=3888 vsize=7937364 memory=120584 CPUtime=38.18 cores=0,2,4,6
/proc/3908/task/3919/stat : 3919 (java) R 3888 3888 31842 0 -1 4202560 801 55589 0 0 23 0 3790 5 20 0 17 0 405370010 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642637177840 139643246029880 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3920] ppid=3888 vsize=7937364 memory=3616 CPUtime=38.27 cores=0,2,4,6
/proc/3908/task/3920/stat : 3920 (java) S 3888 3888 31842 0 -1 1077944384 1351 55589 0 0 32 0 3790 5 20 0 17 0 405370010 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642636138608 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3921] ppid=3888 vsize=7937364 memory=32800 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3921/stat : 3921 (java) S 3888 3888 31842 0 -1 1077944384 3 55589 0 0 0 0 3790 5 20 0 17 0 405370010 8127860736 37169 33554432000 4194304 4196468 140728958092864 139640996620512 139643260024533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3922] ppid=3888 vsize=7937364 memory=988 CPUtime=37.97 cores=0,2,4,6
/proc/3908/task/3922/stat : 3922 (java) S 3888 3888 31842 0 -1 1077944384 5 55589 0 0 1 1 3790 5 20 0 17 0 405370011 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642635087024 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3924] ppid=3888 vsize=7937364 memory=157416994681605 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3924/stat : 3924 (java) S 3888 3888 31842 0 -1 1077944384 31 55589 0 0 0 0 3790 5 20 0 17 0 405370079 8127860736 37169 33554432000 4194304 4196468 140728958092864 139642627052432 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
[pid=3908/tid=3928] ppid=3888 vsize=7937364 memory=301741373374332954 CPUtime=37.95 cores=0,2,4,6
/proc/3908/task/3928/stat : 3928 (java) S 3888 3888 31842 0 -1 1077944384 28 55589 0 0 0 0 3790 5 20 0 17 0 405370082 8127860736 37169 33554432000 4194304 4196468 140728958092864 139640593966000 139643260025474 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25870336 140728958096380 140728958096538 140728958096538 140728958099407 0
Current children cumulated CPU time: 45.92 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 150152 KiB

Child status: 0
Real time (s): 41.4794
CPU time (s): 46.1515
CPU user time (s): 45.7698
CPU system time (s): 0.381682
CPU usage (%): 111.264
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 468396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.7698
system time used= 0.381682
maximum resident set size= 469880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6687
involuntary context switches= 89


# summary of solver processes directly reported to runsolver:
#   pid: 3888
#   total CPU time (s): 46.1515
#   total CPU user time (s): 45.7698
#   total CPU system time (s): 0.381682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.350037 second user time and 0.451845 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-12 15:21:57
IDJOB=4388074
IDBENCH=133653
IDSOLVER=2826
FILE ID=node146/4388074-1568294557
RUNJOBID= node146-1568286001-1042
PBS_JOBID= 21701065
Free space on /tmp= 54280 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-04-m018.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-4388074-1568294557/watcher-4388074-1568294557 -o /tmp/evaluation-result-4388074-1568294557/solver-4388074-1568294557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1042 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388074-1568294557.xml

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

MD5SUM BENCH= e1b631bab6f8bd4ad65377e678a0b81e
RANDOM SEED=1530423711

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30329820 kB
MemAvailable:   30554880 kB
Buffers:           98680 kB
Cached:           405140 kB
SwapCached:         5384 kB
Active:          1632088 kB
Inactive:         219408 kB
Active(anon):    1364888 kB
Inactive(anon):    20872 kB
Active(file):     267200 kB
Inactive(file):   198536 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66999612 kB
Dirty:             20528 kB
Writeback:             0 kB
AnonPages:       1455484 kB
Mapped:            53072 kB
Shmem:             28980 kB
Slab:             179276 kB
SReclaimable:     150316 kB
SUnreclaim:        28960 kB
KernelStack:        4096 kB
PageTables:         8432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7303840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    700416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54260 MiB
End job on node146 at 2019-09-12 15:22:38