Trace number 4387642

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)UNSAT 376.191 363.443

General information on the benchmark

NameRandom/Random-RB-3-20-20/
rand-3-20-20-60-632-45.xml
MD5SUM9875f5c0ec8fbb2d8215ec13f3e1e37d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.4554
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints57
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":20}]
Minimum variable degree3
Maximum variable degree16
Distribution of variable degrees[{"degree":3,"count":1},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":16,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":57}]
Number of extensional constraints57
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":57}]
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-10067-serial-file.bin HOME/instance-4387642-1568286771.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 13:12:12 CEST 2019
0.66/0.55	c PID: 10074
0.66/0.55	c IP: 172.20.3.140
0.66/0.55	c HOST: node140.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.32/1.25	c (0,0) Parsing End
2.32/1.26	c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 57 ctr, max domain size 20
2.32/1.26	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.32/1.26	c (0,0) Constraint Name Generate Begin
2.32/1.26	c (0,0) Ctr:HOME/instance-4387642-1568286771.xml,ExtensionSupport:Var
2.32/1.26	c (0,0) Constraint Name Generate End
2.32/1.26	c (0,0) Heap : 337 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.32/1.26	c (0,0) CSP to CSPinCNF Begin
9.57/3.76	c (3,3) translated 6 (10%) constraints
11.93/5.45	c (4,4) translated 12 (20%) constraints
14.00/7.04	c (6,6) translated 18 (30%) constraints
15.54/8.25	c (7,7) translated 23 (40%) constraints
17.75/9.95	c (9,9) translated 29 (50%) constraints
19.35/11.43	c (10,10) translated 35 (60%) constraints
20.59/12.64	c (12,11) translated 40 (70%) constraints
22.01/14.10	c (13,13) translated 46 (80%) constraints
23.40/15.45	c (14,14) translated 52 (90%) constraints
24.52/16.55	c (16,15) translated 57 (100%) constraints
24.72/16.79	c (16,16) ===========================================
24.82/16.89	c (16,16) Hybrid: #OE=23669, #LE=0
24.82/16.89	c (16,16) Hybrid
24.82/16.89	c (16,16) ===========================================
26.98/17.74	c (17,16) translated 26715 (10%) constraints
27.63/18.24	c (17,17) translated 53430 (20%) constraints
28.13/18.72	c (18,17) translated 80145 (30%) constraints
28.63/19.21	c (18,18) translated 106859 (40%) constraints
29.13/19.70	c (19,18) translated 133574 (50%) constraints
29.58/20.19	c (19,19) translated 160289 (60%) constraints
30.07/20.68	c (20,19) translated 187003 (70%) constraints
30.58/21.17	c (20,20) translated 213718 (80%) constraints
31.07/21.66	c (21,20) translated 240433 (90%) constraints
31.59/22.15	c (21,21) translated 267147 (100%) constraints
31.59/22.15	c (21,21) CSP to CSPinCNF End
31.59/22.17	c (21,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
31.59/22.17	c (21,21) Heap : 1605 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
31.59/22.17	c (21,21) CSPinCNF Propagation Begin
33.37/23.39	c (22,22) 0 values, 57 unsatisfiable literals, and 0 valid clauses are removed
33.37/23.39	c (22,22) CSPinCNF Propagation End
33.48/23.40	c (22,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
33.48/23.40	c (22,22) Heap : 2842 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
33.59/23.50	c (22,22) Hybrid: #OE=23669, #LE=0
33.59/23.50	c (22,22) Simplify CSPinCNF Begin
35.29/24.25	c (23,22) Simplify CSPinCNF End
35.29/24.26	c (23,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
35.29/24.26	c (23,22) Heap : 388 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
35.29/24.26	c (23,22) Calculate Precise Domain Begin
35.29/24.26	c (23,22) 0 values are removed by re-calculation
35.29/24.26	c (23,22) Calculate Precise Domain End
35.29/24.26	c (23,22) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
35.29/24.26	c (23,22) Heap : 388 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
35.29/24.26	c (23,22) CSPinCNF to SatSolver Begin
36.89/24.81	c (24,23) 26715 (10 %) CSP clauses are encoded (0 SAT variables, 27074 SAT clauses)
37.15/25.01	c (24,23) 53430 (20 %) CSP clauses are encoded (0 SAT variables, 53789 SAT clauses)
37.35/25.20	c (24,23) 80145 (30 %) CSP clauses are encoded (0 SAT variables, 80504 SAT clauses)
37.45/25.39	c (24,24) 106859 (40 %) CSP clauses are encoded (0 SAT variables, 107218 SAT clauses)
37.66/25.57	c (25,24) 133574 (50 %) CSP clauses are encoded (0 SAT variables, 133933 SAT clauses)
37.86/25.76	c (25,24) 160289 (60 %) CSP clauses are encoded (0 SAT variables, 160648 SAT clauses)
38.06/25.94	c (25,24) 187003 (70 %) CSP clauses are encoded (0 SAT variables, 187362 SAT clauses)
38.27/26.13	c (25,24) 213718 (80 %) CSP clauses are encoded (0 SAT variables, 214077 SAT clauses)
38.46/26.32	c (25,24) 240433 (90 %) CSP clauses are encoded (0 SAT variables, 240792 SAT clauses)
38.66/26.50	c (25,25) 267147 (100 %) CSP clauses are encoded (0 SAT variables, 267506 SAT clauses)
38.66/26.50	c (25,25) CSPinCNF to SatSolver End
38.66/26.50	c (25,25) Heap : 2443 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
38.66/26.51	c (25,25) 24029 bool, 267507 clause
38.66/26.51	c (25,25) Export Begin
38.82/26.60	c (26,25) Export to HOME/scop-10067-serial-file.bin
38.82/26.60	c (26,25) Export End
38.82/26.60	c (26,25) Export File Size: 0.01 MB
38.82/26.60	c (26,25) 0,0,21,22,23,23,25,STOP-AFTER(DIMACS)
38.82/26.60	c END-Prog: Thu Sep 12 13:12:38 CEST 2019
38.82/26.62	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10067-serial-file.bin
39.37/27.07	c (0,0) Read Serial File Begin
39.37/27.07	c (0,0) HOME/scop-10067-serial-file.bin
39.63/27.27	c (0,0) Read Serial File End
39.63/27.29	
39.63/27.29	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
39.63/27.29	(Solving Process)
39.63/27.29	
39.79/27.31	c BEGIN-Prog: Thu Sep 12 13:12:39 CEST 2019
39.79/27.31	c PID: 10107
39.79/27.31	c IP: 172.20.3.140
39.79/27.31	c HOST: node140.alineos.net
39.79/27.31	c (0,0) SatSolver.solve Begin
39.79/27.31	c (0,0) HOME/cryptominisat5  HOME/instance-4387642-1568286771.xml-scop-10074.cnf
40.01/27.55	c (0,0) c Outputting solution to console
40.01/27.55	c (0,0) c CryptoMiniSat version 5.6.8
40.01/27.55	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
40.01/27.55	c (0,0) c CMS SHA revision GIT-notfound
40.01/27.55	c (0,0) c CMS is MIT licensed
40.01/27.55	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
40.01/27.55	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
40.01/27.55	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387642-1568286771.xml-scop-10074.cnf
40.01/27.55	c (0,0) c Reading file 'HOME/instance-4387642-1568286771.xml-scop-10074.cnf'
40.01/27.55	c (0,0) c -- header says num vars:          24029
40.01/27.55	c (0,0) c -- header says num clauses:      267507
40.01/27.64	c (0,0) c -- clauses added: 267507
40.01/27.64	c (0,0) c -- xor clauses added: 0
40.01/27.64	c (0,0) c -- vars added 24029
40.01/27.64	c (0,0) c Parsing time: 0.08 s
40.01/27.71	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
40.01/27.72	c (0,0) c [distill] long cls tried: 13/13 cl-short:13 lit-r:6 T: 0.01 T-out: N T-r: 99.89%
41.95/29.60	c (2,0) c [distill] long cls tried: 234/227 cl-short:234 lit-r:145 T: 0.12 T-out: N T-r: 98.64%
44.16/31.79	c (4,0) c [distill] long cls tried: 382/594 cl-short:382 lit-r:234 T: 0.22 T-out: N T-r: 97.71%
44.87/32.41	c (5,0) c   glue     1    32  8193   24029  222K   45K    3.37    3.14   680  2872  4562   117   22.04   21.76
48.66/36.22	c (9,0) c [distill] long cls tried: 1844/2405 cl-short:1844 lit-r:2139 T: 1.18 T-out: N T-r: 87.06%
51.16/38.75	c (11,0) c   geom     1    53 16386   24029  222K   45K    3.37    3.14  2832  6210  7191   248   21.19   20.90
52.86/40.40	c (13,0) c [distill] long cls tried: 591/2957 cl-short:591 lit-r:522 T: 0.38 T-out: N T-r: 95.85%
57.06/44.66	c (17,0) c   glue     1    75   24K   24029  222K   45K    3.37    3.14  4889  7359 12089   381   21.04   20.75
58.87/46.46	c (19,0) c [distill] long cls tried: 1959/4860 cl-short:1959 lit-r:2405 T: 1.49 T-out: N T-r: 84.49%
63.89/51.41	c (24,0) c   glue     1    93   32K   24029  222K   45K    3.37    3.14  7014 10802 14486   528   20.68   20.38
66.18/53.73	c (26,0) c [distill] long cls tried: 2218/7036 cl-short:2218 lit-r:3397 T: 1.87 T-out: N T-r: 80.75%
71.78/59.32	c (32,0) c   glue     1   110   40K   24029  222K   45K    3.37    3.14  9133  9113   22K   642   20.05   19.77
75.38/62.94	c (35,0) c [distill] long cls tried: 2242/9229 cl-short:2242 lit-r:3010 T: 1.99 T-out: N T-r: 80.28%
80.09/67.64	c (40,0) c   glue     1   125   49K   24029  222K   45K    3.37    3.14  9868 13974   22K   783   19.34   19.05
87.99/75.52	c (48,0) c [distill] long cls tried: 2594/11771 cl-short:2593 lit-r:4443 T: 2.82 T-out: N T-r: 73.68%
89.39/76.96	c (49,0) c   geom     1   146   57K   24029  222K   45K    3.37    3.14 11880 11799   30K   888   19.06   18.79
96.00/83.53	c (56,0) c   glue     1   157   65K   24029  222K   45K    3.37    3.14 14035 12527   31K   955   18.01   17.75
102.71/90.26	c (63,0) c [distill] long cls tried: 2582/14287 cl-short:2582 lit-r:4496 T: 2.96 T-out: N T-r: 73.23%
102.81/90.35	c (63,0) c recursive minimization cost OK: 220Kcost/(% lits removed)
102.81/90.35	c (63,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
102.81/90.36	c (63,0) c --> Executing strategy token: handle-comps
102.81/90.36	c (63,0) c --> Executing strategy token: scc-vrepl
102.81/90.36	c (63,0) c [scc] new: 14 BP 0M T: 0.01
102.81/90.38	c (63,0) c --> Executing strategy token: cache-clean
102.81/90.38	c (63,0) c --> Executing strategy token: cache-tryboth
102.81/90.38	c (63,0) c --> Executing strategy token: sub-impl
102.81/90.38	c (63,0) c [impl sub] bin: 45 T: 0.02 T-out: N w-visit: 48058
102.91/90.40	c (63,0) c --> Executing strategy token: intree-probe
102.91/90.40	c (63,0) c [scc] new: 14 BP 0M T: 0.01
102.91/90.44	c (63,0) c [vrep] vars 14 lits 61352 rem-bin-cls 56 rem-long-cls 0 BP 1M T: 0.04
102.91/90.46	c (63,0) c [scc] new: 0 BP 0M T: 0.01
102.91/90.49	c (63,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.02
105.52/93.11	c (66,0) c [intree] Set 0 vars hyper-added: 277025 trans-irred::0 trans-red::68953 T: 2.61 T-out: N T-r: 62.57%
106.01/93.51	c (66,0) c --> Executing strategy token: probe
106.01/93.51	c (66,0) c --> Executing strategy token: sub-str-cls-with-bin
106.01/93.51	c (66,0) c [distill] cache-based irred--  cl tried    69093 cl-sh    18 cl-rem   89 lit-rem     32 T: 0.24 T-out: Y
106.01/93.51	c (66,0) c [distill] cache-based   red--  cl tried    28575 cl-sh   396 cl-rem    5 lit-rem    453 T: 0.14 T-out: N
107.21/94.79	c (67,0) c --> Executing strategy token: distill-cls
107.21/94.79	c (67,0) c [distill] long cls tried: 1768/221917 cl-short:498 lit-r:305 T: 1.29 T-out: Y T-r: -0.04%
107.21/94.79	c (67,0) c [distill] long useful: 996/3536/443838 lits-rem: 610 0-depth-assigns: 0 T: 2.57 T-out: Y
107.31/94.80	c (67,0) c --> Executing strategy token: scc-vrepl
107.31/94.80	c (67,0) c [scc] new: 26 BP 0M T: 0.01
107.31/94.85	c (67,0) c [vrep] vars 26 lits 52430 rem-bin-cls 104 rem-long-cls 0 BP 1M T: 0.05
107.31/94.89	c (67,0) c --> Executing strategy token: sub-impl
107.31/94.89	c (67,0) c [impl sub] bin: 52 T: 0.04 T-out: N w-visit: 48058
107.41/94.90	c (67,0) c --> Executing strategy token: str-impl
107.41/94.90	c (67,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 98.44% w-visit: 48058
107.41/94.94	c (67,0) c --> Executing strategy token: sub-impl
107.41/94.94	c (67,0) c [impl sub] bin: 0 T: 0.04 T-out: N w-visit: 48058
107.41/94.97	c (67,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
107.41/94.97	c (67,0) c [occ] mem usage for occur     24 MB
107.52/95.03	c (68,0) c [occ] mem usage for occur      4 MB
107.52/95.08	c (68,0) c Mem for watch alloc      : 32          MB (49.27     %)
107.52/95.08	c (68,0) c Mem for watch array      : 1           MB (1.66      %)
107.72/95.25	c (68,0) c --> Executing OCC strategy token: occ-backw-sub-str
107.72/95.25	c (68,0) c [occ-backw-sub-str-long-w-bins] subs: 235 str: 536 tried: 508896 0-depth ass: 0 T: 0.18 T-out: N T-r: 86.50%
107.92/95.47	c (68,0) c [occ-sub-long-w-long] rem cl: 194 tried: 567982/283991 (200.0%) T: 0.21 T-out: N T-r: 75.94%
108.33/95.88	c (68,0) c [occ-sub-str-long-w-long] sub: 1 str: 24 tried: 851973/283991 (300.0)  T: 0.41 T-out: N T-r: 67.96%
108.42/95.90	c (68,0) c --> Executing OCC strategy token: occ-clean-implicit
108.42/95.90	c (68,0) c --> Executing OCC strategy token: occ-bve
108.42/95.90	c (68,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.01 T-out: N
108.72/96.28	c (69,0) c [occ-bve] iter v-elim 98
108.72/96.28	c (69,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
108.72/96.28	c (69,0) c Reduced to 23891 vars, 267311 cls (grow=0)
109.82/97.34	c (70,0) c [occ-bve] iter v-elim 488
109.82/97.34	c (70,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
109.82/97.35	c (70,0) c Reduced to 23403 vars, 267438 cls (grow=8)
109.82/97.35	c (70,0) c x n vars       : 23403
109.82/97.35	c (70,0) c  #try to eliminate:    52K
109.82/97.35	c (70,0) c  #var-elim        :    586
109.82/97.35	c (70,0) c  #T-o: N
109.82/97.35	c (70,0) c  #T-r: 99.89%
109.82/97.35	c (70,0) c  #T  : 1.45
109.82/97.35	c (70,0) c [occur] 0.11 is overhead
109.82/97.35	c (70,0) c [occur] link-in T: 0.11 cleanup T: 0.00
109.82/97.35	c (70,0) c --> Executing OCC strategy token: occ-bva
109.82/97.35	c (70,0) c [occ-bva] global numcalls: 0
109.82/97.39	c (70,0) c --> Executing OCC strategy token: occ-ternary-res
109.82/97.39	c (70,0) c --> Executing OCC strategy token: occ-xor
109.82/97.39	c (70,0) c [occ-xor] sort occur list T: 0.04
111.63/99.11	c (72,0) c [occ-xor] found      7 avg sz 3.0 min sz  3 max sz  3 T: 1.76 T-out: N T-r: 57.89%
111.63/99.11	c (72,0) c [xor-together] xored together 1 xors orig num xors: 7 T: 0.00
111.63/99.11	c (72,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
111.63/99.18	c (72,0) c --> Executing strategy token: cl-consolidate
111.63/99.18	c (72,0) c [mem] consolidate  old-sz:  17620K new-sz:  12454K new bits offs: 0 T: 0.02
111.63/99.19	c (72,0) c --> Executing strategy token: str-impl
111.63/99.19	c (72,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.24% w-visit: 48058
112.04/99.58	c (72,0) c --> Executing strategy token: cache-clean
112.04/99.58	c (72,0) c --> Executing strategy token: sub-str-cls-with-bin
112.04/99.58	c (72,0) c [distill] cache-based irred--  cl tried    65320 cl-sh     0 cl-rem   21 lit-rem      0 T: 0.24 T-out: Y
112.04/99.58	c (72,0) c [distill] cache-based   red--  cl tried    25958 cl-sh   291 cl-rem    0 lit-rem    391 T: 0.13 T-out: N
113.04/100.54	c (73,0) c --> Executing strategy token: distill-cls
113.04/100.54	c (73,0) c [distill] long cls tried: 1789/222119 cl-short:103 lit-r:276 T: 0.97 T-out: Y T-r: -0.10%
113.04/100.54	c (73,0) c [distill] long useful: 206/3578/444240 lits-rem: 552 0-depth-assigns: 0 T: 1.93 T-out: Y
113.04/100.55	c (73,0) c --> Executing strategy token: scc-vrepl
113.04/100.55	c (73,0) c [scc] new: 0 BP 0M T: 0.01
113.04/100.55	c (73,0) c --> Executing strategy token: check-cache-size
113.04/100.55	c (73,0) c --> Executing strategy token: renumber
113.04/100.55	c (73,0) c --> Executing strategy token: sls
113.04/100.55	c (73,0) c [consolidate] mini T: 0.00
113.04/100.55	c (73,0) c global_timeout_multiplier: 4.40
113.04/100.57	c (73,0) c clause size stats. size3: 177114 size4: 41212 size5: 1778 larger: 2015
116.03/103.53	c (76,0) c   luby     0   188   73K   23403  222K   45K    3.36    3.13 13209  8571   24K   67K   13.78    6.77
123.94/111.44	c (84,0) c   luby     0   220   81K   23403  222K   45K    3.36    3.13 14801  8331   25K   67K   13.40    6.75
134.75/122.27	c (95,0) c [distill] long cls tried: 3576/14974 cl-short:3554 lit-r:4192 T: 3.69 T-out: N T-r: 66.33%
135.45/122.94	c (95,0) c   luby     0   238   90K   23403  222K   45K    3.36    3.13 16377  9650   26K   68K   13.43    6.97
142.44/129.97	c (102,0) c   luby     0   270   98K   23403  222K   45K    3.36    3.13 16824 11772   31K   68K   14.00    7.65
150.05/137.55	c (110,0) c   luby     0   295  106K   23403  222K   45K    3.36    3.13 18747 12957   27K   68K   13.90    7.55
157.58/145.01	c (118,0) c   luby     0   296  114K   23403  222K   45K    3.36    3.13   20K 11383   35K   68K   14.24    8.10
162.47/149.99	c (122,0) c [distill] long cls tried: 5370/19734 cl-short:5361 lit-r:10132 T: 4.57 T-out: N T-r: 56.66%
170.96/158.47	c (131,0) c   luby     0   327  122K   23403  222K   45K    3.36    3.13   21K 11579   32K   68K   13.76    7.75
178.87/166.34	c (139,0) c   luby     0   358  131K   23403  222K   45K    3.36    3.13   23K 10212   40K   68K   13.92    8.17
187.08/174.53	c (147,0) c   luby     0   385  139K   23402  222K   45K    3.36    3.13   23K 15172   34K   68K   13.41    7.89
194.59/182.06	c (155,0) c [distill] long cls tried: 5529/24340 cl-short:4984 lit-r:8729 T: 4.47 T-out: N T-r: 55.01%
199.28/186.74	c (159,0) c   luby     0   417  147K   23402  222K   45K    3.36    3.13   24K 12869   43K   69K   13.59    8.24
207.88/195.36	c (168,0) c   luby     0   423  155K   23402  222K   45K    3.36    3.13   26K 13999   37K   69K   13.09    7.88
217.49/204.94	c (177,0) c   luby     0   424  163K   23402  222K   45K    3.36    3.13   28K 10495   47K   69K   13.59    8.43
222.40/209.84	c (182,0) c recursive minimization cost OK: 196Kcost/(% lits removed)
222.40/209.85	c (182,0) c --> Executing strategy token: handle-comps
222.40/209.85	c (182,0) c --> Executing strategy token: scc-vrepl
222.40/209.85	c (182,0) c [scc] new: 6 BP 0M T: 0.01
222.40/209.88	c (182,0) c --> Executing strategy token: cache-clean
222.40/209.88	c (182,0) c --> Executing strategy token: cache-tryboth
222.40/209.88	c (182,0) c --> Executing strategy token: sub-impl
222.40/209.88	c (182,0) c [impl sub] bin: 1446 T: 0.03 T-out: N w-visit: 48058
222.50/209.92	c (182,0) c --> Executing strategy token: intree-probe
222.50/209.92	c (182,0) c [scc] new: 7 BP 0M T: 0.01
222.50/209.98	c (182,0) c [vrep] vars 7 lits 59741 rem-bin-cls 29 rem-long-cls 24329 BP 1M T: 0.06
222.50/210.00	c (183,0) c [scc] new: 0 BP 0M T: 0.01
222.61/210.04	c (183,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 0M T: 0.03
223.10/210.52	c (183,0) c [intree] Set 0 vars hyper-added: 20918 trans-irred::356 trans-red::2824 T: 0.48 T-out: N T-r: 96.67%
223.40/210.81	c (183,0) c --> Executing strategy token: probe
223.40/210.81	c (183,0) c --> Executing strategy token: sub-str-cls-with-bin
223.40/210.81	c (183,0) c [distill] cache-based irred--  cl tried    41256 cl-sh     1 cl-rem   87 lit-rem      2 T: 0.14 T-out: Y
223.40/210.81	c (183,0) c [distill] cache-based   red--  cl tried    28725 cl-sh   475 cl-rem   35 lit-rem    619 T: 0.13 T-out: Y
224.50/211.91	c (184,0) c --> Executing strategy token: distill-cls
224.50/211.91	c (184,0) c [distill] long cls tried: 1909/217745 cl-short:199 lit-r:268 T: 1.10 T-out: Y T-r: -0.04%
224.50/211.91	c (184,0) c [distill] long useful: 398/3818/435492 lits-rem: 536 0-depth-assigns: 0 T: 2.20 T-out: Y
224.50/211.92	c (184,0) c --> Executing strategy token: scc-vrepl
224.50/211.92	c (184,0) c [scc] new: 2 BP 0M T: 0.01
224.50/211.95	c (184,0) c --> Executing strategy token: sub-impl
224.50/211.95	c (184,0) c [impl sub] bin: 77 T: 0.03 T-out: N w-visit: 48058
224.50/211.96	c (184,0) c --> Executing strategy token: str-impl
224.50/211.96	c (184,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.21% w-visit: 48058
224.50/211.98	c (184,0) c --> Executing strategy token: sub-impl
224.50/211.98	c (184,0) c [impl sub] bin: 0 T: 0.03 T-out: N w-visit: 48058
224.61/212.01	c (185,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
224.61/212.01	c (185,0) c [occ] mem usage for occur     24 MB
224.61/212.05	c (185,0) c [occ] mem usage for occur      7 MB
224.61/212.09	c (185,0) c Mem for watch alloc      : 32          MB (44.71     %)
224.61/212.09	c (185,0) c Mem for watch array      : 1           MB (1.51      %)
224.80/212.20	c (185,0) c --> Executing OCC strategy token: occ-backw-sub-str
224.80/212.20	c (185,0) c [occ-backw-sub-str-long-w-bins] subs: 57 str: 1487 tried: 945121 0-depth ass: 0 T: 0.11 T-out: N T-r: 94.06%
225.00/212.41	c (185,0) c [occ-sub-long-w-long] rem cl: 532 tried: 538380/269190 (200.0%) T: 0.21 T-out: N T-r: 76.09%
225.41/212.83	c (185,0) c [occ-sub-str-long-w-long] sub: 0 str: 159 tried: 807570/269190 (300.0)  T: 0.42 T-out: N T-r: 70.31%
225.41/212.83	c (185,0) c [occ-sub-str-w-added-long]  sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 100.00%
225.41/212.85	c (185,0) c --> Executing OCC strategy token: occ-clean-implicit
225.41/212.85	c (185,0) c --> Executing OCC strategy token: occ-bve
225.41/212.85	c (185,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.02 T-out: N
225.62/213.07	c (186,0) c [occ-bve] iter v-elim 14
225.62/213.07	c (186,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
225.62/213.08	c (186,0) c Reduced to 23381 vars, 262250 cls (grow=0)
226.21/213.67	c (186,0) c [occ-bve] iter v-elim 86
226.21/213.67	c (186,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
226.21/213.67	c (186,0) c Reduced to 23295 vars, 262482 cls (grow=8)
226.21/213.67	c (186,0) c x n vars       : 23295
226.21/213.67	c (186,0) c  #try to eliminate:    47K
226.21/213.67	c (186,0) c  #var-elim        :    100
226.21/213.68	c (186,0) c  #T-o: N
226.21/213.68	c (186,0) c  #T-r: 99.90%
226.21/213.68	c (186,0) c  #T  : 0.83
226.21/213.68	c (186,0) c [occur] 0.09 is overhead
226.21/213.68	c (186,0) c [occur] link-in T: 0.09 cleanup T: 0.00
226.21/213.68	c (186,0) c --> Executing OCC strategy token: occ-bva
226.21/213.68	c (186,0) c [occ-bva] global numcalls: 1
226.31/213.72	c (186,0) c --> Executing OCC strategy token: occ-ternary-res
226.31/213.72	c (186,0) c --> Executing OCC strategy token: occ-xor
226.31/213.74	c (186,0) c [occ-xor] sort occur list T: 0.05
228.02/215.40	c (188,0) c [occ-xor] found      2 avg sz 3.0 min sz  3 max sz  3 T: 1.72 T-out: N T-r: 60.05%
228.02/215.40	c (188,0) c [xor-together] xored together 0 xors orig num xors: 2 T: 0.00
228.02/215.40	c (188,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
228.02/215.47	c (188,0) c --> Executing strategy token: cl-consolidate
228.02/215.47	c (188,0) c [mem] consolidate  old-sz:  17852K new-sz:  12217K new bits offs: 0 T: 0.02
228.02/215.47	c (188,0) c --> Executing strategy token: str-impl
228.02/215.47	c (188,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.01 T-out: N T-r: 99.28% w-visit: 48058
228.33/215.75	c (188,0) c --> Executing strategy token: cache-clean
228.33/215.75	c (188,0) c --> Executing strategy token: sub-str-cls-with-bin
228.33/215.75	c (188,0) c [distill] cache-based irred--  cl tried    35217 cl-sh     0 cl-rem   42 lit-rem      0 T: 0.14 T-out: Y
228.33/215.75	c (188,0) c [distill] cache-based   red--  cl tried    24022 cl-sh    66 cl-rem    0 lit-rem     99 T: 0.12 T-out: Y
229.43/216.86	c (189,0) c --> Executing strategy token: distill-cls
229.43/216.86	c (189,0) c [distill] long cls tried: 1992/217652 cl-short:138 lit-r:224 T: 1.12 T-out: Y T-r: -0.04%
229.43/216.86	c (189,0) c [distill] long useful: 276/3984/435308 lits-rem: 448 0-depth-assigns: 0 T: 2.23 T-out: Y
229.43/216.87	c (189,0) c --> Executing strategy token: scc-vrepl
229.43/216.87	c (189,0) c [scc] new: 2 BP 0M T: 0.01
229.43/216.87	c (189,0) c --> Executing strategy token: check-cache-size
229.43/216.87	c (189,0) c --> Executing strategy token: renumber
229.43/216.87	c (189,0) c --> Executing strategy token: sls
229.43/216.87	c (189,0) c [consolidate] mini T: 0.00
229.43/216.87	c (189,0) c global_timeout_multiplier: 4.84
229.53/216.96	c (189,0) c [features] numVars 23295, numClauses 262440, var_cl_ratio 0.09, binary 0.17, horn 0.61, horn_mean 0.00, horn_std 0.00, horn_min 0.00, horn_max 0.01, horn_spread 0.01, vcg_var_mean 0.00, vcg_var_std 6.26, vcg_var_min 0.00, vcg_var_max 0.02, vcg_var_spread 0.02, vcg_cls_mean 0.00, vcg_cls_std 0.48, vcg_cls_min 0.00, vcg_cls_max 0.00, vcg_cls_spread 0.00, pnr_var_mean 0.47, pnr_var_std 0.25, pnr_var_min 0.00, pnr_var_max 1.00, pnr_var_spread 1.00, pnr_cls_mean 0.64, pnr_cls_std 0.45, pnr_cls_min 0.00, pnr_cls_max 1.00, pnr_cls_spread 1.00, avg_confl_size 17.49, confl_size_min 1.00, confl_size_max 346.00, avg_confl_glue 7.57, confl_glue_min 1.00, confl_glue_max 25.00, avg_num_resolutions 0.00, num_resolutions_min 0.00, num_resolutions_max 0.00, learnt_bins_per_confl 0.01, avg_branch_depth 11.82, branch_depth_min 3.00, branch_depth_max 32.00, avg_trail_depth_delta 3414.47, trail_depth_delta_min 2.00, trail_depth_delta_max 18688.00, avg_branch_depth_delta 1.18, props_per_confl 0.00, confl_per_restart 396.23, decisions_per_conflict 1.29, irred_cl_distrib.glue_distr_mean 999.22, irred_cl_distrib.glue_distr_var 776.04, irred_cl_distrib.size_distr_mean 3.35, irred_cl_distrib.size_distr_var 2.78, 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 42416032.42, red_cl_distrib.glue_distr_mean 2.80, red_cl_distrib.glue_distr_var 0.18, red_cl_distrib.size_distr_mean 7.00, red_cl_distrib.size_distr_var 14.16, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 22486.35, red_cl_distrib.activity_distr_var 19560135176.73, num_gates_found_last 0, num_xors_found_last 2
229.53/216.96	c (189,0) c clause size stats. size3: 174396 size4: 39340 size5: 1947 larger: 1969
234.04/221.44	c (194,0) c   luby     0   446  172K   23295  217K   44K    3.35    3.12   27K  7043 16607   73K   11.71    5.96
242.84/230.23	c (203,0) c [distill] long cls tried: 4934/27061 cl-short:4918 lit-r:7511 T: 5.99 T-out: N T-r: 49.96%
249.04/236.44	c (209,0) c   luby     0   478  180K   23294  217K   44K    3.35    3.12   28K  9725 18347   73K   11.65    6.20
257.44/244.84	c (217,0) c   luby     0   495  188K   23294  217K   44K    3.35    3.12   29K 11801   24K   73K   12.25    6.80
265.95/253.38	c (226,0) c   luby     0   526  196K   23294  217K   44K    3.35    3.12   30K 13964   23K   73K   12.11    6.86
273.95/261.38	c (234,0) c   luby     0   551  204K   23294  217K   44K    3.35    3.12   32K 12347   32K   73K   12.61    7.40
281.86/269.21	c (242,0) c   luby     0   552  213K   23294  217K   44K    3.35    3.12   33K 12442   33K   73K   13.08    7.74
288.46/275.87	c (248,0) c [distill] long cls tried: 6738/32729 cl-short:6259 lit-r:13261 T: 6.53 T-out: N T-r: 45.92%
297.16/284.54	c (257,0) c   luby     0   584  221K   23291  217K   44K    3.35    3.12   34K 10752   41K   74K   13.29    8.07
305.06/292.43	c (265,0) c   luby     0   615  229K   23290  217K   44K    3.35    3.12   35K 16665   30K   74K   12.68    7.61
313.28/300.70	c (273,0) c   luby     0   643  237K   23289  217K   44K    3.35    3.12   36K 14868   38K   74K   13.05    8.06
322.57/309.97	c (282,0) c   luby     0   675  245K   23289  217K   44K    3.35    3.12   38K 15704   35K   74K   12.80    7.90
331.87/319.24	c (292,0) c   luby     0   679  253K   23287  217K   44K    3.35    3.12   40K 12393   45K   74K   13.08    8.29
340.58/327.99	c (300,0) c   luby     0   680  262K   23287  217K   44K    3.35    3.12   42K 12401   39K   74K   12.73    7.99
348.49/335.89	c (308,0) c   luby     0   680  270K   23284  217K   44K    3.35    3.12   43K 12264   36K   74K   13.08    8.14
358.19/345.51	c (318,0) c [distill] long cls tried: 11240/40880 cl-short:8605 lit-r:22952 T: 9.10 T-out: N T-r: 20.51%
365.89/353.26	c (326,0) c   luby     0   681  278K   23268  217K   44K    3.35    3.12   41K 14763   42K   75K   13.36    8.43
375.40/362.71	c (335,0) c   luby     0   681  286K   22090  190K   42K    3.34    3.09   30K  3626  4000   72K    8.13    4.10
376.11/363.42	c (336,0) c ------- FINAL TOTAL SEARCH STATS ---------
376.11/363.42	c (336,0) c UIP search time          : 318.33      (94.82     % time)
376.11/363.42	c (336,0) c restarts                 : 681         (422.12    confls per restart)
376.11/363.42	c (336,0) c blocked restarts         : 260         (0.38      per normal restart)
376.11/363.42	c (336,0) c time                     : 318.33      
376.11/363.42	c (336,0) c decisions                : 358270      (0.00      % random)
376.11/363.42	c (336,0) c propagations             : 862414428   
376.11/363.42	c (336,0) c decisions/conflicts      : 1.25        
376.11/363.42	c (336,0) c conflicts                : 287467      (903.05    / sec)
376.11/363.42	c (336,0) c conf lits non-minim      : 8812231     (30.65     lit/confl)
376.11/363.42	c (336,0) c conf lits final          : 17.21       
376.11/363.42	c (336,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
376.11/363.42	c (336,0) c red which0               : 16682       (5.80      % of confl)
376.11/363.42	c (336,0) c props/decision           : 0.00        
376.11/363.42	c (336,0) c props/conflict           : 0.00        
376.11/363.42	c (336,0) c 0-depth assigns          : 13287       (55.30     % vars)
376.11/363.42	c (336,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
376.11/363.42	c (336,0) c reduceDB time            : 0.15        (0.04      % time)
376.11/363.42	c (336,0) c OccSimplifier time       : 5.66        (1.69      % time)
376.11/363.42	c (336,0) c [occur] 0.30 is overhead
376.11/363.42	c (336,0) c [occur] link-in T: 0.20 cleanup T: 0.10
376.11/363.42	c (336,0) c [occ-substr] long subBySub: 920 subByStr: 2 lits-rem-str: 12146 T: 1.87
376.11/363.42	c (336,0) c SCC time                 : 0.09        (0.03      % time)
376.11/363.42	c (336,0) c [scc] new: 71 BP 2M  T: 0.09
376.11/363.42	c (336,0) c vrep replace time        : 0.20        (0.06      % time)
376.11/363.42	c (336,0) c vrep tree roots          : 37          
376.11/363.42	c (336,0) c vrep trees' crown        : 47          (1.27      leafs/tree)
376.11/363.42	c (336,0) c distill time             : 56.34       (16.78     % time)
376.11/363.42	c (336,0) c strength cache-irred time: 0.76        (0.23      % time)
376.11/363.42	c (336,0) c strength cache-red time  : 0.52        (0.15      % time)
376.11/363.42	c (336,0) c Conflicts in UIP         : 287467      (856.28    confl/time_this_thread)
376.11/363.42	c (336,0) c Mem used                 : 89.21       MB
376.11/363.42	c (336,0) c Total time (this thread) : 335.71      
376.11/363.42	c (336,0) s UNSATISFIABLE
376.11/363.43	c (336,0) SatSolver.solve End
376.11/363.43	c (336,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
376.11/363.43	c (336,0) Show results Begin
376.11/363.43	s UNSATISFIABLE
376.11/363.43	c (336,0) Show results End
376.11/363.43	c (336,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
376.11/363.43	c (336,0) 336,336,STOP-AFTER(ALL)
376.11/363.43	c END-Prog: Thu Sep 12 13:18:15 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387642-1568286771/watcher-4387642-1568286771 -o /tmp/evaluation-result-4387642-1568286771/solver-4387642-1568286771 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387642-1568286771.xml 

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

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


[startup+0.100189 s]*
/proc/loadavg: 1.00 1.10 1.43 4/230 10104
/proc/meminfo: memFree=21610012/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404615628 115843072 349 33554432000 4194304 5098028 140731772967280 140731772964536 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 349 296 221 0 87 0
[pid=10074] ppid=10067 vsize=15012696 memory=72744 CPUtime=0.11 cores=1,3,5,7
/proc/10074/stat : 10074 (java) S 10067 10067 9001 0 -1 1077944320 6897 0 0 0 9 2 0 0 20 0 15 0 404615629 15373000704 18186 33554432000 4194304 4196468 140724241898048 140724241880592 140347623210743 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
/proc/10074/statm: 3753174 18186 2932 1 0 3715579 0
[pid=10074/tid=10077] ppid=10067 vsize=15012696 memory=4711481268207780745 CPUtime=0.09 cores=1,3,5,7
/proc/10074/task/10077/stat : 10077 (java) R 10067 10067 9001 0 -1 1077944384 4703 0 0 0 8 1 0 0 20 0 15 0 404615629 15373000704 18251 33554432000 4194304 4196468 140724241898048 140347594994992 140347615889965 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10079] ppid=10067 vsize=15012696 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10079/stat : 10079 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 18251 33554432000 4194304 4196468 140724241898048 140347627453328 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10080] ppid=10067 vsize=15013720 memory=139987651245696 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10080/stat : 10080 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15374049280 18251 33554432000 4194304 4196468 140724241898048 140347083926288 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10081] ppid=10067 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10081/stat : 10081 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15374049280 18251 33554432000 4194304 4196468 140724241898048 140347082874000 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10082] ppid=10067 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10082/stat : 10082 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615630 15374049280 18251 33554432000 4194304 4196468 140724241898048 140347081821200 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10087] ppid=10067 vsize=15013720 memory=139987651245696 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10087/stat : 10087 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615632 15374049280 18251 33554432000 4194304 4196468 140724241898048 140346660829296 140347623221890 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10089] ppid=10067 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10089/stat : 10089 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404615632 15374049280 18251 33554432000 4194304 4196468 140724241898048 140346176561952 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10091] ppid=10067 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10091/stat : 10091 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615633 15374049280 18317 33554432000 4194304 4196468 140724241898048 140345908126832 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10093] ppid=10067 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10093/stat : 10093 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15374049280 18317 33554432000 4194304 4196468 140724241898048 140345533618256 140347623229339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10094] ppid=10067 vsize=15013720 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10094/stat : 10094 (java) S 10067 10067 9001 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 404615635 15374049280 18317 33554432000 4194304 4196468 140724241898048 140346659777136 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10095] ppid=10067 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10095/stat : 10095 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615635 15374049280 18317 33554432000 4194304 4196468 140724241898048 140346658724336 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10096] ppid=10067 vsize=15013720 memory=139987651245696 CPUtime=0.01 cores=1,3,5,7
/proc/10074/task/10096/stat : 10096 (java) S 10067 10067 9001 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 404615635 15374049280 18383 33554432000 4194304 4196468 140724241898048 140346657672048 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10101] ppid=10067 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10101/stat : 10101 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15374049280 18383 33554432000 4194304 4196468 140724241898048 140345035713504 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10103] ppid=10067 vsize=15013720 memory=139987651245696 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10103/stat : 10103 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615636 15374049280 18383 33554432000 4194304 4196468 140724241898048 140346656618928 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74140 KiB

[startup+0.210795 s]*
/proc/loadavg: 1.00 1.10 1.43 3/230 10104
/proc/meminfo: memFree=21574636/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404615628 115843072 349 33554432000 4194304 5098028 140731772967280 140731772964536 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 349 296 221 0 87 0
[pid=10074] ppid=10067 vsize=15012696 memory=85720 CPUtime=0.25 cores=1,3,5,7
/proc/10074/stat : 10074 (java) S 10067 10067 9001 0 -1 1077944320 11501 0 0 0 22 3 0 0 20 0 15 0 404615629 15373000704 21430 33554432000 4194304 4196468 140724241898048 140724241880592 140347623210743 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
/proc/10074/statm: 3753174 21430 2936 1 0 3715579 0
[pid=10074/tid=10077] ppid=10067 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10074/task/10077/stat : 10077 (java) R 10067 10067 9001 0 -1 4202560 9229 0 0 0 17 2 0 0 20 0 15 0 404615629 15373000704 21430 33554432000 4194304 4196468 140724241898048 140347595026384 140347607291230 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10079] ppid=10067 vsize=15012696 memory=2128863 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10079/stat : 10079 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 21430 33554432000 4194304 4196468 140724241898048 140347627453328 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10080] ppid=10067 vsize=15012696 memory=288370363802957440 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10080/stat : 10080 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 21430 33554432000 4194304 4196468 140724241898048 140347083926288 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10081] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10081/stat : 10081 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 21430 33554432000 4194304 4196468 140724241898048 140347082874000 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10082] ppid=10067 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10082/stat : 10082 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 21430 33554432000 4194304 4196468 140724241898048 140347081821200 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10087] ppid=10067 vsize=15012696 memory=139987651245696 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10087/stat : 10087 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615632 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346660829296 140347623221890 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10089] ppid=10067 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10089/stat : 10089 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404615632 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346176561952 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10091] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10091/stat : 10091 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615633 15373000704 21496 33554432000 4194304 4196468 140724241898048 140345908126832 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10093] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10093/stat : 10093 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 21496 33554432000 4194304 4196468 140724241898048 140345533618256 140347623229339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10094] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10094/stat : 10094 (java) S 10067 10067 9001 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346659777136 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10095] ppid=10067 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10095/stat : 10095 (java) S 10067 10067 9001 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346658724336 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10096] ppid=10067 vsize=15012696 memory=139987651245696 CPUtime=0.03 cores=1,3,5,7
/proc/10074/task/10096/stat : 10096 (java) R 10067 10067 9001 0 -1 4202560 496 0 0 0 3 0 0 0 20 0 15 0 404615635 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346657672048 140347615447870 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10101] ppid=10067 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10101/stat : 10101 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 21496 33554432000 4194304 4196468 140724241898048 140345035713504 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10103] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10103/stat : 10103 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615636 15373000704 21496 33554432000 4194304 4196468 140724241898048 140346656618928 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87116 KiB

