Trace number 4387669

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 114.515 94.3618

General information on the benchmark

NameRandom/Random-D-t090/
rand-2-40-180-84-090-90.xml
MD5SUMb787e2fb655876ad1ad352aa15cc79d3
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 benchmark0.914535
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Number of domains1
Minimum domain size180
Maximum domain size180
Distribution of domain sizes[{"size":180,"count":40}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":8},{"degree":3,"count":6},{"degree":4,"count":5},{"degree":5,"count":8},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":84}]
Number of extensional constraints84
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":84}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	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-6739-serial-file.bin HOME/instance-4387669-1568287597.xml
0.64/0.55	
0.64/0.55	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.64/0.55	
0.64/0.58	c BEGIN-Prog: Thu Sep 12 13:25:58 CEST 2019
0.64/0.58	c PID: 6742
0.64/0.58	c IP: 172.20.3.124
0.64/0.58	c HOST: node124.alineos.net
0.64/0.59	c (0,0) Parsing Begin
2.78/1.42	c (0,0) Parsing End
2.78/1.43	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 84 ctr, max domain size 180
2.78/1.43	c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.78/1.43	c (0,0) Constraint Name Generate Begin
2.78/1.43	c (0,0) Ctr:HOME/instance-4387669-1568287597.xml,ExtensionSupport:Var
2.78/1.43	c (0,0) Constraint Name Generate End
2.78/1.43	c (0,0) Heap : 450 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.78/1.43	c (0,0) CSP to CSPinCNF Begin
13.35/5.57	c (5,4) translated 9 (10%) constraints
17.18/8.24	c (7,7) translated 17 (20%) constraints
21.12/11.26	c (10,10) translated 26 (30%) constraints
23.91/13.69	c (13,12) translated 34 (40%) constraints
26.50/16.15	c (15,15) translated 42 (50%) constraints
30.21/19.16	c (18,17) translated 51 (60%) constraints
32.64/21.59	c (21,20) translated 59 (70%) constraints
36.59/24.64	c (24,23) translated 68 (80%) constraints
39.02/27.09	c (26,25) translated 76 (90%) constraints
41.56/29.57	c (29,28) translated 84 (100%) constraints
41.87/29.88	c (29,28) ===========================================
41.99/30.00	c (29,28) Hybrid: #OE=15160, #LE=0
41.99/30.00	c (29,28) Hybrid
41.99/30.00	c (29,28) ===========================================
43.92/31.02	c (30,29) translated 51534 (10%) constraints
46.37/32.31	c (31,30) translated 103068 (20%) constraints
47.27/33.24	c (32,31) translated 154601 (30%) constraints
48.20/34.17	c (33,32) translated 206135 (40%) constraints
49.10/35.10	c (34,33) translated 257668 (50%) constraints
50.11/36.03	c (35,34) translated 309202 (60%) constraints
51.00/36.96	c (36,35) translated 360736 (70%) constraints
51.91/37.89	c (37,35) translated 412269 (80%) constraints
52.91/38.82	c (38,36) translated 463803 (90%) constraints
53.87/39.76	c (39,37) translated 515336 (100%) constraints
53.87/39.76	c (39,37) CSP to CSPinCNF End
53.87/39.77	c (39,37) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
53.87/39.77	c (39,37) Heap : 2670 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
53.87/39.77	c (39,37) CSPinCNF Propagation Begin
57.80/41.85	c (41,39) 0 values, 84 unsatisfiable literals, and 0 valid clauses are removed
57.80/41.85	c (41,39) CSPinCNF Propagation End
57.80/41.86	c (41,39) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
57.80/41.86	c (41,39) Heap : 2198 MiB used (max 10727 MiB), NonHeap : 28 MiB used (max 0 MiB)
57.92/41.96	c (41,39) Hybrid: #OE=15160, #LE=0
57.92/41.96	c (41,39) Simplify CSPinCNF Begin
58.64/42.55	c (41,40) Simplify CSPinCNF End
58.64/42.55	c (41,40) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
58.64/42.55	c (41,40) Heap : 2701 MiB used (max 10727 MiB), NonHeap : 28 MiB used (max 0 MiB)
58.64/42.55	c (41,40) Calculate Precise Domain Begin
58.64/42.55	c (41,40) 0 values are removed by re-calculation
58.64/42.55	c (41,40) Calculate Precise Domain End
58.64/42.56	c (42,40) CSP: 40 int (0 aux), 15120 bool (15120 aux), 515336 ctr, max domain size 180
58.64/42.56	c (42,40) Heap : 2701 MiB used (max 10727 MiB), NonHeap : 28 MiB used (max 0 MiB)
58.64/42.56	c (42,40) CSPinCNF to SatSolver Begin
60.96/43.40	c (42,41) 51534 (10 %) CSP clauses are encoded (0 SAT variables, 58653 SAT clauses)
62.70/44.14	c (43,41) 103068 (20 %) CSP clauses are encoded (0 SAT variables, 110187 SAT clauses)
63.10/44.54	c (43,41) 154601 (30 %) CSP clauses are encoded (0 SAT variables, 161720 SAT clauses)
63.51/44.95	c (44,42) 206135 (40 %) CSP clauses are encoded (0 SAT variables, 213254 SAT clauses)
63.92/45.35	c (44,42) 257668 (50 %) CSP clauses are encoded (0 SAT variables, 264787 SAT clauses)
64.32/45.75	c (45,43) 309202 (60 %) CSP clauses are encoded (0 SAT variables, 316321 SAT clauses)
64.74/46.15	c (45,43) 360736 (70 %) CSP clauses are encoded (0 SAT variables, 367855 SAT clauses)
65.13/46.55	c (45,43) 412269 (80 %) CSP clauses are encoded (0 SAT variables, 419388 SAT clauses)
66.75/47.26	c (46,44) 463803 (90 %) CSP clauses are encoded (0 SAT variables, 470922 SAT clauses)
67.15/47.66	c (47,44) 515336 (100 %) CSP clauses are encoded (0 SAT variables, 522455 SAT clauses)
67.15/47.66	c (47,44) CSPinCNF to SatSolver End
67.15/47.66	c (47,44) Heap : 1109 MiB used (max 10699 MiB), NonHeap : 29 MiB used (max 0 MiB)
67.15/47.66	c (47,44) 22280 bool, 522456 clause
67.15/47.66	c (47,44) Export Begin
67.28/47.75	c (47,44) Export to HOME/scop-6739-serial-file.bin
67.28/47.75	c (47,44) Export End
67.28/47.75	c (47,44) Export File Size: 0.01 MB
67.28/47.75	c (47,44) 0,0,39,41,41,42,47,STOP-AFTER(DIMACS)
67.28/47.75	c END-Prog: Thu Sep 12 13:26:45 CEST 2019
67.28/47.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6739-serial-file.bin
67.97/48.24	c (0,0) Read Serial File Begin
67.97/48.24	c (0,0) HOME/scop-6739-serial-file.bin
68.26/48.45	c (0,0) Read Serial File End
68.26/48.46	
68.26/48.46	Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
68.26/48.46	(Solving Process)
68.26/48.46	
68.26/48.48	c BEGIN-Prog: Thu Sep 12 13:26:46 CEST 2019
68.26/48.48	c PID: 6759
68.26/48.48	c IP: 172.20.3.124
68.26/48.48	c HOST: node124.alineos.net
68.26/48.49	c (0,0) SatSolver.solve Begin
68.26/48.49	c (0,0) HOME/cryptominisat5  HOME/instance-4387669-1568287597.xml-scop-6742.cnf
68.42/48.52	c (0,0) c Outputting solution to console
68.42/48.52	c (0,0) c CryptoMiniSat version 5.6.8
68.42/48.52	c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
68.42/48.52	c (0,0) c CMS SHA revision GIT-notfound
68.42/48.52	c (0,0) c CMS is MIT licensed
68.42/48.52	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
68.42/48.52	c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
68.42/48.52	c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387669-1568287597.xml-scop-6742.cnf
68.42/48.52	c (0,0) c Reading file 'HOME/instance-4387669-1568287597.xml-scop-6742.cnf'
68.42/48.52	c (0,0) c -- header says num vars:          22280
68.42/48.52	c (0,0) c -- header says num clauses:      522456
68.59/48.70	c (0,0) c -- clauses added: 522456
68.59/48.70	c (0,0) c -- xor clauses added: 0
68.59/48.70	c (0,0) c -- vars added 22280
68.59/48.70	c (0,0) c Parsing time: 0.16 s
68.59/48.78	c (0,0) c   type VSIDS  rest  conf freevar  IrrL  IrrB l/longC  l/allC RedL0 RedL1 RedL2  RedB l/longC  l/allC
68.59/48.80	c (0,0) c [distill] long cls tried: 15/15 cl-short:15 lit-r:134 T: 0.01 T-out: N T-r: 99.85%
70.37/50.35	c (2,0) c [distill] long cls tried: 507/483 cl-short:507 lit-r:10474 T: 0.29 T-out: N T-r: 96.90%
72.57/52.54	c (4,0) c [distill] long cls tried: 799/1233 cl-short:799 lit-r:11096 T: 0.46 T-out: N T-r: 95.29%
73.09/53.04	c (4,0) c   glue     1    35  8193   22280  484K   37K    3.03    2.96  1413  3389  3561   208   82.59   80.64
76.19/56.15	c (7,0) c [distill] long cls tried: 2374/3526 cl-short:2374 lit-r:45387 T: 1.59 T-out: N T-r: 83.62%
78.49/58.41	c (10,0) c   geom     1    76 16386   22280  484K   37K    3.03    2.96  4597  6532  5740   365   77.19   75.59
79.49/59.46	c (11,0) c [distill] long cls tried: 1205/4668 cl-short:1205 lit-r:15131 T: 0.75 T-out: N T-r: 92.19%
85.39/65.39	c (17,0) c [distill] long cls tried: 3202/7702 cl-short:3202 lit-r:64726 T: 2.34 T-out: N T-r: 77.04%
85.99/65.94	c (17,0) c   glue     1   105   24K   22280  484K   37K    3.03    2.96  7844  7819  9542   713   76.47   74.42
92.20/72.14	c (23,0) c [distill] long cls tried: 3461/11001 cl-short:3461 lit-r:53281 T: 2.71 T-out: N T-r: 73.95%
92.69/72.69	c (24,0) c   glue     1   137   32K   22280  484K   37K    3.03    2.96 11197 10824 10430   968   73.52   71.44
97.30/77.22	c (29,0) c   glue     1   171   40K   22280  484K   37K    3.03    2.96 14459  8913 17660  1068   75.00   73.15
100.21/80.14	c (31,0) c [distill] long cls tried: 3469/14143 cl-short:3428 lit-r:45478 T: 2.86 T-out: N T-r: 74.22%
104.60/84.53	c (36,0) c   glue     1   193   49K   22269  484K   37K    3.03    2.96 16062 13733 17309  1467   74.14   71.96
110.01/89.94	c (41,0) c [distill] long cls tried: 4318/17941 cl-short:4249 lit-r:60818 T: 3.43 T-out: N T-r: 69.41%
112.71/92.66	c (44,0) c   geom     1   215   57K   22214  484K   37K    3.03    2.96 18745 12057   24K  2010   71.37   68.94
114.41/94.33	c (46,0) c ------- FINAL TOTAL SEARCH STATS ---------
114.41/94.33	c (46,0) c UIP search time          : 45.58       (99.65     % time)
114.41/94.33	c (46,0) c restarts                 : 219         (275.05    confls per restart)
114.41/94.33	c (46,0) c blocked restarts         : 280         (1.28      per normal restart)
114.41/94.33	c (46,0) c time                     : 45.58       
114.41/94.33	c (46,0) c decisions                : 115304      (0.00      % random)
114.41/94.33	c (46,0) c propagations             : 100936038   
114.41/94.33	c (46,0) c decisions/conflicts      : 1.91        
114.41/94.33	c (46,0) c conflicts                : 60236       (1321.56   / sec)
114.41/94.33	c (46,0) c conf lits non-minim      : 6205517     (103.02    lit/confl)
114.41/94.33	c (46,0) c conf lits final          : 80.51       
114.41/94.33	c (46,0) c cache hit re-learnt cl   : 0           (0.00      % of confl)
114.41/94.33	c (46,0) c red which0               : 10538       (17.49     % of confl)
114.41/94.33	c (46,0) c props/decision           : 0.00        
114.41/94.33	c (46,0) c props/conflict           : 0.00        
114.41/94.33	c (46,0) c 0-depth assigns          : 1119        (5.02      % vars)
114.41/94.34	c (46,0) c 0-depth assigns by CNF   : 0           (0.00      % vars)
114.41/94.34	c (46,0) c reduceDB time            : 0.02        (0.04      % time)
114.41/94.34	c (46,0) c OccSimplifier time       : 0.00        (0.00      % time)
114.41/94.34	c (46,0) c [occur] 0.00 is overhead
114.41/94.34	c (46,0) c [occur] link-in T: 0.00 cleanup T: 0.00
114.41/94.34	c (46,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
114.41/94.34	c (46,0) c SCC time                 : 0.00        (0.00      % time)
114.41/94.34	c (46,0) c [scc] new: 0 BP 0M  T: 0.00
114.41/94.34	c (46,0) c vrep replace time        : 0.00        (0.00      % time)
114.41/94.34	c (46,0) c vrep tree roots          : 0           
114.41/94.34	c (46,0) c vrep trees' crown        : 0           (0.00      leafs/tree)
114.41/94.34	c (46,0) c distill time             : 14.44       (31.57     % time)
114.41/94.34	c (46,0) c strength cache-irred time: 0.00        (0.00      % time)
114.41/94.34	c (46,0) c strength cache-red time  : 0.00        (0.00      % time)
114.41/94.34	c (46,0) c Conflicts in UIP         : 60236       (1316.92   confl/time_this_thread)
114.41/94.34	c (46,0) c Mem used                 : 89.28       MB
114.41/94.34	c (46,0) c Total time (this thread) : 45.74       
114.41/94.34	c (46,0) s UNSATISFIABLE
114.41/94.35	c (46,0) SatSolver.solve End
114.41/94.35	c (46,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
114.41/94.35	c (46,0) Show results Begin
114.41/94.35	s UNSATISFIABLE
114.41/94.35	c (46,0) Show results End
114.41/94.35	c (46,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
114.41/94.35	c (46,0) 46,46,STOP-AFTER(ALL)
114.41/94.35	c END-Prog: Thu Sep 12 13:27: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 (7669 MiB free)
  memory of node 1: 16384 MiB (8770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387669-1568287597/watcher-4387669-1568287597 -o /tmp/evaluation-result-4387669-1568287597/solver-4387669-1568287597 -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-4387669-1568287597.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=6739, runsolver pid=6736

[startup+0.100092 s]*
/proc/loadavg: 3.77 3.76 2.88 3/234 6756
/proc/meminfo: memFree=16777848/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 555 321 0 1 0 0 0 0 20 0 1 0 404699921 115843072 349 33554432000 4194304 5098028 140736181970992 140736181968248 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 349 296 221 0 87 0
[pid=6742] ppid=6739 vsize=15012696 memory=66208 CPUtime=0.08 cores=0,2,4,6
/proc/6742/stat : 6742 (java) S 6739 6739 5595 0 -1 1077944320 6374 0 0 0 6 2 0 0 20 0 15 0 404699924 15373000704 16552 33554432000 4194304 4196468 140727822171136 140727822153680 140055696891639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
/proc/6742/statm: 3753174 16552 2732 1 0 3715579 0
[pid=6742/tid=6743] ppid=6739 vsize=15012696 memory=-2843869621004387486 CPUtime=0.06 cores=0,2,4,6
/proc/6742/task/6743/stat : 6743 (java) R 6739 6739 5595 0 -1 4202560 4484 0 0 0 5 1 0 0 20 0 15 0 404699924 15373000704 16552 33554432000 4194304 4196468 140727822171136 140055668717968 140055696913565 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6744] ppid=6739 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6744/stat : 6744 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 16552 33554432000 4194304 4196468 140727822171136 140055701133712 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6745] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6745/stat : 6745 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 16552 33554432000 4194304 4196468 140727822171136 140055158061328 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6746] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6746/stat : 6746 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 16552 33554432000 4194304 4196468 140727822171136 140055157009040 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6747] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6747/stat : 6747 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 16552 33554432000 4194304 4196468 140727822171136 140055155956240 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6748] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6748/stat : 6748 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699927 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054734559856 140055696902786 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6749] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6749/stat : 6749 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054253004064 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6750] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6750/stat : 6750 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 16552 33554432000 4194304 4196468 140727822171136 140053984568944 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6751] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6751/stat : 6751 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699930 15373000704 16552 33554432000 4194304 4196468 140727822171136 140053610060368 140055696910235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6752] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6752/stat : 6752 (java) S 6739 6739 5595 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054733506672 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6753] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6753/stat : 6753 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054732453872 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6754] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6754/stat : 6754 (java) S 6739 6739 5595 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054731401584 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6755] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6755/stat : 6755 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 16552 33554432000 4194304 4196468 140727822171136 140053112154592 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6756] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6756/stat : 6756 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 16552 33554432000 4194304 4196468 140727822171136 140054730349488 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 67604 KiB

