Trace number 4388383

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 39.1724 24.3882

General information on the benchmark

NameRlfap_mini/Rlfap-dec-scens11_mini/
Rlfap-ext-scen-11-f02_c18.xml
MD5SUM7ac25fa9c4532324d4bc78edd5427656
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 benchmark39.1724
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size42
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints4103
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4103}]
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-10049-serial-file.bin HOME/instance-4388383-1568298305.xml
0.66/0.53	
0.66/0.53	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Thu Sep 12 16:24:26 CEST 2019
0.66/0.56	c PID: 10052
0.66/0.56	c IP: 172.20.3.124
0.66/0.56	c HOST: node124.alineos.net
0.66/0.56	c (0,0) Parsing Begin
3.97/1.60	c (1,1) Parsing End
3.97/1.61	c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 42
3.97/1.61	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
3.97/1.61	c (1,1) Constraint Name Generate Begin
3.97/1.63	c (1,1) Ctr:HOME/instance-4388383-1568298305.xml,ExtensionConflict:ExtensionSupport:Var
3.97/1.63	c (1,1) Constraint Name Generate End
3.97/1.63	c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
3.97/1.63	c (1,1) CSP to CSPinCNF Begin
7.98/3.31	c (2,2) translated 411 (10%) constraints
9.20/4.36	c (3,3) translated 821 (20%) constraints
10.12/5.21	c (4,4) translated 1231 (30%) constraints
11.02/6.09	c (5,5) translated 1642 (40%) constraints
12.03/6.91	c (6,6) translated 2052 (50%) constraints
12.85/7.79	c (7,7) translated 2462 (60%) constraints
14.37/8.80	c (8,8) translated 2873 (70%) constraints
15.38/9.81	c (9,9) translated 3283 (80%) constraints
16.31/10.77	c (10,10) translated 3693 (90%) constraints
19.56/12.25	c (11,11) translated 4103 (100%) constraints
19.56/12.25	c (11,11) ===========================================
19.72/12.36	c (11,11) Hybrid: #OE=13112, #LE=0
19.72/12.36	c (11,11) Hybrid
19.72/12.36	c (11,11) ===========================================
20.52/12.79	c (12,12) translated 17614 (10%) constraints
20.98/13.18	c (12,12) translated 35228 (20%) constraints
21.37/13.56	c (13,12) translated 52842 (30%) constraints
21.77/13.95	c (13,13) translated 70455 (40%) constraints
22.17/14.34	c (13,13) translated 88069 (50%) constraints
22.57/14.74	c (14,14) translated 105683 (60%) constraints
22.98/15.14	c (14,14) translated 123296 (70%) constraints
24.55/15.84	c (15,14) translated 140910 (80%) constraints
25.52/16.22	c (15,15) translated 158524 (90%) constraints
25.90/16.57	c (16,15) translated 176137 (100%) constraints
25.90/16.57	c (16,15) CSP to CSPinCNF End
25.90/16.58	c (16,15) CSP: 680 int (0 aux), 12432 bool (12432 aux), 176137 ctr, max domain size 40
25.90/16.58	c (16,15) Heap : 506 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
25.90/16.58	c (16,15) CSPinCNF Propagation Begin
29.04/17.62	c (17,16) 0 values, 14257 unsatisfiable literals, and 680 valid clauses are removed
29.04/17.62	c (17,16) CSPinCNF Propagation End
29.04/17.62	c (17,16) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
29.04/17.62	c (17,16) Heap : 1350 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
29.16/17.70	c (17,16) Hybrid: #OE=13112, #LE=0
29.16/17.70	c (17,16) Simplify CSPinCNF Begin
29.58/18.09	c (17,17) Simplify CSPinCNF End
29.58/18.09	c (17,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
29.58/18.09	c (17,17) Heap : 1570 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
29.58/18.09	c (17,17) Calculate Precise Domain Begin
29.58/18.09	c (17,17) 0 values are removed by re-calculation
29.58/18.09	c (17,17) Calculate Precise Domain End
29.58/18.09	c (17,17) CSP: 680 int (0 aux), 12432 bool (12432 aux), 175457 ctr, max domain size 40
29.58/18.09	c (17,17) Heap : 1570 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
29.58/18.09	c (17,17) CSPinCNF to SatSolver Begin
31.22/18.69	c (18,17) 17546 (10 %) CSP clauses are encoded (0 SAT variables, 41049 SAT clauses)
31.70/18.87	c (18,17) 35092 (20 %) CSP clauses are encoded (0 SAT variables, 58595 SAT clauses)
31.97/19.05	c (18,18) 52638 (30 %) CSP clauses are encoded (0 SAT variables, 76141 SAT clauses)
32.16/19.23	c (18,18) 70183 (40 %) CSP clauses are encoded (0 SAT variables, 93686 SAT clauses)
32.36/19.41	c (18,18) 87729 (50 %) CSP clauses are encoded (0 SAT variables, 111232 SAT clauses)
32.46/19.59	c (19,18) 105275 (60 %) CSP clauses are encoded (0 SAT variables, 128778 SAT clauses)
32.66/19.77	c (19,18) 122820 (70 %) CSP clauses are encoded (0 SAT variables, 146323 SAT clauses)
32.86/19.97	c (19,18) 140366 (80 %) CSP clauses are encoded (0 SAT variables, 163869 SAT clauses)
33.87/20.29	c (19,19) 157912 (90 %) CSP clauses are encoded (0 SAT variables, 181415 SAT clauses)
34.07/20.41	c (19,19) 175457 (100 %) CSP clauses are encoded (0 SAT variables, 198960 SAT clauses)
34.07/20.41	c (19,19) CSPinCNF to SatSolver End
34.07/20.41	c (19,19) Heap : 414 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
34.07/20.41	c (19,19) 36616 bool, 198961 clause
34.07/20.41	c (19,19) Export Begin
34.55/20.69	c (20,19) Export to HOME/scop-10049-serial-file.bin
34.55/20.69	c (20,19) Export End
34.55/20.70	c (20,19) Export File Size: 4.35 MB
34.55/20.70	c (20,19) 1,1,16,17,17,17,19,STOP-AFTER(DIMACS)
34.55/20.70	c END-Prog: Thu Sep 12 16:24:46 CEST 2019
34.75/20.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10049-serial-file.bin
35.28/21.18	c (0,0) Read Serial File Begin
35.28/21.18	c (0,0) HOME/scop-10049-serial-file.bin
36.09/21.76	c (0,0) Read Serial File End
36.09/21.77	
36.09/21.77	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
36.09/21.77	(Solving Process)
36.09/21.77	
36.09/21.79	c BEGIN-Prog: Thu Sep 12 16:24:48 CEST 2019
36.09/21.79	c PID: 10067
36.09/21.79	c IP: 172.20.3.124
36.09/21.79	c HOST: node124.alineos.net
36.09/21.80	c (0,0) SatSolver.solve Begin
36.09/21.80	c (0,0) HOME/cryptominisat5  HOME/instance-4388383-1568298305.xml-scop-10052.cnf
36.38/21.83	c (0,0) c Outputting solution to console
36.38/21.83	c (0,0) c CryptoMiniSat version 5.6.8
36.38/21.83	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
36.38/21.83	c (0,0) c CMS SHA revision GIT-notfound
36.38/21.83	c (0,0) c CMS is MIT licensed
36.38/21.83	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
36.38/21.83	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
36.38/21.83	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388383-1568298305.xml-scop-10052.cnf
36.38/21.83	c (0,0) c Reading file 'HOME/instance-4388383-1568298305.xml-scop-10052.cnf'
36.38/21.83	c (0,0) c -- header says num vars:          36616
36.38/21.83	c (0,0) c -- header says num clauses:      198961
36.58/21.91	c (0,0) c -- clauses added: 198961
36.58/21.91	c (0,0) c -- xor clauses added: 0
36.58/21.91	c (0,0) c -- vars added 36616
36.58/21.91	c (0,0) c Parsing time: 0.07 s
36.58/21.92	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
36.58/21.92	c (0,0) c [distill] long cls tried: 34/33 cl-short:34 lit-r:93 T: 0.00 T-out: N T-r: 99.99%
36.75/22.04	c (0,0) c [distill] long cls tried: 693/701 cl-short:693 lit-r:728 T: 0.03 T-out: N T-r: 99.65%
36.94/22.21	c (1,0) c [distill] long cls tried: 592/1280 cl-short:592 lit-r:756 T: 0.04 T-out: N T-r: 99.50%
36.94/22.27	c (1,0) c   glue     1    50  8193   36616  138K   55K    3.82    3.30  1476  3665  2880   172   12.77   12.54
37.44/22.70	c (1,0) c [distill] long cls tried: 2896/4132 cl-short:2896 lit-r:6363 T: 0.27 T-out: N T-r: 96.31%
37.64/22.94	c (1,0) c   geom     1    85 16386   36616  138K   55K    3.82    3.30  4709  7136  4268   273   11.89   11.72
37.75/23.08	c (1,0) c [distill] long cls tried: 635/4741 cl-short:635 lit-r:1239 T: 0.09 T-out: N T-r: 98.72%
38.64/23.99	c (2,0) c [distill] long cls tried: 2695/7186 cl-short:2695 lit-r:6347 T: 0.47 T-out: N T-r: 93.31%
38.75/24.03	c (2,0) c   glue     1   128   24K   36616  138K   55K    3.82    3.30  7199  8003  8800   577   11.29   11.08
39.04/24.36	c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
39.04/24.36	c (3,0) c UIP search time          : 2.44        (97.04     % time)
39.04/24.36	c (3,0) c restarts                 : 139         (210.73    confls per restart)
39.04/24.36	c (3,0) c blocked restarts         : 0           (0.00      per normal restart)
39.04/24.36	c (3,0) c time                     : 2.44        
39.04/24.36	c (3,0) c decisions                : 59032       (0.00      % random)
39.04/24.36	c (3,0) c propagations             : 7891214     
39.04/24.36	c (3,0) c decisions/conflicts      : 2.02        
39.04/24.36	c (3,0) c conflicts                : 29291       (11990.32  / sec)
39.04/24.36	c (3,0) c conf lits non-minim      : 508841      (17.37     lit/confl)
39.04/24.36	c (3,0) c conf lits final          : 11.37       
39.04/24.36	c (3,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
39.04/24.36	c (3,0) c red which0               : 3124        (10.67     % of confl)
39.04/24.36	c (3,0) c props/decision           : 0.00        
39.04/24.36	c (3,0) c props/conflict           : 0.00        
39.04/24.36	c (3,0) c 0-depth assigns          : 711         (1.94      % vars)
39.04/24.36	c (3,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
39.04/24.36	c (3,0) c reduceDB time            : 0.00        (0.04      % time)
39.04/24.36	c (3,0) c OccSimplifier time       : 0.00        (0.00      % time)
39.04/24.36	c (3,0) c [occur] 0.00 is overhead
39.04/24.36	c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
39.04/24.36	c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
39.04/24.36	c (3,0) c SCC time                 : 0.00        (0.00      % time)
39.04/24.36	c (3,0) c [scc] new: 0 BP 0M  T: 0.00
39.04/24.36	c (3,0) c vrep replace time        : 0.00        (0.00      % time)
39.04/24.36	c (3,0) c vrep tree roots          : 0           
39.04/24.36	c (3,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
39.04/24.36	c (3,0) c distill time             : 0.90        (35.67     % time)
39.04/24.36	c (3,0) c strength cache-irred time: 0.00        (0.00      % time)
39.04/24.36	c (3,0) c strength cache-red time  : 0.00        (0.00      % time)
39.04/24.36	c (3,0) c Conflicts in UIP         : 29291       (11635.06  confl/time_this_thread)
39.04/24.36	c (3,0) c Mem used                 : 30.96       MB
39.04/24.36	c (3,0) c Total time (this thread) : 2.52        
39.04/24.37	c (3,0) s UNSATISFIABLE
39.04/24.37	c (3,0) SatSolver.solve End
39.04/24.37	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.04/24.37	c (3,0) Show results Begin
39.04/24.37	s UNSATISFIABLE
39.04/24.37	c (3,0) Show results End
39.04/24.37	c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
39.04/24.38	c (3,0) 3,3,STOP-AFTER(ALL)
39.04/24.38	c END-Prog: Thu Sep 12 16:24:50 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 (7661 MiB free)
  memory of node 1: 16384 MiB (6876 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388383-1568298305/watcher-4388383-1568298305 -o /tmp/evaluation-result-4388383-1568298305/solver-4388383-1568298305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388383-1568298305.xml 

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

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

solver pid=10049, runsolver pid=10046

[startup+0.102861 s]*
/proc/loadavg: 2.09 2.23 2.18 4/235 10066
/proc/meminfo: memFree=14828004/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405770736 115843072 349 33554432000 4194304 5098028 140731934990400 140731934987656 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 349 296 221 0 87 0
[pid=10052] ppid=10049 vsize=15016308 memory=74936 CPUtime=0.11 cores=0,2,4,6
/proc/10052/stat : 10052 (java) S 10049 10049 5595 0 -1 1077944320 7557 0 0 0 9 2 0 0 20 0 15 0 405770736 15376699392 18734 33554432000 4194304 4196468 140723166615280 140723166597824 140222408589047 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
/proc/10052/statm: 3754077 18734 2886 1 0 3716482 0
[pid=10052/tid=10053] ppid=10049 vsize=15014680 memory=-6365693782208593859 CPUtime=0.09 cores=0,2,4,6
/proc/10052/task/10053/stat : 10053 (java) R 10049 10049 5595 0 -1 4202560 5561 0 0 0 7 2 0 0 20 0 15 0 405770737 15375032320 18330 33554432000 4194304 4196468 140723166615280 140222380373296 140222401306151 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10054] ppid=10049 vsize=15014680 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10054/stat : 10054 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15375032320 18330 33554432000 4194304 4196468 140723166615280 140222412831376 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10055] ppid=10049 vsize=15013720 memory=140058673215104 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10055/stat : 10055 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770738 15374049280 18165 33554432000 4194304 4196468 140723166615280 140221869271568 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10056] ppid=10049 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10056/stat : 10056 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770738 15374049280 18074 33554432000 4194304 4196468 140723166615280 140221868218768 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10057] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10057/stat : 10057 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 18074 33554432000 4194304 4196468 140723166615280 140221867165968 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10058] ppid=10049 vsize=15012696 memory=140058673215104 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10058/stat : 10058 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 18074 33554432000 4194304 4196468 140723166615280 140221446253424 140222408600194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10059] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10059/stat : 10059 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 18074 33554432000 4194304 4196468 140723166615280 140220951422496 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10060] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10060/stat : 10060 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 18074 33554432000 4194304 4196468 140723166615280 140220682986864 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10061] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10061/stat : 10061 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 18074 33554432000 4194304 4196468 140723166615280 140220308478288 140222408607643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10062] ppid=10049 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10062/stat : 10062 (java) S 10049 10049 5595 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 405770743 15374049280 18074 33554432000 4194304 4196468 140723166615280 140221445200240 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10063] ppid=10049 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10063/stat : 10063 (java) S 10049 10049 5595 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405770743 15374049280 18074 33554432000 4194304 4196468 140723166615280 140221444147440 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10064] ppid=10049 vsize=15013720 memory=140058673215104 CPUtime=0.01 cores=0,2,4,6
/proc/10052/task/10064/stat : 10064 (java) S 10049 10049 5595 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 405770743 15374049280 18074 33554432000 4194304 4196468 140723166615280 140221443094640 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10065] ppid=10049 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10065/stat : 10065 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15374049280 18074 33554432000 4194304 4196468 140723166615280 140219810572512 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10066] ppid=10049 vsize=15013720 memory=140058673215104 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10066/stat : 10066 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770743 15374049280 18139 33554432000 4194304 4196468 140723166615280 140221442043056 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 76332 KiB