[startup+0.311085 s]*
/proc/loadavg: 1.00 1.10 1.43 4/230 10104
/proc/meminfo: memFree=21568544/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404615628 115843072 349 33554432000 4194304 5098028 140731772967280 140731772964536 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 349 296 221 0 87 0
[pid=10074] ppid=10067 vsize=15012696 memory=90092 CPUtime=0.43 cores=1,3,5,7
/proc/10074/stat : 10074 (java) S 10067 10067 9001 0 -1 1077944320 12543 0 0 0 39 4 0 0 20 0 15 0 404615629 15373000704 22523 33554432000 4194304 4196468 140724241898048 140724241880592 140347623210743 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
/proc/10074/statm: 3753174 22523 3051 1 0 3715579 0
[pid=10074/tid=10077] ppid=10067 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/10074/task/10077/stat : 10077 (java) R 10067 10067 9001 0 -1 4202560 10082 0 0 0 27 3 0 0 20 0 15 0 404615629 15373000704 22523 33554432000 4194304 4196468 140724241898048 140347595001392 140347604764048 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10079] ppid=10067 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10079/stat : 10079 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 22523 33554432000 4194304 4196468 140724241898048 140347627453328 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10080] ppid=10067 vsize=15012696 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10080/stat : 10080 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 22523 33554432000 4194304 4196468 140724241898048 140347083926288 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10081] ppid=10067 vsize=15012696 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10081/stat : 10081 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 22523 33554432000 4194304 4196468 140724241898048 140347082874000 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10082] ppid=10067 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10082/stat : 10082 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615630 15373000704 22523 33554432000 4194304 4196468 140724241898048 140347081821200 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10087] ppid=10067 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10087/stat : 10087 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615632 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346660829296 140347623221890 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10089] ppid=10067 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10089/stat : 10089 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404615632 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346176561952 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10091] ppid=10067 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10091/stat : 10091 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615633 15373000704 22523 33554432000 4194304 4196468 140724241898048 140345908126832 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10093] ppid=10067 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10093/stat : 10093 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 22523 33554432000 4194304 4196468 140724241898048 140345533618256 140347623229339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10094] ppid=10067 vsize=15012696 memory=-6519613052471072158 CPUtime=0.03 cores=1,3,5,7
/proc/10074/task/10094/stat : 10094 (java) S 10067 10067 9001 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 404615635 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346659777136 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10095] ppid=10067 vsize=15012696 memory=-8187100386482147110 CPUtime=0.01 cores=1,3,5,7
/proc/10074/task/10095/stat : 10095 (java) S 10067 10067 9001 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 404615635 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346658724336 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10096] ppid=10067 vsize=15012696 memory=4426078206164241782 CPUtime=0.07 cores=1,3,5,7
/proc/10074/task/10096/stat : 10096 (java) S 10067 10067 9001 0 -1 1077944384 539 0 0 0 7 0 0 0 20 0 15 0 404615635 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346657672048 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10101] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10101/stat : 10101 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15373000704 22523 33554432000 4194304 4196468 140724241898048 140345035713504 140347623220949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10103] ppid=10067 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10103/stat : 10103 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615636 15373000704 22523 33554432000 4194304 4196468 140724241898048 140346656618928 140347623221890 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91488 KiB

