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-11865-serial-file.bin HOME/instance-4388098-1568295021.xml
0.67/0.53
0.67/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.53
0.67/0.55 c BEGIN-Prog: Thu Sep 12 15:29:23 CEST 2019
0.67/0.55 c PID: 11868
0.67/0.55 c IP: 172.20.3.103
0.67/0.55 c HOST: node103.alineos.net
0.67/0.56 c (0,0) Parsing Begin
13.33/10.07 c (9,8) Parsing End
13.33/10.08 c (9,8) CSP: 72 int (0 aux), 0 bool (0 aux), 44 ctr, max domain size 8
13.33/10.08 c (9,8) Heap : 3333 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.33/10.08 c (9,8) Constraint Name Generate Begin
13.33/10.08 c (9,8) Ctr:HOME/instance-4388098-1568295021.xml,ExtensionSupport:Var
13.33/10.08 c (9,8) Constraint Name Generate End
13.33/10.08 c (9,8) Heap : 3333 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.33/10.08 c (9,8) CSP to CSPinCNF Begin
13.77/10.37 c (9,9) translated 5 (10%) constraints
14.02/10.43 c (9,9) translated 9 (20%) constraints
14.02/10.48 c (9,9) translated 14 (30%) constraints
14.28/10.51 c (9,9) translated 18 (40%) constraints
14.28/10.53 c (10,9) translated 22 (50%) constraints
14.28/10.57 c (10,9) translated 27 (60%) constraints
73.61/64.62 c (64,62) translated 31 (70%) constraints
83.63/74.58 c (74,72) translated 36 (80%) constraints
85.68/76.57 c (76,74) translated 40 (90%) constraints
85.68/76.59 c (76,74) translated 44 (100%) constraints
85.68/76.59 c (76,74) ===========================================
85.88/76.60 c (76,74) Hybrid: #OE=436, #LE=0
85.88/76.60 c (76,74) Hybrid
85.88/76.60 c (76,74) ===========================================
85.88/76.62 c (76,74) translated 146 (10%) constraints
85.88/76.63 c (76,74) translated 292 (20%) constraints
85.88/76.65 c (76,74) translated 438 (30%) constraints
85.88/76.65 c (76,74) translated 584 (40%) constraints
85.88/76.66 c (76,74) translated 730 (50%) constraints
85.88/76.67 c (76,74) translated 876 (60%) constraints
85.88/76.67 c (76,74) translated 1022 (70%) constraints
85.88/76.68 c (76,74) translated 1168 (80%) constraints
85.88/76.69 c (76,74) translated 1314 (90%) constraints
85.88/76.70 c (76,74) translated 1460 (100%) constraints
86.20/76.70 c (76,74) CSP to CSPinCNF End
86.20/76.70 c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
86.20/76.70 c (76,74) Heap : 1908 MiB used (max 10405 MiB), NonHeap : 27 MiB used (max 0 MiB)
86.20/76.70 c (76,74) CSPinCNF Propagation Begin
86.20/76.74 c (76,74) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
86.20/76.74 c (76,74) CSPinCNF Propagation End
86.20/76.74 c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
86.20/76.74 c (76,74) Heap : 1908 MiB used (max 10405 MiB), NonHeap : 27 MiB used (max 0 MiB)
86.20/76.74 c (76,74) Hybrid: #OE=436, #LE=0
86.20/76.74 c (76,74) Simplify CSPinCNF Begin
86.20/76.75 c (76,74) Simplify CSPinCNF End
86.20/76.75 c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
86.20/76.75 c (76,74) Heap : 1908 MiB used (max 10405 MiB), NonHeap : 28 MiB used (max 0 MiB)
86.20/76.75 c (76,74) Calculate Precise Domain Begin
86.20/76.75 c (76,74) 0 values are removed by re-calculation
86.20/76.75 c (76,74) Calculate Precise Domain End
86.20/76.75 c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
86.20/76.75 c (76,74) Heap : 1908 MiB used (max 10405 MiB), NonHeap : 28 MiB used (max 0 MiB)
86.20/76.75 c (76,74) CSPinCNF to SatSolver Begin
86.58/76.83 c (76,74) 146 (10 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
86.58/76.85 c (76,74) 292 (20 %) CSP clauses are encoded (0 SAT variables, 715 SAT clauses)
86.58/76.86 c (76,74) 438 (30 %) CSP clauses are encoded (0 SAT variables, 861 SAT clauses)
86.58/76.86 c (76,74) 584 (40 %) CSP clauses are encoded (0 SAT variables, 1007 SAT clauses)
86.58/76.87 c (76,74) 730 (50 %) CSP clauses are encoded (0 SAT variables, 1153 SAT clauses)
86.58/76.87 c (76,74) 876 (60 %) CSP clauses are encoded (0 SAT variables, 1299 SAT clauses)
86.58/76.88 c (76,74) 1022 (70 %) CSP clauses are encoded (0 SAT variables, 1445 SAT clauses)
86.58/76.89 c (76,74) 1168 (80 %) CSP clauses are encoded (0 SAT variables, 1591 SAT clauses)
86.58/76.89 c (76,74) 1314 (90 %) CSP clauses are encoded (0 SAT variables, 1737 SAT clauses)
86.58/76.90 c (76,74) 1460 (100 %) CSP clauses are encoded (0 SAT variables, 1883 SAT clauses)
86.58/76.90 c (76,74) CSPinCNF to SatSolver End
86.58/76.90 c (76,74) Heap : 1908 MiB used (max 10405 MiB), NonHeap : 29 MiB used (max 0 MiB)
86.89/76.90 c (76,74) 860 bool, 1884 clause
86.89/76.90 c (76,74) Export Begin
86.89/76.99 c (76,74) Export to HOME/scop-11865-serial-file.bin
86.89/76.99 c (76,74) Export End
86.89/76.99 c (76,74) Export File Size: 0.02 MB
86.89/76.99 c (76,74) 9,9,76,76,76,76,76,STOP-AFTER(DIMACS)
86.89/76.99 c END-Prog: Thu Sep 12 15:30:40 CEST 2019
0.00/77.02 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11865-serial-file.bin
87.13/77.48 c (0,0) Read Serial File Begin
87.13/77.48 c (0,0) HOME/scop-11865-serial-file.bin
87.13/77.69 c (0,0) Read Serial File End
87.13/77.70
87.13/77.70 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
87.13/77.70 (Solving Process)
87.13/77.70
87.13/77.73 c BEGIN-Prog: Thu Sep 12 15:30:40 CEST 2019
87.13/77.73 c PID: 11896
87.13/77.73 c IP: 172.20.3.103
87.13/77.73 c HOST: node103.alineos.net
87.13/77.73 c (0,0) SatSolver.solve Begin
87.13/77.73 c (0,0) HOME/cryptominisat5 HOME/instance-4388098-1568295021.xml-scop-11868.cnf
87.13/77.76 c (0,0) c Outputting solution to console
87.13/77.76 c (0,0) c CryptoMiniSat version 5.6.8
87.13/77.76 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
87.13/77.76 c (0,0) c CMS SHA revision GIT-notfound
87.13/77.76 c (0,0) c CMS is MIT licensed
87.13/77.76 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
87.13/77.76 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
87.13/77.76 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388098-1568295021.xml-scop-11868.cnf
87.13/77.76 c (0,0) c Reading file 'HOME/instance-4388098-1568295021.xml-scop-11868.cnf'
87.13/77.76 c (0,0) c -- header says num vars: 860
87.13/77.76 c (0,0) c -- header says num clauses: 1884
87.13/77.76 c (0,0) c -- clauses added: 1884
87.13/77.76 c (0,0) c -- xor clauses added: 0
87.13/77.76 c (0,0) c -- vars added 860
87.13/77.76 c (0,0) c Parsing time: 0.00 s
87.13/77.76 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
87.13/77.76 c (0,0) c [distill] long cls tried: 49/49 cl-short:49 lit-r:7 T: 0.00 T-out: N T-r: 100.00%
87.13/77.78 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
87.13/77.78 c (0,0) c UIP search time : 0.02 (76.86 % time)
87.13/77.78 c (0,0) c restarts : 12 (147.08 confls per restart)
87.13/77.78 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
87.13/77.78 c (0,0) c time : 0.02
87.13/77.78 c (0,0) c decisions : 2181 (0.00 % random)
87.13/77.78 c (0,0) c propagations : 92280
87.13/77.78 c (0,0) c decisions/conflicts : 1.24
87.13/77.78 c (0,0) c conflicts : 1765 (104747.77 / sec)
87.13/77.78 c (0,0) c conf lits non-minim : 13817 (7.83 lit/confl)
87.13/77.78 c (0,0) c conf lits final : 6.75
87.13/77.78 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
87.13/77.78 c (0,0) c red which0 : 428 (24.25 % of confl)
87.13/77.78 c (0,0) c props/decision : 0.00
87.13/77.78 c (0,0) c props/conflict : 0.00
87.13/77.78 c (0,0) c 0-depth assigns : 192 (22.33 % vars)
87.13/77.78 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
87.13/77.78 c (0,0) c reduceDB time : 0.00 (0.00 % time)
87.13/77.78 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
87.13/77.78 c (0,0) c [occur] 0.00 is overhead
87.13/77.78 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
87.13/77.78 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
87.13/77.78 c (0,0) c SCC time : 0.00 (0.00 % time)
87.13/77.78 c (0,0) c [scc] new: 0 BP 0M T: 0.00
87.13/77.78 c (0,0) c vrep replace time : 0.00 (0.00 % time)
87.13/77.78 c (0,0) c vrep tree roots : 0
87.13/77.78 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
87.13/77.78 c (0,0) c distill time : 0.00 (4.44 % time)
87.13/77.78 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
87.13/77.78 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
87.13/77.78 c (0,0) c Conflicts in UIP : 1765 (80509.05 confl/time_this_thread)
87.13/77.78 c (0,0) c Mem used : 3.34 MB
87.13/77.78 c (0,0) c Total time (this thread) : 0.02
87.13/77.78 c (0,0) s UNSATISFIABLE
87.13/77.81 c (0,0) SatSolver.solve End
87.13/77.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
87.13/77.81 c (0,0) Show results Begin
87.13/77.81 s UNSATISFIABLE
87.13/77.81 c (0,0) Show results End
87.13/77.81 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
87.13/77.81 c (0,0) 0,0,STOP-AFTER(ALL)
87.13/77.81 c END-Prog: Thu Sep 12 15:30:40 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 (8725 MiB free)
memory of node 1: 16384 MiB (13269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388098-1568295021/watcher-4388098-1568295021 -o /tmp/evaluation-result-4388098-1568295021/solver-4388098-1568295021 -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-4388098-1568295021.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
solver pid=11865, runsolver pid=11862
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.00 2.42 2.62 5/234 11882
/proc/meminfo: memFree=22463492/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15012696 memory=72032 CPUtime=0.12 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 7224 0 0 0 10 2 0 0 20 0 15 0 405755226 15373000704 18008 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3753174 18008 2915 1 0 3715579 0
[pid=11868/tid=11869] ppid=11865 vsize=15012696 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 5091 0 0 0 8 1 0 0 20 0 15 0 405755227 15373000704 18008 33554432000 4194304 4196468 140735306787920 140717091056360 140717119274390 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 18008 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15012696 memory=139724489913608 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 18008 33554432000 4194304 4196468 140735306787920 140715677967904 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 18008 33554432000 4194304 4196468 140735306787920 140715409532272 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 18008 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15012696 memory=139724489901696 CPUtime=0.01 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) R 11865 11865 8640 0 -1 4202560 438 0 0 0 1 0 0 0 20 0 15 0 405755233 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716153732536 140717098222163 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 18008 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755234 15373000704 18008 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73428 KiB
[startup+0.21141 s]*
/proc/loadavg: 2.00 2.42 2.62 3/234 11882
/proc/meminfo: memFree=22443904/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15012696 memory=87468 CPUtime=0.25 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 12457 0 0 0 22 3 0 0 20 0 15 0 405755226 15373000704 21867 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3753174 21867 2919 1 0 3715579 0
[pid=11868/tid=11869] ppid=11865 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 10156 0 0 0 17 3 0 0 20 0 15 0 405755227 15373000704 21867 33554432000 4194304 4196468 140735306787920 140717091084992 140717119274390 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15012696 memory=396 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 21867 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15012696 memory=288370100641613440 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15012696 memory=139724489901696 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 21867 33554432000 4194304 4196468 140735306787920 140715677967904 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 21867 33554432000 4194304 4196468 140735306787920 140715409532272 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 21867 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 405755233 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15012696 memory=139724489901696 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) R 11865 11865 8640 0 -1 4202560 488 0 0 0 3 0 0 0 20 0 15 0 405755233 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716153735280 140717099186402 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 21867 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755234 15373000704 21867 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88864 KiB
[startup+0.310731 s]*
/proc/loadavg: 2.00 2.42 2.62 4/234 11882
/proc/meminfo: memFree=22441972/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15012696 memory=91364 CPUtime=0.43 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 12903 0 0 0 40 3 0 0 20 0 15 0 405755226 15373000704 22841 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3753174 22841 3067 1 0 3715579 0
[pid=11868/tid=11869] ppid=11865 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 10337 0 0 0 27 3 0 0 20 0 15 0 405755227 15373000704 22841 33554432000 4194304 4196468 140735306787920 140717091047440 140717103342942 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 22841 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15012696 memory=7151815824049284498 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 22841 33554432000 4194304 4196468 140735306787920 140715677967904 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755230 15373000704 22841 33554432000 4194304 4196468 140735306787920 140715409532272 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15012696 memory=4137858696076170131 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 22841 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 15 0 405755233 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 405755233 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) S 11865 11865 8640 0 -1 1077944384 594 0 0 0 7 0 0 0 20 0 15 0 405755233 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716153735280 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15373000704 22841 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755234 15373000704 22841 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92760 KiB
[startup+0.700833 s]
/proc/loadavg: 2.00 2.42 2.62 3/234 11882
/proc/meminfo: memFree=22419636/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15018968 memory=132364 CPUtime=1.03 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 20386 0 0 0 96 7 0 0 20 0 15 0 405755226 15379423232 33091 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3754742 33091 3189 1 0 3716091 0
[pid=11868/tid=11869] ppid=11865 vsize=15018968 memory=2828 CPUtime=0.68 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 17231 0 0 0 62 6 0 0 20 0 15 0 405755227 15379423232 33091 33554432000 4194304 4196468 140735306787920 140717091098480 140717119284381 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15018968 memory=676 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15379423232 33091 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15018968 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405755228 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15018968 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15018968 memory=8488 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755228 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15018968 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405755230 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15018968 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405755230 15379423232 33091 33554432000 4194304 4196468 140735306787920 140715677967904 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15018968 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755230 15379423232 33091 33554432000 4194304 4196468 140735306787920 140715409532272 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15018968 memory=5968 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15379423232 33091 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15018968 memory=14008 CPUtime=0.11 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 788 0 0 0 11 0 0 0 20 0 15 0 405755233 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15018968 memory=2124 CPUtime=0.06 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 265 0 0 0 6 0 0 0 20 0 15 0 405755233 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15018968 memory=20500 CPUtime=0.15 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) R 11865 11865 8640 0 -1 4202560 769 0 0 0 15 0 0 0 20 0 15 0 405755233 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716153735280 140717097846616 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15018968 memory=139723876154650 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15379423232 33091 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15018968 memory=139724345870096 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405755234 15379423232 33091 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 133760 KiB
[startup+1.50141 s]
/proc/loadavg: 2.00 2.42 2.62 3/234 11882
/proc/meminfo: memFree=22186284/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405755230 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140715409532288 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15025188 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15025188 memory=1396 CPUtime=1.67 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 8602 0 0 0 166 1 0 0 20 0 15 0 405755233 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15025188 memory=5365052 CPUtime=1.48 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 7035 0 0 0 148 0 0 0 20 0 15 0 405755233 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15025188 memory=5364892 CPUtime=0.76 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) S 11865 11865 8640 0 -1 1077944384 4735 0 0 0 76 0 0 0 20 0 15 0 405755233 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140716153735280 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15025188 memory=7228952860318393920 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15025188 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 93 0 0 0 1 2 0 0 20 0 15 0 405755234 15385792512 1341263 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 79.5 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5366448 KiB
[startup+73.6009 s]
/proc/loadavg: 2.09 2.37 2.59 3/234 11895
/proc/meminfo: memFree=17157616/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15025188 memory=5365080 CPUtime=82.72 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 60384 0 0 0 8075 197 0 0 20 0 15 0 405755226 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3756297 1341270 3278 1 0 3717627 0
[pid=11868/tid=11869] ppid=11865 vsize=15025188 memory=37416 CPUtime=71.81 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 27811 0 0 0 7119 62 0 0 20 0 15 0 405755227 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140717091094768 140716628903338 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15025188 memory=6791534058613427641 CPUtime=1.72 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 1839 0 0 0 141 31 0 0 20 0 15 0 405755228 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15025188 memory=143 CPUtime=1.69 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 1403 0 0 0 136 33 0 0 20 0 15 0 405755228 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15025188 memory=560 CPUtime=1.71 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 4158 0 0 0 137 34 0 0 20 0 15 0 405755228 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15025188 memory=932 CPUtime=1.72 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 2425 0 0 0 142 30 0 0 20 0 15 0 405755228 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15025188 memory=3640 CPUtime=0.02 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 779 0 0 0 2 0 0 0 20 0 15 0 405755230 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15025188 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 405755230 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140715677967968 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15025188 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405755230 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140715409532288 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15025188 memory=5365064 CPUtime=1.68 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 8605 0 0 0 167 1 0 0 20 0 15 0 405755233 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15025188 memory=5364956 CPUtime=1.49 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 7067 0 0 0 149 0 0 0 20 0 15 0 405755233 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15025188 memory=3504 CPUtime=0.76 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) S 11865 11865 8640 0 -1 1077944384 4823 0 0 0 76 0 0 0 20 0 15 0 405755233 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716153735280 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15025188 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15025188 memory=1396 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 93 0 0 0 1 2 0 0 20 0 15 0 405755234 15385792512 1341270 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 82.72 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5366476 KiB
[startup+75.2008 s]
/proc/loadavg: 2.08 2.37 2.58 3/234 11895
/proc/meminfo: memFree=17157616/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15025188 memory=5365108 CPUtime=84.38 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 60540 0 0 0 8241 197 0 0 20 0 15 0 405755226 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3756297 1341277 3278 1 0 3717627 0
[pid=11868/tid=11869] ppid=11865 vsize=15025188 memory=3504 CPUtime=73.4 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 27848 0 0 0 7278 62 0 0 20 0 15 0 405755227 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140717091097856 140716624889240 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15025188 memory=37416 CPUtime=1.72 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 1865 0 0 0 141 31 0 0 20 0 15 0 405755228 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15025188 memory=5365080 CPUtime=1.69 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 1403 0 0 0 136 33 0 0 20 0 15 0 405755228 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15025188 memory=5365064 CPUtime=1.71 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 4204 0 0 0 137 34 0 0 20 0 15 0 405755228 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15025188 memory=3028 CPUtime=1.73 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 2425 0 0 0 143 30 0 0 20 0 15 0 405755228 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15025188 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 780 0 0 0 2 0 0 0 20 0 15 0 405755230 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15025188 memory=5365052 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 405755230 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140715677967968 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15025188 memory=279448693183216 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405755230 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140715409532288 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15025188 memory=279448692531448 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15025188 memory=7445402727970526560 CPUtime=1.71 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) S 11865 11865 8640 0 -1 1077944384 8625 0 0 0 170 1 0 0 20 0 15 0 405755233 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716155840880 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15025188 memory=5793691127440369749 CPUtime=1.49 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) S 11865 11865 8640 0 -1 1077944384 7074 0 0 0 149 0 0 0 20 0 15 0 405755233 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716154788080 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15025188 memory=1396 CPUtime=0.77 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) S 11865 11865 8640 0 -1 1077944384 4842 0 0 0 77 0 0 0 20 0 15 0 405755233 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716153735280 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15025188 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15025188 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 93 0 0 0 1 2 0 0 20 0 15 0 405755234 15385792512 1341277 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 84.38 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 5366504 KiB
[startup+76.8088 s]
/proc/loadavg: 2.08 2.37 2.58 3/234 11895
/proc/meminfo: memFree=17157616/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405755226 115843072 349 33554432000 4194304 5098028 140729840151824 140729840149080 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 349 296 221 0 87 0
[pid=11868] ppid=11865 vsize=15027304 memory=5371908 CPUtime=86.58 cores=1,3,5,7
/proc/11868/stat : 11868 (java) S 11865 11865 8640 0 -1 1077944320 65882 0 0 0 8459 199 0 0 20 0 15 0 405755226 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140735306770464 140717119262455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
/proc/11868/statm: 3756826 1342977 3290 1 0 3717627 0
[pid=11868/tid=11869] ppid=11865 vsize=15027304 memory=1396 CPUtime=75.01 cores=1,3,5,7
/proc/11868/task/11869/stat : 11869 (java) R 11865 11865 8640 0 -1 4202560 29466 0 0 0 7438 63 0 0 20 0 15 0 405755227 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140717091099552 140716621256449 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11870] ppid=11865 vsize=15027304 memory=5364804 CPUtime=1.72 cores=1,3,5,7
/proc/11868/task/11870/stat : 11870 (java) S 11865 11865 8640 0 -1 1077944384 1865 0 0 0 141 31 0 0 20 0 15 0 405755228 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140717123504784 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11871] ppid=11865 vsize=15027304 memory=1388 CPUtime=1.69 cores=1,3,5,7
/proc/11868/task/11871/stat : 11871 (java) S 11865 11865 8640 0 -1 1077944384 1403 0 0 0 136 33 0 0 20 0 15 0 405755228 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716954753552 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11872] ppid=11865 vsize=15027304 memory=776 CPUtime=1.71 cores=1,3,5,7
/proc/11868/task/11872/stat : 11872 (java) S 11865 11865 8640 0 -1 1077944384 4204 0 0 0 137 34 0 0 20 0 15 0 405755228 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716578724240 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11873] ppid=11865 vsize=15027304 memory=3500 CPUtime=1.73 cores=1,3,5,7
/proc/11868/task/11873/stat : 11873 (java) S 11865 11865 8640 0 -1 1077944384 2425 0 0 0 143 30 0 0 20 0 15 0 405755228 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716577671440 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11874] ppid=11865 vsize=15027304 memory=4486604260213485459 CPUtime=0.02 cores=1,3,5,7
/proc/11868/task/11874/stat : 11874 (java) S 11865 11865 8640 0 -1 1077944384 1105 0 0 0 2 0 0 0 20 0 15 0 405755230 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716156894064 140717119273602 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11875] ppid=11865 vsize=15027304 memory=5135316 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11875/stat : 11875 (java) S 11865 11865 8640 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 405755230 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140715677967968 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11876] ppid=11865 vsize=15027304 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11876/stat : 11876 (java) S 11865 11865 8640 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405755230 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140715409532288 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11877] ppid=11865 vsize=15027304 memory=776 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11877/stat : 11877 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140715035023696 140717119281051 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11878] ppid=11865 vsize=15027304 memory=6791534058613427641 CPUtime=1.95 cores=1,3,5,7
/proc/11868/task/11878/stat : 11878 (java) R 11865 11865 8640 0 -1 4202560 9845 0 0 0 194 1 0 0 20 0 15 0 405755233 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716155826992 140717100808215 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11879] ppid=11865 vsize=15027304 memory=1388 CPUtime=1.72 cores=1,3,5,7
/proc/11868/task/11879/stat : 11879 (java) R 11865 11865 8640 0 -1 4202560 8053 0 0 0 172 0 0 0 20 0 15 0 405755233 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716154770800 140717102673327 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11880] ppid=11865 vsize=15027304 memory=776 CPUtime=0.89 cores=1,3,5,7
/proc/11868/task/11880/stat : 11880 (java) R 11865 11865 8640 0 -1 1077944384 6042 0 0 0 88 1 0 0 20 0 15 0 405755233 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716153735280 140717119273602 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11881] ppid=11865 vsize=15027304 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/11868/task/11881/stat : 11881 (java) S 11865 11865 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405755233 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140714537117920 140717119272661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
[pid=11868/tid=11882] ppid=11865 vsize=15027304 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/11868/task/11882/stat : 11882 (java) S 11865 11865 8640 0 -1 1077944384 93 0 0 0 1 2 0 0 20 0 15 0 405755234 15387959296 1342977 33554432000 4194304 4196468 140735306787920 140716152683696 140717119273602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32186368 140735306789673 140735306790042 140735306790042 140735306792911 0
Current children cumulated CPU time: 86.58 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 5373304 KiB
[startup+77.6003 s]
/proc/loadavg: 2.08 2.37 2.58 3/221 11895
/proc/meminfo: memFree=18095040/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1476 CPUtime=87.13 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 583 67906 0 0 0 0 8510 203 20 0 1 0 405755226 115843072 369 33554432000 4194304 5098028 140729840151824 140729840148568 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 87.13 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+77.8096 s]
/proc/loadavg: 2.08 2.37 2.58 3/221 11895
/proc/meminfo: memFree=18095040/32770624 swapFree=66997112/67108860
[pid=11865] ppid=11862 vsize=113128 memory=1476 CPUtime=87.13 cores=1,3,5,7
/proc/11865/stat : 11865 (scop.sh) S 11862 11865 8640 0 -1 4202496 583 67906 0 0 0 0 8510 203 20 0 1 0 405755226 115843072 369 33554432000 4194304 5098028 140729840151824 140729840148568 140455299474044 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 38395904 140729840157539 140729840157808 140729840157808 140729840160717 0
/proc/11865/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 87.13 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 77.8214
CPU time (s): 88.3709
CPU user time (s): 86.2601
CPU system time (s): 2.11083
CPU usage (%): 113.556
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 5374128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.2601
system time used= 2.11083
maximum resident set size= 5375068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7377
involuntary context switches= 181
# summary of solver processes directly reported to runsolver:
# pid: 11865
# total CPU time (s): 88.3709
# total CPU user time (s): 86.2601
# total CPU system time (s): 2.11083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.540058 second user time and 0.820365 second system time
The end