Trace number 4387837

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 57.0944 34.7705

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-8-9-9-cp.xml
MD5SUM7f38f9e4cc6c9387b3de2b1a6255283e
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 benchmark27.2146
Satisfiable
(Un)Satisfiability was proved
Number of variables648
Number of constraints92027
Number of domains1
Minimum domain size8
Maximum domain size8
Distribution of domain sizes[{"size":8,"count":648}]
Minimum variable degree570
Maximum variable degree571
Distribution of variable degrees[{"degree":570,"count":576},{"degree":571,"count":72}]
Minimum constraint arity4
Maximum constraint arity648
Distribution of constraint arities[{"arity":4,"count":92016},{"arity":72,"count":10},{"arity":648,"count":1}]
Number of extensional constraints0
Number of intensional constraints92016
Distribution of constraint types[{"type":"intension","count":92016},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/cryptominisat5 -solverOption default -tmp HOME -serialFile HOME/scop-16134-serial-file.bin HOME/instance-4387837-1568291353.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.54	c BEGIN-Prog: Thu Sep 12 14:28:35 CEST 2019
0.66/0.54	c PID: 16137
0.66/0.54	c IP: 172.20.3.151
0.66/0.54	c HOST: node151.alineos.net
0.66/0.55	c (0,0) Parsing Begin
12.33/6.44	c (5,5) Parsing End
12.33/6.45	c (5,5) CSP: 630 int (0 aux), 18 bool (0 aux), 92027 ctr, max domain size 8
12.33/6.45	c (5,5) Heap : 917 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
12.33/6.45	c (5,5) Constraint Name Generate Begin
12.84/6.70	c (6,6) Ctr:HOME/instance-4387837-1568291353.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var
12.84/6.70	c (6,6) Constraint Name Generate End
12.84/6.70	c (6,6) Heap : 972 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
12.84/6.70	c (6,6) CSP to CSPinCNF Begin
14.46/7.34	c (6,6) translated 9203 (10%) constraints
14.73/7.59	c (7,6) translated 18406 (20%) constraints
15.07/7.86	c (7,7) translated 27609 (30%) constraints
15.39/8.12	c (7,7) translated 36811 (40%) constraints
15.58/8.37	c (7,7) translated 46014 (50%) constraints
15.88/8.62	c (8,7) translated 55217 (60%) constraints
16.09/8.88	c (8,8) translated 64419 (70%) constraints
16.45/9.14	c (8,8) translated 73622 (80%) constraints
16.68/9.38	c (8,8) translated 82825 (90%) constraints
19.89/10.69	c (10,10) translated 92027 (100%) constraints
25.07/13.88	c (13,12) ===========================================
25.60/14.06	c (13,13) Hybrid: #OE=1633, #LE=5256
25.60/14.06	c (13,13) Hybrid
25.60/14.06	c (13,13) ===========================================
27.10/14.71	c (14,13) translated 10480 (10%) constraints
27.61/15.27	c (14,14) translated 20960 (20%) constraints
28.29/15.83	c (15,14) translated 31440 (30%) constraints
29.63/16.59	c (16,15) translated 41920 (40%) constraints
30.23/17.15	c (16,16) translated 52400 (50%) constraints
30.82/17.70	c (17,16) translated 62880 (60%) constraints
31.32/18.25	c (17,17) translated 73360 (70%) constraints
31.92/18.80	c (18,17) translated 83840 (80%) constraints
32.88/19.42	c (18,18) translated 94320 (90%) constraints
34.19/20.00	c (19,18) translated 104800 (100%) constraints
34.41/20.01	c (19,18) CSP to CSPinCNF End
34.41/20.01	c (19,18) CSP: 630 int (0 aux), 11443 bool (11425 aux), 115312 ctr, max domain size 8
34.41/20.01	c (19,18) Heap : 1405 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
34.41/20.01	c (19,18) CSPinCNF Propagation Begin
36.47/21.11	c (20,20) 1216 values, 26560 unsatisfiable literals, and 21911 valid clauses are removed
36.47/21.11	c (20,20) CSPinCNF Propagation End
36.61/21.11	c (20,20) CSP: 630 int (0 aux), 11443 bool (11425 aux), 93401 ctr, max domain size 8
36.61/21.11	c (20,20) Heap : 2305 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
36.89/21.35	c (20,20) Hybrid: #OE=6817, #LE=5256
36.89/21.35	c (20,20) Simplify CSPinCNF Begin
40.56/23.31	c (22,21) Simplify CSPinCNF End
40.56/23.32	c (22,22) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
40.56/23.32	c (22,22) Heap : 555 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
40.56/23.32	c (22,22) Calculate Precise Domain Begin
40.56/23.33	c (22,22) 0 values are removed by re-calculation
40.56/23.33	c (22,22) Calculate Precise Domain End
40.56/23.34	c (22,22) CSP: 630 int (0 aux), 53521 bool (53503 aux), 135479 ctr, max domain size 8
40.56/23.34	c (22,22) Heap : 555 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
40.56/23.34	c (22,22) CSPinCNF to SatSolver Begin
43.86/24.48	c (23,23) 13548 (10 %) CSP clauses are encoded (0 SAT variables, 85827 SAT clauses)
44.54/24.96	c (24,23) 27096 (20 %) CSP clauses are encoded (0 SAT variables, 164720 SAT clauses)
44.94/25.39	c (24,24) 40644 (30 %) CSP clauses are encoded (0 SAT variables, 238832 SAT clauses)
45.45/25.83	c (25,24) 54192 (40 %) CSP clauses are encoded (0 SAT variables, 313021 SAT clauses)
45.76/26.13	c (25,24) 67740 (50 %) CSP clauses are encoded (0 SAT variables, 357467 SAT clauses)
45.95/26.31	c (25,24) 81288 (60 %) CSP clauses are encoded (0 SAT variables, 371015 SAT clauses)
46.05/26.48	c (25,25) 94836 (70 %) CSP clauses are encoded (0 SAT variables, 384563 SAT clauses)
46.25/26.66	c (26,25) 108384 (80 %) CSP clauses are encoded (0 SAT variables, 398111 SAT clauses)
47.53/27.17	c (26,25) 121932 (90 %) CSP clauses are encoded (0 SAT variables, 522699 SAT clauses)
49.22/27.83	c (27,26) 135479 (100 %) CSP clauses are encoded (0 SAT variables, 660670 SAT clauses)
49.22/27.83	c (27,26) CSPinCNF to SatSolver End
49.22/27.83	c (27,26) Heap : 411 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
49.22/27.83	c (27,26) 133503 bool, 660677 clause
49.22/27.83	c (27,26) Export Begin
49.46/27.95	c (27,26) Export to HOME/scop-16134-serial-file.bin
49.46/27.95	c (27,26) Export End
49.46/27.95	c (27,26) Export File Size: 0.11 MB
49.46/27.95	c (27,26) 5,6,19,20,22,22,27,STOP-AFTER(DIMACS)
49.46/27.95	c END-Prog: Thu Sep 12 14:29:02 CEST 2019
49.46/27.99	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16134-serial-file.bin
50.20/28.44	c (0,0) Read Serial File Begin
50.20/28.44	c (0,0) HOME/scop-16134-serial-file.bin
50.46/28.68	c (0,0) Read Serial File End
50.74/28.70	
50.74/28.70	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
50.74/28.70	(Solving Process)
50.74/28.70	
50.74/28.72	c BEGIN-Prog: Thu Sep 12 14:29:03 CEST 2019
50.74/28.72	c PID: 16153
50.74/28.72	c IP: 172.20.3.151
50.74/28.72	c HOST: node151.alineos.net
50.74/28.72	c (0,0) SatSolver.solve Begin
50.74/28.72	c (0,0) HOME/cryptominisat5  HOME/instance-4387837-1568291353.xml-scop-16137.cnf
50.74/28.75	c (0,0) c Outputting solution to console
50.74/28.75	c (0,0) c CryptoMiniSat version 5.6.8
50.74/28.75	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
50.74/28.75	c (0,0) c CMS SHA revision GIT-notfound
50.74/28.75	c (0,0) c CMS is MIT licensed
50.74/28.75	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
50.74/28.75	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
50.74/28.75	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387837-1568291353.xml-scop-16137.cnf
50.74/28.75	c (0,0) c Reading file 'HOME/instance-4387837-1568291353.xml-scop-16137.cnf'
50.74/28.75	c (0,0) c -- header says num vars:         133503
50.74/28.75	c (0,0) c -- header says num clauses:      660677
51.02/28.98	c (0,0) c -- clauses added: 660677
51.02/28.98	c (0,0) c -- xor clauses added: 0
51.02/28.98	c (0,0) c -- vars added 133503
51.02/28.98	c (0,0) c Parsing time: 0.21 s
51.02/28.99	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
51.02/28.99	c (0,0) c [distill] long cls tried: 15/15 cl-short:15 lit-r:0 T: 0.00 T-out: N T-r: 100.00%
51.27/29.10	c (0,0) c [distill] long cls tried: 194/208 cl-short:194 lit-r:10 T: 0.00 T-out: N T-r: 99.96%
51.46/29.23	c (0,0) c [distill] long cls tried: 136/342 cl-short:136 lit-r:25 T: 0.00 T-out: N T-r: 99.95%
51.46/29.28	c (0,0) c   glue     1    51  8193  133350  547K  113K    3.13    2.94   403  1661  6083    42   19.41   19.32
51.67/29.47	c (1,0) c [distill] long cls tried: 1180/1521 cl-short:1180 lit-r:382 T: 0.06 T-out: N T-r: 99.24%
51.87/29.69	c (1,0) c   geom     1    95 16386  133348  547K  113K    3.13    2.94  1865  4217 10248    51   17.86   17.82
51.96/29.75	c (1,0) c [distill] long cls tried: 359/1877 cl-short:359 lit-r:132 T: 0.02 T-out: N T-r: 99.63%
52.37/30.17	c (1,0) c [distill] long cls tried: 1020/2896 cl-short:1020 lit-r:364 T: 0.08 T-out: N T-r: 98.71%
52.46/30.23	c (1,0) c   glue     1   135   24K  133339  547K  113K    3.13    2.94  2916  4506 17094    57   17.56   17.53
53.07/30.80	c (2,0) c [distill] long cls tried: 1109/4004 cl-short:1109 lit-r:422 T: 0.13 T-out: N T-r: 97.97%
53.07/30.85	c (2,0) c   glue     1   185   32K  133339  547K  113K    3.13    2.94  4020  6448   22K    59   17.74   17.71
53.67/31.47	c (3,0) c   glue     1   229   40K  133335  547K  113K    3.13    2.94  4962  5202   30K    63   17.94   17.91
53.87/31.66	c (3,0) c [distill] long cls tried: 979/4981 cl-short:979 lit-r:399 T: 0.14 T-out: N T-r: 97.68%
54.47/32.23	c (3,0) c   glue     1   271   49K  133335  547K  113K    3.13    2.94  5244  8104   30K    65   17.43   17.40
55.07/32.81	c (4,0) c [distill] long cls tried: 982/5962 cl-short:982 lit-r:664 T: 0.18 T-out: N T-r: 97.21%
55.28/33.08	c (4,0) c   geom     1   319   57K  133335  547K  113K    3.13    2.94  5990  6618   39K    66   17.48   17.46
55.97/33.75	c (5,0) c   glue     1   347   65K  133335  547K  113K    3.13    2.94  6759  7533   37K    67   17.22   17.20
56.38/34.12	c (5,0) c [distill] long cls tried: 813/6775 cl-short:812 lit-r:348 T: 0.17 T-out: N T-r: 97.30%
56.57/34.33	c (5,0) c recursive minimization cost OK: 245Kcost/(% lits removed)
56.57/34.35	c (5,0) c --> Executing strategy token: handle-comps
56.57/34.35	c (5,0) c --> Executing strategy token: scc-vrepl
56.57/34.35	c (5,0) c [scc] new: 3456 BP 0M T: 0.02
56.67/34.45	c (6,0) c [vrep] vars 2304 lits 363024 rem-bin-cls 10368 rem-long-cls 0 BP 3M T: 0.09
56.67/34.49	c (6,0) c --> Executing strategy token: cache-clean
56.67/34.49	c (6,0) c --> Executing strategy token: cache-tryboth
56.67/34.49	c (6,0) c --> Executing strategy token: sub-impl
56.67/34.49	c (6,0) c [impl sub] bin: 7 T: 0.04 T-out: N w-visit: 267006
56.77/34.53	c (6,0) c --> Executing strategy token: intree-probe
56.77/34.53	c (6,0) c [scc] new: 0 BP 0M T: 0.02
56.77/34.57	c (6,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.04
56.98/34.72	c (6,0) c [intree] Set 2102 vars hyper-added: 14263 trans-irred::14 trans-red::191 T: 0.15 T-out: N T-r: 100.00%
56.98/34.72	c (6,0) c [consolidate] mini T: 0.00
56.98/34.72	c (6,0) c global_timeout_multiplier: 4.40
56.98/34.72	c (6,0) c ------- FINAL TOTAL SEARCH STATS ---------
56.98/34.72	c (6,0) c UIP search time          : 5.33        (90.07     % time)
56.98/34.72	c (6,0) c restarts                 : 386         (181.35    confls per restart)
56.98/34.72	c (6,0) c blocked restarts         : 23          (0.06      per normal restart)
56.98/34.72	c (6,0) c time                     : 5.33        
56.98/34.72	c (6,0) c decisions                : 107119      (0.00      % random)
56.98/34.72	c (6,0) c propagations             : 19623099    
56.98/34.72	c (6,0) c decisions/conflicts      : 1.53        
56.98/34.72	c (6,0) c conflicts                : 70002       (13134.01  / sec)
56.98/34.72	c (6,0) c conf lits non-minim      : 1859838     (26.57     lit/confl)
56.98/34.72	c (6,0) c conf lits final          : 18.23       
56.98/34.73	c (6,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
56.98/34.73	c (6,0) c red which0               : 1170        (1.67      % of confl)
56.98/34.73	c (6,0) c props/decision           : 0.02        
56.98/34.73	c (6,0) c props/conflict           : 0.03        
56.98/34.73	c (6,0) c 0-depth assigns          : 2270        (1.70      % vars)
56.98/34.73	c (6,0) c 0-depth assigns by CNF   : 128         (0.10      % vars)
56.98/34.73	c (6,0) c reduceDB time            : 0.01        (0.24      % time)
56.98/34.73	c (6,0) c OccSimplifier time       : 0.00        (0.00      % time)
56.98/34.73	c (6,0) c [occur] 0.00 is overhead
56.98/34.73	c (6,0) c [occur] link-in T: 0.00 cleanup T: 0.00
56.98/34.73	c (6,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
56.98/34.73	c (6,0) c SCC time                 : 0.03        (0.52      % time)
56.98/34.73	c (6,0) c [scc] new: 3456 BP 1M  T: 0.03
56.98/34.73	c (6,0) c vrep replace time        : 0.13        (2.13      % time)
56.98/34.73	c (6,0) c vrep tree roots          : 1152        
56.98/34.73	c (6,0) c vrep trees' crown        : 2304        (2.00      leafs/tree)
56.98/34.73	c (6,0) c distill time             : 0.79        (13.32     % time)
56.98/34.73	c (6,0) c strength cache-irred time: 0.00        (0.00      % time)
56.98/34.73	c (6,0) c strength cache-red time  : 0.00        (0.00      % time)
56.98/34.73	c (6,0) c Conflicts in UIP         : 70002       (11830.24  confl/time_this_thread)
56.98/34.73	c (6,0) c Mem used                 : 107.18      MB
56.98/34.73	c (6,0) c Total time (this thread) : 5.92        
56.98/34.73	c (6,0) s UNSATISFIABLE
56.98/34.75	c (6,0) SatSolver.solve End
56.98/34.76	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.98/34.76	c (6,0) Show results Begin
56.98/34.76	s UNSATISFIABLE
56.98/34.76	c (6,0) Show results End
56.98/34.76	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.98/34.76	c (6,0) 6,6,STOP-AFTER(ALL)
56.98/34.76	c END-Prog: Thu Sep 12 14:29:09 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 (14864 MiB free)
  memory of node 1: 16384 MiB (15539 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387837-1568291353/watcher-4387837-1568291353 -o /tmp/evaluation-result-4387837-1568291353/solver-4387837-1568291353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387837-1568291353.xml 

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

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

solver pid=16134, runsolver pid=16131

[startup+0.100059 s]*
/proc/loadavg: 2.45 2.11 2.08 4/235 16151
/proc/meminfo: memFree=31073288/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405406802 115843072 349 33554432000 4194304 5098028 140726445614080 140726445611336 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 349 296 221 0 87 0
[pid=16137] ppid=16134 vsize=15012696 memory=72256 CPUtime=0.12 cores=1,3,5,7
/proc/16137/stat : 16137 (java) S 16134 16134 12870 0 -1 1077944320 6851 0 0 0 11 1 0 0 20 0 15 0 405406802 15373000704 18064 33554432000 4194304 4196468 140732031754960 140732031737504 139962779610871 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
/proc/16137/statm: 3753174 18064 2921 1 0 3715579 0
[pid=16137/tid=16138] ppid=16134 vsize=15012696 memory=-6077181931080171459 CPUtime=0.08 cores=1,3,5,7
/proc/16137/task/16138/stat : 16138 (java) R 16134 16134 12870 0 -1 4202560 4644 0 0 0 8 0 0 0 20 0 15 0 405406803 15373000704 18064 33554432000 4194304 4196468 140732031754960 139962751404680 139962779632797 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16139] ppid=16134 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16139/stat : 16139 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 18064 33554432000 4194304 4196468 140732031754960 139962783853584 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16140] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16140/stat : 16140 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 18064 33554432000 4194304 4196468 140732031754960 139962240457872 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16141] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16141/stat : 16141 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 18064 33554432000 4194304 4196468 140732031754960 139962239404816 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16142] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16142/stat : 16142 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 18064 33554432000 4194304 4196468 140732031754960 139962238352272 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16143] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16143/stat : 16143 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961749985520 139962779622018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16144] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16144/stat : 16144 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961240118432 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16145] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16145/stat : 16145 (java) S 16134 16134 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961105896176 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16146] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16146/stat : 16146 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139960731391952 139962779629467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16147] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16147/stat : 16147 (java) S 16134 16134 12870 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961748933360 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16148] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16148/stat : 16148 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961747880816 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16149] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0.01 cores=1,3,5,7
/proc/16137/task/16149/stat : 16149 (java) S 16134 16134 12870 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961746827760 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16150] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16150/stat : 16150 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139960233487200 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16151] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16151/stat : 16151 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 18130 33554432000 4194304 4196468 140732031754960 139961745775152 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73652 KiB

