Trace number 4387915

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 123.498 119.582

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-142.xml
MD5SUM216ebd1a5dc9377e08f238421ffc41cf
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 benchmark46.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size465
Maximum domain size465
Distribution of domain sizes[{"size":465,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-10761-serial-file.bin HOME/instance-4387915-1568292143.xml
0.67/0.53	
0.67/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.53	
0.67/0.56	c BEGIN-Prog: Thu Sep 12 14:41:25 CEST 2019
0.67/0.56	c PID: 10764
0.67/0.56	c IP: 172.20.3.103
0.67/0.56	c HOST: node103.alineos.net
0.67/0.57	c (0,0) Parsing Begin
1.39/0.90	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 465
1.39/0.91	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4387915-1568292143.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 6 (10%) constraints
1.39/1.00	c (0,0) translated 11 (20%) constraints
1.39/1.00	c (0,0) translated 16 (30%) constraints
1.39/1.01	c (0,0) translated 22 (40%) constraints
1.55/1.01	c (0,0) translated 27 (50%) constraints
1.55/1.01	c (0,0) translated 32 (60%) constraints
1.55/1.01	c (0,0) translated 38 (70%) constraints
1.55/1.02	c (0,0) translated 43 (80%) constraints
1.55/1.02	c (0,0) translated 48 (90%) constraints
2.13/1.27	c (0,0) translated 53 (100%) constraints
2.13/1.27	c (0,0) ===========================================
2.13/1.29	c (0,0) Hybrid: #OE=50, #LE=0
2.13/1.29	c (0,0) Hybrid
2.13/1.29	c (0,0) ===========================================
2.45/1.30	c (0,0) translated 36 (10%) constraints
2.45/1.31	c (0,0) translated 71 (20%) constraints
2.45/1.32	c (0,0) translated 106 (30%) constraints
2.45/1.32	c (0,0) translated 141 (40%) constraints
2.45/1.33	c (0,0) translated 176 (50%) constraints
2.45/1.33	c (0,0) translated 212 (60%) constraints
2.45/1.34	c (0,0) translated 247 (70%) constraints
2.45/1.34	c (0,0) translated 282 (80%) constraints
2.45/1.35	c (0,0) translated 317 (90%) constraints
2.45/1.35	c (0,0) translated 352 (100%) constraints
2.45/1.35	c (0,0) CSP to CSPinCNF End
2.45/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 460
2.45/1.36	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.36	c (0,0) CSPinCNF Propagation Begin
2.45/1.38	c (0,0) 0 values, 8 unsatisfiable literals, and 51 valid clauses are removed
2.45/1.38	c (0,0) CSPinCNF Propagation End
2.45/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 460
2.45/1.39	c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.45/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.45/1.39	c (0,0) Simplify CSPinCNF Begin
2.79/1.49	c (0,0) Simplify CSPinCNF End
2.79/1.49	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.79/1.49	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.49	c (0,0) Calculate Precise Domain Begin
2.79/1.49	c (0,0) 0 values are removed by re-calculation
2.79/1.49	c (0,0) Calculate Precise Domain End
2.79/1.49	c (0,0) CSP: 50 int (0 aux), 1192 bool (1192 aux), 1493 ctr, max domain size 460
2.79/1.49	c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.79/1.49	c (0,0) CSPinCNF to SatSolver Begin
4.58/2.01	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 65705 SAT clauses)
4.76/2.18	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 110504 SAT clauses)
4.98/2.34	c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 152010 SAT clauses)
5.19/2.50	c (1,1) 598 (40 %) CSP clauses are encoded (0 SAT variables, 195298 SAT clauses)
5.30/2.65	c (2,2) 747 (50 %) CSP clauses are encoded (0 SAT variables, 234670 SAT clauses)
5.41/2.80	c (2,2) 896 (60 %) CSP clauses are encoded (0 SAT variables, 274303 SAT clauses)
5.64/2.93	c (2,2) 1046 (70 %) CSP clauses are encoded (0 SAT variables, 310139 SAT clauses)
5.75/3.05	c (2,2) 1195 (80 %) CSP clauses are encoded (0 SAT variables, 343600 SAT clauses)
5.86/3.16	c (2,2) 1344 (90 %) CSP clauses are encoded (0 SAT variables, 372189 SAT clauses)
5.95/3.24	c (2,2) 1493 (100 %) CSP clauses are encoded (0 SAT variables, 392618 SAT clauses)
5.95/3.24	c (2,2) CSPinCNF to SatSolver End
5.95/3.24	c (2,2) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.95/3.24	c (2,2) 20472 bool, 392750 clause
5.95/3.24	c (2,2) Export Begin
6.11/3.32	c (2,2) Export to HOME/scop-10761-serial-file.bin
6.11/3.32	c (2,2) Export End
6.11/3.32	c (2,2) Export File Size: 0.01 MB
6.11/3.32	c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
6.11/3.32	c END-Prog: Thu Sep 12 14:41:27 CEST 2019
6.11/3.35	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10761-serial-file.bin
6.18/3.80	c (0,0) Read Serial File Begin
6.18/3.80	c (0,0) HOME/scop-10761-serial-file.bin
6.18/4.00	c (0,0) Read Serial File End
7.08/4.02	
7.08/4.02	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
7.08/4.02	(Solving Process)
7.08/4.02	
7.08/4.04	c BEGIN-Prog: Thu Sep 12 14:41:28 CEST 2019
7.08/4.04	c PID: 10781
7.08/4.04	c IP: 172.20.3.103
7.08/4.04	c HOST: node103.alineos.net
7.08/4.04	c (0,0) SatSolver.solve Begin
7.08/4.04	c (0,0) HOME/cryptominisat5  HOME/instance-4387915-1568292143.xml-scop-10764.cnf
7.08/4.08	c (0,0) c Outputting solution to console
7.08/4.08	c (0,0) c CryptoMiniSat version 5.6.8
7.08/4.08	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
7.08/4.08	c (0,0) c CMS SHA revision GIT-notfound
7.08/4.08	c (0,0) c CMS is MIT licensed
7.08/4.08	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.08/4.08	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
7.08/4.08	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387915-1568292143.xml-scop-10764.cnf
7.08/4.08	c (0,0) c Reading file 'HOME/instance-4387915-1568292143.xml-scop-10764.cnf'
7.08/4.08	c (0,0) c -- header says num vars:          20472
7.08/4.08	c (0,0) c -- header says num clauses:      392750
7.32/4.22	c (0,0) c -- clauses added: 392750
7.32/4.22	c (0,0) c -- xor clauses added: 0
7.32/4.22	c (0,0) c -- vars added 20472
7.32/4.22	c (0,0) c Parsing time: 0.13 s
7.32/4.24	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
7.32/4.24	c (0,0) c [distill] long cls tried: 1/1 cl-short:1 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
7.32/4.59	c (0,0) c [distill] long cls tried: 97/96 cl-short:97 lit-r:17 T: 0.01 T-out: N T-r: 99.79%
8.24/5.06	c (1,0) c [distill] long cls tried: 94/189 cl-short:94 lit-r:19 T: 0.01 T-out: N T-r: 99.77%
8.43/5.22	c (1,0) c   glue     1    46  8193   20428  371K   21K    3.00    2.95   220  2427  5539     5   20.90   20.89
9.14/5.93	c (2,0) c [distill] long cls tried: 1226/1414 cl-short:1226 lit-r:352 T: 0.24 T-out: N T-r: 96.63%
9.84/6.64	c (2,0) c   geom     1    77 16386   20428  371K   21K    3.00    2.95  1659  5235  9482     8   22.10   22.10
9.94/6.78	c (3,0) c [distill] long cls tried: 250/1663 cl-short:250 lit-r:98 T: 0.07 T-out: N T-r: 99.09%
11.44/8.22	c (4,0) c [distill] long cls tried: 1334/2990 cl-short:1334 lit-r:622 T: 0.38 T-out: N T-r: 94.96%
11.64/8.44	c (4,0) c   glue     1   116   24K   20428  371K   21K    3.00    2.95  3003  5951 15604    19   23.10   23.09
13.44/10.29	c (6,0) c [distill] long cls tried: 1448/4437 cl-short:1448 lit-r:694 T: 0.52 T-out: N T-r: 93.44%
13.84/10.62	c (6,0) c   glue     1   153   32K   20428  371K   21K    3.00    2.95  4470  8481 18450    21   23.67   23.66
16.15/12.98	c (9,0) c [distill] long cls tried: 1344/5778 cl-short:1344 lit-r:755 T: 0.64 T-out: N T-r: 92.74%
16.35/13.12	c (9,0) c   glue     1   202   40K   20428  371K   21K    3.00    2.95  5788  7384   26K    28   24.44   24.42
18.44/15.25	c (11,0) c   glue     1   236   49K   20428  371K   21K    3.00    2.95  6116 11038   25K    30   24.36   24.34
19.84/16.67	c (12,0) c [distill] long cls tried: 1557/7334 cl-short:1557 lit-r:940 T: 0.83 T-out: N T-r: 90.57%
21.45/18.29	c (14,0) c   geom     1   282   57K   20428  371K   21K    3.00    2.95  7395  9440   34K    33   24.97   24.96
24.65/21.48	c (17,0) c [distill] long cls tried: 1282/8612 cl-short:1282 lit-r:835 T: 0.81 T-out: N T-r: 91.44%
24.85/21.65	c (17,0) c   glue     1   323   65K   20428  371K   21K    3.00    2.95  8619 10052   33K    41   24.49   24.48
26.15/22.99	c (19,0) c recursive minimization cost OK: 2878Kcost/(% lits removed)
26.15/22.99	c (19,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
26.15/23.00	c (19,0) c --> Executing strategy token: handle-comps
26.15/23.00	c (19,0) c --> Executing strategy token: scc-vrepl
26.15/23.00	c (19,0) c [scc] new: 0 BP 0M T: 0.01
26.26/23.02	c (19,0) c --> Executing strategy token: cache-clean
26.26/23.02	c (19,0) c --> Executing strategy token: cache-tryboth
26.26/23.02	c (19,0) c --> Executing strategy token: sub-impl
26.26/23.02	c (19,0) c [impl sub] bin: 5 T: 0.02 T-out: N w-visit: 40944
26.26/23.04	c (19,0) c --> Executing strategy token: intree-probe
26.26/23.04	c (19,0) c [scc] new: 0 BP 0M T: 0.01
26.26/23.07	c (19,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.03
26.45/23.25	c (19,0) c [intree] Set 5 vars hyper-added: 64 trans-irred::689 trans-red::4 T: 0.18 T-out: N T-r: 99.20%
26.95/23.71	c (19,0) c --> Executing strategy token: probe
26.95/23.71	c (19,0) c --> Executing strategy token: sub-str-cls-with-bin
26.95/23.71	c (19,0) c [distill] cache-based irred--  cl tried   547738 cl-sh     0 cl-rem    1 lit-rem      0 T: 0.43 T-out: Y
26.95/23.71	c (19,0) c [distill] cache-based   red--  cl tried    17336 cl-sh    14 cl-rem    0 lit-rem     14 T: 0.02 T-out: N
27.97/24.78	c (21,0) c --> Executing strategy token: distill-cls
27.97/24.78	c (21,0) c [distill] long cls tried: 2131/369199 cl-short:3 lit-r:0 T: 1.07 T-out: Y T-r: -0.15%
27.97/24.78	c (21,0) c [distill] long useful: 6/4262/738398 lits-rem: 0 0-depth-assigns: 0 T: 2.13 T-out: Y
27.97/24.79	c (21,0) c --> Executing strategy token: scc-vrepl
27.97/24.79	c (21,0) c [scc] new: 0 BP 0M T: 0.01
28.07/24.81	c (21,0) c --> Executing strategy token: sub-impl
28.07/24.81	c (21,0) c [impl sub] bin: 1 T: 0.02 T-out: N w-visit: 40944
28.07/24.81	c (21,0) c --> Executing strategy token: str-impl
28.07/24.81	c (21,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.66% w-visit: 40944
28.07/24.83	c (21,0) c --> Executing strategy token: sub-impl
28.07/24.83	c (21,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 40944
28.07/24.87	c (21,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
28.07/24.87	c (21,0) c [occ] mem usage for occur     35 MB
28.17/24.95	c (21,0) c [occ] mem usage for occur      3 MB
28.28/25.02	c (21,0) c Mem for watch alloc      : 29          MB (40.11     %)
28.28/25.02	c (21,0) c Mem for watch array      : 0           MB (1.30      %)
28.28/25.04	c (21,0) c --> Executing OCC strategy token: occ-backw-sub-str
28.28/25.04	c (21,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 43632 0-depth ass: 0 T: 0.02 T-out: N T-r: 99.14%
28.57/25.38	c (21,0) c [occ-sub-long-w-long] rem cl: 54 tried: 851614/425807 (200.0%) T: 0.34 T-out: N T-r: 57.23%
29.28/26.05	c (22,0) c [occ-sub-str-long-w-long] sub: 1 str: 17 tried: 1277421/425807 (300.0)  T: 0.67 T-out: N T-r: 52.09%
29.28/26.06	c (22,0) c --> Executing OCC strategy token: occ-clean-implicit
29.28/26.06	c (22,0) c --> Executing OCC strategy token: occ-bve
29.28/26.06	c (22,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
30.17/26.94	c (23,0) c [occ-bve] iter v-elim 797
30.17/26.94	c (23,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
30.17/26.95	c (23,0) c Reduced to 19626 vars, 390113 cls (grow=0)
30.47/27.21	c (23,0) c [occ-bve] iter v-elim 0
30.47/27.21	c (23,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
30.47/27.21	c (23,0) c Reduced to 19626 vars, 390113 cls (grow=8)
30.68/27.48	c (23,0) c [occ-bve] iter v-elim 0
30.68/27.48	c (23,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
30.68/27.49	c (23,0) c Reduced to 19626 vars, 390113 cls (grow=16)
30.68/27.49	c (23,0) c x n vars       : 19626
30.68/27.49	c (23,0) c  #try to eliminate:    79K
30.68/27.49	c (23,0) c  #var-elim        :    797
30.68/27.49	c (23,0) c  #T-o: N
30.68/27.49	c (23,0) c  #T-r: 99.83%
30.68/27.49	c (23,0) c  #T  : 1.42
30.68/27.49	c (23,0) c [occur] 0.16 is overhead
30.68/27.49	c (23,0) c [occur] link-in T: 0.16 cleanup T: 0.00
30.68/27.49	c (23,0) c --> Executing OCC strategy token: occ-bva
30.68/27.49	c (23,0) c [occ-bva] global numcalls: 0
30.78/27.54	c (23,0) c --> Executing OCC strategy token: occ-ternary-res
30.78/27.54	c (23,0) c --> Executing OCC strategy token: occ-xor
30.78/27.54	c (23,0) c [occ-xor] sort occur list T: 0.05
31.18/27.91	c (24,0) c [occ-xor] found      0 T: 0.42 T-out: N T-r: 94.90%
31.18/27.91	c (24,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
31.29/28.03	c (24,0) c --> Executing strategy token: cl-consolidate
31.29/28.03	c (24,0) c [mem] consolidate  old-sz:    29M new-sz:  15764K new bits offs: 0 T: 0.03
31.29/28.03	c (24,0) c --> Executing strategy token: str-impl
31.29/28.03	c (24,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.69% w-visit: 40944
31.58/28.39	c (24,0) c --> Executing strategy token: cache-clean
31.58/28.39	c (24,0) c --> Executing strategy token: sub-str-cls-with-bin
31.58/28.39	c (24,0) c [distill] cache-based irred--  cl tried   739016 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.33 T-out: N
31.58/28.39	c (24,0) c [distill] cache-based   red--  cl tried     4128 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.00 T-out: N
32.79/29.53	c (25,0) c --> Executing strategy token: distill-cls
32.79/29.53	c (25,0) c [distill] long cls tried: 2243/369508 cl-short:79 lit-r:5 T: 1.14 T-out: Y T-r: -0.06%
32.79/29.53	c (25,0) c [distill] long useful: 158/4486/739016 lits-rem: 10 0-depth-assigns: 0 T: 2.27 T-out: Y
32.79/29.53	c (25,0) c --> Executing strategy token: scc-vrepl
32.79/29.53	c (25,0) c [scc] new: 0 BP 0M T: 0.00
32.79/29.53	c (25,0) c --> Executing strategy token: check-cache-size
32.79/29.53	c (25,0) c --> Executing strategy token: renumber
32.79/29.53	c (25,0) c --> Executing strategy token: sls
32.79/29.53	c (25,0) c [consolidate] mini T: 0.00
32.79/29.53	c (25,0) c global_timeout_multiplier: 4.40
32.79/29.55	c (25,0) c clause size stats. size3: 277697 size4: 623 size5: 91188 larger: 0
33.89/30.62	c (26,0) c   luby     0   374   73K   19626  369K   20K    3.50    3.42  2149  1626  3865    58   15.77   15.67
37.20/33.93	c (30,0) c [distill] long cls tried: 1251/3076 cl-short:1246 lit-r:549 T: 0.47 T-out: N T-r: 94.62%
37.41/34.13	c (30,0) c   luby     0   406   81K   19626  369K   20K    3.50    3.42  3088  2175 10569    59   21.39   21.32
40.50/37.20	c (33,0) c   luby     0   424   90K   19626  369K   20K    3.50    3.42  4072  3545 16406    61   23.48   23.42
44.00/40.71	c (36,0) c   luby     0   456   98K   19626  369K   20K    3.50    3.42  4147  4210   23K    61   25.64   25.59
45.90/42.62	c (38,0) c [distill] long cls tried: 1665/4739 cl-short:1661 lit-r:980 T: 0.92 T-out: N T-r: 90.59%
48.60/45.35	c (41,0) c   luby     0   481  106K   19626  369K   20K    3.50    3.42  4986  5546   24K    63   26.57   26.53
51.81/48.58	c (44,0) c   luby     0   482  114K   19626  369K   20K    3.50    3.42  5687  4507   33K    64   27.88   27.84
55.61/52.38	c (48,0) c   luby     0   513  122K   19626  369K   20K    3.50    3.42  6390  4899   31K    64   27.99   27.95
57.51/54.23	c (50,0) c [distill] long cls tried: 1658/6397 cl-short:1654 lit-r:1341 T: 1.27 T-out: N T-r: 88.95%
61.11/57.86	c (54,0) c   luby     0   544  131K   19626  369K   20K    3.50    3.42  7021  3775   40K    65   28.58   28.55
65.22/61.94	c (58,0) c   luby     0   570  139K   19626  369K   20K    3.50    3.42  7247  5733   35K    66   27.82   27.78
70.12/66.82	c (63,0) c   luby     0   602  147K   19626  369K   20K    3.50    3.42  7838  4441   44K    67   28.07   28.04
75.34/72.02	c (68,0) c [distill] long cls tried: 2187/8584 cl-short:2186 lit-r:1873 T: 2.07 T-out: N T-r: 82.80%
76.53/73.25	c (69,0) c   luby     0   609  155K   19626  369K   20K    3.50    3.42  8597  5148   39K    67   27.10   27.06
80.94/77.68	c (73,0) c   luby     0   610  163K   19626  369K   20K    3.50    3.42  9140  4710   47K    67   28.10   28.07
83.23/79.93	c (76,0) c recursive minimization cost OK: 3258Kcost/(% lits removed)
83.23/79.94	c (76,0) c --> Executing strategy token: handle-comps
83.23/79.94	c (76,0) c --> Executing strategy token: scc-vrepl
83.23/79.94	c (76,0) c [scc] new: 0 BP 0M T: 0.01
83.23/79.96	c (76,0) c --> Executing strategy token: cache-clean
83.23/79.96	c (76,0) c --> Executing strategy token: cache-tryboth
83.23/79.96	c (76,0) c --> Executing strategy token: sub-impl
83.23/79.96	c (76,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 40944
83.23/79.99	c (76,0) c --> Executing strategy token: intree-probe
83.23/79.99	c (76,0) c [scc] new: 0 BP 0M T: 0.01
83.34/80.05	c (76,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.06
83.53/80.25	c (76,0) c [intree] Set 0 vars hyper-added: 1 trans-irred::90 trans-red::0 T: 0.20 T-out: N T-r: 99.40%
83.83/80.56	c (76,0) c --> Executing strategy token: probe
83.83/80.56	c (76,0) c --> Executing strategy token: sub-str-cls-with-bin
83.83/80.56	c (76,0) c [distill] cache-based irred--  cl tried   266307 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.24 T-out: Y
83.83/80.56	c (76,0) c [distill] cache-based   red--  cl tried    18974 cl-sh    60 cl-rem    0 lit-rem     65 T: 0.03 T-out: N
85.23/81.98	c (78,0) c --> Executing strategy token: distill-cls
85.23/81.98	c (78,0) c [distill] long cls tried: 2158/369508 cl-short:70 lit-r:3 T: 1.42 T-out: Y T-r: -0.07%
85.23/81.98	c (78,0) c [distill] long useful: 140/4316/739016 lits-rem: 6 0-depth-assigns: 0 T: 2.84 T-out: Y
85.23/81.99	c (78,0) c --> Executing strategy token: scc-vrepl
85.23/81.99	c (78,0) c [scc] new: 0 BP 0M T: 0.01
85.23/82.01	c (78,0) c --> Executing strategy token: sub-impl
85.23/82.01	c (78,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 40944
85.34/82.01	c (78,0) c --> Executing strategy token: str-impl
85.34/82.01	c (78,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.70% w-visit: 40944
85.34/82.03	c (78,0) c --> Executing strategy token: sub-impl
85.34/82.03	c (78,0) c [impl sub] bin: 0 T: 0.02 T-out: N w-visit: 40944
85.34/82.07	c (78,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
85.34/82.07	c (78,0) c [occ] mem usage for occur     40 MB
85.44/82.16	c (78,0) c [occ] mem usage for occur      4 MB
85.53/82.23	c (78,0) c Mem for watch alloc      : 37          MB (43.07     %)
85.53/82.23	c (78,0) c Mem for watch array      : 0           MB (1.06      %)
85.53/82.26	c (78,0) c --> Executing OCC strategy token: occ-backw-sub-str
85.53/82.26	c (78,0) c [occ-backw-sub-str-long-w-bins] subs: 0 str: 0 tried: 105389 0-depth ass: 0 T: 0.03 T-out: N T-r: 99.18%
85.93/82.60	c (78,0) c [occ-sub-long-w-long] rem cl: 74 tried: 841716/420858 (200.0%) T: 0.34 T-out: N T-r: 60.50%
86.53/83.29	c (79,0) c [occ-sub-str-long-w-long] sub: 0 str: 38 tried: 1262574/420858 (300.0)  T: 0.69 T-out: N T-r: 56.10%
86.63/83.31	c (79,0) c --> Executing OCC strategy token: occ-clean-implicit
86.63/83.31	c (79,0) c --> Executing OCC strategy token: occ-bve
86.63/83.31	c (79,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.02 T-out: N
86.93/83.65	c (79,0) c [occ-bve] iter v-elim 5
86.93/83.65	c (79,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
86.93/83.66	c (79,0) c Reduced to 19621 vars, 390018 cls (grow=0)
87.04/83.77	c (80,0) c [occ-bve] iter v-elim 0
87.04/83.77	c (80,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
87.04/83.78	c (80,0) c Reduced to 19621 vars, 390018 cls (grow=8)
87.14/83.90	c (80,0) c [occ-bve] iter v-elim 0
87.14/83.90	c (80,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=16)
87.24/83.90	c (80,0) c Reduced to 19621 vars, 390018 cls (grow=16)
87.24/83.90	c (80,0) c x n vars       : 19621
87.24/83.90	c (80,0) c  #try to eliminate:    59K
87.24/83.90	c (80,0) c  #var-elim        :      5
87.24/83.90	c (80,0) c  #T-o: N
87.24/83.90	c (80,0) c  #T-r: 99.75%
87.24/83.90	c (80,0) c  #T  : 0.59
87.24/83.90	c (80,0) c [occur] 0.17 is overhead
87.24/83.90	c (80,0) c [occur] link-in T: 0.17 cleanup T: 0.00
87.24/83.90	c (80,0) c --> Executing OCC strategy token: occ-bva
87.24/83.90	c (80,0) c [occ-bva] global numcalls: 1
87.24/83.96	c (80,0) c --> Executing OCC strategy token: occ-ternary-res
87.24/83.96	c (80,0) c --> Executing OCC strategy token: occ-xor
87.24/83.97	c (80,0) c [occ-xor] sort occur list T: 0.06
87.65/84.37	c (80,0) c [occ-xor] found      0 T: 0.47 T-out: N T-r: 95.32%
87.65/84.37	c (80,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
87.75/84.47	c (80,0) c --> Executing strategy token: cl-consolidate
87.75/84.47	c (80,0) c Not consolidating memory.
87.75/84.48	c (80,0) c --> Executing strategy token: str-impl
87.75/84.48	c (80,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.70% w-visit: 40944
88.15/84.88	c (81,0) c --> Executing strategy token: cache-clean
88.15/84.88	c (81,0) c --> Executing strategy token: sub-str-cls-with-bin
88.15/84.88	c (81,0) c [distill] cache-based irred--  cl tried   712847 cl-sh     0 cl-rem    0 lit-rem      0 T: 0.34 T-out: Y
88.15/84.88	c (81,0) c [distill] cache-based   red--  cl tried    19874 cl-sh    27 cl-rem    0 lit-rem     36 T: 0.02 T-out: N
89.65/86.31	c (82,0) c --> Executing strategy token: distill-cls
89.65/86.31	c (82,0) c [distill] long cls tried: 1939/369508 cl-short:71 lit-r:2 T: 1.44 T-out: Y T-r: -0.07%
89.65/86.31	c (82,0) c [distill] long useful: 142/3878/739016 lits-rem: 4 0-depth-assigns: 0 T: 2.88 T-out: Y
89.65/86.32	c (82,0) c --> Executing strategy token: scc-vrepl
89.65/86.32	c (82,0) c [scc] new: 0 BP 0M T: 0.00
89.65/86.32	c (82,0) c --> Executing strategy token: check-cache-size
89.65/86.32	c (82,0) c --> Executing strategy token: renumber
89.65/86.32	c (82,0) c --> Executing strategy token: sls
89.65/86.32	c (82,0) c [consolidate] mini T: 0.00
89.65/86.32	c (82,0) c global_timeout_multiplier: 4.84
89.76/86.44	c (82,0) c [features] numVars 19621, numClauses 390018, var_cl_ratio 0.05, binary 0.05, horn 1.30, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.00, horn_spread 0.00, vcg_var_mean 0.00, vcg_var_std 1.84, vcg_var_min 0.00, vcg_var_max 0.00, vcg_var_spread 0.00, vcg_cls_mean 0.00, vcg_cls_std 0.46, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.49, pnr_var_std 0.41, pnr_var_min 0.00, pnr_var_max 0.99, pnr_var_spread 0.99, pnr_cls_mean 0.62, pnr_cls_std 0.54, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 29.09, confl_size_min 1.00, confl_size_max 174.00, avg_confl_glue 14.20, confl_glue_min 1.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 36.07, branch_depth_min 17.00, branch_depth_max 206.00, avg_trail_depth_delta 1342.33, trail_depth_delta_min 2.00, trail_depth_delta_max 8891.00, avg_branch_depth_delta 2.13, props_per_confl 0.00, confl_per_restart 275.41, decisions_per_conflict 1.96, irred_cl_distrib.glue_distr_mean 999.94, irred_cl_distrib.glue_distr_var 59.20, irred_cl_distrib.size_distr_mean 3.50, irred_cl_distrib.size_distr_var 0.74, 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 459.33, red_cl_distrib.glue_distr_mean 2.86, red_cl_distrib.glue_distr_var 0.14, red_cl_distrib.size_distr_mean 8.82, red_cl_distrib.size_distr_var 10.12, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 7064.98, red_cl_distrib.activity_distr_var 2509509818.17, num_gates_found_last 0, num_xors_found_last 0
89.76/86.44	c (82,0) c clause size stats. size3: 277700 size4: 630 size5: 91178 larger: 0
92.26/88.93	c (85,0) c   luby     0   632  172K   19621  369K   20K    3.50    3.42 10107  5051   40K    68   27.57   27.54
96.76/93.48	c (89,0) c   luby     0   664  180K   19621  369K   20K    3.50    3.42 10893  4540   34K    68   26.52   26.49
104.17/100.81	c (97,0) c [distill] long cls tried: 2505/10925 cl-short:2504 lit-r:2342 T: 2.97 T-out: N T-r: 79.48%
104.78/101.41	c (97,0) c   luby     0   681  188K   19621  369K   20K    3.50    3.42 10930  5019   42K    68   27.61   27.58
109.68/106.38	c (102,0) c   luby     0   712  196K   19621  369K   20K    3.50    3.42 11579  5492   37K    68   27.37   27.34
114.67/111.31	c (107,0) c   luby     0   737  204K   19621  369K   20K    3.50    3.42 12037  4449   46K    68   28.19   28.16
119.08/115.78	c (112,0) c   luby     0   738  213K   19621  369K   20K    3.50    3.42 12683  4627   40K    68   27.44   27.41
122.68/119.33	c (115,0) c ------- FINAL TOTAL SEARCH STATS ---------
122.68/119.33	c (115,0) c UIP search time          : 101.95      (88.56     % time)
122.68/119.33	c (115,0) c restarts                 : 768         (285.71    confls per restart)
122.68/119.33	c (115,0) c blocked restarts         : 75          (0.10      per normal restart)
122.68/119.33	c (115,0) c time                     : 101.95      
122.68/119.33	c (115,0) c decisions                : 411609      (0.00      % random)
122.68/119.33	c (115,0) c propagations             : 289818881   
122.68/119.33	c (115,0) c decisions/conflicts      : 1.88        
122.68/119.33	c (115,0) c conflicts                : 219423      (2152.28   / sec)
122.68/119.33	c (115,0) c conf lits non-minim      : 10727745    (48.89     lit/confl)
122.68/119.33	c (115,0) c conf lits final          : 30.40       
122.68/119.33	c (115,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
122.68/119.33	c (115,0) c red which0               : 2436        (1.11      % of confl)
122.68/119.33	c (115,0) c props/decision           : 0.00        
122.68/119.33	c (115,0) c props/conflict           : 0.00        
122.68/119.33	c (115,0) c 0-depth assigns          : 49          (0.24      % vars)
122.68/119.33	c (115,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
122.68/119.33	c (115,0) c reduceDB time            : 0.09        (0.08      % time)
122.68/119.33	c (115,0) c OccSimplifier time       : 4.46        (3.87      % time)
122.68/119.33	c (115,0) c [occur] 0.51 is overhead
122.68/119.33	c (115,0) c [occur] link-in T: 0.33 cleanup T: 0.18
122.68/119.33	c (115,0) c [occ-substr] long subBySub: 182 subByStr: 2 lits-rem-str: 144 T: 3.06
122.68/119.33	c (115,0) c SCC time                 : 0.04        (0.04      % time)
122.68/119.33	c (115,0) c [scc] new: 0 BP 1M  T: 0.04
122.68/119.33	c (115,0) c vrep replace time        : 0.08        (0.07      % time)
122.68/119.33	c (115,0) c vrep tree roots          : 0           
122.68/119.33	c (115,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
122.68/119.33	c (115,0) c distill time             : 21.34       (18.53     % time)
122.68/119.33	c (115,0) c strength cache-irred time: 1.34        (1.16      % time)
122.68/119.33	c (115,0) c strength cache-red time  : 0.08        (0.07      % time)
122.68/119.33	c (115,0) c Conflicts in UIP         : 219423      (1906.02   confl/time_this_thread)
122.68/119.33	c (115,0) c Mem used                 : 92.89       MB
122.68/119.33	c (115,0) c Total time (this thread) : 115.12      
122.68/119.33	c (115,0) s SATISFIABLE
122.92/119.44	c (115,0) SatSolver.solve End
122.92/119.44	c (115,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
122.92/119.44	c (115,0) Show results Begin
123.27/119.54	c (115,0) x[0] = 19
123.27/119.54	c (115,0) x[1] = 383
123.27/119.54	c (115,0) x[2] = 19
123.27/119.54	c (115,0) x[3] = 153
123.27/119.54	c (115,0) x[4] = 0
123.27/119.54	c (115,0) x[5] = 32
123.27/119.54	c (115,0) x[6] = 32
123.27/119.54	c (115,0) x[7] = 0
123.27/119.54	c (115,0) x[8] = 25
123.27/119.54	c (115,0) x[9] = 0
123.27/119.54	c (115,0) x[10] = 0
123.27/119.54	c (115,0) x[11] = 0
123.27/119.54	c (115,0) x[12] = 328
123.27/119.54	c (115,0) x[13] = 392
123.27/119.54	c (115,0) x[14] = 53
123.27/119.54	c (115,0) x[15] = 383
123.27/119.54	c (115,0) x[16] = 292
123.27/119.54	c (115,0) x[17] = 56
123.27/119.54	c (115,0) x[18] = 167
123.27/119.54	c (115,0) x[19] = 0
123.27/119.54	c (115,0) x[20] = 328
123.27/119.54	c (115,0) x[21] = 153
123.27/119.54	c (115,0) x[22] = 0
123.27/119.54	c (115,0) x[23] = 292
123.27/119.54	c (115,0) x[24] = 127
123.27/119.54	c (115,0) y[0] = 225
123.27/119.54	c (115,0) y[1] = 201
123.27/119.54	c (115,0) y[2] = 212
123.27/119.54	c (115,0) y[3] = 312
123.27/119.54	c (115,0) y[4] = 212
123.27/119.54	c (115,0) y[5] = 180
123.27/119.54	c (115,0) y[6] = 201
123.27/119.54	c (115,0) y[7] = 231
123.27/119.54	c (115,0) y[8] = 225
123.27/119.54	c (115,0) y[9] = 180
123.27/119.54	c (115,0) y[10] = 127
123.27/119.54	c (115,0) y[11] = 256
123.27/119.54	c (115,0) y[12] = 137
123.27/119.54	c (115,0) y[13] = 137
123.27/119.54	c (115,0) y[14] = 127
123.27/119.54	c (115,0) y[15] = 210
123.27/119.54	c (115,0) y[16] = 201
123.27/119.54	c (115,0) y[17] = 201
123.27/119.54	c (115,0) y[18] = 201
123.27/119.54	c (115,0) y[19] = 0
123.27/119.54	c (115,0) y[20] = 0
123.27/119.54	c (115,0) y[21] = 326
123.27/119.54	c (115,0) y[22] = 312
123.27/119.54	c (115,0) y[23] = 292
123.27/119.54	c (115,0) y[24] = 0
123.27/119.54	s SATISFIABLE
123.27/119.55	v <instantiation>
123.27/119.55	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
123.27/119.55	v     <values>19 383 19 153 0 32 32 0 25 0 0 0 328 392 53 383 292 56 167 0 328 153 0 292 127 225 201 212 312 212 180 201 231 225 180 127 256 137 137 127 210 201 201 201 0 0 326 312 292 0</values>
123.27/119.55	v </instantiation>
123.27/119.55	c (115,0) Show results End
123.27/119.55	c (115,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
123.27/119.55	c (115,0) 115,115,STOP-AFTER(ALL)
123.27/119.55	c END-Prog: Thu Sep 12 14:43:24 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 (9288 MiB free)
  memory of node 1: 16384 MiB (1773 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387915-1568292143/watcher-4387915-1568292143 -o /tmp/evaluation-result-4387915-1568292143/solver-4387915-1568292143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9765 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387915-1568292143.xml 

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

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


[startup+0.100507 s]*
/proc/loadavg: 2.01 2.20 2.33 4/230 10778
/proc/meminfo: memFree=11267740/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405467374 115843072 349 33554432000 4194304 5098028 140728236745856 140728236743112 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 349 296 221 0 87 0
[pid=10764] ppid=10761 vsize=15012696 memory=73160 CPUtime=0.11 cores=0,2,4,6
/proc/10764/stat : 10764 (java) S 10761 10761 8640 0 -1 1077944320 7014 0 0 0 8 3 0 0 20 0 15 0 405467375 15373000704 18290 33554432000 4194304 4196468 140737457544192 140737457526736 140008801599223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
/proc/10764/statm: 3753174 18290 2920 1 0 3715579 0
[pid=10764/tid=10765] ppid=10761 vsize=15012696 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/10764/task/10765/stat : 10765 (java) R 10761 10761 8640 0 -1 4202560 4915 0 0 0 7 2 0 0 20 0 15 0 405467375 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008773411208 140008785679710 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10766] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10766/stat : 10766 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008805841552 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10767] ppid=10761 vsize=15012696 memory=139948867493582 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10767/stat : 10767 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008261757456 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10768] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10768/stat : 10768 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008260704656 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10769] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10769/stat : 10769 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008259651856 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10770] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10770/stat : 10770 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467378 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008140794736 140008801610370 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10771] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10771/stat : 10771 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 18290 33554432000 4194304 4196468 140737457544192 140007411017248 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10772] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10772/stat : 10772 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 18290 33554432000 4194304 4196468 140737457544192 140007142581616 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10773] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10773/stat : 10773 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 18290 33554432000 4194304 4196468 140737457544192 140006768073040 140008801617819 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10774] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10774/stat : 10774 (java) S 10761 10761 8640 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008139741552 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10775] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10775/stat : 10775 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008138688752 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10776] ppid=10761 vsize=15012696 memory=139948864358016 CPUtime=0.01 cores=0,2,4,6
/proc/10764/task/10776/stat : 10776 (java) S 10761 10761 8640 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 405467381 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008137635952 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10777] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10777/stat : 10777 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 18290 33554432000 4194304 4196468 140737457544192 140006270167264 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10778] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10778/stat : 10778 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 18290 33554432000 4194304 4196468 140737457544192 140008136584368 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74556 KiB

[startup+0.210682 s]*
/proc/loadavg: 2.01 2.20 2.33 3/230 10778
/proc/meminfo: memFree=11248552/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405467374 115843072 349 33554432000 4194304 5098028 140728236745856 140728236743112 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 349 296 221 0 87 0
[pid=10764] ppid=10761 vsize=15012696 memory=88752 CPUtime=0.25 cores=0,2,4,6
/proc/10764/stat : 10764 (java) S 10761 10761 8640 0 -1 1077944320 12282 0 0 0 20 5 0 0 20 0 15 0 405467375 15373000704 22188 33554432000 4194304 4196468 140737457544192 140737457526736 140008801599223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
/proc/10764/statm: 3753174 22188 2923 1 0 3715579 0
[pid=10764/tid=10765] ppid=10761 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10764/task/10765/stat : 10765 (java) R 10761 10761 8640 0 -1 4202560 10026 0 0 0 16 4 0 0 20 0 15 0 405467375 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008773398608 140008801621149 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10766] ppid=10761 vsize=15012696 memory=9094 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10766/stat : 10766 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008805841552 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10767] ppid=10761 vsize=15012696 memory=3762109294676068000 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10767/stat : 10767 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008261757456 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10768] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10768/stat : 10768 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008260704656 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10769] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10769/stat : 10769 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008259651856 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10770] ppid=10761 vsize=15012696 memory=139948864358016 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10770/stat : 10770 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467378 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008140794736 140008801610370 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10771] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10771/stat : 10771 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 22188 33554432000 4194304 4196468 140737457544192 140007411017248 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10772] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10772/stat : 10772 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 22188 33554432000 4194304 4196468 140737457544192 140007142581616 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10773] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10773/stat : 10773 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 22188 33554432000 4194304 4196468 140737457544192 140006768073040 140008801617819 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10774] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10774/stat : 10774 (java) S 10761 10761 8640 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008139741552 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10775] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10775/stat : 10775 (java) S 10761 10761 8640 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008138688752 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10776] ppid=10761 vsize=15012696 memory=139948864358016 CPUtime=0.02 cores=0,2,4,6
/proc/10764/task/10776/stat : 10776 (java) S 10761 10761 8640 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 405467381 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008137635952 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10777] ppid=10761 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10777/stat : 10777 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 22188 33554432000 4194304 4196468 140737457544192 140006270167264 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10778] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10778/stat : 10778 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 22188 33554432000 4194304 4196468 140737457544192 140008136584368 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90148 KiB

[startup+0.31052 s]*
/proc/loadavg: 2.01 2.20 2.33 3/230 10778
/proc/meminfo: memFree=11245884/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405467374 115843072 349 33554432000 4194304 5098028 140728236745856 140728236743112 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 349 296 221 0 87 0
[pid=10764] ppid=10761 vsize=15012696 memory=92364 CPUtime=0.43 cores=0,2,4,6
/proc/10764/stat : 10764 (java) S 10761 10761 8640 0 -1 1077944320 12617 0 0 0 38 5 0 0 20 0 15 0 405467375 15373000704 23091 33554432000 4194304 4196468 140737457544192 140737457526736 140008801599223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
/proc/10764/statm: 3753174 23091 3034 1 0 3715579 0
[pid=10764/tid=10765] ppid=10761 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/10764/task/10765/stat : 10765 (java) R 10761 10761 8640 0 -1 4202560 10207 0 0 0 26 4 0 0 20 0 15 0 405467375 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008773384208 140008783162822 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10766] ppid=10761 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10766/stat : 10766 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008805841552 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10767] ppid=10761 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10767/stat : 10767 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008261757456 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10768] ppid=10761 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10768/stat : 10768 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008260704656 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10769] ppid=10761 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10769/stat : 10769 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008259651856 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10770] ppid=10761 vsize=15012696 memory=7223591943076881810 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10770/stat : 10770 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467378 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008140794736 140008801610370 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10771] ppid=10761 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10771/stat : 10771 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 23091 33554432000 4194304 4196468 140737457544192 140007411017248 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10772] ppid=10761 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10772/stat : 10772 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467379 15373000704 23091 33554432000 4194304 4196468 140737457544192 140007142581616 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10773] ppid=10761 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10773/stat : 10773 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467381 15373000704 23091 33554432000 4194304 4196468 140737457544192 140006768073040 140008801617819 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10774] ppid=10761 vsize=15012696 memory=4426089072227881875 CPUtime=0.03 cores=0,2,4,6
/proc/10764/task/10774/stat : 10774 (java) S 10761 10761 8640 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 15 0 405467381 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008139741552 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10775] ppid=10761 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10764/task/10775/stat : 10775 (java) S 10761 10761 8640 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 405467381 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008138688752 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10776] ppid=10761 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10764/task/10776/stat : 10776 (java) S 10761 10761 8640 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 15 0 405467381 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008137635952 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10777] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10777/stat : 10777 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 23091 33554432000 4194304 4196468 140737457544192 140006270167264 140008801609429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10778] ppid=10761 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10778/stat : 10778 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467382 15373000704 23091 33554432000 4194304 4196468 140737457544192 140008136584368 140008801610370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93760 KiB

