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-8463-serial-file.bin HOME/instance-4388314-1568297384.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 16:11:25 CEST 2019
0.66/0.56 c PID: 8466
0.66/0.56 c IP: 172.20.3.139
0.66/0.56 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
3.52/1.57 c (1,1) Parsing End
3.52/1.58 c (1,1) CSP: 597 int (0 aux), 28 bool (0 aux), 10142 ctr, max domain size 25
3.52/1.58 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.52/1.58 c (1,1) Constraint Name Generate Begin
3.85/1.61 c (1,1) Ctr:HOME/instance-4388314-1568297384.xml,ExtensionConflict:Var
3.85/1.61 c (1,1) Constraint Name Generate End
3.85/1.61 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.85/1.61 c (1,1) CSP to CSPinCNF Begin
7.14/2.66 c (2,2) translated 1015 (10%) constraints
9.42/4.22 c (3,3) translated 2029 (20%) constraints
10.97/5.72 c (5,5) translated 3043 (30%) constraints
11.61/6.30 c (5,5) translated 4057 (40%) constraints
11.61/6.38 c (5,5) translated 5071 (50%) constraints
11.73/6.46 c (5,5) translated 6086 (60%) constraints
11.92/6.54 c (6,5) translated 7100 (70%) constraints
12.14/6.61 c (6,6) translated 8114 (80%) constraints
12.14/6.68 c (6,6) translated 9128 (90%) constraints
12.37/6.76 c (6,6) translated 10142 (100%) constraints
12.37/6.76 c (6,6) ===========================================
12.53/6.83 c (6,6) Hybrid: #OE=625, #LE=0
12.53/6.83 c (6,6) Hybrid
12.53/6.83 c (6,6) ===========================================
12.93/7.03 c (6,6) translated 7087 (10%) constraints
13.11/7.19 c (6,6) translated 14173 (20%) constraints
13.33/7.34 c (6,6) translated 21259 (30%) constraints
13.43/7.50 c (6,6) translated 28345 (40%) constraints
13.64/7.65 c (7,7) translated 35431 (50%) constraints
13.86/7.81 c (7,7) translated 42518 (60%) constraints
13.95/7.97 c (7,7) translated 49604 (70%) constraints
14.16/8.12 c (7,7) translated 56690 (80%) constraints
14.26/8.28 c (7,7) translated 63776 (90%) constraints
14.46/8.42 c (7,7) translated 70862 (100%) constraints
14.46/8.42 c (7,7) CSP to CSPinCNF End
14.46/8.42 c (7,7) CSP: 597 int (0 aux), 28 bool (0 aux), 70862 ctr, max domain size 25
14.46/8.42 c (7,7) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
14.46/8.42 c (7,7) CSPinCNF Propagation Begin
18.11/10.44 c (9,9) 1815 values, 49152 unsatisfiable literals, and 27346 valid clauses are removed
18.11/10.44 c (9,9) CSPinCNF Propagation End
18.11/10.45 c (9,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
18.11/10.45 c (9,9) Heap : 1381 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.11/10.47 c (9,9) Hybrid: #OE=625, #LE=0
18.11/10.47 c (9,9) Simplify CSPinCNF Begin
18.30/10.58 c (10,9) Simplify CSPinCNF End
18.30/10.58 c (10,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
18.30/10.58 c (10,9) Heap : 1437 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.30/10.58 c (10,9) Calculate Precise Domain Begin
18.30/10.58 c (10,9) 0 values are removed by re-calculation
18.30/10.58 c (10,9) Calculate Precise Domain End
18.30/10.58 c (10,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
18.30/10.58 c (10,9) Heap : 1437 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
18.30/10.58 c (10,9) CSPinCNF to SatSolver Begin
19.04/10.81 c (10,10) 4352 (10 %) CSP clauses are encoded (0 SAT variables, 8608 SAT clauses)
19.34/10.93 c (10,10) 8704 (20 %) CSP clauses are encoded (0 SAT variables, 12960 SAT clauses)
19.34/11.01 c (10,10) 13055 (30 %) CSP clauses are encoded (0 SAT variables, 17311 SAT clauses)
19.67/11.06 c (10,10) 17407 (40 %) CSP clauses are encoded (0 SAT variables, 21663 SAT clauses)
19.67/11.10 c (10,10) 21758 (50 %) CSP clauses are encoded (0 SAT variables, 26014 SAT clauses)
19.84/11.15 c (10,10) 26110 (60 %) CSP clauses are encoded (0 SAT variables, 30366 SAT clauses)
19.84/11.19 c (10,10) 30462 (70 %) CSP clauses are encoded (0 SAT variables, 34718 SAT clauses)
19.94/11.24 c (10,10) 34813 (80 %) CSP clauses are encoded (0 SAT variables, 39069 SAT clauses)
19.94/11.28 c (10,10) 39165 (90 %) CSP clauses are encoded (0 SAT variables, 43421 SAT clauses)
20.04/11.31 c (10,10) 43516 (100 %) CSP clauses are encoded (0 SAT variables, 47772 SAT clauses)
20.04/11.31 c (10,10) CSPinCNF to SatSolver End
20.04/11.31 c (10,10) Heap : 1823 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.04/11.31 c (10,10) 4521 bool, 47773 clause
20.04/11.31 c (10,10) Export Begin
20.26/11.44 c (10,10) Export to HOME/scop-8463-serial-file.bin
20.26/11.44 c (10,10) Export End
20.26/11.44 c (10,10) Export File Size: 0.11 MB
20.26/11.44 c (10,10) 1,1,7,9,10,10,10,STOP-AFTER(DIMACS)
20.26/11.44 c END-Prog: Thu Sep 12 16:11:36 CEST 2019
20.26/11.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8463-serial-file.bin
20.38/11.92 c (0,0) Read Serial File Begin
20.38/11.92 c (0,0) HOME/scop-8463-serial-file.bin
21.23/12.18 c (0,0) Read Serial File End
21.48/12.20
21.48/12.20 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
21.48/12.20 (Solving Process)
21.48/12.20
21.48/12.22 c BEGIN-Prog: Thu Sep 12 16:11:37 CEST 2019
21.48/12.22 c PID: 8483
21.48/12.22 c IP: 172.20.3.139
21.48/12.22 c HOST: node139.alineos.net
21.48/12.22 c (0,0) SatSolver.solve Begin
21.48/12.22 c (0,0) HOME/cryptominisat5 HOME/instance-4388314-1568297384.xml-scop-8466.cnf
21.48/12.26 c (0,0) c Outputting solution to console
21.48/12.26 c (0,0) c CryptoMiniSat version 5.6.8
21.48/12.26 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
21.48/12.26 c (0,0) c CMS SHA revision GIT-notfound
21.48/12.26 c (0,0) c CMS is MIT licensed
21.48/12.26 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
21.48/12.26 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
21.48/12.26 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388314-1568297384.xml-scop-8466.cnf
21.48/12.26 c (0,0) c Reading file 'HOME/instance-4388314-1568297384.xml-scop-8466.cnf'
21.48/12.26 c (0,0) c -- header says num vars: 4521
21.48/12.26 c (0,0) c -- header says num clauses: 47773
21.48/12.27 c (0,0) c -- clauses added: 47773
21.48/12.27 c (0,0) c -- xor clauses added: 0
21.48/12.27 c (0,0) c -- vars added 4521
21.48/12.27 c (0,0) c Parsing time: 0.02 s
21.48/12.28 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
21.48/12.28 c (0,0) c [distill] long cls tried: 11/11 cl-short:11 lit-r:1 T: 0.00 T-out: N T-r: 100.00%
21.72/12.36 c (0,0) c [distill] long cls tried: 271/201 cl-short:217 lit-r:140 T: 0.00 T-out: N T-r: 99.97%
21.72/12.36 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
21.72/12.36 c (0,0) c UIP search time : 0.09 (84.09 % time)
21.72/12.36 c (0,0) c restarts : 12 (282.00 confls per restart)
21.72/12.36 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
21.72/12.36 c (0,0) c time : 0.09
21.72/12.36 c (0,0) c decisions : 4879 (0.00 % random)
21.72/12.36 c (0,0) c propagations : 503304
21.72/12.36 c (0,0) c decisions/conflicts : 1.44
21.72/12.36 c (0,0) c conflicts : 3384 (38441.00 / sec)
21.72/12.36 c (0,0) c conf lits non-minim : 37881 (11.19 lit/confl)
21.72/12.36 c (0,0) c conf lits final : 9.82
21.72/12.36 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
21.72/12.36 c (0,0) c red which0 : 332 (9.81 % of confl)
21.72/12.36 c (0,0) c props/decision : 0.00
21.72/12.36 c (0,0) c props/conflict : 0.00
21.72/12.36 c (0,0) c 0-depth assigns : 269 (5.95 % vars)
21.72/12.36 c (0,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
21.72/12.36 c (0,0) c reduceDB time : 0.00 (0.00 % time)
21.72/12.36 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
21.72/12.36 c (0,0) c [occur] 0.00 is overhead
21.72/12.36 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
21.72/12.36 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
21.72/12.36 c (0,0) c SCC time : 0.00 (0.00 % time)
21.72/12.36 c (0,0) c [scc] new: 0 BP 0M T: 0.00
21.72/12.36 c (0,0) c vrep replace time : 0.00 (0.00 % time)
21.72/12.36 c (0,0) c vrep tree roots : 0
21.72/12.36 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
21.72/12.36 c (0,0) c distill time : 0.00 (4.33 % time)
21.72/12.36 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
21.72/12.36 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
21.72/12.36 c (0,0) c Conflicts in UIP : 3384 (32324.62 confl/time_this_thread)
21.72/12.36 c (0,0) c Mem used : 8.46 MB
21.72/12.36 c (0,0) c Total time (this thread) : 0.10
21.72/12.36 c (0,0) s UNSATISFIABLE
21.72/12.37 c (0,0) SatSolver.solve End
21.72/12.37 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.72/12.37 c (0,0) Show results Begin
21.72/12.37 s UNSATISFIABLE
21.72/12.37 c (0,0) Show results End
21.72/12.37 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.72/12.37 c (0,0) 0,0,STOP-AFTER(ALL)
21.72/12.37 c END-Prog: Thu Sep 12 16:11: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 (8996 MiB free)
memory of node 1: 16384 MiB (3359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388314-1568297384/watcher-4388314-1568297384 -o /tmp/evaluation-result-4388314-1568297384/solver-4388314-1568297384 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568287468-5189 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388314-1568297384.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8463, runsolver pid=8459
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.00 3.17 2.54 6/228 8480
/proc/meminfo: memFree=12593188/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
[pid=8466] ppid=8463 vsize=15012696 memory=72732 CPUtime=0.11 cores=0,2,4,6
/proc/8466/stat : 8466 (java) S 8463 8463 3961 0 -1 1077944320 6910 0 0 0 10 1 0 0 20 0 15 0 406005924 15373000704 18183 33554432000 4194304 4196468 140720496617120 140720496599664 140210788200183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
/proc/8466/statm: 3753174 18183 2921 1 0 3715579 0
[pid=8466/tid=8467] ppid=8463 vsize=15013720 memory=7970985018364498779 CPUtime=0.09 cores=0,2,4,6
/proc/8466/task/8467/stat : 8467 (java) R 8463 8463 3961 0 -1 4202560 4957 0 0 0 8 1 0 0 20 0 15 0 406005924 15374049280 18381 33554432000 4194304 4196468 140720496617120 140210759984432 140210780879901 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8468] ppid=8463 vsize=15013720 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8468/stat : 8468 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005926 15374049280 18381 33554432000 4194304 4196468 140720496617120 140210792442768 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8469] ppid=8463 vsize=15013720 memory=139634026423936 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8469/stat : 8469 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15374049280 18381 33554432000 4194304 4196468 140720496617120 140210248952592 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8470] ppid=8463 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8470/stat : 8470 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15374049280 18381 33554432000 4194304 4196468 140720496617120 140210247900304 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8471] ppid=8463 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8471/stat : 8471 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15374049280 18381 33554432000 4194304 4196468 140720496617120 140210246847504 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8472] ppid=8463 vsize=15013720 memory=139634026423936 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005927 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209825855600 140210788211330 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8473] ppid=8463 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8473/stat : 8473 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406005928 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209341588256 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8474] ppid=8463 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8474/stat : 8474 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005928 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209073153136 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8475] ppid=8463 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8475/stat : 8475 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140208698644560 140210788218779 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8476] ppid=8463 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8476/stat : 8476 (java) S 8463 8463 3961 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209824803440 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8477] ppid=8463 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8477/stat : 8477 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209823750640 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8478] ppid=8463 vsize=15013720 memory=139634026423936 CPUtime=0.01 cores=0,2,4,6
/proc/8466/task/8478/stat : 8478 (java) S 8463 8463 3961 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209822698352 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8479] ppid=8463 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8479/stat : 8479 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140208200739808 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8480] ppid=8463 vsize=15013720 memory=139634026423936 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8480/stat : 8480 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005931 15374049280 18381 33554432000 4194304 4196468 140720496617120 140209821645232 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74128 KiB
[startup+0.210724 s]*
/proc/loadavg: 4.00 3.17 2.54 6/228 8480
/proc/meminfo: memFree=12576684/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
[pid=8466] ppid=8463 vsize=15012696 memory=85708 CPUtime=0.25 cores=0,2,4,6
/proc/8466/stat : 8466 (java) S 8463 8463 3961 0 -1 1077944320 11492 0 0 0 22 3 0 0 20 0 15 0 406005924 15373000704 21427 33554432000 4194304 4196468 140720496617120 140720496599664 140210788200183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
/proc/8466/statm: 3753174 21427 2925 1 0 3715579 0
[pid=8466/tid=8467] ppid=8463 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/8466/task/8467/stat : 8467 (java) R 8463 8463 3961 0 -1 4202560 9215 0 0 0 17 2 0 0 20 0 15 0 406005924 15373000704 21427 33554432000 4194304 4196468 140720496617120 140210760017952 140210788212118 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8468] ppid=8463 vsize=15012696 memory=12638 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8468/stat : 8468 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 21427 33554432000 4194304 4196468 140720496617120 140210792442768 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8469] ppid=8463 vsize=15012696 memory=139634029258988 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8469/stat : 8469 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 21427 33554432000 4194304 4196468 140720496617120 140210248952592 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8470] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8470/stat : 8470 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 21427 33554432000 4194304 4196468 140720496617120 140210247900304 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8471] ppid=8463 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8471/stat : 8471 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 21427 33554432000 4194304 4196468 140720496617120 140210246847504 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8472] ppid=8463 vsize=15012696 memory=139634026423936 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005927 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209825855600 140210788211330 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8473] ppid=8463 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8473/stat : 8473 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406005928 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209341588256 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8474] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8474/stat : 8474 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005928 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209073153136 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8475] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8475/stat : 8475 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140208698644560 140210788218779 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8476] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8476/stat : 8476 (java) S 8463 8463 3961 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209824803440 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8477] ppid=8463 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8477/stat : 8477 (java) S 8463 8463 3961 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209823750640 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8478] ppid=8463 vsize=15012696 memory=139634026423936 CPUtime=0.03 cores=0,2,4,6
/proc/8466/task/8478/stat : 8478 (java) R 8463 8463 3961 0 -1 4202560 484 0 0 0 3 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209822698352 140210772280670 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8479] ppid=8463 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8479/stat : 8479 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140208200739808 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8480] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8480/stat : 8480 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 21427 33554432000 4194304 4196468 140720496617120 140209821645232 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87104 KiB
[startup+0.310551 s]*
/proc/loadavg: 4.00 3.17 2.54 7/228 8480
/proc/meminfo: memFree=12574092/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
[pid=8466] ppid=8463 vsize=15012696 memory=90080 CPUtime=0.44 cores=0,2,4,6
/proc/8466/stat : 8466 (java) S 8463 8463 3961 0 -1 1077944320 12563 0 0 0 40 4 0 0 20 0 15 0 406005924 15373000704 22520 33554432000 4194304 4196468 140720496617120 140720496599664 140210788200183 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
/proc/8466/statm: 3753174 22520 3034 1 0 3715579 0
[pid=8466/tid=8467] ppid=8463 vsize=15012696 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/8466/task/8467/stat : 8467 (java) R 8463 8463 3961 0 -1 4202560 10077 0 0 0 27 3 0 0 20 0 15 0 406005924 15373000704 22520 33554432000 4194304 4196468 140720496617120 140210759983200 140210768475479 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8468] ppid=8463 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8468/stat : 8468 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 22520 33554432000 4194304 4196468 140720496617120 140210792442768 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8469] ppid=8463 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8469/stat : 8469 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 22520 33554432000 4194304 4196468 140720496617120 140210248952592 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8470] ppid=8463 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8470/stat : 8470 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 22520 33554432000 4194304 4196468 140720496617120 140210247900304 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8471] ppid=8463 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8471/stat : 8471 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15373000704 22520 33554432000 4194304 4196468 140720496617120 140210246847504 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8472] ppid=8463 vsize=15012696 memory=7151815836934186386 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005927 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209825855600 140210788211330 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8473] ppid=8463 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8473/stat : 8473 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406005928 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209341588256 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8474] ppid=8463 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8474/stat : 8474 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005928 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209073153136 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8475] ppid=8463 vsize=15012696 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8475/stat : 8475 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140208698644560 140210788218779 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8476] ppid=8463 vsize=15012696 memory=7031125463459224206 CPUtime=0.02 cores=0,2,4,6
/proc/8466/task/8476/stat : 8476 (java) S 8463 8463 3961 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209824803440 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8477] ppid=8463 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8466/task/8477/stat : 8477 (java) S 8463 8463 3961 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209823750640 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8478] ppid=8463 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8466/task/8478/stat : 8478 (java) S 8463 8463 3961 0 -1 1077944384 528 0 0 0 7 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209822698352 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8479] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8479/stat : 8479 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140208200739808 140210788210389 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8480] ppid=8463 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8480/stat : 8480 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005931 15373000704 22520 33554432000 4194304 4196468 140720496617120 140209821645232 140210788211330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91476 KiB
[startup+0.701379 s]
/proc/loadavg: 4.00 3.17 2.54 6/228 8480
/proc/meminfo: memFree=12550012/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
[pid=8466] ppid=8463 vsize=15018968 memory=127388 CPUtime=1.02 cores=0,2,4,6
/proc/8466/stat : 8466 (java) S 8463 8463 3961 0 -1 1077944320 20140 0 0 0 96 6 0 0 20 0 15 0 406005924 15379423232 31847 33554432000 4194304 4196468 140720496617120 140720496599664 140210788200183 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
/proc/8466/statm: 3754742 31847 3182 1 0 3716091 0
[pid=8466/tid=8467] ppid=8463 vsize=15018968 memory=36796 CPUtime=0.68 cores=0,2,4,6
/proc/8466/task/8467/stat : 8467 (java) R 8463 8463 3961 0 -1 4202560 17144 0 0 0 63 5 0 0 20 0 15 0 406005924 15379423232 31847 33554432000 4194304 4196468 140720496617120 140210760037760 140210293841216 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8468] ppid=8463 vsize=15018968 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8468/stat : 8468 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005926 15379423232 31847 33554432000 4194304 4196468 140720496617120 140210792442768 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8469] ppid=8463 vsize=15018968 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8469/stat : 8469 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15379423232 31847 33554432000 4194304 4196468 140720496617120 140210248952592 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8470] ppid=8463 vsize=15018968 memory=1268 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8470/stat : 8470 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15379423232 31847 33554432000 4194304 4196468 140720496617120 140210247900304 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8471] ppid=8463 vsize=15018968 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8471/stat : 8471 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005926 15379423232 31847 33554432000 4194304 4196468 140720496617120 140210246847504 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8472] ppid=8463 vsize=15018968 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (java) S 8463 8463 3961 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 406005927 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209825855600 140210788211330 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8473] ppid=8463 vsize=15018968 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8473/stat : 8473 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406005928 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209341588256 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8474] ppid=8463 vsize=15018968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8474/stat : 8474 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005928 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209073153136 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8475] ppid=8463 vsize=15018968 memory=624 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8475/stat : 8475 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140208698644560 140210788218779 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8476] ppid=8463 vsize=15018968 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/8466/task/8476/stat : 8476 (java) R 8463 8463 3961 0 -1 4202560 716 0 0 0 8 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209824803568 140210771684135 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8477] ppid=8463 vsize=15018968 memory=1724 CPUtime=0.07 cores=0,2,4,6
/proc/8466/task/8477/stat : 8477 (java) R 8463 8463 3961 0 -1 4202560 302 0 0 0 7 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209823750640 140210774524528 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8478] ppid=8463 vsize=15018968 memory=1096 CPUtime=0.16 cores=0,2,4,6
/proc/8466/task/8478/stat : 8478 (java) R 8463 8463 3961 0 -1 4202560 645 0 0 0 16 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209822695288 140210767141781 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8479] ppid=8463 vsize=15018968 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8479/stat : 8479 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140208200739808 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8480] ppid=8463 vsize=15018968 memory=5940 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8480/stat : 8480 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406005931 15379423232 31847 33554432000 4194304 4196468 140720496617120 140209821645232 140210788211330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128784 KiB
[startup+1.50143 s]
/proc/loadavg: 4.00 3.17 2.54 8/229 8482
/proc/meminfo: memFree=12496480/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 406005924 115843072 349 33554432000 4194304 5098028 140725643842048 140725643839304 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 349 296 221 0 87 0
[pid=8466] ppid=8463 vsize=15027304 memory=3096656 CPUtime=19.94 cores=0,2,4,6
/proc/8466/stat : 8466 (java) S 8463 8463 3961 0 -1 1077944320 36322 0 0 0 1929 65 0 0 20 0 15 0 406005924 15387959296 774164 33554432000 4194304 4196468 140720496617120 140720496599664 140210788200183 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
/proc/8466/statm: 3756826 774164 3283 1 0 3717627 0
[pid=8466/tid=8467] ppid=8463 vsize=15027304 memory=36796 CPUtime=11.05 cores=0,2,4,6
/proc/8466/task/8467/stat : 8467 (java) R 8463 8463 3961 0 -1 4202560 22879 0 0 0 1055 50 0 0 20 0 15 0 406005924 15387959296 774164 33554432000 4194304 4196468 140720496617120 140210760030320 140210300179304 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8468] ppid=8463 vsize=15027304 memory=988 CPUtime=0.1 cores=0,2,4,6
/proc/8466/task/8468/stat : 8468 (java) S 8463 8463 3961 0 -1 1077944384 50 0 0 0 8 2 0 0 20 0 15 0 406005926 15387959296 774164 33554432000 4194304 4196468 140720496617120 140210792442768 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8469] ppid=8463 vsize=15027304 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/8466/task/8469/stat : 8469 (java) S 8463 8463 3961 0 -1 1077944384 66 0 0 0 8 2 0 0 20 0 15 0 406005926 15387959296 774164 33554432000 4194304 4196468 140720496617120 140210248952592 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8470] ppid=8463 vsize=15027304 memory=10 CPUtime=0.09 cores=0,2,4,6
/proc/8466/task/8470/stat : 8470 (java) S 8463 8463 3961 0 -1 1077944384 39 0 0 0 7 2 0 0 20 0 15 0 406005926 15387959296 774164 33554432000 4194304 4196468 140720496617120 140210247900304 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8471] ppid=8463 vsize=15027304 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/8466/task/8471/stat : 8471 (java) S 8463 8463 3961 0 -1 1077944384 81 0 0 0 8 2 0 0 20 0 15 0 406005926 15387959296 774164 33554432000 4194304 4196468 140720496617120 140210246847504 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8472] ppid=8463 vsize=15027304 memory=9 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8472/stat : 8472 (java) S 8463 8463 3961 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 406005927 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209825855600 140210788211330 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8473] ppid=8463 vsize=15027304 memory=10 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8473/stat : 8473 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406005928 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209341588256 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8474] ppid=8463 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8474/stat : 8474 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406005928 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209073153136 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8475] ppid=8463 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8475/stat : 8475 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140208698644560 140210788218779 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8476] ppid=8463 vsize=15027304 memory=1364 CPUtime=3.48 cores=0,2,4,6
/proc/8466/task/8476/stat : 8476 (java) S 8463 8463 3961 0 -1 1077944384 4280 0 0 0 347 1 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209824803440 140210788211330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8477] ppid=8463 vsize=15027304 memory=4786094062015227314 CPUtime=3.76 cores=0,2,4,6
/proc/8466/task/8477/stat : 8477 (java) R 8463 8463 3961 0 -1 4202560 4684 0 0 0 376 0 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209823750640 140210772101858 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8478] ppid=8463 vsize=15027304 memory=279267766332368 CPUtime=1.16 cores=0,2,4,6
/proc/8466/task/8478/stat : 8478 (java) S 8463 8463 3961 0 -1 1077944384 2892 0 0 0 116 0 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209822698352 140210788211330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8479] ppid=8463 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8479/stat : 8479 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140208200739808 140210788210389 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
[pid=8466/tid=8480] ppid=8463 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8466/task/8480/stat : 8480 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406005931 15387959296 774164 33554432000 4194304 4196468 140720496617120 140209821645232 140210788211330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 24281088 140720496620330 140720496620698 140720496620698 140720496623567 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 3098052 KiB
[startup+12.0004 s]*
/proc/loadavg: 3.98 3.19 2.55 3/228 8497
/proc/meminfo: memFree=12583496/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1476 CPUtime=20.38 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 581 37231 0 0 0 0 1969 69 20 0 1 0 406005924 115843072 369 33554432000 4194304 5098028 140725643842048 140725643838792 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 369 311 221 0 87 0
[pid=8483] ppid=8463 vsize=7406604 memory=80872 CPUtime=0.72 cores=0,2,4,6
/proc/8483/stat : 8483 (java) S 8463 8463 3961 0 -1 1077944320 13686 0 0 0 68 4 0 0 20 0 15 0 406007071 7584362496 20218 33554432000 4194304 4196468 140731303642288 140731303624832 140711456055031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
/proc/8483/statm: 1851651 20218 3049 1 0 1813530 0
[pid=8483/tid=8484] ppid=8463 vsize=7406604 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/8483/task/8484/stat : 8484 (java) R 8463 8463 3961 0 -1 4202560 11559 0 0 0 48 3 0 0 20 0 15 0 406007071 7584362496 20416 33554432000 4194304 4196468 140731303642288 140711427868040 140711436330752 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8485] ppid=8463 vsize=7406604 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8485/stat : 8485 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7584362496 20416 33554432000 4194304 4196468 140731303642288 140711460297488 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8486] ppid=8463 vsize=7406604 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8486/stat : 8486 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7584362496 20416 33554432000 4194304 4196468 140731303642288 140711260466064 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8487] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8487/stat : 8487 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7584362496 20416 33554432000 4194304 4196468 140731303642288 140711259413520 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8488] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8488/stat : 8488 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406007072 7584362496 20416 33554432000 4194304 4196468 140731303642288 140711258360976 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8489] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8489/stat : 8489 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406007074 7584362496 20416 33554432000 4194304 4196468 140731303642288 140710499788784 140711456066178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8490] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8490/stat : 8490 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406007074 7584362496 20416 33554432000 4194304 4196468 140731303642288 140710376367008 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8491] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8491/stat : 8491 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007074 7584362496 20482 33554432000 4194304 4196468 140731303642288 140710107931632 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8492] ppid=8463 vsize=7406604 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8492/stat : 8492 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140709733423312 140711456073627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8493] ppid=8463 vsize=7406604 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8483/task/8493/stat : 8493 (java) S 8463 8463 3961 0 -1 1077944384 519 0 0 0 3 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140710498736624 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8494] ppid=8463 vsize=7406604 memory=734122130331934767 CPUtime=0.03 cores=0,2,4,6
/proc/8483/task/8494/stat : 8494 (java) S 8463 8463 3961 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140710497684080 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8495] ppid=8463 vsize=7406604 memory=279267909953952 CPUtime=0.12 cores=0,2,4,6
/proc/8483/task/8495/stat : 8495 (java) S 8463 8463 3961 0 -1 1077944384 325 0 0 0 12 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140710496631536 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8496] ppid=8463 vsize=7406604 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8496/stat : 8496 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140709235518560 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8497] ppid=8463 vsize=7406604 memory=139634026432395 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8497/stat : 8497 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007077 7584362496 20482 33554432000 4194304 4196468 140731303642288 140710495578416 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
Current children cumulated CPU time: 21.1 s
Current children cumulated vsize: 7519732 KiB
Current children cumulated memory: 82348 KiB
[startup+12.2007 s]
/proc/loadavg: 3.98 3.19 2.55 3/228 8497
/proc/meminfo: memFree=12583496/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1476 CPUtime=20.38 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 581 37231 0 0 0 0 1969 69 20 0 1 0 406005924 115843072 369 33554432000 4194304 5098028 140725643842048 140725643838792 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 369 311 221 0 87 0
[pid=8483] ppid=8463 vsize=7408652 memory=107456 CPUtime=1.1 cores=0,2,4,6
/proc/8483/stat : 8483 (java) S 8463 8463 3961 0 -1 1077944320 18983 0 0 0 104 6 0 0 20 0 15 0 406007071 7586459648 26864 33554432000 4194304 4196468 140731303642288 140731303624832 140711456055031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
/proc/8483/statm: 1852163 26864 3160 1 0 1814042 0
[pid=8483/tid=8484] ppid=8463 vsize=7408652 memory=-5185266903443400809 CPUtime=0.71 cores=0,2,4,6
/proc/8483/task/8484/stat : 8484 (java) R 8463 8463 3961 0 -1 4202560 15990 0 0 0 66 5 0 0 20 0 15 0 406007071 7586459648 26864 33554432000 4194304 4196468 140731303642288 140711427890464 140711440135518 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8485] ppid=8463 vsize=7408652 memory=5854800090718812770 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8485/stat : 8485 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7586459648 26864 33554432000 4194304 4196468 140731303642288 140711460297488 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8486] ppid=8463 vsize=7408652 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8486/stat : 8486 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7586459648 26864 33554432000 4194304 4196468 140731303642288 140711260466064 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8487] ppid=8463 vsize=7408652 memory=-7533511066075828060 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8487/stat : 8487 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007072 7586459648 26864 33554432000 4194304 4196468 140731303642288 140711259413520 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8488] ppid=8463 vsize=7408652 memory=-7595754389018297760 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8488/stat : 8488 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406007072 7586459648 26864 33554432000 4194304 4196468 140731303642288 140711258360976 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8489] ppid=8463 vsize=7408652 memory=-7101718590825193272 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8489/stat : 8489 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 406007074 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710499788784 140711456066178 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8490] ppid=8463 vsize=7408652 memory=-8388677020596316723 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8490/stat : 8490 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 406007074 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710376367008 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8491] ppid=8463 vsize=7408652 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8491/stat : 8491 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007074 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710107931632 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8492] ppid=8463 vsize=7408652 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8492/stat : 8492 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140709733423312 140711456073627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8493] ppid=8463 vsize=7408652 memory=6944656592455360604 CPUtime=0.11 cores=0,2,4,6
/proc/8483/task/8493/stat : 8493 (java) R 8463 8463 3961 0 -1 4202560 990 0 0 0 11 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710498724176 140711434188632 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8494] ppid=8463 vsize=7408652 memory=6944656592455360604 CPUtime=0.06 cores=0,2,4,6
/proc/8483/task/8494/stat : 8494 (java) R 8463 8463 3961 0 -1 1077944384 168 0 0 0 6 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710497684080 140711456066178 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8495] ppid=8463 vsize=7408652 memory=-2895008908443676273 CPUtime=0.19 cores=0,2,4,6
/proc/8483/task/8495/stat : 8495 (java) R 8463 8463 3961 0 -1 4202560 511 0 0 0 19 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710496631536 140711448292158 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8496] ppid=8463 vsize=7408652 memory=-9206908407010585447 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8496/stat : 8496 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140709235518560 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8497] ppid=8463 vsize=7408652 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8497/stat : 8497 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 406007077 7586459648 26864 33554432000 4194304 4196468 140731303642288 140710495578416 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
Current children cumulated CPU time: 21.48 s
Current children cumulated vsize: 7521780 KiB
Current children cumulated memory: 108932 KiB
[startup+12.3074 s]
/proc/loadavg: 3.98 3.19 2.55 3/228 8497
/proc/meminfo: memFree=12583496/32770624 swapFree=66901228/67108860
[pid=8463] ppid=8459 vsize=113128 memory=1476 CPUtime=20.38 cores=0,2,4,6
/proc/8463/stat : 8463 (scop.sh) S 8459 8463 3961 0 -1 4202496 581 37231 0 0 0 0 1969 69 20 0 1 0 406005924 115843072 369 33554432000 4194304 5098028 140725643842048 140725643838792 139747959706236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19013632 140725643846499 140725643846768 140725643846768 140725643849677 0
/proc/8463/statm: 28282 369 311 221 0 87 0
[pid=8483] ppid=8463 vsize=8068440 memory=123380 CPUtime=1.34 cores=0,2,4,6
/proc/8483/stat : 8483 (java) S 8463 8463 3961 0 -1 1077944320 20280 0 0 0 127 7 0 0 20 0 19 0 406007071 8262082560 30845 33554432000 4194304 4196468 140731303642288 140731303624832 140711456055031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
/proc/8483/statm: 2017110 30845 3199 1 0 1978454 0
[pid=8483/tid=8484] ppid=8463 vsize=8068440 memory=1476 CPUtime=0.8 cores=0,2,4,6
/proc/8483/task/8484/stat : 8484 (java) R 8463 8463 3961 0 -1 4202560 16893 0 0 0 74 6 0 0 20 0 19 0 406007071 8262082560 30845 33554432000 4194304 4196468 140731303642288 140711427889056 140711440135518 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8485] ppid=8463 vsize=8068440 memory=99476 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8485/stat : 8485 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007072 8262082560 30845 33554432000 4194304 4196468 140731303642288 140711460297488 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8486] ppid=8463 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8486/stat : 8486 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007072 8262082560 30845 33554432000 4194304 4196468 140731303642288 140711260466064 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8487] ppid=8463 vsize=8068440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8487/stat : 8487 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007072 8262082560 30845 33554432000 4194304 4196468 140731303642288 140711259413520 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8488] ppid=8463 vsize=8068440 memory=139633883565400 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8488/stat : 8488 (java) S 8463 8463 3961 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 406007072 8262082560 30845 33554432000 4194304 4196468 140731303642288 140711258360976 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8489] ppid=8463 vsize=8068440 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8489/stat : 8489 (java) S 8463 8463 3961 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 406007074 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710499788784 140711456066178 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8490] ppid=8463 vsize=8068440 memory=7014751519600236900 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8490/stat : 8490 (java) S 8463 8463 3961 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 406007074 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710376367008 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8491] ppid=8463 vsize=8068440 memory=7524505983526596199 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8491/stat : 8491 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007074 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710107931632 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8492] ppid=8463 vsize=8068440 memory=6370172787929410153 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8492/stat : 8492 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140709733423312 140711456073627 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8493] ppid=8463 vsize=8068440 memory=4639074098508484692 CPUtime=0.16 cores=0,2,4,6
/proc/8483/task/8493/stat : 8493 (java) R 8463 8463 3961 0 -1 4202560 1029 0 0 0 16 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710498736920 140711441179721 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8494] ppid=8463 vsize=8068440 memory=7091594197016864871 CPUtime=0.12 cores=0,2,4,6
/proc/8483/task/8494/stat : 8494 (java) R 8463 8463 3961 0 -1 1077944384 361 0 0 0 12 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710497684080 140711456066178 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8495] ppid=8463 vsize=8068440 memory=4206468019014099040 CPUtime=0.23 cores=0,2,4,6
/proc/8483/task/8495/stat : 8495 (java) R 8463 8463 3961 0 -1 4202560 604 0 0 0 23 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710496631536 140711448292158 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8496] ppid=8463 vsize=8068440 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8496/stat : 8496 (java) S 8463 8463 3961 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140709235518560 140711456065237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
[pid=8483/tid=8497] ppid=8463 vsize=8068440 memory=-7449382998787278238 CPUtime=0 cores=0,2,4,6
/proc/8483/task/8497/stat : 8497 (java) S 8463 8463 3961 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 406007077 8262082560 30845 33554432000 4194304 4196468 140731303642288 140710495578416 140711456066178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23347200 140731303646204 140731303646362 140731303646362 140731303649231 0
Current children cumulated CPU time: 21.72 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 124856 KiB
Child status: 0
Real time (s): 12.3803
CPU time (s): 21.8886
CPU user time (s): 21.0996
CPU system time (s): 0.789029
CPU usage (%): 176.802
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 3099716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0996
system time used= 0.789029
maximum resident set size= 3099008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5768
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 8463
# total CPU time (s): 21.8886
# total CPU user time (s): 21.0996
# total CPU system time (s): 0.789029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108991 second user time and 0.163487 second system time
The end