Trace number 4387621

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 25.0904 14.6162

General information on the benchmark

NameQueensKnights/QueensKnights-m1-s1/
QueensKnights-080-05-add.xml
MD5SUM18e8c61317b2c078d14d7e9ead8d31e0
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 benchmark25.0904
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints3170
Number of domains2
Minimum domain size80
Maximum domain size6400
Distribution of domain sizes[{"size":80,"count":80},{"size":6400,"count":5}]
Minimum variable degree4
Maximum variable degree79
Distribution of variable degrees[{"degree":4,"count":5},{"degree":79,"count":80}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3170}]
Number of extensional constraints0
Number of intensional constraints3170
Distribution of constraint types[{"type":"intension","count":3170}]
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-4867-serial-file.bin HOME/instance-4387621-1568286357.xml
0.66/0.52	
0.66/0.52	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52	
0.66/0.55	c BEGIN-Prog: Thu Sep 12 13:05:18 CEST 2019
0.66/0.55	c PID: 4870
0.66/0.55	c IP: 172.20.3.119
0.66/0.55	c HOST: node119.alineos.net
0.66/0.56	c (0,0) Parsing Begin
4.18/1.72	c (1,1) Parsing End
4.18/1.73	c (1,1) CSP: 85 int (0 aux), 0 bool (0 aux), 3170 ctr, max domain size 6400
4.18/1.73	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.18/1.73	c (1,1) Constraint Name Generate Begin
4.18/1.76	c (1,1) Ctr:HOME/instance-4387621-1568286357.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
4.18/1.76	c (1,1) Constraint Name Generate End
4.18/1.76	c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
4.18/1.76	c (1,1) CSP to CSPinCNF Begin
5.40/2.14	c (1,1) translated 317 (10%) constraints
5.65/2.27	c (1,1) translated 634 (20%) constraints
5.95/2.38	c (1,1) translated 951 (30%) constraints
6.25/2.46	c (1,1) translated 1268 (40%) constraints
6.53/2.55	c (2,2) translated 1585 (50%) constraints
6.81/2.62	c (2,2) translated 1902 (60%) constraints
6.81/2.69	c (2,2) translated 2219 (70%) constraints
7.05/2.76	c (2,2) translated 2536 (80%) constraints
7.28/2.83	c (2,2) translated 2853 (90%) constraints
7.50/2.93	c (2,2) translated 3170 (100%) constraints
7.50/2.93	c (2,2) ===========================================
7.50/3.00	c (2,2) Hybrid: #OE=3250, #LE=25
7.50/3.00	c (2,2) Hybrid
7.50/3.00	c (2,2) ===========================================
7.86/3.09	c (2,2) translated 1274 (10%) constraints
8.20/3.14	c (2,2) translated 2548 (20%) constraints
8.46/3.20	c (2,2) translated 3822 (30%) constraints
8.46/3.25	c (2,2) translated 5096 (40%) constraints
8.77/3.30	c (2,2) translated 6370 (50%) constraints
8.77/3.35	c (2,2) translated 7644 (60%) constraints
8.77/3.39	c (2,2) translated 8918 (70%) constraints
9.07/3.44	c (2,2) translated 10192 (80%) constraints
9.07/3.48	c (2,2) translated 11466 (90%) constraints
9.37/3.53	c (3,2) translated 12740 (100%) constraints
9.37/3.53	c (3,2) CSP to CSPinCNF End
9.37/3.54	c (3,2) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12750 ctr, max domain size 6400
9.37/3.54	c (3,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
9.37/3.54	c (3,2) CSPinCNF Propagation Begin
9.69/3.68	c (3,3) 1 values, 4 unsatisfiable literals, and 21 valid clauses are removed
9.69/3.68	c (3,3) CSPinCNF Propagation End
9.69/3.68	c (3,3) CSP: 105 int (20 aux), 3170 bool (3170 aux), 12729 ctr, max domain size 6400
9.69/3.68	c (3,3) Heap : 675 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.00/3.72	c (3,3) Hybrid: #OE=3250, #LE=25
10.00/3.72	c (3,3) Simplify CSPinCNF Begin
10.93/4.02	c (3,3) Simplify CSPinCNF End
10.93/4.02	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
10.93/4.02	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.93/4.02	c (3,3) Calculate Precise Domain Begin
10.93/4.02	c (3,3) 0 values are removed by re-calculation
10.93/4.02	c (3,3) Calculate Precise Domain End
10.93/4.03	c (3,3) CSP: 105 int (20 aux), 15858 bool (15858 aux), 25417 ctr, max domain size 6400
10.93/4.03	c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
10.93/4.03	c (3,3) CSPinCNF to SatSolver Begin
14.23/5.11	c (4,4) 2542 (10 %) CSP clauses are encoded (0 SAT variables, 110859 SAT clauses)
14.77/5.66	c (5,5) 5084 (20 %) CSP clauses are encoded (0 SAT variables, 218191 SAT clauses)
15.49/6.20	c (5,5) 7626 (30 %) CSP clauses are encoded (0 SAT variables, 325123 SAT clauses)
16.18/6.75	c (6,6) 10167 (40 %) CSP clauses are encoded (0 SAT variables, 436582 SAT clauses)
16.83/7.31	c (6,6) 12709 (50 %) CSP clauses are encoded (0 SAT variables, 553069 SAT clauses)
17.58/7.90	c (7,7) 15251 (60 %) CSP clauses are encoded (0 SAT variables, 671528 SAT clauses)
18.09/8.43	c (7,7) 17792 (70 %) CSP clauses are encoded (0 SAT variables, 793705 SAT clauses)
18.63/9.14	c (8,8) 20334 (80 %) CSP clauses are encoded (0 SAT variables, 921139 SAT clauses)
19.23/9.71	c (9,8) 22876 (90 %) CSP clauses are encoded (0 SAT variables, 1053887 SAT clauses)
19.91/10.35	c (9,9) 25417 (100 %) CSP clauses are encoded (0 SAT variables, 1201778 SAT clauses)
19.91/10.35	c (9,9) CSPinCNF to SatSolver End
19.91/10.35	c (9,9) Heap : 2195 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
19.91/10.35	c (9,9) 28167 bool, 1201867 clause
19.91/10.35	c (9,9) Export Begin
20.20/10.45	c (9,9) Export to HOME/scop-4867-serial-file.bin
20.20/10.45	c (9,9) Export End
20.20/10.46	c (9,9) Export File Size: 0.03 MB
20.20/10.46	c (9,9) 1,1,3,3,3,3,9,STOP-AFTER(DIMACS)
20.20/10.46	c END-Prog: Thu Sep 12 13:05:28 CEST 2019
20.20/10.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4867-serial-file.bin
20.45/10.95	c (0,0) Read Serial File Begin
20.45/10.95	c (0,0) HOME/scop-4867-serial-file.bin
21.27/11.17	c (0,0) Read Serial File End
21.27/11.18	
21.27/11.18	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
21.27/11.18	(Solving Process)
21.27/11.18	
21.45/11.20	c BEGIN-Prog: Thu Sep 12 13:05:29 CEST 2019
21.45/11.20	c PID: 4885
21.45/11.20	c IP: 172.20.3.119
21.45/11.20	c HOST: node119.alineos.net
21.45/11.21	c (0,0) SatSolver.solve Begin
21.45/11.21	c (0,0) HOME/cryptominisat5  HOME/instance-4387621-1568286357.xml-scop-4870.cnf
21.45/11.24	c (0,0) c Outputting solution to console
21.45/11.24	c (0,0) c CryptoMiniSat version 5.6.8
21.45/11.24	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
21.45/11.24	c (0,0) c CMS SHA revision GIT-notfound
21.45/11.24	c (0,0) c CMS is MIT licensed
21.45/11.24	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
21.45/11.24	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
21.45/11.24	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387621-1568286357.xml-scop-4870.cnf
21.45/11.24	c (0,0) c Reading file 'HOME/instance-4387621-1568286357.xml-scop-4870.cnf'
21.45/11.24	c (0,0) c -- header says num vars:          28167
21.45/11.24	c (0,0) c -- header says num clauses:     1201867
21.66/11.64	c (0,0) c -- clauses added: 1201867
21.66/11.64	c (0,0) c -- xor clauses added: 0
21.66/11.64	c (0,0) c -- vars added 28167
21.66/11.64	c (0,0) c Parsing time: 0.37 s
21.66/11.66	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
21.66/11.66	c (0,0) c [distill] long cls tried: 21/21 cl-short:21 lit-r:9 T: 0.00 T-out: N T-r: 100.00%
21.66/11.81	c (0,0) c [distill] long cls tried: 196/209 cl-short:196 lit-r:108 T: 0.00 T-out: N T-r: 99.96%
22.42/12.01	c (1,0) c [distill] long cls tried: 162/365 cl-short:162 lit-r:134 T: 0.01 T-out: N T-r: 99.92%
22.42/12.08	c (1,0) c   glue     1    33  8193   28086 1163K   38K    3.00    2.97   413  2574  5101    96   15.01   14.86
22.72/12.36	c (1,0) c [distill] long cls tried: 1310/1665 cl-short:1310 lit-r:2165 T: 0.09 T-out: N T-r: 98.78%
23.02/12.63	c (1,0) c   geom     1    60 16386   28068 1163K   38K    3.00    2.97  2095  6556  7583   139   15.40   15.28
23.12/12.79	c (1,0) c [distill] long cls tried: 502/2160 cl-short:502 lit-r:894 T: 0.05 T-out: N T-r: 99.24%
23.62/13.25	c (2,0) c   glue     1    92   24K   28065 1163K   38K    3.00    2.97  3806  7954 12640   165   15.37   15.28
23.93/13.54	c (2,0) c [distill] long cls tried: 1675/3825 cl-short:1675 lit-r:3476 T: 0.20 T-out: N T-r: 96.69%
24.54/14.16	c (3,0) c   glue     1   106   32K   28027 1163K   38K    3.00    2.97  6175 13001 13383   197   14.80   14.72
24.93/14.57	c (3,0) c [distill] long cls tried: 2413/5551 cl-short:2079 lit-r:8582 T: 0.30 T-out: N T-r: 94.78%
24.93/14.58	c (3,0) c ------- FINAL TOTAL SEARCH STATS ---------
24.93/14.58	c (3,0) c UIP search time          : 2.94        (88.81     % time)
24.93/14.58	c (3,0) c restarts                 : 108         (315.39    confls per restart)
24.93/14.58	c (3,0) c blocked restarts         : 6           (0.06      per normal restart)
24.93/14.58	c (3,0) c time                     : 2.94        
24.93/14.58	c (3,0) c decisions                : 64380       (0.00      % random)
24.93/14.58	c (3,0) c propagations             : 14858952    
24.93/14.58	c (3,0) c decisions/conflicts      : 1.89        
24.93/14.58	c (3,0) c conflicts                : 34062       (11582.04  / sec)
24.93/14.58	c (3,0) c conf lits non-minim      : 1064798     (31.26     lit/confl)
24.93/14.58	c (3,0) c conf lits final          : 14.75       
24.93/14.58	c (3,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
24.93/14.58	c (3,0) c red which0               : 1299        (3.81      % of confl)
24.93/14.58	c (3,0) c props/decision           : 0.00        
24.93/14.58	c (3,0) c props/conflict           : 0.00        
24.93/14.58	c (3,0) c 0-depth assigns          : 1003        (3.56      % vars)
24.93/14.58	c (3,0) c 0-depth assigns by CNF   : 45          (0.16      % vars)
24.93/14.58	c (3,0) c reduceDB time            : 0.00        (0.06      % time)
24.93/14.58	c (3,0) c OccSimplifier time       : 0.00        (0.00      % time)
24.93/14.58	c (3,0) c [occur] 0.00 is overhead
24.93/14.58	c (3,0) c [occur] link-in T: 0.00 cleanup T: 0.00
24.93/14.58	c (3,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
24.93/14.58	c (3,0) c SCC time                 : 0.00        (0.00      % time)
24.93/14.58	c (3,0) c [scc] new: 0 BP 0M  T: 0.00
24.93/14.58	c (3,0) c vrep replace time        : 0.00        (0.00      % time)
24.93/14.58	c (3,0) c vrep tree roots          : 0           
24.93/14.58	c (3,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
24.93/14.58	c (3,0) c distill time             : 0.64        (19.35     % time)
24.93/14.58	c (3,0) c strength cache-irred time: 0.00        (0.00      % time)
24.93/14.58	c (3,0) c strength cache-red time  : 0.00        (0.00      % time)
24.93/14.58	c (3,0) c Conflicts in UIP         : 34062       (10286.40  confl/time_this_thread)
24.93/14.58	c (3,0) c Mem used                 : 118.32      MB
24.93/14.58	c (3,0) c Total time (this thread) : 3.31        
24.93/14.58	c (3,0) s UNSATISFIABLE
21.68/14.60	c (3,0) SatSolver.solve End
21.68/14.60	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.68/14.60	c (3,0) Show results Begin
21.68/14.60	s UNSATISFIABLE
21.68/14.60	c (3,0) Show results End
21.68/14.60	c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.68/14.60	c (3,0) 3,3,STOP-AFTER(ALL)
21.68/14.60	c END-Prog: Thu Sep 12 13:05:32 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 (3777 MiB free)
  memory of node 1: 16384 MiB (9023 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387621-1568286357/watcher-4387621-1568286357 -o /tmp/evaluation-result-4387621-1568286357/solver-4387621-1568286357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387621-1568286357.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=4867, runsolver pid=4864

[startup+0.100131 s]*
/proc/loadavg: 2.61 2.20 2.10 4/235 4884
/proc/meminfo: memFree=13049016/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404550607 115843072 349 33554432000 4194304 5098028 140721414136544 140721414133800 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 349 296 221 0 87 0
[pid=4870] ppid=4867 vsize=15012696 memory=70916 CPUtime=0.11 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4867 3344 0 -1 1077944320 7007 0 0 0 10 1 0 0 20 0 15 0 404550607 15373000704 17729 33554432000 4194304 4196468 140725632426112 140725632408656 139988880305911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
/proc/4870/statm: 3753174 17729 2919 1 0 3715579 0
[pid=4870/tid=4871] ppid=4867 vsize=15012696 memory=-7828588039587137883 CPUtime=0.09 cores=1,3,5,7
/proc/4870/task/4871/stat : 4871 (java) R 4867 4867 3344 0 -1 4202560 4817 0 0 0 8 1 0 0 20 0 15 0 404550607 15373000704 17729 33554432000 4194304 4196468 140725632426112 139988852099816 139988880317846 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4872] ppid=4867 vsize=15012696 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 17729 33554432000 4194304 4196468 140725632426112 139988884547984 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4873] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 17729 33554432000 4194304 4196468 140725632426112 139988698704144 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4874] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 17729 33554432000 4194304 4196468 140725632426112 139988697651856 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4875] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 17729 33554432000 4194304 4196468 140725632426112 139988696599056 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4876] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550610 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987917884016 139988880317058 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4877] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987412575520 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4878] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987278354032 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4879] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550613 15373000704 17729 33554432000 4194304 4196468 140725632426112 139986903849552 139988880324507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4880] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4867 3344 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 404550613 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987916830832 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4881] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987915778032 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4882] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0.01 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4867 3344 0 -1 4202560 418 0 0 0 1 0 0 0 20 0 15 0 404550614 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987914722424 139988859244464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4883] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 17729 33554432000 4194304 4196468 140725632426112 139986405943776 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4884] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 17729 33554432000 4194304 4196468 140725632426112 139987913673648 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72312 KiB