[startup+0.700835 s]
/proc/loadavg: 2.01 2.20 2.33 3/230 10778
/proc/meminfo: memFree=11224992/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405467374 115843072 349 33554432000 4194304 5098028 140728236745856 140728236743112 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 349 296 221 0 87 0
[pid=10764] ppid=10761 vsize=15021092 memory=129816 CPUtime=1 cores=0,2,4,6
/proc/10764/stat : 10764 (java) S 10761 10761 8640 0 -1 1077944320 20210 0 0 0 92 8 0 0 20 0 15 0 405467375 15381598208 32454 33554432000 4194304 4196468 140737457544192 140737457526736 140008801599223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
/proc/10764/statm: 3755273 32454 3202 1 0 3716603 0
[pid=10764/tid=10765] ppid=10761 vsize=15021092 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/10764/task/10765/stat : 10765 (java) R 10761 10761 8640 0 -1 4202560 17386 0 0 0 61 6 0 0 20 0 15 0 405467375 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008773433472 140008785679710 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10766] ppid=10761 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10766/stat : 10766 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467377 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008805841552 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10767] ppid=10761 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10767/stat : 10767 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008261757456 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10768] ppid=10761 vsize=15021092 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10768/stat : 10768 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008260704656 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10769] ppid=10761 vsize=15021092 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10769/stat : 10769 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405467377 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008259651856 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10770] ppid=10761 vsize=15021092 memory=676 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10770/stat : 10770 (java) S 10761 10761 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405467378 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008140794736 140008801610370 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10771] ppid=10761 vsize=15021092 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10771/stat : 10771 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405467379 15381598208 32454 33554432000 4194304 4196468 140737457544192 140007411017248 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10772] ppid=10761 vsize=15021092 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10772/stat : 10772 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467379 15381598208 32454 33554432000 4194304 4196468 140737457544192 140007142581616 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10773] ppid=10761 vsize=15021092 memory=8488 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10773/stat : 10773 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467381 15381598208 32454 33554432000 4194304 4196468 140737457544192 140006768073040 140008801617819 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10774] ppid=10761 vsize=15021092 memory=1704 CPUtime=0.09 cores=0,2,4,6
/proc/10764/task/10774/stat : 10774 (java) S 10761 10761 8640 0 -1 1077944384 782 0 0 0 9 0 0 0 20 0 15 0 405467381 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008139741552 140008801610370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10775] ppid=10761 vsize=15021092 memory=1112 CPUtime=0.05 cores=0,2,4,6
/proc/10764/task/10775/stat : 10775 (java) S 10761 10761 8640 0 -1 1077944384 153 0 0 0 5 0 0 0 20 0 15 0 405467381 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008138688752 140008801610370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10776] ppid=10761 vsize=15021092 memory=1020 CPUtime=0.14 cores=0,2,4,6
/proc/10764/task/10776/stat : 10776 (java) S 10761 10761 8640 0 -1 1077944384 553 0 0 0 14 0 0 0 20 0 15 0 405467381 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008137635952 140008801610370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10777] ppid=10761 vsize=15021092 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10777/stat : 10777 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405467382 15381598208 32454 33554432000 4194304 4196468 140737457544192 140006270167264 140008801609429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
[pid=10764/tid=10778] ppid=10761 vsize=15021092 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/10764/task/10778/stat : 10778 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405467382 15381598208 32454 33554432000 4194304 4196468 140737457544192 140008136584368 140008801610370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15089664 140737457546025 140737457546394 140737457546394 140737457549263 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 131212 KiB