[startup+0.701091 s]
/proc/loadavg: 1.00 1.10 1.43 3/230 10104
/proc/meminfo: memFree=21524568/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404615628 115843072 349 33554432000 4194304 5098028 140731772967280 140731772964536 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 349 296 221 0 87 0
[pid=10074] ppid=10067 vsize=15018968 memory=129144 CPUtime=1.04 cores=1,3,5,7
/proc/10074/stat : 10074 (java) S 10067 10067 9001 0 -1 1077944320 20124 0 0 0 98 6 0 0 20 0 15 0 404615629 15379423232 32286 33554432000 4194304 4196468 140724241898048 140724241880592 140347623210743 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
/proc/10074/statm: 3754742 32286 3182 1 0 3716091 0
[pid=10074/tid=10077] ppid=10067 vsize=15018968 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10074/task/10077/stat : 10077 (java) R 10067 10067 9001 0 -1 4202560 17138 0 0 0 63 4 0 0 20 0 15 0 404615629 15379423232 32286 33554432000 4194304 4196468 140724241898048 140347595048104 140347607740658 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10079] ppid=10067 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10079/stat : 10079 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15379423232 32286 33554432000 4194304 4196468 140724241898048 140347627453328 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10080] ppid=10067 vsize=15018968 memory=36576 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10080/stat : 10080 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15379423232 32286 33554432000 4194304 4196468 140724241898048 140347083926288 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10081] ppid=10067 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10081/stat : 10081 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404615630 15379423232 32286 33554432000 4194304 4196468 140724241898048 140347082874000 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10082] ppid=10067 vsize=15018968 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10082/stat : 10082 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615630 15379423232 32286 33554432000 4194304 4196468 140724241898048 140347081821200 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10087] ppid=10067 vsize=15018968 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10087/stat : 10087 (java) S 10067 10067 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404615632 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346660829296 140347623221890 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10089] ppid=10067 vsize=15018968 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10089/stat : 10089 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404615632 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346176561952 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10091] ppid=10067 vsize=15018968 memory=772 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10091/stat : 10091 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615633 15379423232 32286 33554432000 4194304 4196468 140724241898048 140345908126832 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10093] ppid=10067 vsize=15018968 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10093/stat : 10093 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15379423232 32286 33554432000 4194304 4196468 140724241898048 140345533618256 140347623229339 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10094] ppid=10067 vsize=15018968 memory=1712 CPUtime=0.1 cores=1,3,5,7
/proc/10074/task/10094/stat : 10094 (java) S 10067 10067 9001 0 -1 1077944384 765 0 0 0 10 0 0 0 20 0 15 0 404615635 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346659777136 140347623221890 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10095] ppid=10067 vsize=15018968 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/10074/task/10095/stat : 10095 (java) S 10067 10067 9001 0 -1 1077944384 240 0 0 0 8 0 0 0 20 0 15 0 404615635 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346658724336 140347623221890 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10096] ppid=10067 vsize=15018968 memory=4004 CPUtime=0.16 cores=1,3,5,7
/proc/10074/task/10096/stat : 10096 (java) S 10067 10067 9001 0 -1 1077944384 645 0 0 0 16 0 0 0 20 0 15 0 404615635 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346657672048 140347623221890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10101] ppid=10067 vsize=15018968 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10101/stat : 10101 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404615635 15379423232 32286 33554432000 4194304 4196468 140724241898048 140345035713504 140347623220949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
[pid=10074/tid=10103] ppid=10067 vsize=15018968 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/10074/task/10103/stat : 10103 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404615636 15379423232 32286 33554432000 4194304 4196468 140724241898048 140346656618928 140347623221890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35278848 140724241904425 140724241904794 140724241904794 140724241907663 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 130540 KiB