[startup+0.211739 s]*
/proc/loadavg: 2.61 2.20 2.10 3/235 4884
/proc/meminfo: memFree=13030780/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404550607 115843072 349 33554432000 4194304 5098028 140721414136544 140721414133800 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 349 296 221 0 87 0
[pid=4870] ppid=4867 vsize=15012696 memory=86012 CPUtime=0.25 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4867 3344 0 -1 1077944320 12080 0 0 0 22 3 0 0 20 0 15 0 404550607 15373000704 21503 33554432000 4194304 4196468 140725632426112 140725632408656 139988880305911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
/proc/4870/statm: 3753174 21503 2925 1 0 3715579 0
[pid=4870/tid=4871] ppid=4867 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/4870/task/4871/stat : 4871 (java) R 4867 4867 3344 0 -1 4202560 9833 0 0 0 17 2 0 0 20 0 15 0 404550607 15373000704 21503 33554432000 4194304 4196468 140725632426112 139988852128448 139988864386398 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4872] ppid=4867 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 21503 33554432000 4194304 4196468 140725632426112 139988884547984 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4873] ppid=4867 vsize=15012696 memory=140295038455145 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 21503 33554432000 4194304 4196468 140725632426112 139988698704144 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4874] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 21503 33554432000 4194304 4196468 140725632426112 139988697651856 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4875] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 21503 33554432000 4194304 4196468 140725632426112 139988696599056 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4876] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550610 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987917884016 139988880317058 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4877] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987412575520 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4878] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987278354032 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4879] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550613 15373000704 21503 33554432000 4194304 4196468 140725632426112 139986903849552 139988880324507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4880] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) R 4867 4867 3344 0 -1 4202560 441 0 0 0 0 0 0 0 20 0 15 0 404550613 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987916830832 139988880317058 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4881] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4867 3344 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987915778032 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4882] ppid=4867 vsize=15012696 memory=140295036946048 CPUtime=0.03 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4867 3344 0 -1 4202560 427 0 0 0 3 0 0 0 20 0 15 0 404550614 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987914725744 139988858433914 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4883] ppid=4867 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 21503 33554432000 4194304 4196468 140725632426112 139986405943776 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4884] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 21503 33554432000 4194304 4196468 140725632426112 139987913673648 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87408 KiB