[startup+0.210974 s]*
/proc/loadavg: 2.45 2.11 2.08 3/235 16151
/proc/meminfo: memFree=31054284/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405406802 115843072 349 33554432000 4194304 5098028 140726445614080 140726445611336 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 349 296 221 0 87 0
[pid=16137] ppid=16134 vsize=15012696 memory=87060 CPUtime=0.25 cores=1,3,5,7
/proc/16137/stat : 16137 (java) S 16134 16134 12870 0 -1 1077944320 11885 0 0 0 23 2 0 0 20 0 15 0 405406802 15373000704 21765 33554432000 4194304 4196468 140732031754960 140732031737504 139962779610871 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
/proc/16137/statm: 3753174 21765 2924 1 0 3715579 0
[pid=16137/tid=16138] ppid=16134 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/16137/task/16138/stat : 16138 (java) R 16134 16134 12870 0 -1 4202560 9614 0 0 0 18 2 0 0 20 0 15 0 405406803 15373000704 21765 33554432000 4194304 4196468 140732031754960 139962751433408 139962779622806 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16139] ppid=16134 vsize=15012696 memory=343 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16139/stat : 16139 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 21765 33554432000 4194304 4196468 140732031754960 139962783853584 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16140] ppid=16134 vsize=15012696 memory=288370009219499648 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16140/stat : 16140 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 21765 33554432000 4194304 4196468 140732031754960 139962240457872 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16141] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16141/stat : 16141 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 21765 33554432000 4194304 4196468 140732031754960 139962239404816 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16142] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16142/stat : 16142 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 21765 33554432000 4194304 4196468 140732031754960 139962238352272 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16143] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16143/stat : 16143 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961749985520 139962779622018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16144] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16144/stat : 16144 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961240118432 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16145] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16145/stat : 16145 (java) S 16134 16134 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961105896176 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16146] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16146/stat : 16146 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139960731391952 139962779629467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16147] ppid=16134 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16137/task/16147/stat : 16147 (java) S 16134 16134 12870 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961748933360 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16148] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16148/stat : 16148 (java) S 16134 16134 12870 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961747880816 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16149] ppid=16134 vsize=15012696 memory=139633067787904 CPUtime=0.03 cores=1,3,5,7
/proc/16137/task/16149/stat : 16149 (java) S 16134 16134 12870 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961746827760 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16150] ppid=16134 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16150/stat : 16150 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139960233487200 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16151] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16151/stat : 16151 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 21765 33554432000 4194304 4196468 140732031754960 139961745775152 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88456 KiB