[startup+1.50081 s]
/proc/loadavg: 2.01 2.20 2.33 4/230 10778
/proc/meminfo: memFree=11199248/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405467374 115843072 349 33554432000 4194304 5098028 140728236745856 140728236743112 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 349 296 221 0 87 0

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

/proc/10781/task/10797/stat : 10797 (java) S 10761 10761 8640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405467781 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704965273408 139705531105049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10799] ppid=10761 vsize=8068440 memory=1548 CPUtime=0.04 cores=0,2,4,6
/proc/10781/task/10799/stat : 10799 (java) S 10761 10761 8640 0 -1 4202560 1709 0 0 0 3 1 0 0 20 0 19 0 405467782 8262082560 30502 33554432000 4194304 4196468 140731880581248 139702870978416 139705531102365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10800] ppid=10761 vsize=8068440 memory=8488 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10800/stat : 10800 (java) S 10761 10761 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405467782 8262082560 30502 33554432000 4194304 4196468 140731880581248 139703005199888 139705531102365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10801] ppid=10761 vsize=8068440 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10801/stat : 10801 (java) S 10761 10761 8640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405467784 8262082560 30502 33554432000 4194304 4196468 140731880581248 139702602554672 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
Current children cumulated CPU time: 121.78 s
Current children cumulated vsize: 8310900 KiB
Current children cumulated memory: 218380 KiB