[startup+1.5009 s]
/proc/loadavg: 1.00 1.10 1.43 5/230 10104
/proc/meminfo: memFree=21247100/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 555 322 0 0 0 0 0 0 20 0 1 0 404615628 115843072 349 33554432000 4194304 5098028 140731772967280 140731772964536 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 374.3 s
Current children cumulated vsize: 8297208 KiB
Current children cumulated memory: 217160 KiB

[startup+362.401 s]
/proc/loadavg: 2.00 1.74 1.62 3/239 10174
/proc/meminfo: memFree=21270844/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1476 CPUtime=38.85 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 583 53249 0 1 0 0 3764 121 20 0 1 0 404615628 115843072 369 33554432000 4194304 5098028 140731772967280 140731772964024 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 369 311 221 0 87 0
[pid=10107] ppid=10067 vsize=8068440 memory=124336 CPUtime=1.43 cores=1,3,5,7
/proc/10107/stat : 10107 (java) S 10067 10067 9001 0 -1 1077944320 22607 0 0 0 124 19 0 0 20 0 19 0 404618290 8262082560 31084 33554432000 4194304 4196468 140735214853408 140735214835952 139868715036407 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
/proc/10107/statm: 2017110 31084 3207 1 0 1978454 0
[pid=10122] ppid=10107 vsize=115640 memory=91348 CPUtime=334.82 cores=1,3,5,7
/proc/10122/stat : 10122 (cryptominisat5) R 10107 10067 9001 0 -1 4202496 126962 0 2 0 33469 13 0 0 20 0 1 0 404618362 118415360 22837 33554432000 4194304 4451008 140731441714224 140731441710152 139863411687593 0 4 0 2 0 0 0 17 1 0 0 8 0 0 6549032 6559120 19091456 140731441722300 140731441722432 140731441722432 140731441725382 0
/proc/10122/statm: 28910 22837 738 63 0 22637 0
[pid=10107/tid=10108] ppid=10067 vsize=8068440 memory=91348 CPUtime=0.74 cores=1,3,5,7
/proc/10107/task/10108/stat : 10108 (java) S 10067 10067 9001 0 -1 1077944384 17359 0 0 0 69 5 0 0 20 0 19 0 404618291 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868686876576 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10109] ppid=10067 vsize=8068440 memory=22 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10109/stat : 10109 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868719278864 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10110] ppid=10067 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10110/stat : 10110 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868519447440 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10111] ppid=10067 vsize=8068440 memory=124336 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10111/stat : 10111 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868518394896 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10112] ppid=10067 vsize=8068440 memory=111216 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10112/stat : 10112 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868517342352 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10113] ppid=10067 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10113/stat : 10113 (java) S 10067 10067 9001 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 404618293 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868161488880 139868715047554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10114] ppid=10067 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10114/stat : 10114 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867690361760 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10115] ppid=10067 vsize=8068440 memory=8039887049847965602 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10115/stat : 10115 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867421926384 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10116] ppid=10067 vsize=8068440 memory=124336 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10116/stat : 10116 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867047418064 139868715055003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10117] ppid=10067 vsize=8068440 memory=111216 CPUtime=0.1 cores=1,3,5,7
/proc/10107/task/10117/stat : 10117 (java) S 10067 10067 9001 0 -1 1077944384 625 0 0 0 10 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867556141552 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10118] ppid=10067 vsize=8068440 memory=111216 CPUtime=0.09 cores=1,3,5,7
/proc/10107/task/10118/stat : 10118 (java) S 10067 10067 9001 0 -1 1077944384 404 0 0 0 9 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867555089008 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10119] ppid=10067 vsize=8068440 memory=3624 CPUtime=0.23 cores=1,3,5,7
/proc/10107/task/10119/stat : 10119 (java) S 10067 10067 9001 0 -1 1077944384 1118 0 0 0 23 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867554036464 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10120] ppid=10067 vsize=8068440 memory=8039887049847965602 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10120/stat : 10120 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866549513312 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10121] ppid=10067 vsize=8068440 memory=111220 CPUtime=0.17 cores=1,3,5,7
/proc/10107/task/10121/stat : 10121 (java) S 10067 10067 9001 0 -1 1077944384 25 0 0 0 8 9 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867552983344 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10123] ppid=10067 vsize=8068440 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10123/stat : 10123 (java) S 10067 10067 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868160435264 139868715061017 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10125] ppid=10067 vsize=8068440 memory=14004 CPUtime=0.03 cores=1,3,5,7
/proc/10107/task/10125/stat : 10125 (java) S 10067 10067 9001 0 -1 4202560 1687 0 0 0 2 1 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866012626544 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10126] ppid=10067 vsize=8068440 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10126/stat : 10126 (java) S 10067 10067 9001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404618363 8262082560 31084 33554432000 4194304 4196468 140735214853408 139865744195344 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10127] ppid=10067 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10127/stat : 10127 (java) S 10067 10067 9001 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 404618365 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866146856496 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
Current children cumulated CPU time: 375.1 s
Current children cumulated vsize: 8297208 KiB
Current children cumulated memory: 217160 KiB