[startup+0.310774 s]*
/proc/loadavg: 2.45 2.11 2.08 3/235 16151
/proc/meminfo: memFree=31051740/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405406802 115843072 349 33554432000 4194304 5098028 140726445614080 140726445611336 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 349 296 221 0 87 0
[pid=16137] ppid=16134 vsize=15012696 memory=90408 CPUtime=0.43 cores=1,3,5,7
/proc/16137/stat : 16137 (java) S 16134 16134 12870 0 -1 1077944320 12723 0 0 0 40 3 0 0 20 0 15 0 405406802 15373000704 22602 33554432000 4194304 4196468 140732031754960 140732031737504 139962779610871 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
/proc/16137/statm: 3753174 22602 3026 1 0 3715579 0
[pid=16137/tid=16138] ppid=16134 vsize=15012696 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/16137/task/16138/stat : 16138 (java) R 16134 16134 12870 0 -1 4202560 10287 0 0 0 27 2 0 0 20 0 15 0 405406803 15373000704 22602 33554432000 4194304 4196468 140732031754960 139962751440944 139962779624753 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16139] ppid=16134 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16139/stat : 16139 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 22602 33554432000 4194304 4196468 140732031754960 139962783853584 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16140] ppid=16134 vsize=15012696 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16140/stat : 16140 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 22602 33554432000 4194304 4196468 140732031754960 139962240457872 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16141] ppid=16134 vsize=15012696 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16141/stat : 16141 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 22602 33554432000 4194304 4196468 140732031754960 139962239404816 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16142] ppid=16134 vsize=15012696 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16142/stat : 16142 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15373000704 22602 33554432000 4194304 4196468 140732031754960 139962238352272 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16143] ppid=16134 vsize=15012696 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16143/stat : 16143 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961749985520 139962779622018 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16144] ppid=16134 vsize=15012696 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16144/stat : 16144 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961240118432 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16145] ppid=16134 vsize=15012696 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16145/stat : 16145 (java) S 16134 16134 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405406806 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961105896176 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16146] ppid=16134 vsize=15012696 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16146/stat : 16146 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139960731391952 139962779629467 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16147] ppid=16134 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16137/task/16147/stat : 16147 (java) S 16134 16134 12870 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961748933360 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16148] ppid=16134 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16137/task/16148/stat : 16148 (java) S 16134 16134 12870 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961747880816 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16149] ppid=16134 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16137/task/16149/stat : 16149 (java) S 16134 16134 12870 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961746827760 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16150] ppid=16134 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16150/stat : 16150 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139960233487200 139962779621077 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16151] ppid=16134 vsize=15012696 memory=3545238011844304945 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16151/stat : 16151 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406809 15373000704 22602 33554432000 4194304 4196468 140732031754960 139961745775152 139962779622018 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91804 KiB