[startup+119.201 s]
/proc/loadavg: 2.04 2.16 2.30 3/235 10830
/proc/meminfo: memFree=11110552/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1476 CPUtime=6.18 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 582 26811 0 0 0 0 582 36 20 0 1 0 405467374 115843072 369 33554432000 4194304 5098028 140728236745856 140728236742600 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 369 311 221 0 87 0
[pid=10781] ppid=10761 vsize=8068440 memory=122008 CPUtime=1.3 cores=0,2,4,6
/proc/10781/stat : 10781 (java) S 10761 10761 8640 0 -1 1077944320 22401 0 0 0 118 12 0 0 20 0 19 0 405467709 8262082560 30502 33554432000 4194304 4196468 140731880581248 140731880563792 139705531080439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
/proc/10781/statm: 2017110 30502 3201 1 0 1978454 0
[pid=10796] ppid=10781 vsize=129332 memory=95108 CPUtime=115.1 cores=0,2,4,6
/proc/10796/stat : 10796 (cryptominisat5) R 10781 10761 8640 0 -1 4202496 105284 0 0 0 11498 12 0 0 20 0 1 0 405467781 132435968 23777 33554432000 4194304 4451008 140731513026192 140731513022312 139687660199727 0 4 0 2 0 0 0 17 4 0 0 0 0 0 6549032 6559120 15335424 140731513029564 140731513029696 140731513029696 140731513032646 0
/proc/10796/statm: 32333 23777 736 63 0 26060 0
[pid=10781/tid=10782] ppid=10761 vsize=8068440 memory=122008 CPUtime=0.74 cores=0,2,4,6
/proc/10781/task/10782/stat : 10782 (java) S 10761 10761 8640 0 -1 1077944384 17190 0 0 0 68 6 0 0 20 0 19 0 405467710 8262082560 30502 33554432000 4194304 4196468 140731880581248 139705502920608 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10783] ppid=10761 vsize=8068440 memory=8039887049847964074 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10783/stat : 10783 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 30502 33554432000 4194304 4196468 140731880581248 139705535322640 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10784] ppid=10761 vsize=8068440 memory=122008 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10784/stat : 10784 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 30502 33554432000 4194304 4196468 140731880581248 139705355618960 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10785] ppid=10761 vsize=8068440 memory=94896 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10785/stat : 10785 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 30502 33554432000 4194304 4196468 140731880581248 139705015126288 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10786] ppid=10761 vsize=8068440 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10786/stat : 10786 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 30502 33554432000 4194304 4196468 140731880581248 139705014073744 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10787] ppid=10761 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10787/stat : 10787 (java) S 10761 10761 8640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405467712 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704977517296 139705531091586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10788] ppid=10761 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10788/stat : 10788 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405467713 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704414496416 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10789] ppid=10761 vsize=8068440 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10789/stat : 10789 (java) S 10761 10761 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405467713 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704280274160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10790] ppid=10761 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10790/stat : 10790 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405467715 8262082560 30502 33554432000 4194304 4196468 140731880581248 139703905769936 139705531099035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10791] ppid=10761 vsize=8068440 memory=3500 CPUtime=0.09 cores=0,2,4,6
/proc/10781/task/10791/stat : 10791 (java) S 10761 10761 8640 0 -1 1077944384 654 0 0 0 9 0 0 0 20 0 19 0 405467715 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704976464112 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10792] ppid=10761 vsize=8068440 memory=2828 CPUtime=0.09 cores=0,2,4,6
/proc/10781/task/10792/stat : 10792 (java) S 10761 10761 8640 0 -1 1077944384 423 0 0 0 9 0 0 0 20 0 19 0 405467715 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704975411568 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10793] ppid=10761 vsize=8068440 memory=20452 CPUtime=0.21 cores=0,2,4,6
/proc/10781/task/10793/stat : 10793 (java) S 10761 10761 8640 0 -1 1077944384 1014 0 0 0 21 0 0 0 20 0 19 0 405467715 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704974358512 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10794] ppid=10761 vsize=8068440 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10794/stat : 10794 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405467716 8262082560 30502 33554432000 4194304 4196468 140731880581248 139703407864160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10795] ppid=10761 vsize=8068440 memory=500 CPUtime=0.07 cores=0,2,4,6
/proc/10781/task/10795/stat : 10795 (java) S 10761 10761 8640 0 -1 1077944384 9 0 0 0 4 3 0 0 20 0 19 0 405467716 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704973306928 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10797] ppid=10761 vsize=8068440 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10797/stat : 10797 (java) S 10761 10761 8640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405467781 8262082560 30502 33554432000 4194304 4196468 140731880581248 139704965273408 139705531105049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10799] ppid=10761 vsize=8068440 memory=932 CPUtime=0.04 cores=0,2,4,6
/proc/10781/task/10799/stat : 10799 (java) S 10761 10761 8640 0 -1 4202560 1709 0 0 0 3 1 0 0 20 0 19 0 405467782 8262082560 30502 33554432000 4194304 4196468 140731880581248 139702870978416 139705531102365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10800] ppid=10761 vsize=8068440 memory=8039887049847964074 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10800/stat : 10800 (java) S 10761 10761 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405467782 8262082560 30502 33554432000 4194304 4196468 140731880581248 139703005199888 139705531102365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10801] ppid=10761 vsize=8068440 memory=92220 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10801/stat : 10801 (java) S 10761 10761 8640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405467784 8262082560 30502 33554432000 4194304 4196468 140731880581248 139702602554672 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
Current children cumulated CPU time: 122.58 s
Current children cumulated vsize: 8310900 KiB
Current children cumulated memory: 218592 KiB