[startup+0.311872 s]*
/proc/loadavg: 2.61 2.20 2.10 3/235 4884
/proc/meminfo: memFree=13028088/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404550607 115843072 349 33554432000 4194304 5098028 140721414136544 140721414133800 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 349 296 221 0 87 0
[pid=4870] ppid=4867 vsize=15012696 memory=90220 CPUtime=0.43 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4867 3344 0 -1 1077944320 12593 0 0 0 39 4 0 0 20 0 15 0 404550607 15373000704 22555 33554432000 4194304 4196468 140725632426112 140725632408656 139988880305911 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
/proc/4870/statm: 3753174 22555 3072 1 0 3715579 0
[pid=4870/tid=4871] ppid=4867 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/4870/task/4871/stat : 4871 (java) R 4867 4867 3344 0 -1 4202560 10125 0 0 0 27 3 0 0 20 0 15 0 404550607 15373000704 22555 33554432000 4194304 4196468 140725632426112 139988852135984 139988861869471 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4872] ppid=4867 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 22555 33554432000 4194304 4196468 140725632426112 139988884547984 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4873] ppid=4867 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 22555 33554432000 4194304 4196468 140725632426112 139988698704144 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4874] ppid=4867 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 22555 33554432000 4194304 4196468 140725632426112 139988697651856 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4875] ppid=4867 vsize=15012696 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15373000704 22555 33554432000 4194304 4196468 140725632426112 139988696599056 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4876] ppid=4867 vsize=15012696 memory=7684433391216329786 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550610 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987917884016 139988880317058 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4877] ppid=4867 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987412575520 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4878] ppid=4867 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404550611 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987278354032 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4879] ppid=4867 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550613 15373000704 22555 33554432000 4194304 4196468 140725632426112 139986903849552 139988880324507 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4880] ppid=4867 vsize=15012696 memory=-7384621950708166502 CPUtime=0.02 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4867 3344 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 404550613 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987916830832 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4881] ppid=4867 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4867 3344 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 15 0 404550614 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987915778032 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4882] ppid=4867 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4867 3344 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 15 0 404550614 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987914725744 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4883] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 22555 33554432000 4194304 4196468 140725632426112 139986405943776 139988880316117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4884] ppid=4867 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550614 15373000704 22555 33554432000 4194304 4196468 140725632426112 139987913673648 139988880317058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91616 KiB