[startup+0.700856 s]
/proc/loadavg: 2.45 2.11 2.08 5/235 16151
/proc/meminfo: memFree=31030396/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405406802 115843072 349 33554432000 4194304 5098028 140726445614080 140726445611336 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 349 296 221 0 87 0
[pid=16137] ppid=16134 vsize=15018968 memory=129736 CPUtime=1.07 cores=1,3,5,7
/proc/16137/stat : 16137 (java) S 16134 16134 12870 0 -1 1077944320 19676 0 0 0 102 5 0 0 20 0 15 0 405406802 15379423232 32434 33554432000 4194304 4196468 140732031754960 140732031737504 139962779610871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
/proc/16137/statm: 3754742 32434 3189 1 0 3716091 0
[pid=16137/tid=16138] ppid=16134 vsize=15018968 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/16137/task/16138/stat : 16138 (java) R 16134 16134 12870 0 -1 4202560 16687 0 0 0 64 4 0 0 20 0 15 0 405406803 15379423232 32434 33554432000 4194304 4196468 140732031754960 139962751448328 139962761174400 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16139] ppid=16134 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16139/stat : 16139 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15379423232 32434 33554432000 4194304 4196468 140732031754960 139962783853584 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16140] ppid=16134 vsize=15018968 memory=2958609 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16140/stat : 16140 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15379423232 32434 33554432000 4194304 4196468 140732031754960 139962240457872 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16141] ppid=16134 vsize=15018968 memory=2965990 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16141/stat : 16141 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405406804 15379423232 32434 33554432000 4194304 4196468 140732031754960 139962239404816 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16142] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16142/stat : 16142 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406804 15379423232 32434 33554432000 4194304 4196468 140732031754960 139962238352272 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16143] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16143/stat : 16143 (java) S 16134 16134 12870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405406806 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961749985520 139962779622018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16144] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16144/stat : 16144 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405406806 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961240118432 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16145] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16145/stat : 16145 (java) S 16134 16134 12870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405406806 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961105896176 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16146] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16146/stat : 16146 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139960731391952 139962779629467 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16147] ppid=16134 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16137/task/16147/stat : 16147 (java) R 16134 16134 12870 0 -1 4202560 700 0 0 0 8 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961748919384 139962759530906 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16148] ppid=16134 vsize=15018968 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/16137/task/16148/stat : 16148 (java) R 16134 16134 12870 0 -1 4202560 303 0 0 0 10 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961747872768 139962758829512 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16149] ppid=16134 vsize=15018968 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/16137/task/16149/stat : 16149 (java) R 16134 16134 12870 0 -1 1077944384 632 0 0 0 18 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961746825552 139962779621077 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16150] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16150/stat : 16150 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139960233487200 139962779621077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
[pid=16137/tid=16151] ppid=16134 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16137/task/16151/stat : 16151 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405406809 15379423232 32434 33554432000 4194304 4196468 140732031754960 139961745775152 139962779622018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30580736 140732031763241 140732031763610 140732031763610 140732031766479 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131132 KiB