[startup+0.210618 s]*
/proc/loadavg: 3.77 3.76 2.88 4/234 6756
/proc/meminfo: memFree=16755368/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 555 321 0 1 0 0 0 0 20 0 1 0 404699921 115843072 349 33554432000 4194304 5098028 140736181970992 140736181968248 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 349 296 221 0 87 0
[pid=6742] ppid=6739 vsize=15012696 memory=88268 CPUtime=0.22 cores=0,2,4,6
/proc/6742/stat : 6742 (java) S 6739 6739 5595 0 -1 1077944320 12081 0 0 0 18 4 0 0 20 0 15 0 404699924 15373000704 22067 33554432000 4194304 4196468 140727822171136 140727822153680 140055696891639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
/proc/6742/statm: 3753174 22067 2933 1 0 3715579 0
[pid=6742/tid=6743] ppid=6739 vsize=15012696 memory=7022364632946311227 CPUtime=0.18 cores=0,2,4,6
/proc/6742/task/6743/stat : 6743 (java) R 6739 6739 5595 0 -1 4202560 9811 0 0 0 15 3 0 0 20 0 15 0 404699924 15373000704 22067 33554432000 4194304 4196468 140727822171136 140055668691024 140055680972126 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6744] ppid=6739 vsize=15012696 memory=397 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6744/stat : 6744 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 22067 33554432000 4194304 4196468 140727822171136 140055701133712 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6745] ppid=6739 vsize=15012696 memory=140057290543447 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6745/stat : 6745 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 22067 33554432000 4194304 4196468 140727822171136 140055158061328 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6746] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6746/stat : 6746 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 22067 33554432000 4194304 4196468 140727822171136 140055157009040 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6747] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6747/stat : 6747 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 22067 33554432000 4194304 4196468 140727822171136 140055155956240 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6748] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6748/stat : 6748 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699927 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054734559856 140055696902786 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6749] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6749/stat : 6749 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054253004064 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6750] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6750/stat : 6750 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 22067 33554432000 4194304 4196468 140727822171136 140053984568944 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6751] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6751/stat : 6751 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699930 15373000704 22067 33554432000 4194304 4196468 140727822171136 140053610060368 140055696910235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6752] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6752/stat : 6752 (java) R 6739 6739 5595 0 -1 4202560 325 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054733506672 140055682309584 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6753] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6753/stat : 6753 (java) R 6739 6739 5595 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054732453872 140055696902786 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6754] ppid=6739 vsize=15012696 memory=140057290532480 CPUtime=0.02 cores=0,2,4,6
/proc/6742/task/6754/stat : 6754 (java) R 6739 6739 5595 0 -1 4202560 483 0 0 0 2 0 0 0 20 0 15 0 404699931 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054731401584 140055689996277 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6755] ppid=6739 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6755/stat : 6755 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 22067 33554432000 4194304 4196468 140727822171136 140053112154592 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6756] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6756/stat : 6756 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 22067 33554432000 4194304 4196468 140727822171136 140054730349488 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89664 KiB