[startup+0.211131 s]*
/proc/loadavg: 2.09 2.23 2.18 3/235 10066
/proc/meminfo: memFree=14812060/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405770736 115843072 349 33554432000 4194304 5098028 140731934990400 140731934987656 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 349 296 221 0 87 0
[pid=10052] ppid=10049 vsize=15012696 memory=85808 CPUtime=0.25 cores=0,2,4,6
/proc/10052/stat : 10052 (java) S 10049 10049 5595 0 -1 1077944320 11448 0 0 0 21 4 0 0 20 0 15 0 405770736 15373000704 21452 33554432000 4194304 4196468 140723166615280 140723166597824 140222408589047 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
/proc/10052/statm: 3753174 21452 2973 1 0 3715579 0
[pid=10052/tid=10053] ppid=10049 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/10052/task/10053/stat : 10053 (java) R 10049 10049 5595 0 -1 4202560 9172 0 0 0 17 3 0 0 20 0 15 0 405770737 15373000704 21452 33554432000 4194304 4196468 140723166615280 140222380405456 140222392669534 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10054] ppid=10049 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10054/stat : 10054 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 21452 33554432000 4194304 4196468 140723166615280 140222412831376 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10055] ppid=10049 vsize=15012696 memory=288370434824926848 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10055/stat : 10055 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221869271568 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10056] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10056/stat : 10056 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221868218768 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10057] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10057/stat : 10057 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221867165968 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10058] ppid=10049 vsize=15012696 memory=140058673215104 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10058/stat : 10058 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221446253424 140222408600194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10059] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10059/stat : 10059 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 21452 33554432000 4194304 4196468 140723166615280 140220951422496 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10060] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10060/stat : 10060 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 21452 33554432000 4194304 4196468 140723166615280 140220682986864 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10061] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10061/stat : 10061 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140220308478288 140222408607643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10062] ppid=10049 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10052/task/10062/stat : 10062 (java) S 10049 10049 5595 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221445200240 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10063] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10063/stat : 10063 (java) S 10049 10049 5595 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221444147440 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10064] ppid=10049 vsize=15012696 memory=140058673215104 CPUtime=0.02 cores=0,2,4,6
/proc/10052/task/10064/stat : 10064 (java) R 10049 10049 5595 0 -1 4202560 480 0 0 0 2 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221443094640 140222387541487 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10065] ppid=10049 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10065/stat : 10065 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140219810572512 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10066] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10066/stat : 10066 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 21452 33554432000 4194304 4196468 140723166615280 140221442043056 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87204 KiB