[startup+1.50093 s]
/proc/loadavg: 2.45 2.11 2.08 5/235 16151
/proc/meminfo: memFree=30947640/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 405406802 115843072 349 33554432000 4194304 5098028 140726445614080 140726445611336 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 55.87 s
Current children cumulated vsize: 8301988 KiB
Current children cumulated memory: 211844 KiB

[startup+34.401 s]
/proc/loadavg: 2.40 2.14 2.09 3/239 16173
/proc/meminfo: memFree=30921920/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1476 CPUtime=49.66 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 584 51488 0 0 0 0 4848 118 20 0 1 0 405406802 115843072 369 33554432000 4194304 5098028 140726445614080 140726445610824 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 369 311 221 0 87 0
[pid=16153] ppid=16134 vsize=8068440 memory=121660 CPUtime=1.37 cores=1,3,5,7
/proc/16153/stat : 16153 (java) S 16134 16134 12870 0 -1 1077944320 20424 0 0 0 129 8 0 0 20 0 19 0 405409601 8262082560 30415 33554432000 4194304 4196468 140724461740112 140724461722656 139920288710391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
/proc/16153/statm: 2017110 30415 3209 1 0 1978454 0
[pid=16168] ppid=16153 vsize=126120 memory=94348 CPUtime=5.64 cores=1,3,5,7
/proc/16168/stat : 16168 (cryptominisat5) R 16153 16134 12870 0 -1 4202496 39469 0 0 0 559 5 0 0 20 0 1 0 405409677 129146880 23587 33554432000 4194304 4451008 140722882530096 140722882526024 139920114383144 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 17588224 140722882536380 140722882536512 140722882536512 140722882539462 0
/proc/16168/statm: 31530 23587 658 63 0 25257 0
[pid=16153/tid=16154] ppid=16134 vsize=8068440 memory=1656 CPUtime=0.79 cores=1,3,5,7
/proc/16153/task/16154/stat : 16154 (java) S 16134 16134 12870 0 -1 1077944384 16874 0 0 0 73 6 0 0 20 0 19 0 405409602 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920260550560 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16155] ppid=16134 vsize=8068440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16155/stat : 16155 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920292953104 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16156] ppid=16134 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16156/stat : 16156 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920107109520 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16157] ppid=16134 vsize=8068440 memory=121660 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16157/stat : 16157 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920106056464 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16158] ppid=16134 vsize=8068440 memory=88912 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16158/stat : 16158 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920105003920 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16159] ppid=16134 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16159/stat : 16159 (java) S 16134 16134 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405409604 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919541336304 139920288721538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16160] ppid=16134 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16160/stat : 16160 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919162860704 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16161] ppid=16134 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16161/stat : 16161 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918894424816 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16162] ppid=16134 vsize=8068440 memory=87764 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16162/stat : 16162 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918519916496 139920288728987 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16163] ppid=16134 vsize=8068440 memory=2124 CPUtime=0.15 cores=1,3,5,7
/proc/16153/task/16163/stat : 16163 (java) S 16134 16134 12870 0 -1 1077944384 786 0 0 0 15 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919540284144 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16164] ppid=16134 vsize=8068440 memory=1476 CPUtime=0.17 cores=1,3,5,7
/proc/16153/task/16164/stat : 16164 (java) S 16134 16134 12870 0 -1 1077944384 788 0 0 0 17 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919539231600 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16165] ppid=16134 vsize=8068440 memory=121660 CPUtime=0.22 cores=1,3,5,7
/proc/16153/task/16165/stat : 16165 (java) S 16134 16134 12870 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919538178544 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16166] ppid=16134 vsize=8068440 memory=87556 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16166/stat : 16166 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918022011744 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16167] ppid=16134 vsize=8068440 memory=121660 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16167/stat : 16167 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919537125936 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16169] ppid=16134 vsize=8068440 memory=88540 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16169/stat : 16169 (java) S 16134 16134 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919632917824 139920288735001 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16171] ppid=16134 vsize=8068440 memory=121660 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16171/stat : 16171 (java) S 16134 16134 12870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917485125008 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16172] ppid=16134 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16172/stat : 16172 (java) S 16134 16134 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405409678 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917350903856 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16173] ppid=16134 vsize=8068440 memory=121660 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16173/stat : 16173 (java) S 16134 16134 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405409680 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917619355440 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
Current children cumulated CPU time: 56.67 s
Current children cumulated vsize: 8307688 KiB
Current children cumulated memory: 217484 KiB