[startup+363.201 s]
/proc/loadavg: 2.00 1.75 1.62 3/239 10174
/proc/meminfo: memFree=21270596/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1476 CPUtime=38.85 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 583 53249 0 1 0 0 3764 121 20 0 1 0 404615628 115843072 369 33554432000 4194304 5098028 140731772967280 140731772964024 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 369 311 221 0 87 0
[pid=10107] ppid=10067 vsize=8068440 memory=124336 CPUtime=1.44 cores=1,3,5,7
/proc/10107/stat : 10107 (java) S 10067 10067 9001 0 -1 1077944320 22607 0 0 0 125 19 0 0 20 0 19 0 404618290 8262082560 31084 33554432000 4194304 4196468 140735214853408 140735214835952 139868715036407 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
/proc/10107/statm: 2017110 31084 3207 1 0 1978454 0
[pid=10122] ppid=10107 vsize=115640 memory=91348 CPUtime=335.62 cores=1,3,5,7
/proc/10122/stat : 10122 (cryptominisat5) R 10107 10067 9001 0 -1 4202496 126963 0 2 0 33549 13 0 0 20 0 1 0 404618362 118415360 22837 33554432000 4194304 4451008 140731441714224 140731441710152 139863399924736 0 4 0 2 0 0 0 17 1 0 0 8 0 0 6549032 6559120 19091456 140731441722300 140731441722432 140731441722432 140731441725382 0
/proc/10122/statm: 28910 22837 738 63 0 22637 0
[pid=10107/tid=10108] ppid=10067 vsize=8068440 memory=1476 CPUtime=0.74 cores=1,3,5,7
/proc/10107/task/10108/stat : 10108 (java) S 10067 10067 9001 0 -1 1077944384 17359 0 0 0 69 5 0 0 20 0 19 0 404618291 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868686876576 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10109] ppid=10067 vsize=8068440 memory=124336 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10109/stat : 10109 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868719278864 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10110] ppid=10067 vsize=8068440 memory=111216 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10110/stat : 10110 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868519447440 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10111] ppid=10067 vsize=8068440 memory=8039887049847965602 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10111/stat : 10111 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868518394896 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10112] ppid=10067 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10112/stat : 10112 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868517342352 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10113] ppid=10067 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10113/stat : 10113 (java) S 10067 10067 9001 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 404618293 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868161488880 139868715047554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10114] ppid=10067 vsize=8068440 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10114/stat : 10114 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867690361760 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10115] ppid=10067 vsize=8068440 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10115/stat : 10115 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867421926384 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10116] ppid=10067 vsize=8068440 memory=8039887049847965602 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10116/stat : 10116 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867047418064 139868715055003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10117] ppid=10067 vsize=8068440 memory=1424 CPUtime=0.1 cores=1,3,5,7
/proc/10107/task/10117/stat : 10117 (java) S 10067 10067 9001 0 -1 1077944384 625 0 0 0 10 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867556141552 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10118] ppid=10067 vsize=8068440 memory=1540 CPUtime=0.09 cores=1,3,5,7
/proc/10107/task/10118/stat : 10118 (java) S 10067 10067 9001 0 -1 1077944384 404 0 0 0 9 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867555089008 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10119] ppid=10067 vsize=8068440 memory=772 CPUtime=0.23 cores=1,3,5,7
/proc/10107/task/10119/stat : 10119 (java) S 10067 10067 9001 0 -1 1077944384 1118 0 0 0 23 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867554036464 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10120] ppid=10067 vsize=8068440 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10120/stat : 10120 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866549513312 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10121] ppid=10067 vsize=8068440 memory=804 CPUtime=0.17 cores=1,3,5,7
/proc/10107/task/10121/stat : 10121 (java) S 10067 10067 9001 0 -1 1077944384 25 0 0 0 8 9 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867552983344 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10123] ppid=10067 vsize=8068440 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10123/stat : 10123 (java) S 10067 10067 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868160435264 139868715061017 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10125] ppid=10067 vsize=8068440 memory=920 CPUtime=0.03 cores=1,3,5,7
/proc/10107/task/10125/stat : 10125 (java) S 10067 10067 9001 0 -1 4202560 1687 0 0 0 2 1 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866012626544 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10126] ppid=10067 vsize=8068440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10126/stat : 10126 (java) S 10067 10067 9001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404618363 8262082560 31084 33554432000 4194304 4196468 140735214853408 139865744195344 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10127] ppid=10067 vsize=8068440 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10127/stat : 10127 (java) S 10067 10067 9001 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 404618365 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866146856496 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
Current children cumulated CPU time: 375.91 s
Current children cumulated vsize: 8297208 KiB
Current children cumulated memory: 217160 KiB