[startup+0.701737 s]
/proc/loadavg: 2.61 2.20 2.10 3/235 4884
/proc/meminfo: memFree=13006744/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404550607 115843072 349 33554432000 4194304 5098028 140721414136544 140721414133800 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 349 296 221 0 87 0
[pid=4870] ppid=4867 vsize=15018968 memory=129920 CPUtime=1.05 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4867 3344 0 -1 1077944320 20223 0 0 0 99 6 0 0 20 0 15 0 404550607 15379423232 32480 33554432000 4194304 4196468 140725632426112 140725632408656 139988880305911 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
/proc/4870/statm: 3754742 32480 3182 1 0 3716091 0
[pid=4870/tid=4871] ppid=4867 vsize=15018968 memory=297312208 CPUtime=0.68 cores=1,3,5,7
/proc/4870/task/4871/stat : 4871 (java) R 4867 4867 3344 0 -1 4202560 17153 0 0 0 63 5 0 0 20 0 15 0 404550607 15379423232 32480 33554432000 4194304 4196468 140725632426112 139988852135984 139988371220085 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4872] ppid=4867 vsize=15018968 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15379423232 32480 33554432000 4194304 4196468 140725632426112 139988884547984 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4873] ppid=4867 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15379423232 32480 33554432000 4194304 4196468 140725632426112 139988698704144 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4874] ppid=4867 vsize=15018968 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550609 15379423232 32480 33554432000 4194304 4196468 140725632426112 139988697651856 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4875] ppid=4867 vsize=15018968 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404550609 15379423232 32480 33554432000 4194304 4196468 140725632426112 139988696599056 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4876] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4867 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404550610 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987917884016 139988880317058 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4877] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404550611 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987412575520 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4878] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404550611 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987278354032 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4879] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550613 15379423232 32480 33554432000 4194304 4196468 140725632426112 139986903849552 139988880324507 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4880] ppid=4867 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) R 4867 4867 3344 0 -1 4202560 687 0 0 0 8 0 0 0 20 0 15 0 404550613 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987916820304 139988873490691 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4881] ppid=4867 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) R 4867 4867 3344 0 -1 4202560 363 0 0 0 9 0 0 0 20 0 15 0 404550614 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987915764880 139988861005454 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4882] ppid=4867 vsize=15018968 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4867 3344 0 -1 4202560 670 0 0 0 17 0 0 0 20 0 15 0 404550614 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987914725872 139988872547301 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4883] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404550614 15379423232 32480 33554432000 4194304 4196468 140725632426112 139986405943776 139988880316117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
[pid=4870/tid=4884] ppid=4867 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404550614 15379423232 32480 33554432000 4194304 4196468 140725632426112 139987913673648 139988880317058 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27475968 140725632434986 140725632435354 140725632435354 140725632438223 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131316 KiB