[startup+0.310749 s]*
/proc/loadavg: 3.77 3.76 2.88 3/234 6756
/proc/meminfo: memFree=16752296/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 555 321 0 1 0 0 0 0 20 0 1 0 404699921 115843072 349 33554432000 4194304 5098028 140736181970992 140736181968248 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 349 296 221 0 87 0
[pid=6742] ppid=6739 vsize=15012696 memory=92984 CPUtime=0.4 cores=0,2,4,6
/proc/6742/stat : 6742 (java) S 6739 6739 5595 0 -1 1077944320 12745 0 0 0 36 4 0 0 20 0 15 0 404699924 15373000704 23246 33554432000 4194304 4196468 140727822171136 140727822153680 140055696891639 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
/proc/6742/statm: 3753174 23246 3050 1 0 3715579 0
[pid=6742/tid=6743] ppid=6739 vsize=15012696 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/6742/task/6743/stat : 6743 (java) R 6739 6739 5595 0 -1 4202560 10148 0 0 0 24 3 0 0 20 0 15 0 404699924 15373000704 23246 33554432000 4194304 4196468 140727822171136 140055668685744 140055678455195 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6744] ppid=6739 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6744/stat : 6744 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 23246 33554432000 4194304 4196468 140727822171136 140055701133712 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6745] ppid=6739 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6745/stat : 6745 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 23246 33554432000 4194304 4196468 140727822171136 140055158061328 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6746] ppid=6739 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6746/stat : 6746 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 23246 33554432000 4194304 4196468 140727822171136 140055157009040 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6747] ppid=6739 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6747/stat : 6747 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15373000704 23246 33554432000 4194304 4196468 140727822171136 140055155956240 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6748] ppid=6739 vsize=15012696 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6748/stat : 6748 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699927 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054734559856 140055696902786 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6749] ppid=6739 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6749/stat : 6749 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054253004064 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6750] ppid=6739 vsize=15012696 memory=-6516833586042938556 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6750/stat : 6750 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699928 15373000704 23246 33554432000 4194304 4196468 140727822171136 140053984568944 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6751] ppid=6739 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6751/stat : 6751 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699930 15373000704 23246 33554432000 4194304 4196468 140727822171136 140053610060368 140055696910235 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6752] ppid=6739 vsize=15012696 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6742/task/6752/stat : 6752 (java) S 6739 6739 5595 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 15 0 404699931 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054733506672 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6753] ppid=6739 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6742/task/6753/stat : 6753 (java) S 6739 6739 5595 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 404699931 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054732453872 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6754] ppid=6739 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6742/task/6754/stat : 6754 (java) S 6739 6739 5595 0 -1 1077944384 617 0 0 0 7 0 0 0 20 0 15 0 404699931 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054731401584 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6755] ppid=6739 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6755/stat : 6755 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 23246 33554432000 4194304 4196468 140727822171136 140053112154592 140055696901845 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6756] ppid=6739 vsize=15012696 memory=3906086737275926319 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6756/stat : 6756 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699931 15373000704 23246 33554432000 4194304 4196468 140727822171136 140054730349488 140055696902786 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 94380 KiB

