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-10415-serial-file.bin HOME/instance-4387846-1568291425.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 14:29:27 CEST 2019
0.66/0.56 c PID: 10418
0.66/0.56 c IP: 172.20.3.103
0.66/0.56 c HOST: node103.alineos.net
0.66/0.56 c (0,0) Parsing Begin
6.30/2.41 c (1,1) Parsing End
6.30/2.42 c (1,1) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
6.30/2.42 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.37/2.80 c (1,1) Constraint Name Generate Begin
7.37/2.80 c (1,1) Ctr:HOME/instance-4387846-1568291425.xml,Add:Le:Num:Var
7.37/2.80 c (1,1) Constraint Name Generate End
7.37/2.80 c (1,1) Heap : 563 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.37/2.80 c (1,1) CSP to CSPinCNF Begin
7.37/2.80 c (2,2) translated 1163 (10%) constraints
7.37/2.81 c (2,2) translated 2326 (20%) constraints
7.37/2.86 c (2,2) translated 3488 (30%) constraints
7.63/2.91 c (2,2) translated 4651 (40%) constraints
7.63/2.96 c (2,2) translated 5813 (50%) constraints
7.63/3.00 c (2,2) translated 6976 (60%) constraints
7.97/3.03 c (2,2) translated 8139 (70%) constraints
7.97/3.07 c (2,2) translated 9301 (80%) constraints
7.97/3.10 c (2,2) translated 10464 (90%) constraints
8.27/3.14 c (2,2) translated 11626 (100%) constraints
8.27/3.14 c (2,2) ===========================================
8.27/3.19 c (2,2) Hybrid: #OE=0, #LE=302
8.27/3.19 c (2,2) Hybrid
8.27/3.19 c (2,2) ===========================================
8.55/3.24 c (2,2) translated 1163 (10%) constraints
8.55/3.26 c (2,2) translated 2326 (20%) constraints
8.55/3.29 c (2,2) translated 3488 (30%) constraints
8.87/3.31 c (2,2) translated 4651 (40%) constraints
8.87/3.33 c (2,2) translated 5813 (50%) constraints
8.87/3.35 c (2,2) translated 6976 (60%) constraints
8.87/3.37 c (2,2) translated 8139 (70%) constraints
8.87/3.39 c (2,2) translated 9301 (80%) constraints
9.16/3.41 c (2,2) translated 10464 (90%) constraints
9.16/3.42 c (2,2) translated 11626 (100%) constraints
9.16/3.43 c (2,2) CSP to CSPinCNF End
9.16/3.43 c (2,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.16/3.43 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.16/3.43 c (2,2) CSPinCNF Propagation Begin
9.43/3.53 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.43/3.53 c (2,2) CSPinCNF Propagation End
9.43/3.53 c (2,2) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.43/3.53 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.43/3.58 c (3,3) Hybrid: #OE=0, #LE=302
9.43/3.58 c (3,3) Simplify CSPinCNF Begin
9.74/3.60 c (3,3) Simplify CSPinCNF End
9.74/3.60 c (3,3) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.74/3.60 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.74/3.60 c (3,3) Calculate Precise Domain Begin
9.74/3.61 c (3,3) 0 values are removed by re-calculation
9.74/3.61 c (3,3) Calculate Precise Domain End
9.74/3.61 c (3,3) CSP: 302 int (0 aux), 0 bool (0 aux), 11626 ctr, max domain size 22501
9.74/3.61 c (3,3) Heap : 788 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
9.74/3.61 c (3,3) CSPinCNF to SatSolver Begin
11.37/4.28 c (3,3) 1163 (10 %) CSP clauses are encoded (0 SAT variables, 134590 SAT clauses)
11.91/4.63 c (4,4) 2326 (20 %) CSP clauses are encoded (0 SAT variables, 252053 SAT clauses)
12.30/4.98 c (4,4) 3488 (30 %) CSP clauses are encoded (0 SAT variables, 369415 SAT clauses)
12.74/5.32 c (4,4) 4651 (40 %) CSP clauses are encoded (0 SAT variables, 486878 SAT clauses)
13.16/5.67 c (5,5) 5813 (50 %) CSP clauses are encoded (0 SAT variables, 604240 SAT clauses)
13.73/6.01 c (5,5) 6976 (60 %) CSP clauses are encoded (0 SAT variables, 721703 SAT clauses)
14.39/6.35 c (5,5) 8139 (70 %) CSP clauses are encoded (0 SAT variables, 839166 SAT clauses)
14.84/6.68 c (6,6) 9301 (80 %) CSP clauses are encoded (0 SAT variables, 956528 SAT clauses)
15.14/7.00 c (6,6) 10464 (90 %) CSP clauses are encoded (0 SAT variables, 1073991 SAT clauses)
15.61/7.34 c (6,6) 11626 (100 %) CSP clauses are encoded (0 SAT variables, 1191353 SAT clauses)
15.61/7.34 c (6,6) CSPinCNF to SatSolver End
15.61/7.34 c (6,6) Heap : 206 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.61/7.34 c (6,6) 523868 bool, 1191454 clause
15.61/7.34 c (6,6) Export Begin
16.18/7.97 c (7,7) Export to HOME/scop-10415-serial-file.bin
16.18/7.97 c (7,7) Export End
16.18/7.97 c (7,7) Export File Size: 0.75 MB
16.18/7.97 c (7,7) 1,1,2,2,3,3,6,STOP-AFTER(DIMACS)
16.18/7.97 c END-Prog: Thu Sep 12 14:29:34 CEST 2019
16.18/8.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10415-serial-file.bin
16.34/8.45 c (0,0) Read Serial File Begin
16.34/8.45 c (0,0) HOME/scop-10415-serial-file.bin
16.34/8.88 c (0,0) Read Serial File End
16.34/8.89
16.34/8.89 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
16.34/8.89 (Solving Process)
16.34/8.89
16.34/8.91 c BEGIN-Prog: Thu Sep 12 14:29:35 CEST 2019
16.34/8.91 c PID: 10435
16.34/8.91 c IP: 172.20.3.103
16.34/8.91 c HOST: node103.alineos.net
16.34/8.92 c (0,0) SatSolver.solve Begin
16.34/8.92 c (0,0) HOME/cryptominisat5 HOME/instance-4387846-1568291425.xml-scop-10418.cnf
16.34/8.95 c (0,0) c Outputting solution to console
16.34/8.95 c (0,0) c CryptoMiniSat version 5.6.8
16.34/8.95 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
16.34/8.95 c (0,0) c CMS SHA revision GIT-notfound
16.34/8.95 c (0,0) c CMS is MIT licensed
16.34/8.95 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
16.34/8.95 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
16.34/8.95 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387846-1568291425.xml-scop-10418.cnf
16.34/8.95 c (0,0) c Reading file 'HOME/instance-4387846-1568291425.xml-scop-10418.cnf'
16.34/8.95 c (0,0) c -- header says num vars: 523868
16.34/8.95 c (0,0) c -- header says num clauses: 1191454
18.44/9.38 c (0,0) c -- clauses added: 1191454
18.44/9.38 c (0,0) c -- xor clauses added: 0
18.44/9.38 c (0,0) c -- vars added 523868
18.44/9.38 c (0,0) c Parsing time: 0.38 s
19.26/10.17 c (1,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
19.26/10.17 c (1,0) c [distill] long cls tried: 62/40 cl-short:42 lit-r:11 T: 0.00 T-out: N T-r: 99.98%
19.35/10.29 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
19.35/10.29 c (1,0) c UIP search time : 0.90 (70.18 % time)
19.35/10.29 c (1,0) c restarts : 2 (56.50 confls per restart)
19.35/10.29 c (1,0) c blocked restarts : 0 (0.00 per normal restart)
19.35/10.29 c (1,0) c time : 0.90
19.35/10.29 c (1,0) c decisions : 537 (0.00 % random)
19.35/10.29 c (1,0) c propagations : 4947520
19.35/10.29 c (1,0) c decisions/conflicts : 4.75
19.35/10.29 c (1,0) c conflicts : 113 (125.57 / sec)
19.35/10.29 c (1,0) c conf lits non-minim : 666 (5.89 lit/confl)
19.35/10.29 c (1,0) c conf lits final : 5.34
19.35/10.29 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
19.35/10.29 c (1,0) c red which0 : 64 (56.64 % of confl)
19.35/10.29 c (1,0) c props/decision : 0.00
19.35/10.29 c (1,0) c props/conflict : 0.00
19.35/10.29 c (1,0) c 0-depth assigns : 59527 (11.36 % vars)
19.35/10.29 c (1,0) c 0-depth assigns by CNF : 11928 (2.28 % vars)
19.35/10.29 c (1,0) c reduceDB time : 0.00 (0.00 % time)
19.35/10.29 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
19.35/10.29 c (1,0) c [occur] 0.00 is overhead
19.35/10.29 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
19.35/10.29 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
19.35/10.29 c (1,0) c SCC time : 0.00 (0.00 % time)
19.35/10.29 c (1,0) c [scc] new: 0 BP 0M T: 0.00
19.35/10.29 c (1,0) c vrep replace time : 0.00 (0.00 % time)
19.35/10.29 c (1,0) c vrep tree roots : 0
19.35/10.29 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
19.35/10.29 c (1,0) c distill time : 0.00 (0.31 % time)
19.35/10.29 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
19.35/10.29 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
19.35/10.29 c (1,0) c Conflicts in UIP : 113 (88.12 confl/time_this_thread)
19.35/10.29 c (1,0) c Mem used : 190.44 MB
19.35/10.29 c (1,0) c Total time (this thread) : 1.28
19.35/10.29 c (1,0) s UNSATISFIABLE
19.46/10.39 c (2,0) SatSolver.solve End
19.46/10.39 c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.46/10.39 c (2,0) Show results Begin
19.46/10.39 s UNSATISFIABLE
19.46/10.39 c (2,0) Show results End
19.46/10.39 c (2,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
19.46/10.39 c (2,0) 2,2,STOP-AFTER(ALL)
19.46/10.39 c END-Prog: Thu Sep 12 14:29:37 CEST 2019
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 (8565 MiB free)
memory of node 1: 16384 MiB (13378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387846-1568291425/watcher-4387846-1568291425 -o /tmp/evaluation-result-4387846-1568291425/solver-4387846-1568291425 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9766 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387846-1568291425.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=10415, runsolver pid=10412
[startup+0.100139 s]*
/proc/loadavg: 2.23 2.14 2.44 3/235 10432
/proc/meminfo: memFree=22412992/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405395609 115843072 349 33554432000 4194304 5098028 140735630337904 140735630335160 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 349 296 221 0 87 0
[pid=10418] ppid=10415 vsize=15013720 memory=71368 CPUtime=0.12 cores=1,3,5,7
/proc/10418/stat : 10418 (java) S 10415 10415 8640 0 -1 1077944320 7218 0 0 0 10 2 0 0 20 0 15 0 405395610 15374049280 17842 33554432000 4194304 4196468 140721233342464 140721233325008 140079320084215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
/proc/10418/statm: 3753430 17842 2889 1 0 3715835 0
[pid=10418/tid=10419] ppid=10415 vsize=15014680 memory=576460756329985062 CPUtime=0.08 cores=1,3,5,7
/proc/10418/task/10419/stat : 10419 (java) R 10415 10415 8640 0 -1 4202560 5104 0 0 0 7 1 0 0 20 0 15 0 405395610 15375032320 17974 33554432000 4194304 4196468 140721233342464 140079291868464 140079312395147 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10420] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10420/stat : 10420 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395612 15375032320 17974 33554432000 4194304 4196468 140721233342464 140079324326800 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10421] ppid=10415 vsize=15014680 memory=140001521626844 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10421/stat : 10421 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15375032320 18040 33554432000 4194304 4196468 140721233342464 140078780513040 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10422] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10422/stat : 10422 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15375032320 18040 33554432000 4194304 4196468 140721233342464 140078779460752 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10423] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10423/stat : 10423 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15375032320 18040 33554432000 4194304 4196468 140721233342464 140078778407952 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10424] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10424/stat : 10424 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395613 15375032320 18106 33554432000 4194304 4196468 140721233342464 140078357629040 140079320095362 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10425] ppid=10415 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10425/stat : 10425 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405395614 15375032320 18106 33554432000 4194304 4196468 140721233342464 140077875323680 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10426] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10426/stat : 10426 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405395614 15375032320 18106 33554432000 4194304 4196468 140721233342464 140077741102192 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10427] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10427/stat : 10427 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15375032320 18106 33554432000 4194304 4196468 140721233342464 140077366597712 140079320102811 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10428] ppid=10415 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10428/stat : 10428 (java) S 10415 10415 8640 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 405395616 15375032320 18106 33554432000 4194304 4196468 140721233342464 140078356576880 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10429] ppid=10415 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10429/stat : 10429 (java) S 10415 10415 8640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 405395616 15375032320 18106 33554432000 4194304 4196468 140721233342464 140078355524080 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10430] ppid=10415 vsize=15014680 memory=140001521616512 CPUtime=0.01 cores=1,3,5,7
/proc/10418/task/10430/stat : 10430 (java) S 10415 10415 8640 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 405395616 15375032320 18106 33554432000 4194304 4196468 140721233342464 140078354471792 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10431] ppid=10415 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10431/stat : 10431 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15376699392 18106 33554432000 4194304 4196468 140721233342464 140076868692960 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10432] ppid=10415 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10432/stat : 10432 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395617 15376699392 18106 33554432000 4194304 4196468 140721233342464 140078353418672 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 72764 KiB
[startup+0.210883 s]*
/proc/loadavg: 2.23 2.14 2.44 4/235 10432
/proc/meminfo: memFree=22394928/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405395609 115843072 349 33554432000 4194304 5098028 140735630337904 140735630335160 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 349 296 221 0 87 0
[pid=10418] ppid=10415 vsize=15012696 memory=83816 CPUtime=0.25 cores=1,3,5,7
/proc/10418/stat : 10418 (java) S 10415 10415 8640 0 -1 1077944320 11533 0 0 0 22 3 0 0 20 0 15 0 405395610 15373000704 20954 33554432000 4194304 4196468 140721233342464 140721233325008 140079320084215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
/proc/10418/statm: 3753174 20954 2957 1 0 3715579 0
[pid=10418/tid=10419] ppid=10415 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/10418/task/10419/stat : 10419 (java) R 10415 10415 8640 0 -1 4202560 9264 0 0 0 17 2 0 0 20 0 15 0 405395610 15373000704 20954 33554432000 4194304 4196468 140721233342464 140079291906752 140079304164702 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10420] ppid=10415 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10420/stat : 10420 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 20954 33554432000 4194304 4196468 140721233342464 140079324326800 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10421] ppid=10415 vsize=15012696 memory=288370377673328256 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10421/stat : 10421 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 20954 33554432000 4194304 4196468 140721233342464 140078780513040 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10422] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10422/stat : 10422 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 20954 33554432000 4194304 4196468 140721233342464 140078779460752 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10423] ppid=10415 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10423/stat : 10423 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078778407952 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10424] ppid=10415 vsize=15012696 memory=140001521616512 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10424/stat : 10424 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395613 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078357629040 140079320095362 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10425] ppid=10415 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10425/stat : 10425 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405395614 15373000704 21020 33554432000 4194304 4196468 140721233342464 140077875323680 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10426] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10426/stat : 10426 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405395614 15373000704 21020 33554432000 4194304 4196468 140721233342464 140077741102192 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10427] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10427/stat : 10427 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21020 33554432000 4194304 4196468 140721233342464 140077366597712 140079320102811 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10428] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10428/stat : 10428 (java) S 10415 10415 8640 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078356576880 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10429] ppid=10415 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10429/stat : 10429 (java) S 10415 10415 8640 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078355524080 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10430] ppid=10415 vsize=15012696 memory=140001521616512 CPUtime=0.03 cores=1,3,5,7
/proc/10418/task/10430/stat : 10430 (java) R 10415 10415 8640 0 -1 4202560 469 0 0 0 3 0 0 0 20 0 15 0 405395616 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078354471792 140079320096150 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10431] ppid=10415 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10431/stat : 10431 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21020 33554432000 4194304 4196468 140721233342464 140076868692960 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10432] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10432/stat : 10432 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395617 15373000704 21020 33554432000 4194304 4196468 140721233342464 140078353418672 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85212 KiB
[startup+0.310725 s]*
/proc/loadavg: 2.23 2.14 2.44 4/236 10434
/proc/meminfo: memFree=22391508/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405395609 115843072 349 33554432000 4194304 5098028 140735630337904 140735630335160 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 349 296 221 0 87 0
[pid=10418] ppid=10415 vsize=15012696 memory=87892 CPUtime=0.44 cores=1,3,5,7
/proc/10418/stat : 10418 (java) S 10415 10415 8640 0 -1 1077944320 12592 0 0 0 40 4 0 0 20 0 15 0 405395610 15373000704 21973 33554432000 4194304 4196468 140721233342464 140721233325008 140079320084215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
/proc/10418/statm: 3753174 21973 3031 1 0 3715579 0
[pid=10418/tid=10419] ppid=10415 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/10418/task/10419/stat : 10419 (java) R 10415 10415 8640 0 -1 4202560 10110 0 0 0 27 3 0 0 20 0 15 0 405395610 15373000704 21973 33554432000 4194304 4196468 140721233342464 140079291867232 140079301647775 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10420] ppid=10415 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10420/stat : 10420 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 21973 33554432000 4194304 4196468 140721233342464 140079324326800 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10421] ppid=10415 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10421/stat : 10421 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078780513040 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10422] ppid=10415 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10422/stat : 10422 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078779460752 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10423] ppid=10415 vsize=15012696 memory=7223591943076881810 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10423/stat : 10423 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078778407952 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10424] ppid=10415 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10424/stat : 10424 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395613 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078357629040 140079320095362 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10425] ppid=10415 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10425/stat : 10425 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405395614 15373000704 21973 33554432000 4194304 4196468 140721233342464 140077875323680 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10426] ppid=10415 vsize=15012696 memory=-8253362762721939848 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10426/stat : 10426 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405395614 15373000704 21973 33554432000 4194304 4196468 140721233342464 140077741102192 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10427] ppid=10415 vsize=15012696 memory=6576575808607201703 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10427/stat : 10427 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21973 33554432000 4194304 4196468 140721233342464 140077366597712 140079320102811 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10428] ppid=10415 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10418/task/10428/stat : 10428 (java) S 10415 10415 8640 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 405395616 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078356576880 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10429] ppid=10415 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10418/task/10429/stat : 10429 (java) S 10415 10415 8640 0 -1 1077944384 252 0 0 0 3 0 0 0 20 0 15 0 405395616 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078355524080 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10430] ppid=10415 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10418/task/10430/stat : 10430 (java) S 10415 10415 8640 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 15 0 405395616 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078354471792 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10431] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10431/stat : 10431 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15373000704 21973 33554432000 4194304 4196468 140721233342464 140076868692960 140079320094421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10432] ppid=10415 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10432/stat : 10432 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395617 15373000704 21973 33554432000 4194304 4196468 140721233342464 140078353418672 140079320095362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89288 KiB
[startup+0.701376 s]
/proc/loadavg: 2.23 2.14 2.44 3/236 10434
/proc/meminfo: memFree=22367572/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405395609 115843072 349 33554432000 4194304 5098028 140735630337904 140735630335160 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 349 296 221 0 87 0
[pid=10418] ppid=10415 vsize=15018968 memory=125424 CPUtime=1.03 cores=1,3,5,7
/proc/10418/stat : 10418 (java) S 10415 10415 8640 0 -1 1077944320 20141 0 0 0 98 5 0 0 20 0 15 0 405395610 15379423232 31356 33554432000 4194304 4196468 140721233342464 140721233325008 140079320084215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
/proc/10418/statm: 3754742 31356 3182 1 0 3716091 0
[pid=10418/tid=10419] ppid=10415 vsize=15018968 memory=2828 CPUtime=0.67 cores=1,3,5,7
/proc/10418/task/10419/stat : 10419 (java) R 10415 10415 8640 0 -1 4202560 17176 0 0 0 63 4 0 0 20 0 15 0 405395610 15379423232 31356 33554432000 4194304 4196468 140721233342464 140079291921632 140078823054640 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10420] ppid=10415 vsize=15018968 memory=676 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10420/stat : 10420 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405395612 15379423232 31356 33554432000 4194304 4196468 140721233342464 140079324326800 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10421] ppid=10415 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10421/stat : 10421 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078780513040 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10422] ppid=10415 vsize=15018968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10422/stat : 10422 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078779460752 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10423] ppid=10415 vsize=15018968 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10423/stat : 10423 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395612 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078778407952 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10424] ppid=10415 vsize=15018968 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10424/stat : 10424 (java) S 10415 10415 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405395613 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078357629040 140079320095362 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10425] ppid=10415 vsize=15018968 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10425/stat : 10425 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405395614 15379423232 31356 33554432000 4194304 4196468 140721233342464 140077875323680 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10426] ppid=10415 vsize=15018968 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10426/stat : 10426 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405395614 15379423232 31356 33554432000 4194304 4196468 140721233342464 140077741102192 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10427] ppid=10415 vsize=15018968 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10427/stat : 10427 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15379423232 31356 33554432000 4194304 4196468 140721233342464 140077366597712 140079320102811 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10428] ppid=10415 vsize=15018968 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/10418/task/10428/stat : 10428 (java) R 10415 10415 8640 0 -1 4202560 553 0 0 0 8 0 0 0 20 0 15 0 405395616 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078356576880 140079303471019 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10429] ppid=10415 vsize=15018968 memory=2124 CPUtime=0.09 cores=1,3,5,7
/proc/10418/task/10429/stat : 10429 (java) R 10415 10415 8640 0 -1 4202560 455 0 0 0 9 0 0 0 20 0 15 0 405395616 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078355524080 140079298528975 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10430] ppid=10415 vsize=15018968 memory=20432 CPUtime=0.16 cores=1,3,5,7
/proc/10418/task/10430/stat : 10430 (java) R 10415 10415 8640 0 -1 4202560 603 0 0 0 16 0 0 0 20 0 15 0 405395616 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078354468968 140079304614629 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10431] ppid=10415 vsize=15018968 memory=3472323897372784496 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10431/stat : 10431 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405395616 15379423232 31356 33554432000 4194304 4196468 140721233342464 140076868692960 140079320094421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
[pid=10418/tid=10432] ppid=10415 vsize=15018968 memory=140001371260688 CPUtime=0 cores=1,3,5,7
/proc/10418/task/10432/stat : 10432 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405395617 15379423232 31356 33554432000 4194304 4196468 140721233342464 140078353418672 140079320095362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28524544 140721233351465 140721233351834 140721233351834 140721233354703 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 126820 KiB
[startup+1.50134 s]
/proc/loadavg: 2.23 2.14 2.44 5/236 10434
/proc/meminfo: memFree=22310596/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405395609 115843072 349 33554432000 4194304 5098028 140735630337904 140735630335160 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[startup+8.00078 s]*
/proc/loadavg: 2.21 2.14 2.43 3/223 10434
/proc/meminfo: memFree=22360316/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1476 CPUtime=16.34 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 582 34769 0 0 0 0 1566 68 20 0 1 0 405395609 115843072 369 33554432000 4194304 5098028 140735630337904 140735630334648 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 16.34 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+9.60098 s]
/proc/loadavg: 2.21 2.14 2.43 4/241 10455
/proc/meminfo: memFree=22258944/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1476 CPUtime=16.34 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 582 34769 0 0 0 0 1566 68 20 0 1 0 405395609 115843072 369 33554432000 4194304 5098028 140735630337904 140735630334648 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 369 311 221 0 87 0
[pid=10435] ppid=10415 vsize=8068440 memory=131732 CPUtime=1.76 cores=1,3,5,7
/proc/10435/stat : 10435 (java) S 10415 10415 8640 0 -1 1077944320 20899 0 0 0 158 18 0 0 20 0 19 0 405396410 8262082560 32933 33554432000 4194304 4196468 140735131466368 140735131448912 140711366409975 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
/proc/10435/statm: 2017110 32933 3209 1 0 1978454 0
[pid=10450] ppid=10435 vsize=209064 memory=182076 CPUtime=0.65 cores=1,3,5,7
/proc/10450/stat : 10450 (cryptominisat5) R 10435 10415 8640 0 -1 4202496 33458 0 0 0 59 6 0 0 20 0 1 0 405396504 214081536 45519 33554432000 4194304 4451008 140727118984992 140727118980216 140336702186190 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 6754304 140727118988220 140727118988352 140727118988352 140727118991302 0
/proc/10450/statm: 52266 45519 635 63 0 45993 0
[pid=10435/tid=10436] ppid=10415 vsize=8068440 memory=3504 CPUtime=0.97 cores=1,3,5,7
/proc/10435/task/10436/stat : 10436 (java) S 10415 10415 8640 0 -1 1077944384 17438 0 0 0 82 15 0 0 20 0 19 0 405396410 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711338250144 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10437] ppid=10415 vsize=8068440 memory=37320 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10437/stat : 10437 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711370652432 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10438] ppid=10415 vsize=8068440 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10438/stat : 10438 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711184808848 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10439] ppid=10415 vsize=8068440 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10439/stat : 10439 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711183756304 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10440] ppid=10415 vsize=8068440 memory=2876264 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10440/stat : 10440 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710848920720 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10441] ppid=10415 vsize=8068440 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10441/stat : 10441 (java) S 10415 10415 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710745569264 140711366421122 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10442] ppid=10415 vsize=8068440 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10442/stat : 10442 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710242149280 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10443] ppid=10415 vsize=8068440 memory=2509480 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10443/stat : 10443 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710107927536 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10444] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10444/stat : 10444 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140709733423312 140711366428571 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10445] ppid=10415 vsize=8068440 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/10435/task/10445/stat : 10445 (java) S 10415 10415 8640 0 -1 1077944384 1010 0 0 0 28 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710744517104 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10446] ppid=10415 vsize=8068440 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/10435/task/10446/stat : 10446 (java) S 10415 10415 8640 0 -1 1077944384 418 0 0 0 22 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710743464560 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10447] ppid=10415 vsize=8068440 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/10435/task/10447/stat : 10447 (java) S 10415 10415 8640 0 -1 1077944384 621 0 0 0 24 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710742412016 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10448] ppid=10415 vsize=8068440 memory=282 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10448/stat : 10448 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140709235518560 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10449] ppid=10415 vsize=8068440 memory=278 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10449/stat : 10449 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710741358896 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10451] ppid=10415 vsize=8068440 memory=96 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10451/stat : 10451 (java) S 10415 10415 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710733325376 140711366434585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10453] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10453/stat : 10453 (java) S 10415 10415 8640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708698635952 140711366431901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10454] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10454/stat : 10454 (java) S 10415 10415 8640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708430200624 140711366431901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10455] ppid=10415 vsize=8068440 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10455/stat : 10455 (java) S 10415 10415 8640 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405396507 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708967079472 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
Current children cumulated CPU time: 18.75 s
Current children cumulated vsize: 8390632 KiB
Current children cumulated memory: 315284 KiB
[startup+10.001 s]*
/proc/loadavg: 2.12 2.12 2.43 3/240 10455
/proc/meminfo: memFree=22144232/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1476 CPUtime=16.34 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 582 34769 0 0 0 0 1566 68 20 0 1 0 405395609 115843072 369 33554432000 4194304 5098028 140735630337904 140735630334648 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 369 311 221 0 87 0
[pid=10435] ppid=10415 vsize=8068440 memory=131732 CPUtime=1.76 cores=1,3,5,7
/proc/10435/stat : 10435 (java) S 10415 10415 8640 0 -1 1077944320 20899 0 0 0 158 18 0 0 20 0 19 0 405396410 8262082560 32933 33554432000 4194304 4196468 140735131466368 140735131448912 140711366409975 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
/proc/10435/statm: 2017110 32933 3209 1 0 1978454 0
[pid=10450] ppid=10435 vsize=214476 memory=187620 CPUtime=1.05 cores=1,3,5,7
/proc/10450/stat : 10450 (cryptominisat5) R 10435 10415 8640 0 -1 4202496 34809 0 0 0 99 6 0 0 20 0 1 0 405396504 219623424 46905 33554432000 4194304 4451008 140727118984992 140727118980328 140336702191560 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 6754304 140727118988220 140727118988352 140727118988352 140727118991302 0
/proc/10450/statm: 53619 46905 635 63 0 47346 0
[pid=10435/tid=10436] ppid=10415 vsize=8068440 memory=8317482817917895235 CPUtime=0.97 cores=1,3,5,7
/proc/10435/task/10436/stat : 10436 (java) S 10415 10415 8640 0 -1 1077944384 17438 0 0 0 82 15 0 0 20 0 19 0 405396410 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711338250144 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10437] ppid=10415 vsize=8068440 memory=7233459839750598759 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10437/stat : 10437 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711370652432 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10438] ppid=10415 vsize=8068440 memory=7018693328713904494 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10438/stat : 10438 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711184808848 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10439] ppid=10415 vsize=8068440 memory=8030026340497970792 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10439/stat : 10439 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140711183756304 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10440] ppid=10415 vsize=8068440 memory=8101246072281912677 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10440/stat : 10440 (java) S 10415 10415 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405396411 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710848920720 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10441] ppid=10415 vsize=8068440 memory=280002742670224 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10441/stat : 10441 (java) S 10415 10415 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710745569264 140711366421122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10442] ppid=10415 vsize=8068440 memory=46920839989738 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10442/stat : 10442 (java) S 10415 10415 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710242149280 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10443] ppid=10415 vsize=8068440 memory=2105476 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10443/stat : 10443 (java) S 10415 10415 8640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405396413 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710107927536 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10444] ppid=10415 vsize=8068440 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10444/stat : 10444 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140709733423312 140711366428571 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10445] ppid=10415 vsize=8068440 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/10435/task/10445/stat : 10445 (java) S 10415 10415 8640 0 -1 1077944384 1010 0 0 0 28 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710744517104 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10446] ppid=10415 vsize=8068440 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/10435/task/10446/stat : 10446 (java) S 10415 10415 8640 0 -1 1077944384 418 0 0 0 22 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710743464560 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10447] ppid=10415 vsize=8068440 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/10435/task/10447/stat : 10447 (java) S 10415 10415 8640 0 -1 1077944384 621 0 0 0 24 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710742412016 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10448] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10448/stat : 10448 (java) S 10415 10415 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140709235518560 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10449] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10449/stat : 10449 (java) S 10415 10415 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405396416 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710741358896 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10451] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10451/stat : 10451 (java) S 10415 10415 8640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140710733325376 140711366434585 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10453] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10453/stat : 10453 (java) S 10415 10415 8640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708698635952 140711366431901 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10454] ppid=10415 vsize=8068440 memory=8039887049847965093 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10454/stat : 10454 (java) S 10415 10415 8640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405396504 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708430200624 140711366431901 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10455] ppid=10415 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10435/task/10455/stat : 10455 (java) S 10415 10415 8640 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405396507 8262082560 32933 33554432000 4194304 4196468 140735131466368 140708967079472 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
Current children cumulated CPU time: 19.15 s
Current children cumulated vsize: 8396044 KiB
Current children cumulated memory: 320828 KiB
[startup+10.401 s]
/proc/loadavg: 2.12 2.12 2.43 3/240 10455
/proc/meminfo: memFree=22144232/32770624 swapFree=66997112/67108860
[pid=10415] ppid=10412 vsize=113128 memory=1476 CPUtime=16.34 cores=1,3,5,7
/proc/10415/stat : 10415 (scop.sh) S 10412 10415 8640 0 -1 4202496 582 34769 0 0 0 0 1566 68 20 0 1 0 405395609 115843072 369 33554432000 4194304 5098028 140735630337904 140735630334648 139869967073916 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27144192 140735630345059 140735630345328 140735630345328 140735630348237 0
/proc/10415/statm: 28282 369 311 221 0 87 0
[pid=10435] ppid=10415 vsize=7937364 memory=132004 CPUtime=3.21 cores=1,3,5,7
/proc/10435/stat : 10435 (java) S 10415 10415 8640 0 -1 1077944320 20938 36731 0 0 160 18 136 7 20 0 17 0 405396410 8127860736 33001 33554432000 4194304 4196468 140735131466368 140735131448912 140711366409975 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
/proc/10435/statm: 1984341 33001 3213 1 0 1945685 0
[pid=10435/tid=10436] ppid=10415 vsize=7937364 memory=183924 CPUtime=2.41 cores=1,3,5,7
/proc/10435/task/10436/stat : 10436 (java) R 10415 10415 8640 0 -1 4202560 17452 36731 0 0 82 16 136 7 20 0 17 0 405396410 8127860736 33001 33554432000 4194304 4196468 140735131466368 140711338240640 140711359095607 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10437] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10437/stat : 10437 (java) S 10415 10415 8640 0 -1 1077944384 1 36731 0 0 0 0 136 7 20 0 17 0 405396411 8127860736 33001 33554432000 4194304 4196468 140735131466368 140711370652432 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10438] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10438/stat : 10438 (java) S 10415 10415 8640 0 -1 1077944384 1 36731 0 0 0 0 136 7 20 0 17 0 405396411 8127860736 33001 33554432000 4194304 4196468 140735131466368 140711184808848 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10439] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10439/stat : 10439 (java) S 10415 10415 8640 0 -1 1077944384 1 36731 0 0 0 0 136 7 20 0 17 0 405396411 8127860736 33001 33554432000 4194304 4196468 140735131466368 140711183756304 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10440] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10440/stat : 10440 (java) S 10415 10415 8640 0 -1 1077944384 2 36731 0 0 0 0 136 7 20 0 17 0 405396411 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710848920720 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10441] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10441/stat : 10441 (java) S 10415 10415 8640 0 -1 1077944384 6 36731 0 0 0 0 136 7 20 0 17 0 405396413 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710745569264 140711366421122 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10442] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10442/stat : 10442 (java) S 10415 10415 8640 0 -1 1077944384 13 36731 0 0 0 0 136 7 20 0 17 0 405396413 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710242149280 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10443] ppid=10415 vsize=7937364 memory=321 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10443/stat : 10443 (java) S 10415 10415 8640 0 -1 1077944384 21 36731 0 0 0 0 136 7 20 0 17 0 405396413 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710107927536 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10444] ppid=10415 vsize=7937364 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10444/stat : 10444 (java) S 10415 10415 8640 0 -1 1077944384 3 36731 0 0 0 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140709733423312 140711366428571 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10445] ppid=10415 vsize=7937364 memory=0 CPUtime=1.72 cores=1,3,5,7
/proc/10435/task/10445/stat : 10445 (java) S 10415 10415 8640 0 -1 1077944384 1014 36731 0 0 29 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710744517104 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10446] ppid=10415 vsize=7937364 memory=140001371433043 CPUtime=1.66 cores=1,3,5,7
/proc/10435/task/10446/stat : 10446 (java) S 10415 10415 8640 0 -1 1077944384 418 36731 0 0 23 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710743464560 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10447] ppid=10415 vsize=7937364 memory=1560 CPUtime=1.68 cores=1,3,5,7
/proc/10435/task/10447/stat : 10447 (java) S 10415 10415 8640 0 -1 1077944384 628 36731 0 0 25 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710742412016 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10448] ppid=10415 vsize=7937364 memory=932 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10448/stat : 10448 (java) S 10415 10415 8640 0 -1 1077944384 3 36731 0 0 0 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140709235518560 140711366420181 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10449] ppid=10415 vsize=7937364 memory=3640 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10449/stat : 10449 (java) S 10415 10415 8640 0 -1 1077944384 1 36731 0 0 0 0 136 7 20 0 17 0 405396416 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710741358896 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10451] ppid=10415 vsize=7937364 memory=1980 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10451/stat : 10451 (java) S 10415 10415 8640 0 -1 1077944384 25 36731 0 0 0 0 136 7 20 0 17 0 405396504 8127860736 33001 33554432000 4194304 4196468 140735131466368 140710733324560 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
[pid=10435/tid=10455] ppid=10415 vsize=7937364 memory=812 CPUtime=1.43 cores=1,3,5,7
/proc/10435/task/10455/stat : 10455 (java) S 10415 10415 8640 0 -1 1077944384 29 36731 0 0 0 0 136 7 20 0 17 0 405396507 8127860736 33001 33554432000 4194304 4196468 140735131466368 140708967081264 140711366421122 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33988608 140735131468795 140735131468954 140735131468954 140735131471823 0
Current children cumulated CPU time: 19.55 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 133480 KiB
Child status: 0
Real time (s): 10.4074
CPU time (s): 19.599
CPU user time (s): 18.6448
CPU system time (s): 0.954216
CPU usage (%): 188.318
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 2966548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6448
system time used= 0.954216
maximum resident set size= 2966120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93036
page faults= 0
swaps= 0
block input operations= 8
block output operations= 49280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5752
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 10415
# total CPU time (s): 19.599
# total CPU user time (s): 18.6448
# total CPU system time (s): 0.954216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09447 second user time and 0.149418 second system time
The end