[startup+1.50088 s]
/proc/loadavg: 2.61 2.20 2.10 5/235 4884
/proc/meminfo: memFree=12960812/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 557 321 0 0 0 0 0 0 20 0 1 0 404550607 115843072 349 33554432000 4194304 5098028 140721414136544 140721414133800 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 349 296 221 0 87 0

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

/proc/4885/task/4904/stat : 4904 (java) S 4867 4867 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329600663056 140332741211293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4905] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4905/stat : 4905 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404551734 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330137541936 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
Current children cumulated CPU time: 23.22 s
Current children cumulated vsize: 8332592 KiB
Current children cumulated memory: 240620 KiB

[startup+13.6009 s]
/proc/loadavg: 2.40 2.17 2.09 3/240 4905
/proc/meminfo: memFree=12852432/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1476 CPUtime=20.45 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 584 34233 0 0 0 0 1982 63 20 0 1 0 404550607 115843072 369 33554432000 4194304 5098028 140721414136544 140721414133288 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 369 311 221 0 87 0
[pid=4885] ppid=4867 vsize=8068440 memory=120232 CPUtime=1.22 cores=1,3,5,7
/proc/4885/stat : 4885 (java) S 4867 4867 3344 0 -1 1077944320 20961 0 0 0 115 7 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140723306002688 140332741189367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
/proc/4885/statm: 2017110 30058 3206 1 0 1978454 0
[pid=4900] ppid=4885 vsize=151764 memory=119940 CPUtime=2.36 cores=1,3,5,7
/proc/4900/stat : 4900 (cryptominisat5) R 4885 4867 3344 0 -1 4202496 27721 0 0 0 232 4 0 0 20 0 1 0 404551730 155406336 29985 33554432000 4194304 4451008 140727929946048 140727929941976 140354235434252 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 14553088 140727929947069 140727929947200 140727929947200 140727929950150 0
/proc/4900/statm: 37941 29985 644 63 0 31668 0
[pid=4885/tid=4886] ppid=4867 vsize=8068440 memory=1412 CPUtime=0.77 cores=1,3,5,7
/proc/4885/task/4886/stat : 4886 (java) S 4867 4867 3344 0 -1 1077944384 17901 0 0 0 71 6 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332713029536 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4887] ppid=4867 vsize=8068440 memory=2516 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4887/stat : 4887 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332745431568 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4888] ppid=4867 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4888/stat : 4888 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332226304656 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4889] ppid=4867 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4889/stat : 4889 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332225251600 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4890] ppid=4867 vsize=8068440 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4890/stat : 4890 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332224199056 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4891] ppid=4867 vsize=8068440 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4891/stat : 4891 (java) S 4867 4867 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332053424880 140332741200514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4892] ppid=4867 vsize=8068440 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4892/stat : 4892 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331546830496 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4893] ppid=4867 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4893/stat : 4893 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331278394608 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4894] ppid=4867 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4894/stat : 4894 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330903886288 140332741207963 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4895] ppid=4867 vsize=8068440 memory=668 CPUtime=0.1 cores=1,3,5,7
/proc/4885/task/4895/stat : 4895 (java) S 4867 4867 3344 0 -1 1077944384 732 0 0 0 10 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332052371696 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4896] ppid=4867 vsize=8068440 memory=1232 CPUtime=0.09 cores=1,3,5,7
/proc/4885/task/4896/stat : 4896 (java) S 4867 4867 3344 0 -1 1077944384 314 0 0 0 9 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332051319152 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4897] ppid=4867 vsize=8068440 memory=1064 CPUtime=0.22 cores=1,3,5,7
/proc/4885/task/4897/stat : 4897 (java) S 4867 4867 3344 0 -1 1077944384 623 0 0 0 22 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332050266096 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4898] ppid=4867 vsize=8068440 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4898/stat : 4898 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330405980512 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4899] ppid=4867 vsize=8068440 memory=20536 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4899/stat : 4899 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332049214512 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4901] ppid=4867 vsize=8068440 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4901/stat : 4901 (java) S 4867 4867 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404551730 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332041180992 140332741213977 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4903] ppid=4867 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4903/stat : 4903 (java) S 4867 4867 3344 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329869098896 140332741211293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4904] ppid=4867 vsize=8068440 memory=520 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4904/stat : 4904 (java) S 4867 4867 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329600663056 140332741211293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4905] ppid=4867 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4905/stat : 4905 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404551734 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330137541936 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
Current children cumulated CPU time: 24.03 s
Current children cumulated vsize: 8333332 KiB
Current children cumulated memory: 241648 KiB