[startup+0.701364 s]
/proc/loadavg: 3.77 3.76 2.88 3/234 6756
/proc/meminfo: memFree=16731044/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 555 321 0 1 0 0 0 0 20 0 1 0 404699921 115843072 349 33554432000 4194304 5098028 140736181970992 140736181968248 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 349 296 221 0 87 0
[pid=6742] ppid=6739 vsize=15018968 memory=128388 CPUtime=0.96 cores=0,2,4,6
/proc/6742/stat : 6742 (java) S 6739 6739 5595 0 -1 1077944320 20417 0 0 0 89 7 0 0 20 0 15 0 404699924 15379423232 32097 33554432000 4194304 4196468 140727822171136 140727822153680 140055696891639 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
/proc/6742/statm: 3754742 32097 3181 1 0 3716091 0
[pid=6742/tid=6743] ppid=6739 vsize=15018968 memory=-7082918048272507482 CPUtime=0.65 cores=0,2,4,6
/proc/6742/task/6743/stat : 6743 (java) R 6739 6739 5595 0 -1 4202560 17197 0 0 0 60 5 0 0 20 0 15 0 404699924 15379423232 32097 33554432000 4194304 4196468 140727822171136 140055668726800 140055696913565 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6744] ppid=6739 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6744/stat : 6744 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15379423232 32097 33554432000 4194304 4196468 140727822171136 140055701133712 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6745] ppid=6739 vsize=15018968 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6745/stat : 6745 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699926 15379423232 32097 33554432000 4194304 4196468 140727822171136 140055158061328 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6746] ppid=6739 vsize=15018968 memory=37248 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6746/stat : 6746 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699926 15379423232 32097 33554432000 4194304 4196468 140727822171136 140055157009040 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6747] ppid=6739 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6747/stat : 6747 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404699926 15379423232 32097 33554432000 4194304 4196468 140727822171136 140055155956240 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6748] ppid=6739 vsize=15018968 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6748/stat : 6748 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404699927 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054734559856 140055696902786 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6749] ppid=6739 vsize=15018968 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6749/stat : 6749 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404699928 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054253004064 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6750] ppid=6739 vsize=15018968 memory=580 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6750/stat : 6750 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699928 15379423232 32097 33554432000 4194304 4196468 140727822171136 140053984568944 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6751] ppid=6739 vsize=15018968 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6751/stat : 6751 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699930 15379423232 32097 33554432000 4194304 4196468 140727822171136 140053610060368 140055696910235 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6752] ppid=6739 vsize=15018968 memory=10604 CPUtime=0.05 cores=0,2,4,6
/proc/6742/task/6752/stat : 6752 (java) S 6739 6739 5595 0 -1 1077944384 632 0 0 0 5 0 0 0 20 0 15 0 404699931 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054733506672 140055696902786 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6753] ppid=6739 vsize=15018968 memory=3360 CPUtime=0.08 cores=0,2,4,6
/proc/6742/task/6753/stat : 6753 (java) S 6739 6739 5595 0 -1 1077944384 454 0 0 0 8 0 0 0 20 0 15 0 404699931 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054732453872 140055696902786 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6754] ppid=6739 vsize=15018968 memory=776 CPUtime=0.14 cores=0,2,4,6
/proc/6742/task/6754/stat : 6754 (java) S 6739 6739 5595 0 -1 1077944384 796 0 0 0 14 0 0 0 20 0 15 0 404699931 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054731401584 140055696902786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6755] ppid=6739 vsize=15018968 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6755/stat : 6755 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404699931 15379423232 32097 33554432000 4194304 4196468 140727822171136 140053112154592 140055696901845 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
[pid=6742/tid=6756] ppid=6739 vsize=15018968 memory=5960 CPUtime=0 cores=0,2,4,6
/proc/6742/task/6756/stat : 6756 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404699931 15379423232 32097 33554432000 4194304 4196468 140727822171136 140054730349488 140055696902786 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26320896 140727822172970 140727822173338 140727822173338 140727822176207 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 129784 KiB