[startup+363.401 s]
/proc/loadavg: 2.00 1.75 1.62 3/239 10174
/proc/meminfo: memFree=21270596/32770624 swapFree=66999108/67108860
[pid=10067] ppid=10062 vsize=113128 memory=1476 CPUtime=38.85 cores=1,3,5,7
/proc/10067/stat : 10067 (scop.sh) S 10062 10067 9001 0 -1 4202496 583 53249 0 1 0 0 3764 121 20 0 1 0 404615628 115843072 369 33554432000 4194304 5098028 140731772967280 140731772964024 139906099520124 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 26640384 140731772969827 140731772970096 140731772970096 140731772973005 0
/proc/10067/statm: 28282 369 311 221 0 87 0
[pid=10107] ppid=10067 vsize=8068440 memory=124336 CPUtime=1.44 cores=1,3,5,7
/proc/10107/stat : 10107 (java) S 10067 10067 9001 0 -1 1077944320 22607 0 0 0 125 19 0 0 20 0 19 0 404618290 8262082560 31084 33554432000 4194304 4196468 140735214853408 140735214835952 139868715036407 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
/proc/10107/statm: 2017110 31084 3207 1 0 1978454 0
[pid=10122] ppid=10107 vsize=115640 memory=91348 CPUtime=335.82 cores=1,3,5,7
/proc/10122/stat : 10122 (cryptominisat5) R 10107 10067 9001 0 -1 4202496 126963 0 2 0 33569 13 0 0 20 0 1 0 404618362 118415360 22837 33554432000 4194304 4451008 140731441714224 140731441710152 139863411687593 0 4 0 2 0 0 0 17 1 0 0 8 0 0 6549032 6559120 19091456 140731441722300 140731441722432 140731441722432 140731441725382 0
/proc/10122/statm: 28910 22837 738 63 0 22637 0
[pid=10107/tid=10108] ppid=10067 vsize=8068440 memory=36576 CPUtime=0.74 cores=1,3,5,7
/proc/10107/task/10108/stat : 10108 (java) S 10067 10067 9001 0 -1 1077944384 17359 0 0 0 69 5 0 0 20 0 19 0 404618291 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868686876576 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10109] ppid=10067 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10109/stat : 10109 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868719278864 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10110] ppid=10067 vsize=8068440 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10110/stat : 10110 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868519447440 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10111] ppid=10067 vsize=8068440 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10111/stat : 10111 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868518394896 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10112] ppid=10067 vsize=8068440 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10112/stat : 10112 (java) S 10067 10067 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404618292 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868517342352 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10113] ppid=10067 vsize=8068440 memory=772 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10113/stat : 10113 (java) S 10067 10067 9001 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 404618293 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868161488880 139868715047554 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10114] ppid=10067 vsize=8068440 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10114/stat : 10114 (java) S 10067 10067 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867690361760 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10115] ppid=10067 vsize=8068440 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10115/stat : 10115 (java) S 10067 10067 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404618294 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867421926384 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10116] ppid=10067 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10116/stat : 10116 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867047418064 139868715055003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10117] ppid=10067 vsize=8068440 memory=4004 CPUtime=0.1 cores=1,3,5,7
/proc/10107/task/10117/stat : 10117 (java) S 10067 10067 9001 0 -1 1077944384 625 0 0 0 10 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867556141552 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10118] ppid=10067 vsize=8068440 memory=2828 CPUtime=0.09 cores=1,3,5,7
/proc/10107/task/10118/stat : 10118 (java) S 10067 10067 9001 0 -1 1077944384 404 0 0 0 9 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867555089008 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10119] ppid=10067 vsize=8068440 memory=532 CPUtime=0.23 cores=1,3,5,7
/proc/10107/task/10119/stat : 10119 (java) S 10067 10067 9001 0 -1 1077944384 1118 0 0 0 23 0 0 0 20 0 19 0 404618296 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867554036464 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10120] ppid=10067 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10120/stat : 10120 (java) S 10067 10067 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866549513312 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10121] ppid=10067 vsize=8068440 memory=932 CPUtime=0.17 cores=1,3,5,7
/proc/10107/task/10121/stat : 10121 (java) S 10067 10067 9001 0 -1 1077944384 25 0 0 0 8 9 0 0 20 0 19 0 404618297 8262082560 31084 33554432000 4194304 4196468 140735214853408 139867552983344 139868715047554 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10123] ppid=10067 vsize=8068440 memory=3680 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10123/stat : 10123 (java) S 10067 10067 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139868160435264 139868715061017 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10125] ppid=10067 vsize=8068440 memory=864 CPUtime=0.03 cores=1,3,5,7
/proc/10107/task/10125/stat : 10125 (java) S 10067 10067 9001 0 -1 4202560 1687 0 0 0 2 1 0 0 20 0 19 0 404618362 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866012626544 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10126] ppid=10067 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10126/stat : 10126 (java) S 10067 10067 9001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404618363 8262082560 31084 33554432000 4194304 4196468 140735214853408 139865744195344 139868715058333 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
[pid=10107/tid=10127] ppid=10067 vsize=8068440 memory=1652 CPUtime=0 cores=1,3,5,7
/proc/10107/task/10127/stat : 10127 (java) S 10067 10067 9001 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 404618365 8262082560 31084 33554432000 4194304 4196468 140735214853408 139866146856496 139868715046613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18075648 140735214855163 140735214855322 140735214855322 140735214858191 0
Current children cumulated CPU time: 376.11 s
Current children cumulated vsize: 8297208 KiB
Current children cumulated memory: 217160 KiB