[startup+0.311143 s]*
/proc/loadavg: 2.09 2.23 2.18 4/235 10066
/proc/meminfo: memFree=14808652/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405770736 115843072 349 33554432000 4194304 5098028 140731934990400 140731934987656 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 349 296 221 0 87 0
[pid=10052] ppid=10049 vsize=15012696 memory=89660 CPUtime=0.44 cores=0,2,4,6
/proc/10052/stat : 10052 (java) S 10049 10049 5595 0 -1 1077944320 12526 0 0 0 39 5 0 0 20 0 15 0 405770736 15373000704 22415 33554432000 4194304 4196468 140723166615280 140723166597824 140222408589047 0 0 2 16800973 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
/proc/10052/statm: 3753174 22415 3020 1 0 3715579 0
[pid=10052/tid=10053] ppid=10049 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/10052/task/10053/stat : 10053 (java) R 10049 10049 5595 0 -1 4202560 10039 0 0 0 26 4 0 0 20 0 15 0 405770737 15373000704 22415 33554432000 4194304 4196468 140723166615280 140222380384440 140222390152576 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10054] ppid=10049 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10054/stat : 10054 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 22415 33554432000 4194304 4196468 140723166615280 140222412831376 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10055] ppid=10049 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10055/stat : 10055 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221869271568 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10056] ppid=10049 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10056/stat : 10056 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221868218768 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10057] ppid=10049 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10057/stat : 10057 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221867165968 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10058] ppid=10049 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10058/stat : 10058 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221446253424 140222408600194 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10059] ppid=10049 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10059/stat : 10059 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 22415 33554432000 4194304 4196468 140723166615280 140220951422496 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10060] ppid=10049 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10060/stat : 10060 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770740 15373000704 22415 33554432000 4194304 4196468 140723166615280 140220682986864 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10061] ppid=10049 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10061/stat : 10061 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140220308478288 140222408607643 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10062] ppid=10049 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10052/task/10062/stat : 10062 (java) S 10049 10049 5595 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221445200240 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10063] ppid=10049 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10052/task/10063/stat : 10063 (java) S 10049 10049 5595 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221444147440 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10064] ppid=10049 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10052/task/10064/stat : 10064 (java) S 10049 10049 5595 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221443094640 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10065] ppid=10049 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10065/stat : 10065 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140219810572512 140222408599253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10066] ppid=10049 vsize=15012696 memory=3977575888130683952 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10066/stat : 10066 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770743 15373000704 22415 33554432000 4194304 4196468 140723166615280 140221442043056 140222408600194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91056 KiB