[startup+1.50472 s]
/proc/loadavg: 3.77 3.76 2.88 5/234 6756
/proc/meminfo: memFree=16616864/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 555 321 0 1 0 0 0 0 20 0 1 0 404699921 115843072 349 33554432000 4194304 5098028 140736181970992 140736181968248 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 349 296 221 0 87 0

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

Current children cumulated CPU time: 113.71 s
Current children cumulated vsize: 8303772 KiB
Current children cumulated memory: 211568 KiB

[startup+94.001 s]*
/proc/loadavg: 2.36 3.30 2.79 3/239 6783
/proc/meminfo: memFree=16624172/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1476 CPUtime=67.41 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 583 67572 0 1 0 0 6567 174 20 0 1 0 404699921 115843072 369 33554432000 4194304 5098028 140736181970992 140736181967736 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 369 311 221 0 87 0
[pid=6759] ppid=6739 vsize=8068440 memory=119012 CPUtime=1.23 cores=0,2,4,6
/proc/6759/stat : 6759 (java) S 6739 6739 5595 0 -1 1077944320 21225 0 0 0 115 8 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140729797535776 140053482065655 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
/proc/6759/statm: 2017110 29753 3209 1 0 1978454 0
[pid=6774] ppid=6759 vsize=122336 memory=91244 CPUtime=45.48 cores=0,2,4,6
/proc/6774/stat : 6774 (cryptominisat5) R 6759 6739 5595 0 -1 4202496 101447 0 0 0 4541 7 0 0 20 0 1 0 404704773 125272064 22811 33554432000 4194304 4451008 140728580125616 140728580121544 140349673620174 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 39518208 140728580133821 140728580133952 140728580133952 140728580136902 0
/proc/6774/statm: 30584 22811 644 63 0 24311 0
[pid=6759/tid=6760] ppid=6739 vsize=8068440 memory=76504 CPUtime=0.76 cores=0,2,4,6
/proc/6759/task/6760/stat : 6760 (java) S 6739 6739 5595 0 -1 1077944384 18001 0 0 0 71 5 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053453905824 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6761] ppid=6739 vsize=8068440 memory=119636 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6761/stat : 6761 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053486307600 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6762] ppid=6739 vsize=8068440 memory=529420 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6762/stat : 6762 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053315402128 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6763] ppid=6739 vsize=8068440 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6763/stat : 6763 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052965788176 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6764] ppid=6739 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6764/stat : 6764 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052964735632 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6765] ppid=6739 vsize=8068440 memory=90992 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6765/stat : 6765 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404704702 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052928502256 140053482076802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6766] ppid=6739 vsize=8068440 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6766/stat : 6766 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052373956000 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6767] ppid=6739 vsize=8068440 memory=15818902244428187 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6767/stat : 6767 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052105520624 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6768] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6768/stat : 6768 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051731012304 140053482084251 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6769] ppid=6739 vsize=8068440 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6759/task/6769/stat : 6769 (java) S 6739 6739 5595 0 -1 1077944384 737 0 0 0 10 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052927449072 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6770] ppid=6739 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6759/task/6770/stat : 6770 (java) S 6739 6739 5595 0 -1 1077944384 362 0 0 0 9 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052926396528 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6771] ppid=6739 vsize=8068440 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/6759/task/6771/stat : 6771 (java) S 6739 6739 5595 0 -1 1077944384 730 0 0 0 20 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052925343984 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6772] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6772/stat : 6772 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051233106528 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6773] ppid=6739 vsize=8068440 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6759/task/6773/stat : 6773 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052924291888 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6775] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6775/stat : 6775 (java) S 6739 6739 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052916258368 140053482090265 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6777] ppid=6739 vsize=8068440 memory=2320253424298704743 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6777/stat : 6777 (java) S 6739 6739 5595 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050696220784 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6778] ppid=6739 vsize=8068440 memory=7309167735352552301 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6778/stat : 6778 (java) S 6739 6739 5595 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404704774 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050427788560 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6779] ppid=6739 vsize=8068440 memory=11812 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6779/stat : 6779 (java) S 6739 6739 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404704776 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050830449712 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
Current children cumulated CPU time: 114.12 s
Current children cumulated vsize: 8303904 KiB
Current children cumulated memory: 211732 KiB