[startup+14.4009 s]
/proc/loadavg: 2.40 2.17 2.09 3/240 4905
/proc/meminfo: memFree=12851556/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1476 CPUtime=20.45 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 584 34233 0 0 0 0 1982 63 20 0 1 0 404550607 115843072 369 33554432000 4194304 5098028 140721414136544 140721414133288 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 369 311 221 0 87 0
[pid=4885] ppid=4867 vsize=8068440 memory=120232 CPUtime=1.22 cores=1,3,5,7
/proc/4885/stat : 4885 (java) S 4867 4867 3344 0 -1 1077944320 20963 0 0 0 115 7 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140723306002688 140332741189367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
/proc/4885/statm: 2017110 30058 3206 1 0 1978454 0
[pid=4900] ppid=4885 vsize=152612 memory=120960 CPUtime=3.16 cores=1,3,5,7
/proc/4900/stat : 4900 (cryptominisat5) R 4885 4867 3344 0 -1 4202496 28229 0 0 0 312 4 0 0 20 0 1 0 404551730 156274688 30240 33554432000 4194304 4451008 140727929946048 140727929941976 140354235441804 0 4 0 2 0 0 0 17 3 0 0 0 0 0 6549032 6559120 14553088 140727929947069 140727929947200 140727929947200 140727929950150 0
/proc/4900/statm: 38153 30240 644 63 0 31880 0
[pid=4885/tid=4886] ppid=4867 vsize=8068440 memory=-3622645143214314312 CPUtime=0.77 cores=1,3,5,7
/proc/4885/task/4886/stat : 4886 (java) S 4867 4867 3344 0 -1 1077944384 17901 0 0 0 71 6 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332713029536 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4887] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4887/stat : 4887 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332745431568 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4888] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4888/stat : 4888 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332226304656 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4889] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4889/stat : 4889 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332225251600 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4890] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4890/stat : 4890 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332224199056 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4891] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4891/stat : 4891 (java) S 4867 4867 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332053424880 140332741200514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4892] ppid=4867 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4892/stat : 4892 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331546830496 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4893] ppid=4867 vsize=8068440 memory=37116 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4893/stat : 4893 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331278394608 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4894] ppid=4867 vsize=8068440 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4894/stat : 4894 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330903886288 140332741207963 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4895] ppid=4867 vsize=8068440 memory=2008 CPUtime=0.1 cores=1,3,5,7
/proc/4885/task/4895/stat : 4895 (java) S 4867 4867 3344 0 -1 1077944384 732 0 0 0 10 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332052371696 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4896] ppid=4867 vsize=8068440 memory=1436 CPUtime=0.09 cores=1,3,5,7
/proc/4885/task/4896/stat : 4896 (java) S 4867 4867 3344 0 -1 1077944384 314 0 0 0 9 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332051319152 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4897] ppid=4867 vsize=8068440 memory=4164 CPUtime=0.22 cores=1,3,5,7
/proc/4885/task/4897/stat : 4897 (java) S 4867 4867 3344 0 -1 1077944384 623 0 0 0 22 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332050266096 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4898] ppid=4867 vsize=8068440 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4898/stat : 4898 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330405980512 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4899] ppid=4867 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4899/stat : 4899 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332049214512 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4901] ppid=4867 vsize=8068440 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4901/stat : 4901 (java) S 4867 4867 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404551730 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332041180992 140332741213977 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4903] ppid=4867 vsize=8068440 memory=20536 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4903/stat : 4903 (java) S 4867 4867 3344 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329869098896 140332741211293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4904] ppid=4867 vsize=8068440 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4904/stat : 4904 (java) S 4867 4867 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329600663056 140332741211293 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4905] ppid=4867 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4905/stat : 4905 (java) S 4867 4867 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404551734 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330137541936 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
Current children cumulated CPU time: 24.83 s
Current children cumulated vsize: 8334180 KiB
Current children cumulated memory: 242668 KiB