[startup+0.705037 s]
/proc/loadavg: 2.09 2.23 2.18 3/235 10066
/proc/meminfo: memFree=14785320/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405770736 115843072 349 33554432000 4194304 5098028 140731934990400 140731934987656 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 349 296 221 0 87 0
[pid=10052] ppid=10049 vsize=15018968 memory=127652 CPUtime=1.04 cores=0,2,4,6
/proc/10052/stat : 10052 (java) S 10049 10049 5595 0 -1 1077944320 20190 0 0 0 98 6 0 0 20 0 15 0 405770736 15379423232 31913 33554432000 4194304 4196468 140723166615280 140723166597824 140222408589047 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
/proc/10052/statm: 3754742 31913 3194 1 0 3716091 0
[pid=10052/tid=10053] ppid=10049 vsize=15018968 memory=-7816663703405220396 CPUtime=0.68 cores=0,2,4,6
/proc/10052/task/10053/stat : 10053 (java) R 10049 10049 5595 0 -1 4202560 17112 0 0 0 63 5 0 0 20 0 15 0 405770737 15379423232 31913 33554432000 4194304 4196468 140723166615280 140222380427456 140221907807364 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10054] ppid=10049 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10054/stat : 10054 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15379423232 31913 33554432000 4194304 4196468 140723166615280 140222412831376 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10055] ppid=10049 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10055/stat : 10055 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770738 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221869271568 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10056] ppid=10049 vsize=15018968 memory=37492 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10056/stat : 10056 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770738 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221868218768 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10057] ppid=10049 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10057/stat : 10057 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405770738 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221867165968 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10058] ppid=10049 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10058/stat : 10058 (java) S 10049 10049 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405770740 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221446253424 140222408600194 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10059] ppid=10049 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10059/stat : 10059 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405770740 15379423232 31913 33554432000 4194304 4196468 140723166615280 140220951422496 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10060] ppid=10049 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10060/stat : 10060 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770740 15379423232 31913 33554432000 4194304 4196468 140723166615280 140220682986864 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10061] ppid=10049 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10061/stat : 10061 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140220308478288 140222408607643 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10062] ppid=10049 vsize=15018968 memory=10604 CPUtime=0.1 cores=0,2,4,6
/proc/10052/task/10062/stat : 10062 (java) S 10049 10049 5595 0 -1 1077944384 665 0 0 0 10 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221445200240 140222408600194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10063] ppid=10049 vsize=15018968 memory=3360 CPUtime=0.07 cores=0,2,4,6
/proc/10052/task/10063/stat : 10063 (java) R 10049 10049 5595 0 -1 4202560 383 0 0 0 7 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221444147440 140222389778280 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10064] ppid=10049 vsize=15018968 memory=776 CPUtime=0.17 cores=0,2,4,6
/proc/10052/task/10064/stat : 10064 (java) R 10049 10049 5595 0 -1 1077944384 694 0 0 0 17 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221443089904 140222408599253 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10065] ppid=10049 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10065/stat : 10065 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140219810572512 140222408599253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
[pid=10052/tid=10066] ppid=10049 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/10052/task/10066/stat : 10066 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405770743 15379423232 31913 33554432000 4194304 4196468 140723166615280 140221442043056 140222408600194 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24190976 140723166622505 140723166622874 140723166622874 140723166625743 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129048 KiB