[startup+34.601 s]
/proc/loadavg: 2.40 2.14 2.09 3/239 16173
/proc/meminfo: memFree=30921920/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1476 CPUtime=49.66 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 584 51488 0 0 0 0 4848 118 20 0 1 0 405406802 115843072 369 33554432000 4194304 5098028 140726445614080 140726445610824 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 369 311 221 0 87 0
[pid=16153] ppid=16134 vsize=8068440 memory=121660 CPUtime=1.37 cores=1,3,5,7
/proc/16153/stat : 16153 (java) S 16134 16134 12870 0 -1 1077944320 20424 0 0 0 129 8 0 0 20 0 19 0 405409601 8262082560 30415 33554432000 4194304 4196468 140724461740112 140724461722656 139920288710391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
/proc/16153/statm: 2017110 30415 3209 1 0 1978454 0
[pid=16168] ppid=16153 vsize=131616 memory=99368 CPUtime=5.84 cores=1,3,5,7
/proc/16168/stat : 16168 (cryptominisat5) R 16153 16134 12870 0 -1 4202496 40845 0 0 0 579 5 0 0 20 0 1 0 405409677 134774784 24842 33554432000 4194304 4451008 140722882530096 140722882526024 139920094677989 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 17588224 140722882536380 140722882536512 140722882536512 140722882539462 0
/proc/16168/statm: 32904 24842 679 63 0 26631 0
[pid=16153/tid=16154] ppid=16134 vsize=8068440 memory=8039887049847964583 CPUtime=0.79 cores=1,3,5,7
/proc/16153/task/16154/stat : 16154 (java) S 16134 16134 12870 0 -1 1077944384 16874 0 0 0 73 6 0 0 20 0 19 0 405409602 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920260550560 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16155] ppid=16134 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16155/stat : 16155 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920292953104 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16156] ppid=16134 vsize=8068440 memory=127728 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16156/stat : 16156 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920107109520 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16157] ppid=16134 vsize=8068440 memory=110980 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16157/stat : 16157 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920106056464 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16158] ppid=16134 vsize=8068440 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16158/stat : 16158 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920105003920 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16159] ppid=16134 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16159/stat : 16159 (java) S 16134 16134 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405409604 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919541336304 139920288721538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16160] ppid=16134 vsize=8068440 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16160/stat : 16160 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919162860704 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16161] ppid=16134 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16161/stat : 16161 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918894424816 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16162] ppid=16134 vsize=8068440 memory=3526176 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16162/stat : 16162 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918519916496 139920288728987 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16163] ppid=16134 vsize=8068440 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/16153/task/16163/stat : 16163 (java) S 16134 16134 12870 0 -1 1077944384 786 0 0 0 15 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919540284144 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16164] ppid=16134 vsize=8068440 memory=4126316290023845779 CPUtime=0.17 cores=1,3,5,7
/proc/16153/task/16164/stat : 16164 (java) S 16134 16134 12870 0 -1 1077944384 788 0 0 0 17 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919539231600 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16165] ppid=16134 vsize=8068440 memory=8039887049847964583 CPUtime=0.22 cores=1,3,5,7
/proc/16153/task/16165/stat : 16165 (java) S 16134 16134 12870 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919538178544 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16166] ppid=16134 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16166/stat : 16166 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918022011744 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16167] ppid=16134 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16167/stat : 16167 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919537125936 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16169] ppid=16134 vsize=8068440 memory=2319553030292443942 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16169/stat : 16169 (java) S 16134 16134 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919632917824 139920288735001 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16171] ppid=16134 vsize=8068440 memory=7740962534463787370 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16171/stat : 16171 (java) S 16134 16134 12870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917485125008 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16172] ppid=16134 vsize=8068440 memory=139632944324577 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16172/stat : 16172 (java) S 16134 16134 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405409678 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917350903856 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16173] ppid=16134 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16173/stat : 16173 (java) S 16134 16134 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405409680 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917619355440 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
Current children cumulated CPU time: 56.87 s
Current children cumulated vsize: 8313184 KiB
Current children cumulated memory: 222504 KiB