[startup+14.6009 s]
/proc/loadavg: 2.40 2.17 2.09 3/240 4905
/proc/meminfo: memFree=12851556/32770624 swapFree=66939824/67108860
[pid=4867] ppid=4864 vsize=113128 memory=1476 CPUtime=20.45 cores=1,3,5,7
/proc/4867/stat : 4867 (scop.sh) S 4864 4867 3344 0 -1 4202496 584 34233 0 0 0 0 1982 63 20 0 1 0 404550607 115843072 369 33554432000 4194304 5098028 140721414136544 140721414133288 139743078597244 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36773888 140721414140771 140721414141040 140721414141040 140721414143949 0
/proc/4867/statm: 28282 369 311 221 0 87 0
[pid=4885] ppid=4867 vsize=8068440 memory=120232 CPUtime=1.23 cores=1,3,5,7
/proc/4885/stat : 4885 (java) S 4867 4867 3344 0 -1 1077944320 20974 0 0 0 115 8 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140723306002688 140332741189367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
/proc/4885/statm: 2017110 30058 3206 1 0 1978454 0
[pid=4885/tid=4886] ppid=4867 vsize=8068440 memory=3688 CPUtime=0.77 cores=1,3,5,7
/proc/4885/task/4886/stat : 4886 (java) S 4867 4867 3344 0 -1 1077944384 17901 0 0 0 71 6 0 0 20 0 19 0 404551657 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332713029536 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4887] ppid=4867 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4887/stat : 4887 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332745431568 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4888] ppid=4867 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4888/stat : 4888 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332226304656 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4889] ppid=4867 vsize=8068440 memory=804 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4889/stat : 4889 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332225251600 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4890] ppid=4867 vsize=8068440 memory=119376 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4890/stat : 4890 (java) S 4867 4867 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404551658 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332224199056 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4891] ppid=4867 vsize=8068440 memory=517504 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4891/stat : 4891 (java) S 4867 4867 3344 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332053424880 140332741200514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4892] ppid=4867 vsize=8068440 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4892/stat : 4892 (java) S 4867 4867 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331546830496 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4893] ppid=4867 vsize=8068440 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4893/stat : 4893 (java) S 4867 4867 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404551660 8262082560 30058 33554432000 4194304 4196468 140723306020144 140331278394608 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4894] ppid=4867 vsize=8068440 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/4885/task/4894/stat : 4894 (java) S 4867 4867 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330903886288 140332741207963 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4895] ppid=4867 vsize=8068440 memory=17668 CPUtime=0.1 cores=1,3,5,7
/proc/4885/task/4895/stat : 4895 (java) S 4867 4867 3344 0 -1 1077944384 732 0 0 0 10 0 0 0 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332052371696 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4896] ppid=4867 vsize=8068440 memory=19876 CPUtime=3.45 cores=1,3,5,7
/proc/4885/task/4896/stat : 4896 (java) S 4867 4867 3344 0 -1 1077944384 314 38324 0 0 9 0 331 5 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332051319152 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4897] ppid=4867 vsize=8068440 memory=22084 CPUtime=3.58 cores=1,3,5,7
/proc/4885/task/4897/stat : 4897 (java) S 4867 4867 3344 0 -1 1077944384 629 38324 0 0 22 0 331 5 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332050266096 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4898] ppid=4867 vsize=8068440 memory=24292 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4898/stat : 4898 (java) S 4867 4867 3344 0 -1 1077944384 3 38324 0 0 0 0 331 5 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330405980512 140332741199573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4899] ppid=4867 vsize=8068440 memory=26500 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4899/stat : 4899 (java) S 4867 4867 3344 0 -1 1077944384 3 38324 0 0 0 0 331 5 20 0 19 0 404551663 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332049214512 140332741200514 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4901] ppid=4867 vsize=8068440 memory=28708 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4901/stat : 4901 (java) R 4867 4867 3344 0 -1 4202560 21 38324 0 0 0 0 331 5 20 0 19 0 404551730 8262082560 30058 33554432000 4194304 4196468 140723306020144 140332041180992 140332733891847 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4903] ppid=4867 vsize=8068440 memory=30916 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4903/stat : 4903 (java) R 4867 4867 3344 0 -1 4202560 9 38324 0 0 0 0 331 5 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329869098864 140332741211293 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4904] ppid=4867 vsize=8068440 memory=9580 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4904/stat : 4904 (java) D 4867 4867 3344 0 -1 4202560 5 38324 0 0 0 0 331 5 20 0 19 0 404551731 8262082560 30058 33554432000 4194304 4196468 140723306020144 140329600674056 140332733906330 0 4 2 25189581 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
[pid=4885/tid=4905] ppid=4867 vsize=8068440 memory=1052 CPUtime=3.36 cores=1,3,5,7
/proc/4885/task/4905/stat : 4905 (java) R 4867 4867 3344 0 -1 4202560 21 38324 0 0 0 0 331 5 20 0 19 0 404551734 8262082560 30058 33554432000 4194304 4196468 140723306020144 140330137541936 140332234790968 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14852096 140723306025980 140723306026138 140723306026138 140723306029007 0
Current children cumulated CPU time: 21.68 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 121708 KiB