[startup+119.401 s]
/proc/loadavg: 2.04 2.16 2.30 3/235 10830
/proc/meminfo: memFree=11110552/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1476 CPUtime=6.18 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 582 26811 0 0 0 0 582 36 20 0 1 0 405467374 115843072 369 33554432000 4194304 5098028 140728236745856 140728236742600 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 369 311 221 0 87 0
[pid=10781] ppid=10761 vsize=8068440 memory=126472 CPUtime=1.5 cores=0,2,4,6
/proc/10781/stat : 10781 (java) S 10761 10761 8640 0 -1 1077944320 22998 0 0 0 138 12 0 0 20 0 19 0 405467709 8262082560 31618 33554432000 4194304 4196468 140731880581248 140731880563792 139705531080439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
/proc/10781/statm: 2017110 31618 3221 1 0 1978454 0
[pid=10796] ppid=10781 vsize=129332 memory=95120 CPUtime=115.24 cores=0,2,4,6
/proc/10796/stat : 10796 (cryptominisat5) R 10781 10761 8640 0 -1 4202496 105658 0 0 0 11512 12 0 0 20 0 1 0 405467781 132435968 23780 33554432000 4194304 4451008 140731513026192 140731513023416 139687640681568 0 4 0 2 0 0 0 17 6 0 0 0 0 0 6549032 6559120 15335424 140731513029564 140731513029696 140731513029696 140731513032646 0
/proc/10796/statm: 32333 23780 737 63 0 26060 0
[pid=10781/tid=10782] ppid=10761 vsize=8068440 memory=3028 CPUtime=0.74 cores=0,2,4,6
/proc/10781/task/10782/stat : 10782 (java) S 10761 10761 8640 0 -1 1077944384 17190 0 0 0 68 6 0 0 20 0 19 0 405467710 8262082560 31618 33554432000 4194304 4196468 140731880581248 139705502920608 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10783] ppid=10761 vsize=8068440 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10783/stat : 10783 (java) S 10761 10761 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 31618 33554432000 4194304 4196468 140731880581248 139705535322640 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10784] ppid=10761 vsize=8068440 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10784/stat : 10784 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 31618 33554432000 4194304 4196468 140731880581248 139705355618960 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10785] ppid=10761 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10785/stat : 10785 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 31618 33554432000 4194304 4196468 140731880581248 139705015126288 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10786] ppid=10761 vsize=8068440 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10786/stat : 10786 (java) S 10761 10761 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405467711 8262082560 31618 33554432000 4194304 4196468 140731880581248 139705014073744 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10787] ppid=10761 vsize=8068440 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10787/stat : 10787 (java) S 10761 10761 8640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 405467712 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704977517296 139705531091586 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10788] ppid=10761 vsize=8068440 memory=3471202396320842721 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10788/stat : 10788 (java) S 10761 10761 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405467713 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704414496416 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10789] ppid=10761 vsize=8068440 memory=676 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10789/stat : 10789 (java) S 10761 10761 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405467713 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704280274160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10790] ppid=10761 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10790/stat : 10790 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405467715 8262082560 31618 33554432000 4194304 4196468 140731880581248 139703905769936 139705531099035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10791] ppid=10761 vsize=8068440 memory=1548 CPUtime=0.13 cores=0,2,4,6
/proc/10781/task/10791/stat : 10791 (java) R 10761 10761 8640 0 -1 4202560 748 0 0 0 13 0 0 0 20 0 19 0 405467715 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704976445128 139705516188251 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10792] ppid=10761 vsize=8068440 memory=8488 CPUtime=0.14 cores=0,2,4,6
/proc/10781/task/10792/stat : 10792 (java) R 10761 10761 8640 0 -1 4202560 732 0 0 0 14 0 0 0 20 0 19 0 405467715 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704975392584 139705516197583 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10793] ppid=10761 vsize=8068440 memory=1704 CPUtime=0.27 cores=0,2,4,6
/proc/10781/task/10793/stat : 10793 (java) S 10761 10761 8640 0 -1 1077944384 1166 0 0 0 27 0 0 0 20 0 19 0 405467715 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704974358512 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10794] ppid=10761 vsize=8068440 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10794/stat : 10794 (java) S 10761 10761 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405467716 8262082560 31618 33554432000 4194304 4196468 140731880581248 139703407864160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10795] ppid=10761 vsize=8068440 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/10781/task/10795/stat : 10795 (java) S 10761 10761 8640 0 -1 1077944384 9 0 0 0 4 3 0 0 20 0 19 0 405467716 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704973306928 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10797] ppid=10761 vsize=8068440 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10797/stat : 10797 (java) S 10761 10761 8640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 405467781 8262082560 31618 33554432000 4194304 4196468 140731880581248 139704965273408 139705531105049 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10799] ppid=10761 vsize=8068440 memory=14008 CPUtime=0.1 cores=0,2,4,6
/proc/10781/task/10799/stat : 10799 (java) R 10761 10761 8640 0 -1 4202560 1751 0 0 0 9 1 0 0 20 0 19 0 405467782 8262082560 31618 33554432000 4194304 4196468 140731880581248 139702870978576 139705036264446 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10800] ppid=10761 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10800/stat : 10800 (java) S 10761 10761 8640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 405467782 8262082560 31684 33554432000 4194304 4196468 140731880581248 139703005199888 139705531102365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10801] ppid=10761 vsize=8068440 memory=20452 CPUtime=0 cores=0,2,4,6
/proc/10781/task/10801/stat : 10801 (java) S 10761 10761 8640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 405467784 8262082560 31684 33554432000 4194304 4196468 140731880581248 139702602554672 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
Current children cumulated CPU time: 122.92 s
Current children cumulated vsize: 8310900 KiB
Current children cumulated memory: 223068 KiB