[startup+1.50081 s]
/proc/loadavg: 2.09 2.23 2.18 6/235 10066
/proc/meminfo: memFree=14568184/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405770736 115843072 349 33554432000 4194304 5098028 140731934990400 140731934987656 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 37.94 s
Current children cumulated vsize: 8236896 KiB
Current children cumulated memory: 165548 KiB

[startup+24.0009 s]*
/proc/loadavg: 2.06 2.22 2.18 3/239 10087
/proc/meminfo: memFree=14726420/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1476 CPUtime=34.77 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 582 53658 0 0 0 0 3353 124 20 0 1 0 405770736 115843072 369 33554432000 4194304 5098028 140731934990400 140731934987144 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 369 311 221 0 87 0
[pid=10067] ppid=10049 vsize=8068440 memory=135652 CPUtime=1.81 cores=0,2,4,6
/proc/10067/stat : 10067 (java) S 10049 10049 5595 0 -1 1077944320 20770 0 0 0 167 14 0 0 20 0 19 0 405772808 8262082560 33913 33554432000 4194304 4196468 140725717036928 140725717019472 140531455692535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
/proc/10067/statm: 2017110 33913 3224 1 0 1978454 0
[pid=10082] ppid=10067 vsize=55904 memory=31472 CPUtime=2.17 cores=0,2,4,6
/proc/10082/stat : 10082 (cryptominisat5) R 10067 10049 5595 0 -1 4202496 8511 0 0 0 216 1 0 0 20 0 1 0 405772919 57245696 7868 33554432000 4194304 4451008 140721353670512 140721353666632 139733802807975 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 29732864 140721353675708 140721353675840 140721353675840 140721353678790 0
/proc/10082/statm: 13976 7868 644 63 0 7703 0
[pid=10067/tid=10068] ppid=10049 vsize=8068440 memory=2828 CPUtime=0.95 cores=0,2,4,6
/proc/10067/task/10068/stat : 10068 (java) S 10049 10049 5595 0 -1 1077944384 16944 0 0 0 83 12 0 0 20 0 19 0 405772809 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531427532704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10069] ppid=10049 vsize=8068440 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10069/stat : 10069 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531459934992 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10070] ppid=10049 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10070/stat : 10070 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531265698704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10071] ppid=10049 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10071/stat : 10071 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531264646160 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10072] ppid=10049 vsize=8068440 memory=28932 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10072/stat : 10072 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530938449040 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10073] ppid=10049 vsize=8068440 memory=20012 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10073/stat : 10073 (java) S 10049 10049 5595 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405772811 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530834958320 140531455703682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10074] ppid=10049 vsize=8068440 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10074/stat : 10074 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530323284896 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10075] ppid=10049 vsize=8068440 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10075/stat : 10075 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530054849520 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10076] ppid=10049 vsize=8068440 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10076/stat : 10076 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529680341200 140531455711131 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10077] ppid=10049 vsize=8068440 memory=1556 CPUtime=0.3 cores=0,2,4,6
/proc/10067/task/10077/stat : 10077 (java) S 10049 10049 5595 0 -1 1077944384 982 0 0 0 30 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530833906160 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10078] ppid=10049 vsize=8068440 memory=928 CPUtime=0.27 cores=0,2,4,6
/proc/10067/task/10078/stat : 10078 (java) S 10049 10049 5595 0 -1 1077944384 814 0 0 0 27 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530832853616 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10079] ppid=10049 vsize=8068440 memory=1760 CPUtime=0.25 cores=0,2,4,6
/proc/10067/task/10079/stat : 10079 (java) S 10049 10049 5595 0 -1 1077944384 636 0 0 0 25 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530831801072 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10080] ppid=10049 vsize=8068440 memory=824 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10080/stat : 10080 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529182436448 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10081] ppid=10049 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10081/stat : 10081 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530830747952 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10083] ppid=10049 vsize=8068440 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10083/stat : 10083 (java) S 10049 10049 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530822714432 140531455717145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10085] ppid=10049 vsize=8068440 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10085/stat : 10085 (java) S 10049 10049 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528645553808 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10086] ppid=10049 vsize=8068440 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10086/stat : 10086 (java) S 10049 10049 5595 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528377118480 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10087] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10087/stat : 10087 (java) S 10049 10049 5595 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405772922 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528913997360 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
Current children cumulated CPU time: 38.75 s
Current children cumulated vsize: 8237472 KiB
Current children cumulated memory: 168600 KiB