Child status: 0
Real time (s): 14.6162
CPU time (s): 25.0904
CPU user time (s): 24.3157
CPU system time (s): 0.774657
CPU usage (%): 171.662
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3044072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.3157
system time used= 0.774657
maximum resident set size= 3044108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6227
involuntary context switches= 54


# summary of solver processes directly reported to runsolver:
#   pid: 4867
#   total CPU time (s): 25.0904
#   total CPU user time (s): 24.3157
#   total CPU system time (s): 0.774657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115679 second user time and 0.195965 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-12 13:05:17
IDJOB=4387621
IDBENCH=120889
IDSOLVER=2826
FILE ID=node119/4387621-1568286357
RUNJOBID= node119-1568285951-4194
PBS_JOBID= 21701084
Free space on /tmp= 52728 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/QueensKnights/QueensKnights-m1-s1/QueensKnights-080-05-add.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-4387621-1568286357/watcher-4387621-1568286357 -o /tmp/evaluation-result-4387621-1568286357/solver-4387621-1568286357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580  HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387621-1568286357.xml

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

MD5SUM BENCH= 18e8c61317b2c078d14d7e9ead8d31e0
RANDOM SEED=1707161311

node119.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:        13108672 kB
MemAvailable:   30501256 kB
Buffers:          185584 kB
Cached:         17283052 kB
SwapCached:        61084 kB
Active:          3829668 kB
Inactive:       15001996 kB
Active(anon):    1306796 kB
Inactive(anon):    98052 kB
Active(file):    2522872 kB
Inactive(file): 14903944 kB
Unevictable:      106656 kB
Mlocked:          106656 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             20288 kB
Writeback:             0 kB
AnonPages:       1355336 kB
Mapped:            56008 kB
Shmem:             32808 kB
Slab:             423200 kB
SReclaimable:     394228 kB
SUnreclaim:        28972 kB
KernelStack:        4096 kB
PageTables:         8336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7300608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    665600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 52708 MiB
End job on node119 at 2019-09-12 13:05:32