[startup+34.701 s]
/proc/loadavg: 2.40 2.14 2.09 3/239 16173
/proc/meminfo: memFree=30921920/32770624 swapFree=66932884/67108860
[pid=16134] ppid=16131 vsize=113128 memory=1476 CPUtime=49.66 cores=1,3,5,7
/proc/16134/stat : 16134 (scop.sh) S 16131 16134 12870 0 -1 4202496 584 51488 0 0 0 0 4848 118 20 0 1 0 405406802 115843072 369 33554432000 4194304 5098028 140726445614080 140726445610824 139965122876028 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35262464 140726445622115 140726445622384 140726445622384 140726445625293 0
/proc/16134/statm: 28282 369 311 221 0 87 0
[pid=16153] ppid=16134 vsize=8068440 memory=121660 CPUtime=1.37 cores=1,3,5,7
/proc/16153/stat : 16153 (java) S 16134 16134 12870 0 -1 1077944320 20424 0 0 0 129 8 0 0 20 0 19 0 405409601 8262082560 30415 33554432000 4194304 4196468 140724461740112 140724461722656 139920288710391 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
/proc/16153/statm: 2017110 30415 3209 1 0 1978454 0
[pid=16168] ppid=16153 vsize=141256 memory=108968 CPUtime=5.95 cores=1,3,5,7
/proc/16168/stat : 16168 (cryptominisat5) R 16153 16134 12870 0 -1 4202496 43429 0 0 0 589 6 0 0 20 0 1 0 405409677 144646144 27242 33554432000 4194304 4451008 140722882530096 140722882524056 139920114796291 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 17588224 140722882536380 140722882536512 140722882536512 140722882539462 0
/proc/16168/statm: 35314 27242 681 63 0 29041 0
[pid=16153/tid=16154] ppid=16134 vsize=8068440 memory=5948 CPUtime=0.79 cores=1,3,5,7
/proc/16153/task/16154/stat : 16154 (java) S 16134 16134 12870 0 -1 1077944384 16874 0 0 0 73 6 0 0 20 0 19 0 405409602 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920260550560 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16155] ppid=16134 vsize=8068440 memory=3528560 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16155/stat : 16155 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920292953104 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16156] ppid=16134 vsize=8068440 memory=-6756150152170988184 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16156/stat : 16156 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920107109520 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16157] ppid=16134 vsize=8068440 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16157/stat : 16157 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920106056464 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16158] ppid=16134 vsize=8068440 memory=85508 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16158/stat : 16158 (java) S 16134 16134 12870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405409603 8262082560 30415 33554432000 4194304 4196468 140724461740112 139920105003920 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16159] ppid=16134 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16159/stat : 16159 (java) S 16134 16134 12870 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 405409604 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919541336304 139920288721538 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16160] ppid=16134 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16160/stat : 16160 (java) S 16134 16134 12870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919162860704 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16161] ppid=16134 vsize=8068440 memory=85320 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16161/stat : 16161 (java) S 16134 16134 12870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405409605 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918894424816 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16162] ppid=16134 vsize=8068440 memory=18784 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16162/stat : 16162 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918519916496 139920288728987 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16163] ppid=16134 vsize=8068440 memory=984 CPUtime=0.15 cores=1,3,5,7
/proc/16153/task/16163/stat : 16163 (java) S 16134 16134 12870 0 -1 1077944384 786 0 0 0 15 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919540284144 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16164] ppid=16134 vsize=8068440 memory=1476 CPUtime=0.17 cores=1,3,5,7
/proc/16153/task/16164/stat : 16164 (java) S 16134 16134 12870 0 -1 1077944384 788 0 0 0 17 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919539231600 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16165] ppid=16134 vsize=8068440 memory=121660 CPUtime=0.22 cores=1,3,5,7
/proc/16153/task/16165/stat : 16165 (java) S 16134 16134 12870 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 19 0 405409607 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919538178544 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16166] ppid=16134 vsize=8068440 memory=87764 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16166/stat : 16166 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139918022011744 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16167] ppid=16134 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16167/stat : 16167 (java) S 16134 16134 12870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405409608 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919537125936 139920288721538 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16169] ppid=16134 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16169/stat : 16169 (java) S 16134 16134 12870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139919632917824 139920288735001 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16171] ppid=16134 vsize=8068440 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16171/stat : 16171 (java) S 16134 16134 12870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 405409677 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917485125008 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16172] ppid=16134 vsize=8068440 memory=744 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16172/stat : 16172 (java) S 16134 16134 12870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405409678 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917350903856 139920288732317 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
[pid=16153/tid=16173] ppid=16134 vsize=8068440 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/16153/task/16173/stat : 16173 (java) S 16134 16134 12870 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 405409680 8262082560 30415 33554432000 4194304 4196468 140724461740112 139917619355440 139920288720597 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12075008 140724461745147 140724461745306 140724461745306 140724461748175 0
Current children cumulated CPU time: 56.98 s
Current children cumulated vsize: 8322824 KiB
Current children cumulated memory: 232104 KiB