[startup+119.501 s]
/proc/loadavg: 2.04 2.16 2.30 3/235 10830
/proc/meminfo: memFree=11110552/32770624 swapFree=66997112/67108860
[pid=10761] ppid=10758 vsize=113128 memory=1476 CPUtime=6.18 cores=0,2,4,6
/proc/10761/stat : 10761 (scop.sh) S 10758 10761 8640 0 -1 4202496 582 26811 0 0 0 0 582 36 20 0 1 0 405467374 115843072 369 33554432000 4194304 5098028 140728236745856 140728236742600 140200890970748 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24797184 140728236749667 140728236749936 140728236749936 140728236752845 0
/proc/10761/statm: 28282 369 311 221 0 87 0
[pid=10781] ppid=10761 vsize=7937364 memory=142808 CPUtime=117.09 cores=0,2,4,6
/proc/10781/stat : 10781 (java) S 10761 10761 8640 0 -1 1077944320 24084 105696 0 0 170 13 11513 13 20 0 17 0 405467709 8127860736 35702 33554432000 4194304 4196468 140731880581248 140731880563792 139705531080439 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
/proc/10781/statm: 1984341 35702 3230 1 0 1945685 0
[pid=10781/tid=10782] ppid=10761 vsize=7937364 memory=122008 CPUtime=116.06 cores=0,2,4,6
/proc/10781/task/10782/stat : 10782 (java) R 10761 10761 8640 0 -1 4202560 17352 105696 0 0 74 6 11513 13 20 0 17 0 405467710 8127860736 35702 33554432000 4194304 4196468 140731880581248 139705502916160 139705531092374 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10783] ppid=10761 vsize=7937364 memory=1476 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10783/stat : 10783 (java) S 10761 10761 8640 0 -1 1077944384 2 105696 0 0 0 0 11513 13 20 0 17 0 405467711 8127860736 35702 33554432000 4194304 4196468 140731880581248 139705535322640 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10784] ppid=10761 vsize=7937364 memory=122008 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10784/stat : 10784 (java) S 10761 10761 8640 0 -1 1077944384 1 105696 0 0 0 0 11513 13 20 0 17 0 405467711 8127860736 35702 33554432000 4194304 4196468 140731880581248 139705355618960 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10785] ppid=10761 vsize=7937364 memory=122008 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10785/stat : 10785 (java) S 10761 10761 8640 0 -1 1077944384 1 105696 0 0 0 0 11513 13 20 0 17 0 405467711 8127860736 35702 33554432000 4194304 4196468 140731880581248 139705015126288 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10786] ppid=10761 vsize=7937364 memory=1476 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10786/stat : 10786 (java) S 10761 10761 8640 0 -1 1077944384 1 105696 0 0 0 0 11513 13 20 0 17 0 405467711 8127860736 35702 33554432000 4194304 4196468 140731880581248 139705014073744 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10787] ppid=10761 vsize=7937364 memory=1060 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10787/stat : 10787 (java) S 10761 10761 8640 0 -1 1077944384 8 105696 0 0 0 0 11513 13 20 0 17 0 405467712 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704977517296 139705531091586 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10788] ppid=10761 vsize=7937364 memory=1548 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10788/stat : 10788 (java) S 10761 10761 8640 0 -1 1077944384 13 105696 0 0 0 0 11513 13 20 0 17 0 405467713 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704414496416 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10789] ppid=10761 vsize=7937364 memory=8488 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10789/stat : 10789 (java) S 10761 10761 8640 0 -1 1077944384 21 105696 0 0 0 0 11513 13 20 0 17 0 405467713 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704280274160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10790] ppid=10761 vsize=7937364 memory=1704 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10790/stat : 10790 (java) S 10761 10761 8640 0 -1 1077944384 3 105696 0 0 0 0 11513 13 20 0 17 0 405467715 8127860736 35702 33554432000 4194304 4196468 140731880581248 139703905769936 139705531099035 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10791] ppid=10761 vsize=7937364 memory=164 CPUtime=115.48 cores=0,2,4,6
/proc/10781/task/10791/stat : 10791 (java) R 10761 10761 8640 0 -1 4202560 1401 105696 0 0 22 0 11513 13 20 0 17 0 405467715 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704976450168 139705514636828 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10792] ppid=10761 vsize=7937364 memory=-3704326594973231466 CPUtime=115.49 cores=0,2,4,6
/proc/10781/task/10792/stat : 10792 (java) R 10761 10761 8640 0 -1 4202560 899 105696 0 0 23 0 11513 13 20 0 17 0 405467715 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704975411568 139705512665520 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10793] ppid=10761 vsize=7937364 memory=279897517077792 CPUtime=115.57 cores=0,2,4,6
/proc/10781/task/10793/stat : 10793 (java) S 10761 10761 8640 0 -1 1077944384 1242 105696 0 0 31 0 11513 13 20 0 17 0 405467715 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704974358512 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10794] ppid=10761 vsize=7937364 memory=-7531822216213012384 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10794/stat : 10794 (java) S 10761 10761 8640 0 -1 1077944384 3 105696 0 0 0 0 11513 13 20 0 17 0 405467716 8127860736 35702 33554432000 4194304 4196468 140731880581248 139703407864160 139705531090645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10795] ppid=10761 vsize=7937364 memory=1476 CPUtime=115.33 cores=0,2,4,6
/proc/10781/task/10795/stat : 10795 (java) S 10761 10761 8640 0 -1 1077944384 9 105696 0 0 4 3 11513 13 20 0 17 0 405467716 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704973306928 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10797] ppid=10761 vsize=7937364 memory=122008 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10797/stat : 10797 (java) S 10761 10761 8640 0 -1 1077944384 36 105696 0 0 0 0 11513 13 20 0 17 0 405467781 8127860736 35702 33554432000 4194304 4196468 140731880581248 139704965272592 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
[pid=10781/tid=10801] ppid=10761 vsize=7937364 memory=3028 CPUtime=115.26 cores=0,2,4,6
/proc/10781/task/10801/stat : 10801 (java) S 10761 10761 8640 0 -1 1077944384 9 105696 0 0 0 0 11513 13 20 0 17 0 405467784 8127860736 35702 33554432000 4194304 4196468 140731880581248 139702602556464 139705531091586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34656256 140731880584187 140731880584346 140731880584346 140731880587215 0
Current children cumulated CPU time: 123.27 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 144284 KiB