[startup+24.2008 s]
/proc/loadavg: 2.06 2.22 2.18 3/239 10087
/proc/meminfo: memFree=14726420/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1476 CPUtime=34.77 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 582 53658 0 0 0 0 3353 124 20 0 1 0 405770736 115843072 369 33554432000 4194304 5098028 140731934990400 140731934987144 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 369 311 221 0 87 0
[pid=10067] ppid=10049 vsize=8068440 memory=135652 CPUtime=1.81 cores=0,2,4,6
/proc/10067/stat : 10067 (java) S 10049 10049 5595 0 -1 1077944320 20770 0 0 0 167 14 0 0 20 0 19 0 405772808 8262082560 33913 33554432000 4194304 4196468 140725717036928 140725717019472 140531455692535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
/proc/10067/statm: 2017110 33913 3224 1 0 1978454 0
[pid=10082] ppid=10067 vsize=56036 memory=31472 CPUtime=2.36 cores=0,2,4,6
/proc/10082/stat : 10082 (cryptominisat5) R 10067 10049 5595 0 -1 4202496 8552 0 0 0 235 1 0 0 20 0 1 0 405772919 57380864 7868 33554432000 4194304 4451008 140721353670512 140721353666632 139733802813294 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 29732864 140721353675708 140721353675840 140721353675840 140721353678790 0
/proc/10082/statm: 14009 7868 644 63 0 7736 0
[pid=10067/tid=10068] ppid=10049 vsize=8068440 memory=1436 CPUtime=0.95 cores=0,2,4,6
/proc/10067/task/10068/stat : 10068 (java) S 10049 10049 5595 0 -1 1077944384 16944 0 0 0 83 12 0 0 20 0 19 0 405772809 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531427532704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10069] ppid=10049 vsize=8068440 memory=580 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10069/stat : 10069 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531459934992 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10070] ppid=10049 vsize=8068440 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10070/stat : 10070 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531265698704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10071] ppid=10049 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10071/stat : 10071 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531264646160 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10072] ppid=10049 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10072/stat : 10072 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530938449040 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10073] ppid=10049 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10073/stat : 10073 (java) S 10049 10049 5595 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405772811 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530834958320 140531455703682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10074] ppid=10049 vsize=8068440 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10074/stat : 10074 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530323284896 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10075] ppid=10049 vsize=8068440 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10075/stat : 10075 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530054849520 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10076] ppid=10049 vsize=8068440 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10076/stat : 10076 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529680341200 140531455711131 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10077] ppid=10049 vsize=8068440 memory=2828 CPUtime=0.3 cores=0,2,4,6
/proc/10067/task/10077/stat : 10077 (java) S 10049 10049 5595 0 -1 1077944384 982 0 0 0 30 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530833906160 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10078] ppid=10049 vsize=8068440 memory=1216 CPUtime=0.27 cores=0,2,4,6
/proc/10067/task/10078/stat : 10078 (java) S 10049 10049 5595 0 -1 1077944384 814 0 0 0 27 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530832853616 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10079] ppid=10049 vsize=8068440 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/10067/task/10079/stat : 10079 (java) S 10049 10049 5595 0 -1 1077944384 636 0 0 0 25 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530831801072 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10080] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10080/stat : 10080 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529182436448 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10081] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10081/stat : 10081 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530830747952 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10083] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10083/stat : 10083 (java) S 10049 10049 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530822714432 140531455717145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10085] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10085/stat : 10085 (java) S 10049 10049 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528645553808 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10086] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10086/stat : 10086 (java) S 10049 10049 5595 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528377118480 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10087] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10087/stat : 10087 (java) S 10049 10049 5595 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405772922 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528913997360 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
Current children cumulated CPU time: 38.94 s
Current children cumulated vsize: 8237604 KiB
Current children cumulated memory: 168600 KiB