Child status: 0
Real time (s): 34.7705
CPU time (s): 57.0944
CPU user time (s): 55.7395
CPU system time (s): 1.35493
CPU usage (%): 164.204
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3531800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.7395
system time used= 1.35492
maximum resident set size= 3531096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8453
involuntary context switches= 143


# summary of solver processes directly reported to runsolver:
#   pid: 16134
#   total CPU time (s): 57.0944
#   total CPU user time (s): 55.7395
#   total CPU system time (s): 1.35493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.230717 second user time and 0.416079 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-12 14:28:34
IDJOB=4387837
IDBENCH=126615
IDSOLVER=2826
FILE ID=node151/4387837-1568291353
RUNJOBID= node151-1568286070-13984
PBS_JOBID= 21701060
Free space on /tmp= 56568 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-8-9-9-cp.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-4387837-1568291353/watcher-4387837-1568291353 -o /tmp/evaluation-result-4387837-1568291353/solver-4387837-1568291353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568286070-13984 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387837-1568291353.xml

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

MD5SUM BENCH= 7f38f9e4cc6c9387b3de2b1a6255283e
RANDOM SEED=1666847236

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31133868 kB
MemAvailable:   31632256 kB
Buffers:          104856 kB
Cached:           684584 kB
SwapCached:        73132 kB
Active:           649596 kB
Inactive:         438428 kB
Active(anon):     233712 kB
Inactive(anon):    96264 kB
Active(file):     415884 kB
Inactive(file):   342164 kB
Unevictable:      111232 kB
Mlocked:          111232 kB
SwapTotal:      67108860 kB
SwapFree:       66932884 kB
Dirty:             25632 kB
Writeback:             0 kB
AnonPages:        337912 kB
Mapped:            46620 kB
Shmem:             22152 kB
Slab:             140764 kB
SReclaimable:     112352 kB
SUnreclaim:        28412 kB
KernelStack:        3872 kB
PageTables:         6648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6077600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 56548 MiB
End job on node151 at 2019-09-12 14:29:09