[startup+94.2011 s]
/proc/loadavg: 2.36 3.30 2.79 3/239 6783
/proc/meminfo: memFree=16624172/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1476 CPUtime=67.41 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 583 67572 0 1 0 0 6567 174 20 0 1 0 404699921 115843072 369 33554432000 4194304 5098028 140736181970992 140736181967736 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 369 311 221 0 87 0
[pid=6759] ppid=6739 vsize=8068440 memory=119012 CPUtime=1.23 cores=0,2,4,6
/proc/6759/stat : 6759 (java) S 6739 6739 5595 0 -1 1077944320 21225 0 0 0 115 8 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140729797535776 140053482065655 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
/proc/6759/statm: 2017110 29753 3209 1 0 1978454 0
[pid=6774] ppid=6759 vsize=122336 memory=91244 CPUtime=45.67 cores=0,2,4,6
/proc/6774/stat : 6774 (cryptominisat5) R 6759 6739 5595 0 -1 4202496 101467 0 0 0 4560 7 0 0 20 0 1 0 404704773 125272064 22811 33554432000 4194304 4451008 140728580125616 140728580121544 140349673620174 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 39518208 140728580133821 140728580133952 140728580133952 140728580136902 0
/proc/6774/statm: 30584 22811 644 63 0 24311 0
[pid=6759/tid=6760] ppid=6739 vsize=8068440 memory=2580 CPUtime=0.76 cores=0,2,4,6
/proc/6759/task/6760/stat : 6760 (java) S 6739 6739 5595 0 -1 1077944384 18001 0 0 0 71 5 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053453905824 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6761] ppid=6739 vsize=8068440 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6761/stat : 6761 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053486307600 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6762] ppid=6739 vsize=8068440 memory=119045 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6762/stat : 6762 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053315402128 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6763] ppid=6739 vsize=8068440 memory=83224 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6763/stat : 6763 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052965788176 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6764] ppid=6739 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6764/stat : 6764 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052964735632 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6765] ppid=6739 vsize=8068440 memory=6944656591801720226 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6765/stat : 6765 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404704702 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052928502256 140053482076802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6766] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6766/stat : 6766 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052373956000 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6767] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6767/stat : 6767 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052105520624 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6768] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6768/stat : 6768 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051731012304 140053482084251 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6769] ppid=6739 vsize=8068440 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6759/task/6769/stat : 6769 (java) S 6739 6739 5595 0 -1 1077944384 737 0 0 0 10 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052927449072 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6770] ppid=6739 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6759/task/6770/stat : 6770 (java) S 6739 6739 5595 0 -1 1077944384 362 0 0 0 9 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052926396528 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6771] ppid=6739 vsize=8068440 memory=7881696724453321575 CPUtime=0.2 cores=0,2,4,6
/proc/6759/task/6771/stat : 6771 (java) S 6739 6739 5595 0 -1 1077944384 730 0 0 0 20 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052925343984 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6772] ppid=6739 vsize=8068440 memory=7380106142448642923 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6772/stat : 6772 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051233106528 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6773] ppid=6739 vsize=8068440 memory=-7023579799431922829 CPUtime=0.02 cores=0,2,4,6
/proc/6759/task/6773/stat : 6773 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052924291888 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6775] ppid=6739 vsize=8068440 memory=-7666414585839465563 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6775/stat : 6775 (java) S 6739 6739 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052916258368 140053482090265 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6777] ppid=6739 vsize=8068440 memory=-6520478321162704286 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6777/stat : 6777 (java) S 6739 6739 5595 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050696220784 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6778] ppid=6739 vsize=8068440 memory=-7521736447810188379 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6778/stat : 6778 (java) S 6739 6739 5595 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404704774 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050427788560 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6779] ppid=6739 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6779/stat : 6779 (java) S 6739 6739 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404704776 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050830449712 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
Current children cumulated CPU time: 114.31 s
Current children cumulated vsize: 8303904 KiB
Current children cumulated memory: 211732 KiB