[startup+24.3008 s]
/proc/loadavg: 2.06 2.22 2.18 3/239 10087
/proc/meminfo: memFree=14726420/32770624 swapFree=66959212/67108860
[pid=10049] ppid=10046 vsize=113128 memory=1476 CPUtime=34.77 cores=0,2,4,6
/proc/10049/stat : 10049 (scop.sh) S 10046 10049 5595 0 -1 4202496 582 53658 0 0 0 0 3353 124 20 0 1 0 405770736 115843072 369 33554432000 4194304 5098028 140731934990400 140731934987144 140008246710908 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29171712 140731934999395 140731934999664 140731934999664 140731935002573 0
/proc/10049/statm: 28282 369 311 221 0 87 0
[pid=10067] ppid=10049 vsize=8068440 memory=135652 CPUtime=1.81 cores=0,2,4,6
/proc/10067/stat : 10067 (java) S 10049 10049 5595 0 -1 1077944320 20770 0 0 0 167 14 0 0 20 0 19 0 405772808 8262082560 33913 33554432000 4194304 4196468 140725717036928 140725717019472 140531455692535 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
/proc/10067/statm: 2017110 33913 3224 1 0 1978454 0
[pid=10082] ppid=10067 vsize=56036 memory=31700 CPUtime=2.46 cores=0,2,4,6
/proc/10082/stat : 10082 (cryptominisat5) R 10067 10049 5595 0 -1 4202496 8578 0 0 0 245 1 0 0 20 0 1 0 405772919 57380864 7925 33554432000 4194304 4451008 140721353670512 140721353666632 139733802808576 0 4 0 2 0 0 0 17 0 0 0 0 0 0 6549032 6559120 29732864 140721353675708 140721353675840 140721353675840 140721353678790 0
/proc/10082/statm: 14009 7925 644 63 0 7736 0
[pid=10067/tid=10068] ppid=10049 vsize=8068440 memory=2008 CPUtime=0.95 cores=0,2,4,6
/proc/10067/task/10068/stat : 10068 (java) S 10049 10049 5595 0 -1 1077944384 16944 0 0 0 83 12 0 0 20 0 19 0 405772809 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531427532704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10069] ppid=10049 vsize=8068440 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10069/stat : 10069 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531459934992 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10070] ppid=10049 vsize=8068440 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10070/stat : 10070 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531265698704 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10071] ppid=10049 vsize=8068440 memory=3362056 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10071/stat : 10071 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140531264646160 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10072] ppid=10049 vsize=8068440 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10072/stat : 10072 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772810 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530938449040 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10073] ppid=10049 vsize=8068440 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10073/stat : 10073 (java) S 10049 10049 5595 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405772811 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530834958320 140531455703682 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10074] ppid=10049 vsize=8068440 memory=95 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10074/stat : 10074 (java) S 10049 10049 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530323284896 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10075] ppid=10049 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10075/stat : 10075 (java) S 10049 10049 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405772812 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530054849520 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10076] ppid=10049 vsize=8068440 memory=776 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10076/stat : 10076 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529680341200 140531455711131 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10077] ppid=10049 vsize=8068440 memory=1564 CPUtime=0.3 cores=0,2,4,6
/proc/10067/task/10077/stat : 10077 (java) S 10049 10049 5595 0 -1 1077944384 982 0 0 0 30 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530833906160 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10078] ppid=10049 vsize=8068440 memory=3620 CPUtime=0.27 cores=0,2,4,6
/proc/10067/task/10078/stat : 10078 (java) S 10049 10049 5595 0 -1 1077944384 814 0 0 0 27 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530832853616 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10079] ppid=10049 vsize=8068440 memory=1476 CPUtime=0.25 cores=0,2,4,6
/proc/10067/task/10079/stat : 10079 (java) S 10049 10049 5595 0 -1 1077944384 636 0 0 0 25 0 0 0 20 0 19 0 405772814 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530831801072 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10080] ppid=10049 vsize=8068440 memory=119144 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10080/stat : 10080 (java) S 10049 10049 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140529182436448 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10081] ppid=10049 vsize=8068440 memory=-4866523618376441967 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10081/stat : 10081 (java) S 10049 10049 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405772815 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530830747952 140531455703682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10083] ppid=10049 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10083/stat : 10083 (java) S 10049 10049 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140530822714432 140531455717145 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10085] ppid=10049 vsize=8068440 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10085/stat : 10085 (java) S 10049 10049 5595 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528645553808 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10086] ppid=10049 vsize=8068440 memory=15818902244428187 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10086/stat : 10086 (java) S 10049 10049 5595 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 405772919 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528377118480 140531455714461 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
[pid=10067/tid=10087] ppid=10049 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10067/task/10087/stat : 10087 (java) S 10049 10049 5595 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 405772922 8262082560 33913 33554432000 4194304 4196468 140725717036928 140528913997360 140531455702741 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29585408 140725717038075 140725717038234 140725717038234 140725717041103 0
Current children cumulated CPU time: 39.04 s
Current children cumulated vsize: 8237604 KiB
Current children cumulated memory: 168828 KiB