Child status: 0
Real time (s): 119.582
CPU time (s): 123.498
CPU user time (s): 122.851
CPU system time (s): 0.646219
CPU usage (%): 103.274
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1570020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.851
system time used= 0.646219
maximum resident set size= 1573308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8151
involuntary context switches= 62


# summary of solver processes directly reported to runsolver:
#   pid: 10761
#   total CPU time (s): 123.498
#   total CPU user time (s): 122.851
#   total CPU system time (s): 0.646219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.797425 second user time and 1.44643 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 14:41:24
IDJOB=4387915
IDBENCH=127881
IDSOLVER=2826
FILE ID=node103/4387915-1568292143
RUNJOBID= node103-1568289558-9765
PBS_JOBID= 21701093
Free space on /tmp= 52624 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-142.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-4387915-1568292143/watcher-4387915-1568292143 -o /tmp/evaluation-result-4387915-1568292143/solver-4387915-1568292143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9765 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387915-1568292143.xml

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=149972132

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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:        11327000 kB
MemAvailable:   20062868 kB
Buffers:          107172 kB
Cached:          8864568 kB
SwapCached:         8920 kB
Active:         13690904 kB
Inactive:        7063656 kB
Active(anon):   11769236 kB
Inactive(anon):    54900 kB
Active(file):    1921668 kB
Inactive(file):  7008756 kB
Unevictable:      106628 kB
Mlocked:          106628 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             20628 kB
Writeback:            28 kB
AnonPages:      11902208 kB
Mapped:            54720 kB
Shmem:             32812 kB
Slab:             262576 kB
SReclaimable:     233904 kB
SUnreclaim:        28672 kB
KernelStack:        3648 kB
PageTables:        28960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13195656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11755520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52604 MiB
End job on node103 at 2019-09-12 14:43:24