[startup+94.3011 s]
/proc/loadavg: 2.36 3.30 2.79 3/239 6783
/proc/meminfo: memFree=16624172/32770624 swapFree=66959212/67108860
[pid=6739] ppid=6736 vsize=113128 memory=1476 CPUtime=67.41 cores=0,2,4,6
/proc/6739/stat : 6739 (scop.sh) S 6736 6739 5595 0 -1 4202496 583 67572 0 1 0 0 6567 174 20 0 1 0 404699921 115843072 369 33554432000 4194304 5098028 140736181970992 140736181967736 140457829962364 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 20561920 140736181977955 140736181978224 140736181978224 140736181981133 0
/proc/6739/statm: 28282 369 311 221 0 87 0
[pid=6759] ppid=6739 vsize=8068440 memory=119012 CPUtime=1.23 cores=0,2,4,6
/proc/6759/stat : 6759 (java) S 6739 6739 5595 0 -1 1077944320 21225 0 0 0 115 8 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140729797535776 140053482065655 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
/proc/6759/statm: 2017110 29753 3209 1 0 1978454 0
[pid=6774] ppid=6759 vsize=122336 memory=91376 CPUtime=45.77 cores=0,2,4,6
/proc/6774/stat : 6774 (cryptominisat5) R 6759 6739 5595 0 -1 4202496 101613 0 0 0 4570 7 0 0 20 0 1 0 404704773 125272064 22844 33554432000 4194304 4451008 140728580125616 140728580121544 140349673620255 0 4 0 2 0 0 0 17 2 0 0 0 0 0 6549032 6559120 39518208 140728580133821 140728580133952 140728580133952 140728580136902 0
/proc/6774/statm: 30584 22844 644 63 0 24311 0
[pid=6759/tid=6760] ppid=6739 vsize=8068440 memory=119012 CPUtime=0.76 cores=0,2,4,6
/proc/6759/task/6760/stat : 6760 (java) S 6739 6739 5595 0 -1 1077944384 18001 0 0 0 71 5 0 0 20 0 19 0 404704699 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053453905824 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6761] ppid=6739 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6761/stat : 6761 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053486307600 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6762] ppid=6739 vsize=8068440 memory=309 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6762/stat : 6762 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140053315402128 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6763] ppid=6739 vsize=8068440 memory=9 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6763/stat : 6763 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052965788176 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6764] ppid=6739 vsize=8068440 memory=20 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6764/stat : 6764 (java) S 6739 6739 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404704701 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052964735632 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6765] ppid=6739 vsize=8068440 memory=88612 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6765/stat : 6765 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 404704702 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052928502256 140053482076802 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6766] ppid=6739 vsize=8068440 memory=3689771454100661791 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6766/stat : 6766 (java) S 6739 6739 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052373956000 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6767] ppid=6739 vsize=8068440 memory=82880 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6767/stat : 6767 (java) S 6739 6739 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404704703 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052105520624 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6768] ppid=6739 vsize=8068440 memory=7595419089508854885 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6768/stat : 6768 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051731012304 140053482084251 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6769] ppid=6739 vsize=8068440 memory=1476 CPUtime=0.1 cores=0,2,4,6
/proc/6759/task/6769/stat : 6769 (java) S 6739 6739 5595 0 -1 1077944384 737 0 0 0 10 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052927449072 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6770] ppid=6739 vsize=8068440 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6759/task/6770/stat : 6770 (java) S 6739 6739 5595 0 -1 1077944384 362 0 0 0 9 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052926396528 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6771] ppid=6739 vsize=8068440 memory=1660 CPUtime=0.2 cores=0,2,4,6
/proc/6759/task/6771/stat : 6771 (java) S 6739 6739 5595 0 -1 1077944384 730 0 0 0 20 0 0 0 20 0 19 0 404704705 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052925343984 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6772] ppid=6739 vsize=8068440 memory=37248 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6772/stat : 6772 (java) S 6739 6739 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140051233106528 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6773] ppid=6739 vsize=8068440 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/6759/task/6773/stat : 6773 (java) S 6739 6739 5595 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 19 0 404704706 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052924291888 140053482076802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6775] ppid=6739 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6775/stat : 6775 (java) S 6739 6739 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140052916258368 140053482090265 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6777] ppid=6739 vsize=8068440 memory=1476 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6777/stat : 6777 (java) S 6739 6739 5595 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 404704773 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050696220784 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6778] ppid=6739 vsize=8068440 memory=119012 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6778/stat : 6778 (java) S 6739 6739 5595 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404704774 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050427788560 140053482087581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
[pid=6759/tid=6779] ppid=6739 vsize=8068440 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6779/stat : 6779 (java) S 6739 6739 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404704776 8262082560 29753 33554432000 4194304 4196468 140729797553232 140050830449712 140053482075861 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9764864 140729797555196 140729797555354 140729797555354 140729797558223 0
Current children cumulated CPU time: 114.41 s
Current children cumulated vsize: 8303904 KiB
Current children cumulated memory: 211864 KiB