Child status: 0
Real time (s): 24.3882
CPU time (s): 39.1724
CPU user time (s): 37.7537
CPU system time (s): 1.4187
CPU usage (%): 160.62
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3493268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7537
system time used= 1.4187
maximum resident set size= 3492084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7109
involuntary context switches= 212


# summary of solver processes directly reported to runsolver:
#   pid: 10049
#   total CPU time (s): 39.1724
#   total CPU user time (s): 37.7537
#   total CPU system time (s): 1.4187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.189982 second user time and 0.289819 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 16:24:26
IDJOB=4388383
IDBENCH=141062
IDSOLVER=2826
FILE ID=node124/4388383-1568298305
RUNJOBID= node124-1568286434-6491
PBS_JOBID= 21701080
Free space on /tmp= 52476 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f02_c18.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-4388383-1568298305/watcher-4388383-1568298305 -o /tmp/evaluation-result-4388383-1568298305/solver-4388383-1568298305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6491 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388383-1568298305.xml

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

MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656
RANDOM SEED=973060861

node124.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.47
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.47
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.47
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.47
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:        14887148 kB
MemAvailable:   29692020 kB
Buffers:          142392 kB
Cached:         14749208 kB
SwapCached:        45868 kB
Active:          3770996 kB
Inactive:       13290244 kB
Active(anon):    2124256 kB
Inactive(anon):    86928 kB
Active(file):    1646740 kB
Inactive(file): 13203316 kB
Unevictable:      108340 kB
Mlocked:          108340 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             20576 kB
Writeback:             0 kB
AnonPages:       2137460 kB
Mapped:            55684 kB
Shmem:             32744 kB
Slab:             412136 kB
SReclaimable:     383276 kB
SUnreclaim:        28860 kB
KernelStack:        4112 kB
PageTables:        10312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8173028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    749568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 52452 MiB
End job on node124 at 2019-09-12 16:24:50