Child status: 0
Real time (s): 363.443
CPU time (s): 376.191
CPU user time (s): 374.628
CPU system time (s): 1.56323
CPU usage (%): 103.508
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3548716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.628
system time used= 1.56323
maximum resident set size= 3547460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203592
page faults= 3
swaps= 0
block input operations= 34496
block output operations= 10880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14265
involuntary context switches= 609


# summary of solver processes directly reported to runsolver:
#   pid: 10067
#   total CPU time (s): 376.191
#   total CPU user time (s): 374.628
#   total CPU system time (s): 1.56323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.05284 second user time and 3.56624 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 13:12:11
IDJOB=4387642
IDBENCH=121393
IDSOLVER=2826
FILE ID=node140/4387642-1568286771
RUNJOBID= node140-1568286731-10042
PBS_JOBID= 21701069
Free space on /tmp= 55544 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.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-4387642-1568286771/watcher-4387642-1568286771 -o /tmp/evaluation-result-4387642-1568286771/solver-4387642-1568286771 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387642-1568286771.xml

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

MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=240564979

node140.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.43
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.43
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.43
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.43
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:        21731748 kB
MemAvailable:   31861956 kB
Buffers:          116928 kB
Cached:         10227360 kB
SwapCached:         2908 kB
Active:          1820684 kB
Inactive:        8529888 kB
Active(anon):       3636 kB
Inactive(anon):    43920 kB
Active(file):    1817048 kB
Inactive(file):  8485968 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999108 kB
Dirty:             45040 kB
Writeback:             0 kB
AnonPages:        112216 kB
Mapped:            42032 kB
Shmem:             32084 kB
Slab:             283656 kB
SReclaimable:     255652 kB
SUnreclaim:        28004 kB
KernelStack:        3376 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 55492 MiB
End job on node140 at 2019-09-12 13:18:15