Child status: 0
Real time (s): 94.3618
CPU time (s): 114.515
CPU user time (s): 112.591
CPU system time (s): 1.92405
CPU usage (%): 121.358
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3993016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 112.591
system time used= 1.92405
maximum resident set size= 3992196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191423
page faults= 1
swaps= 0
block input operations= 32
block output operations= 20336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8725
involuntary context switches= 407


# summary of solver processes directly reported to runsolver:
#   pid: 6739
#   total CPU time (s): 114.515
#   total CPU user time (s): 112.591
#   total CPU system time (s): 1.92405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.693731 second user time and 1.01692 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-12 13:25:57
IDJOB=4387669
IDBENCH=122716
IDSOLVER=2826
FILE ID=node124/4387669-1568287597
RUNJOBID= node124-1568286434-6491
PBS_JOBID= 21701080
Free space on /tmp= 52880 MiB

SOLVER NAME= Fun-sCOP hybrid+CryptoMiniSat (2019-06-15)
BENCH NAME= XCSP17/Random/Random-D-t090/rand-2-40-180-84-090-90.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-4387669-1568287597/watcher-4387669-1568287597 -o /tmp/evaluation-result-4387669-1568287597/solver-4387669-1568287597 -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-4387669-1568287597.xml

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

MD5SUM BENCH= b787e2fb655876ad1ad352aa15cc79d3
RANDOM SEED=892238325

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:        16834824 kB
MemAvailable:   31184404 kB
Buffers:          127660 kB
Cached:         14319620 kB
SwapCached:        45868 kB
Active:          1867012 kB
Inactive:       13264112 kB
Active(anon):     638672 kB
Inactive(anon):    86644 kB
Active(file):    1228340 kB
Inactive(file): 13177468 kB
Unevictable:      108624 kB
Mlocked:          108624 kB
SwapTotal:      67108860 kB
SwapFree:       66959212 kB
Dirty:             22648 kB
Writeback:             0 kB
AnonPages:        755992 kB
Mapped:            55496 kB
Shmem:             32744 kB
Slab:             400452 kB
SReclaimable:     372232 kB
SUnreclaim:        28220 kB
KernelStack:        4096 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6567632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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= 52860 MiB
End job on node124 at 2019-09-12 13:27:32