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-4230-serial-file.bin HOME/instance-4387564-1568285990.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 12:59:12 CEST 2019
0.66/0.56 c PID: 4234
0.66/0.56 c IP: 172.20.3.119
0.66/0.56 c HOST: node119.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.43/0.95 c (0,0) Parsing End
1.43/0.96 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 162
1.43/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.96 c (0,0) Constraint Name Generate Begin
1.43/0.97 c (0,0) Ctr:HOME/instance-4387564-1568285990.xml,Add:And:Le:NoOverlap:Num:Var
1.43/0.97 c (0,0) Constraint Name Generate End
1.43/0.97 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.43/0.97 c (0,0) CSP to CSPinCNF Begin
1.63/1.05 c (0,0) translated 10 (10%) constraints
1.63/1.06 c (0,0) translated 19 (20%) constraints
1.63/1.07 c (0,0) translated 29 (30%) constraints
1.63/1.08 c (0,0) translated 38 (40%) constraints
1.63/1.09 c (0,0) translated 48 (50%) constraints
1.63/1.09 c (0,0) translated 57 (60%) constraints
1.63/1.10 c (0,0) translated 67 (70%) constraints
1.63/1.10 c (0,0) translated 76 (80%) constraints
1.82/1.11 c (0,0) translated 86 (90%) constraints
2.02/1.24 c (0,0) translated 95 (100%) constraints
2.02/1.26 c (0,0) ===========================================
2.02/1.27 c (0,0) Hybrid: #OE=50, #LE=0
2.02/1.27 c (0,0) Hybrid
2.02/1.27 c (0,0) ===========================================
2.02/1.29 c (0,0) translated 37 (10%) constraints
2.02/1.29 c (0,0) translated 73 (20%) constraints
2.02/1.29 c (0,0) translated 110 (30%) constraints
2.02/1.29 c (0,0) translated 146 (40%) constraints
2.34/1.30 c (0,0) translated 183 (50%) constraints
2.34/1.31 c (0,0) translated 219 (60%) constraints
2.34/1.31 c (0,0) translated 256 (70%) constraints
2.34/1.32 c (0,0) translated 292 (80%) constraints
2.34/1.32 c (0,0) translated 329 (90%) constraints
2.34/1.33 c (0,0) translated 365 (100%) constraints
2.34/1.33 c (0,0) CSP to CSPinCNF End
2.34/1.33 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 143
2.34/1.33 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.34/1.33 c (0,0) CSPinCNF Propagation Begin
2.34/1.35 c (0,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed
2.34/1.35 c (0,0) CSPinCNF Propagation End
2.34/1.35 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 265 ctr, max domain size 143
2.34/1.35 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.34/1.36 c (0,0) Hybrid: #OE=50, #LE=0
2.34/1.36 c (0,0) Simplify CSPinCNF Begin
2.59/1.42 c (0,0) Simplify CSPinCNF End
2.59/1.42 c (0,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.59/1.42 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.59/1.42 c (0,0) Calculate Precise Domain Begin
2.59/1.43 c (0,0) 0 values are removed by re-calculation
2.59/1.43 c (0,0) Calculate Precise Domain End
2.59/1.43 c (0,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143
2.59/1.43 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.59/1.43 c (0,0) CSPinCNF to SatSolver Begin
3.14/1.64 c (1,1) 72 (10 %) CSP clauses are encoded (0 SAT variables, 12076 SAT clauses)
3.45/1.70 c (1,1) 143 (20 %) CSP clauses are encoded (0 SAT variables, 17069 SAT clauses)
3.45/1.75 c (1,1) 215 (30 %) CSP clauses are encoded (0 SAT variables, 22098 SAT clauses)
3.45/1.79 c (1,1) 286 (40 %) CSP clauses are encoded (0 SAT variables, 26732 SAT clauses)
3.76/1.83 c (1,1) 358 (50 %) CSP clauses are encoded (0 SAT variables, 31529 SAT clauses)
3.76/1.86 c (1,1) 429 (60 %) CSP clauses are encoded (0 SAT variables, 36155 SAT clauses)
3.76/1.89 c (1,1) 501 (70 %) CSP clauses are encoded (0 SAT variables, 41131 SAT clauses)
4.08/1.92 c (1,1) 572 (80 %) CSP clauses are encoded (0 SAT variables, 46206 SAT clauses)
4.08/1.94 c (1,1) 644 (90 %) CSP clauses are encoded (0 SAT variables, 51086 SAT clauses)
4.08/1.97 c (1,1) 715 (100 %) CSP clauses are encoded (0 SAT variables, 55792 SAT clauses)
4.08/1.97 c (1,1) CSPinCNF to SatSolver End
4.08/1.97 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.08/1.97 c (1,1) 6149 bool, 55897 clause
4.08/1.97 c (1,1) Export Begin
4.23/2.06 c (1,1) Export to HOME/scop-4230-serial-file.bin
4.23/2.06 c (1,1) Export End
4.23/2.06 c (1,1) Export File Size: 0.01 MB
4.23/2.06 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.23/2.06 c END-Prog: Thu Sep 12 12:59:13 CEST 2019
4.23/2.07 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4230-serial-file.bin
4.36/2.53 c (0,0) Read Serial File Begin
4.36/2.53 c (0,0) HOME/scop-4230-serial-file.bin
4.36/2.73 c (0,0) Read Serial File End
4.36/2.74
4.36/2.74 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
4.36/2.74 (Solving Process)
4.36/2.74
4.36/2.76 c BEGIN-Prog: Thu Sep 12 12:59:14 CEST 2019
4.36/2.76 c PID: 4257
4.36/2.76 c IP: 172.20.3.119
4.36/2.76 c HOST: node119.alineos.net
4.36/2.77 c (0,0) SatSolver.solve Begin
4.36/2.77 c (0,0) HOME/cryptominisat5 HOME/instance-4387564-1568285990.xml-scop-4234.cnf
5.49/3.01 c (0,0) c Outputting solution to console
5.49/3.01 c (0,0) c CryptoMiniSat version 5.6.8
5.49/3.02 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.49/3.02 c (0,0) c CMS SHA revision GIT-notfound
5.49/3.02 c (0,0) c CMS is MIT licensed
5.49/3.02 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
5.49/3.02 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.49/3.02 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387564-1568285990.xml-scop-4234.cnf
5.49/3.02 c (0,0) c Reading file 'HOME/instance-4387564-1568285990.xml-scop-4234.cnf'
5.49/3.02 c (0,0) c -- header says num vars: 6149
5.49/3.02 c (0,0) c -- header says num clauses: 55897
5.49/3.03 c (0,0) c -- clauses added: 55897
5.49/3.03 c (0,0) c -- xor clauses added: 0
5.49/3.03 c (0,0) c -- vars added 6149
5.49/3.03 c (0,0) c Parsing time: 0.02 s
5.49/3.04 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
5.49/3.04 c (0,0) c ------- FINAL TOTAL SEARCH STATS ---------
5.49/3.04 c (0,0) c UIP search time : 0.00 (9.88 % time)
5.49/3.04 c (0,0) c restarts : 1 (0.00 confls per restart)
5.49/3.04 c (0,0) c blocked restarts : 0 (0.00 per normal restart)
5.49/3.04 c (0,0) c time : 0.00
5.49/3.04 c (0,0) c decisions : 177 (0.00 % random)
5.49/3.04 c (0,0) c propagations : 5890
5.49/3.04 c (0,0) c decisions/conflicts : 0.00
5.49/3.04 c (0,0) c conflicts : 0 (0.00 / sec)
5.49/3.04 c (0,0) c conf lits non-minim : 0 (0.00 lit/confl)
5.49/3.04 c (0,0) c conf lits final : 0.00
5.49/3.04 c (0,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
5.49/3.04 c (0,0) c red which0 : 0 (0.00 % of confl)
5.49/3.04 c (0,0) c props/decision : 0.00
5.49/3.04 c (0,0) c props/conflict : 0.00
5.49/3.04 c (0,0) c 0-depth assigns : 259 (4.21 % vars)
5.49/3.04 c (0,0) c 0-depth assigns by CNF : 259 (4.21 % vars)
5.49/3.04 c (0,0) c reduceDB time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c OccSimplifier time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c [occur] 0.00 is overhead
5.49/3.04 c (0,0) c [occur] link-in T: 0.00 cleanup T: 0.00
5.49/3.04 c (0,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
5.49/3.04 c (0,0) c SCC time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c [scc] new: 0 BP 0M T: 0.00
5.49/3.04 c (0,0) c vrep replace time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c vrep tree roots : 0
5.49/3.04 c (0,0) c vrep trees' crown : 0 (0.00 leafs/tree)
5.49/3.04 c (0,0) c distill time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c strength cache-irred time: 0.00 (0.00 % time)
5.49/3.04 c (0,0) c strength cache-red time : 0.00 (0.00 % time)
5.49/3.04 c (0,0) c Conflicts in UIP : 0 (0.00 confl/time_this_thread)
5.49/3.04 c (0,0) c Mem used : 8.55 MB
5.49/3.04 c (0,0) c Total time (this thread) : 0.02
5.49/3.04 c (0,0) s SATISFIABLE
5.49/3.10 c (0,0) SatSolver.solve End
5.49/3.10 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
5.49/3.10 c (0,0) Show results Begin
5.74/3.19 c (0,0) x[0][0] = 12
5.74/3.19 c (0,0) x[0][1] = 20
5.74/3.19 c (0,0) x[0][2] = 24
5.74/3.19 c (0,0) x[0][3] = 36
5.74/3.19 c (0,0) x[0][4] = 46
5.74/3.19 c (0,0) x[1][0] = 20
5.74/3.19 c (0,0) x[1][1] = 57
5.74/3.19 c (0,0) x[1][2] = 65
5.74/3.19 c (0,0) x[1][3] = 77
5.74/3.19 c (0,0) x[1][4] = 80
5.74/3.19 c (0,0) x[2][0] = 24
5.74/3.19 c (0,0) x[2][1] = 65
5.74/3.19 c (0,0) x[2][2] = 77
5.74/3.19 c (0,0) x[2][3] = 99
5.74/3.19 c (0,0) x[2][4] = 106
5.74/3.19 c (0,0) x[3][0] = 1
5.74/3.19 c (0,0) x[3][1] = 30
5.74/3.20 c (0,0) x[3][2] = 36
5.74/3.20 c (0,0) x[3][3] = 70
5.74/3.20 c (0,0) x[3][4] = 78
5.74/3.20 c (0,0) x[4][0] = 78
5.74/3.20 c (0,0) x[4][1] = 88
5.74/3.20 c (0,0) x[4][2] = 99
5.74/3.20 c (0,0) x[4][3] = 128
5.74/3.20 c (0,0) x[4][4] = 135
5.74/3.20 c (0,0) x[5][0] = 88
5.74/3.20 c (0,0) x[5][1] = 94
5.74/3.20 c (0,0) x[5][2] = 111
5.74/3.20 c (0,0) x[5][3] = 121
5.74/3.20 c (0,0) x[5][4] = 124
5.74/3.20 c (0,0) x[6][0] = 36
5.74/3.20 c (0,0) x[6][1] = 47
5.74/3.20 c (0,0) x[6][2] = 51
5.74/3.20 c (0,0) x[6][3] = 94
5.74/3.20 c (0,0) x[6][4] = 106
5.74/3.20 c (0,0) x[7][0] = 51
5.74/3.20 c (0,0) x[7][1] = 59
5.74/3.20 c (0,0) x[7][2] = 88
5.74/3.20 c (0,0) x[7][3] = 100
5.74/3.20 c (0,0) x[7][4] = 115
5.74/3.20 c (0,0) x[8][0] = 103
5.74/3.20 c (0,0) x[8][1] = 112
5.74/3.20 c (0,0) x[8][2] = 121
5.74/3.20 c (0,0) x[8][3] = 131
5.74/3.20 c (0,0) x[8][4] = 142
5.74/3.20 c (0,0) x[9][0] = 124
5.74/3.20 c (0,0) x[9][1] = 128
5.74/3.20 c (0,0) x[9][2] = 134
5.74/3.20 c (0,0) x[9][3] = 147
5.74/3.20 c (0,0) x[9][4] = 153
5.74/3.20 s SATISFIABLE
5.90/3.20 v <instantiation>
5.90/3.20 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4]</list>
5.90/3.20 v <values>12 20 24 36 46 20 57 65 77 80 24 65 77 99 106 1 30 36 70 78 78 88 99 128 135 88 94 111 121 124 36 47 51 94 106 51 59 88 100 115 103 112 121 131 142 124 128 134 147 153</values>
5.90/3.20 v </instantiation>
5.90/3.20 c (0,0) Show results End
5.90/3.20 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
5.90/3.20 c (0,0) 0,0,STOP-AFTER(ALL)
5.90/3.20 c END-Prog: Thu Sep 12 12:59:14 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 (5217 MiB free)
memory of node 1: 16384 MiB (8977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387564-1568285990/watcher-4387564-1568285990 -o /tmp/evaluation-result-4387564-1568285990/solver-4387564-1568285990 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4193 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387564-1568285990.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4230, runsolver pid=4227
[startup+0.100133 s]*
/proc/loadavg: 1.61 1.92 2.01 3/230 4256
/proc/meminfo: memFree=14452300/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404513993 115843072 349 33554432000 4194304 5098028 140727545192192 140727545189448 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 349 296 221 0 87 0
[pid=4234] ppid=4230 vsize=15012696 memory=73496 CPUtime=0.12 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4230 4230 3344 0 -1 1077944320 6584 0 0 0 10 2 0 0 20 0 15 0 404513993 15373000704 18374 33554432000 4194304 4196468 140723094378032 140723094360576 140391115427575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
/proc/4234/statm: 3753174 18374 2921 1 0 3715579 0
[pid=4234/tid=4235] ppid=4230 vsize=15012696 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/4234/task/4235/stat : 4235 (java) R 4230 4230 3344 0 -1 4202560 4489 0 0 0 8 1 0 0 20 0 15 0 404513994 15373000704 18440 33554432000 4194304 4196468 140723094378032 140391087221480 140391099508062 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4238] ppid=4230 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 18440 33554432000 4194304 4196468 140723094378032 140391119670160 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4239] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390939966224 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4240] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390574816400 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4241] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390573763600 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4247] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390152984688 140391115438722 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4249] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4230 4230 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 18440 33554432000 4194304 4196468 140723094378032 140389663105824 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4250] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4250/stat : 4250 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 18440 33554432000 4194304 4196468 140723094378032 140389394670704 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4251] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4251/stat : 4251 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140389020162128 140391115446171 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4252] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4252/stat : 4252 (java) S 4230 4230 3344 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390151932528 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4253] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4253/stat : 4253 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390150879728 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4254] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0.01 cores=0,2,4,6
/proc/4234/task/4254/stat : 4254 (java) R 4230 4230 3344 0 -1 4202560 420 0 0 0 1 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390149824120 140391094039932 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4255] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4255/stat : 4255 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140388522257376 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4256] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4256/stat : 4256 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 18440 33554432000 4194304 4196468 140723094378032 140390148774320 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74892 KiB
[startup+0.211037 s]*
/proc/loadavg: 1.61 1.92 2.01 4/230 4256
/proc/meminfo: memFree=14421836/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404513993 115843072 349 33554432000 4194304 5098028 140727545192192 140727545189448 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 349 296 221 0 87 0
[pid=4234] ppid=4230 vsize=15012696 memory=88608 CPUtime=0.24 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4230 4230 3344 0 -1 1077944320 11716 0 0 0 21 3 0 0 20 0 15 0 404513993 15373000704 22152 33554432000 4194304 4196468 140723094378032 140723094360576 140391115427575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
/proc/4234/statm: 3753174 22152 2924 1 0 3715579 0
[pid=4234/tid=4235] ppid=4230 vsize=15012696 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/4234/task/4235/stat : 4235 (java) R 4230 4230 3344 0 -1 4202560 9481 0 0 0 17 2 0 0 20 0 15 0 404513994 15373000704 22152 33554432000 4194304 4196468 140723094378032 140391087211136 140391115449501 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4238] ppid=4230 vsize=15012696 memory=11077 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22152 33554432000 4194304 4196468 140723094378032 140391119670160 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4239] ppid=4230 vsize=15012696 memory=288230376153220841 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390939966224 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4240] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390574816400 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4241] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390573763600 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4247] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390152984688 140391115438722 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4249] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4230 4230 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22152 33554432000 4194304 4196468 140723094378032 140389663105824 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4250] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4250/stat : 4250 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22152 33554432000 4194304 4196468 140723094378032 140389394670704 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4251] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4251/stat : 4251 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140389020162128 140391115446171 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4252] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4252/stat : 4252 (java) S 4230 4230 3344 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390151932528 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4253] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4253/stat : 4253 (java) S 4230 4230 3344 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390150879728 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4254] ppid=4230 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4234/task/4254/stat : 4254 (java) S 4230 4230 3344 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390149827440 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4255] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4255/stat : 4255 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140388522257376 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4256] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4256/stat : 4256 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22152 33554432000 4194304 4196468 140723094378032 140390148774320 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 90004 KiB
[startup+0.310661 s]*
/proc/loadavg: 1.61 1.92 2.01 3/230 4256
/proc/meminfo: memFree=14416752/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404513993 115843072 349 33554432000 4194304 5098028 140727545192192 140727545189448 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 349 296 221 0 87 0
[pid=4234] ppid=4230 vsize=15012696 memory=91952 CPUtime=0.42 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4230 4230 3344 0 -1 1077944320 12558 0 0 0 38 4 0 0 20 0 15 0 404513993 15373000704 22988 33554432000 4194304 4196468 140723094378032 140723094360576 140391115427575 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
/proc/4234/statm: 3753174 22988 3021 1 0 3715579 0
[pid=4234/tid=4235] ppid=4230 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/4234/task/4235/stat : 4235 (java) R 4230 4230 3344 0 -1 4202560 10156 0 0 0 27 3 0 0 20 0 15 0 404513994 15373000704 22988 33554432000 4194304 4196468 140723094378032 140391087210592 140391100593128 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4238] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22988 33554432000 4194304 4196468 140723094378032 140391119670160 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4239] ppid=4230 vsize=15012696 memory=14692989504004113 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390939966224 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4240] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390574816400 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4241] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390573763600 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4247] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390152984688 140391115438722 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4249] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4230 4230 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22988 33554432000 4194304 4196468 140723094378032 140389663105824 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4250] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4250/stat : 4250 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513997 15373000704 22988 33554432000 4194304 4196468 140723094378032 140389394670704 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4251] ppid=4230 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4251/stat : 4251 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140389020162128 140391115446171 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4252] ppid=4230 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4234/task/4252/stat : 4252 (java) S 4230 4230 3344 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390151932528 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4253] ppid=4230 vsize=15012696 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4234/task/4253/stat : 4253 (java) S 4230 4230 3344 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390150879728 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4254] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4254/stat : 4254 (java) S 4230 4230 3344 0 -1 1077944384 449 0 0 0 7 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390149827440 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4255] ppid=4230 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4255/stat : 4255 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140388522257376 140391115437781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4256] ppid=4230 vsize=15012696 memory=140161339848320 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4256/stat : 4256 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514000 15373000704 22988 33554432000 4194304 4196468 140723094378032 140390148774320 140391115438722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93348 KiB
[startup+0.704189 s]
/proc/loadavg: 1.61 1.92 2.01 3/230 4256
/proc/meminfo: memFree=14372552/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404513993 115843072 349 33554432000 4194304 5098028 140727545192192 140727545189448 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 349 296 221 0 87 0
[pid=4234] ppid=4230 vsize=15022116 memory=130264 CPUtime=1 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4230 4230 3344 0 -1 1077944320 19873 0 0 0 94 6 0 0 20 0 15 0 404513993 15382646784 32566 33554432000 4194304 4196468 140723094378032 140723094360576 140391115427575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
/proc/4234/statm: 3755529 32566 3201 1 0 3716859 0
[pid=4234/tid=4235] ppid=4230 vsize=15021092 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/4234/task/4235/stat : 4235 (java) R 4230 4230 3344 0 -1 4202560 16972 0 0 0 63 5 0 0 20 0 15 0 404513994 15381598208 32566 33554432000 4194304 4196468 140723094378032 140391087236352 140391108144679 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4238] ppid=4230 vsize=15022116 memory=520 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15382646784 32566 33554432000 4194304 4196468 140723094378032 140391119670160 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4239] ppid=4230 vsize=15022116 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15382646784 32566 33554432000 4194304 4196468 140723094378032 140390939966224 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4240] ppid=4230 vsize=15022116 memory=924 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15382646784 32566 33554432000 4194304 4196468 140723094378032 140390574816400 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4241] ppid=4230 vsize=15021092 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15381598208 32566 33554432000 4194304 4196468 140723094378032 140390573763600 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4247] ppid=4230 vsize=15022116 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4230 4230 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404513997 15382646784 32566 33554432000 4194304 4196468 140723094378032 140390152984688 140391115438722 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4249] ppid=4230 vsize=15022116 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4230 4230 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404513997 15382646784 32566 33554432000 4194304 4196468 140723094378032 140389663105824 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4250] ppid=4230 vsize=15022116 memory=804 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4250/stat : 4250 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513997 15382646784 32566 33554432000 4194304 4196468 140723094378032 140389394670704 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4251] ppid=4230 vsize=15021092 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4251/stat : 4251 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140389020162128 140391115446171 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4252] ppid=4230 vsize=15021092 memory=7453282923444726100 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4252/stat : 4252 (java) R 4230 4230 3344 0 -1 4202560 720 0 0 0 7 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140390151932528 140391093438388 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4253] ppid=4230 vsize=15021092 memory=5792825802846453857 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4253/stat : 4253 (java) R 4230 4230 3344 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140390150879728 140391115438722 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4254] ppid=4230 vsize=15021092 memory=8514726395715219869 CPUtime=0.15 cores=0,2,4,6
/proc/4234/task/4254/stat : 4254 (java) R 4230 4230 3344 0 -1 4202560 557 0 0 0 15 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140390149827440 140391094250681 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4255] ppid=4230 vsize=15021092 memory=7811885441042836050 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4255/stat : 4255 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140388522257376 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4256] ppid=4230 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4256/stat : 4256 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514000 15381598208 32566 33554432000 4194304 4196468 140723094378032 140390148774320 140391115438722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15135244 KiB
Current children cumulated memory: 131660 KiB
[startup+1.50401 s]
/proc/loadavg: 1.61 1.92 2.01 6/230 4256
/proc/meminfo: memFree=14275364/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 404513993 115843072 349 33554432000 4194304 5098028 140727545192192 140727545189448 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 349 296 221 0 87 0
[pid=4234] ppid=4230 vsize=15027304 memory=174480 CPUtime=2.8 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4230 4230 3344 0 -1 1077944320 23322 0 0 0 270 10 0 0 20 0 15 0 404513993 15387959296 43620 33554432000 4194304 4196468 140723094378032 140723094360576 140391115427575 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
/proc/4234/statm: 3756826 43620 3257 1 0 3717627 0
[pid=4234/tid=4235] ppid=4230 vsize=15027304 memory=21828 CPUtime=1.47 cores=0,2,4,6
/proc/4234/task/4235/stat : 4235 (java) R 4230 4230 3344 0 -1 4202560 18471 0 0 0 140 7 0 0 20 0 15 0 404513994 15387959296 43620 33554432000 4194304 4196468 140723094378032 140391087263440 140391115439510 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4238] ppid=4230 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15387959296 43620 33554432000 4194304 4196468 140723094378032 140391119670160 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4239] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390939966224 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4240] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4230 4230 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404513995 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390574816400 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4241] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513995 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390573763600 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4247] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4230 4230 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404513997 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390152984688 140391115438722 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4249] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4230 4230 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404513997 15387959296 43620 33554432000 4194304 4196468 140723094378032 140389663105824 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4250] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4250/stat : 4250 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404513997 15387959296 43620 33554432000 4194304 4196468 140723094378032 140389394670704 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4251] ppid=4230 vsize=15027304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4251/stat : 4251 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140389020162128 140391115446171 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4252] ppid=4230 vsize=15027304 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/4234/task/4252/stat : 4252 (java) R 4230 4230 3344 0 -1 4202560 1046 0 0 0 34 1 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390151919280 140391098814230 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4253] ppid=4230 vsize=15027304 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/4234/task/4253/stat : 4253 (java) R 4230 4230 3344 0 -1 4202560 464 0 0 0 28 0 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390150865248 140391094673621 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4254] ppid=4230 vsize=15027304 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4234/task/4254/stat : 4254 (java) R 4230 4230 3344 0 -1 4202560 2007 0 0 0 66 0 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390149827440 140391115448922 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4255] ppid=4230 vsize=15027304 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4255/stat : 4255 (java) S 4230 4230 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140388522257376 140391115437781 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
[pid=4234/tid=4256] ppid=4230 vsize=15027304 memory=37088 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4256/stat : 4256 (java) S 4230 4230 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404514000 15387959296 43620 33554432000 4194304 4196468 140723094378032 140390148774320 140391115438722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19464192 140723094385450 140723094385818 140723094385818 140723094388687 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 175876 KiB
[startup+3.11144 s]
/proc/loadavg: 1.61 1.92 2.01 4/234 4277
/proc/meminfo: memFree=13521856/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1476 CPUtime=4.36 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 582 25392 0 1 0 0 423 13 20 0 1 0 404513993 115843072 369 33554432000 4194304 5098028 140727545192192 140727545188936 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 369 311 221 0 87 0
[pid=4257] ppid=4230 vsize=7937364 memory=122700 CPUtime=1.38 cores=0,2,4,6
/proc/4257/stat : 4257 (java) S 4230 4230 3344 0 -1 1077944320 20122 2562 0 2 128 7 2 1 20 0 17 0 404514201 8127860736 30675 33554432000 4194304 4196468 140734468485824 140734468468368 139982302932727 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
/proc/4257/statm: 1984341 30675 3216 1 0 1945685 0
[pid=4257/tid=4258] ppid=4230 vsize=7937364 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/4257/task/4258/stat : 4258 (java) R 4230 4230 3344 0 -1 4202560 16743 2562 0 2 70 5 2 1 20 0 17 0 404514201 8127860736 30675 33554432000 4194304 4196468 140734468485824 139982274768864 139982302944662 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4259] ppid=4230 vsize=7937364 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4259/stat : 4259 (java) S 4230 4230 3344 0 -1 1077944384 2 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 30675 33554432000 4194304 4196468 140734468485824 139982307175440 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4260] ppid=4230 vsize=7937364 memory=6944656575208382560 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4260/stat : 4260 (java) S 4230 4230 3344 0 -1 1077944384 2 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 30675 33554432000 4194304 4196468 140734468485824 139982112939152 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4261] ppid=4230 vsize=7937364 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4261/stat : 4261 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981786614544 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4262] ppid=4230 vsize=7937364 memory=6944656592455097440 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4262/stat : 4262 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981785562000 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4263] ppid=4230 vsize=7937364 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4263/stat : 4263 (java) S 4230 4230 3344 0 -1 1077944384 5 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981682206960 139982302943874 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4264] ppid=4230 vsize=7937364 memory=6944656592455360604 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4264/stat : 4264 (java) S 4230 4230 3344 0 -1 1077944384 13 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981171451040 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4265] ppid=4230 vsize=7937364 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4265/stat : 4265 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 30675 33554432000 4194304 4196468 140734468485824 139980903015152 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4266] ppid=4230 vsize=7937364 memory=-6945504543650622756 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4266/stat : 4266 (java) S 4230 4230 3344 0 -1 1077944384 3 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139980528506832 139982302951323 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4267] ppid=4230 vsize=7937364 memory=-7161732098442470212 CPUtime=0.17 cores=0,2,4,6
/proc/4257/task/4267/stat : 4267 (java) R 4230 4230 3344 0 -1 4202560 607 2562 0 2 14 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981681136368 139982282649863 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4268] ppid=4230 vsize=7937364 memory=7681407940103534239 CPUtime=0.15 cores=0,2,4,6
/proc/4257/task/4268/stat : 4268 (java) R 4230 4230 3344 0 -1 1077944384 488 2562 0 2 12 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981680102256 139982302943874 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4269] ppid=4230 vsize=7937364 memory=6944652027076318631 CPUtime=0.28 cores=0,2,4,6
/proc/4257/task/4269/stat : 4269 (java) R 4230 4230 3344 0 -1 4202560 685 2562 0 2 25 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981679049200 139982296029444 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4270] ppid=4230 vsize=7937364 memory=3047711604724501878 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4270/stat : 4270 (java) S 4230 4230 3344 0 -1 1077944384 3 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139980030602080 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4271] ppid=4230 vsize=7937364 memory=7306620274351435625 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4271/stat : 4271 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981677996592 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4273] ppid=4230 vsize=7937364 memory=7019607249215053812 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4273/stat : 4273 (java) S 4230 4230 3344 0 -1 1077944384 30 2562 0 2 0 0 2 1 20 0 17 0 404514272 8127860736 30675 33554432000 4194304 4196468 140734468485824 139981669962256 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4277] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4277/stat : 4277 (java) S 4230 4230 3344 0 -1 1077944384 14 2562 0 2 0 0 2 1 20 0 17 0 404514275 8127860736 30675 33554432000 4194304 4196468 140734468485824 139979225294384 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 124176 KiB
[startup+3.2097 s]
# the end of solver process 4230 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.69849 s, system=0.234247 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20154 s]
/proc/loadavg: 1.61 1.92 2.01 4/234 4277
/proc/meminfo: memFree=13521856/32770624 swapFree=66939824/67108860
[pid=4230] ppid=4227 vsize=113128 memory=1476 CPUtime=4.36 cores=0,2,4,6
/proc/4230/stat : 4230 (scop.sh) S 4227 4230 3344 0 -1 4202496 582 25392 0 1 0 0 423 13 20 0 1 0 404513993 115843072 369 33554432000 4194304 5098028 140727545192192 140727545188936 139840074097276 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31256576 140727545197411 140727545197680 140727545197680 140727545200589 0
/proc/4230/statm: 28282 369 311 221 0 87 0
[pid=4257] ppid=4230 vsize=7937364 memory=128444 CPUtime=1.54 cores=0,2,4,6
/proc/4257/stat : 4257 (java) S 4230 4230 3344 0 -1 1077944320 20528 2562 0 2 143 8 2 1 20 0 17 0 404514201 8127860736 32111 33554432000 4194304 4196468 140734468485824 140734468468368 139982302932727 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
/proc/4257/statm: 1984341 32111 3222 1 0 1945685 0
[pid=4257/tid=4258] ppid=4230 vsize=7937364 memory=6944656575208382560 CPUtime=0.86 cores=0,2,4,6
/proc/4257/task/4258/stat : 4258 (java) R 4230 4230 3344 0 -1 4202560 17040 2562 0 2 78 5 2 1 20 0 17 0 404514201 8127860736 32111 33554432000 4194304 4196468 140734468485824 139982274773232 139982302944662 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4259] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4259/stat : 4259 (java) S 4230 4230 3344 0 -1 1077944384 2 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 32111 33554432000 4194304 4196468 140734468485824 139982307175440 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4260] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4260/stat : 4260 (java) S 4230 4230 3344 0 -1 1077944384 2 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 32111 33554432000 4194304 4196468 140734468485824 139982112939152 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4261] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4261/stat : 4261 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981786614544 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4262] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4262/stat : 4262 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514202 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981785562000 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4263] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4263/stat : 4263 (java) S 4230 4230 3344 0 -1 1077944384 5 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981682206960 139982302943874 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4264] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4264/stat : 4264 (java) S 4230 4230 3344 0 -1 1077944384 13 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981171451040 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4265] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4265/stat : 4265 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514204 8127860736 32111 33554432000 4194304 4196468 140734468485824 139980903015152 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4266] ppid=4230 vsize=7937364 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4266/stat : 4266 (java) S 4230 4230 3344 0 -1 1077944384 3 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139980528506832 139982302951323 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4267] ppid=4230 vsize=7937364 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4257/task/4267/stat : 4267 (java) S 4230 4230 3344 0 -1 1077944384 620 2562 0 2 15 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981681154800 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4268] ppid=4230 vsize=7937364 memory=1412 CPUtime=0.16 cores=0,2,4,6
/proc/4257/task/4268/stat : 4268 (java) S 4230 4230 3344 0 -1 1077944384 504 2562 0 2 13 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981680102256 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4269] ppid=4230 vsize=7937364 memory=2424 CPUtime=0.31 cores=0,2,4,6
/proc/4257/task/4269/stat : 4269 (java) R 4230 4230 3344 0 -1 4202560 765 2562 0 2 28 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981679049200 139982296029619 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4270] ppid=4230 vsize=7937364 memory=1396 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4270/stat : 4270 (java) S 4230 4230 3344 0 -1 1077944384 3 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139980030602080 139982302942933 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4271] ppid=4230 vsize=7937364 memory=355984 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4271/stat : 4271 (java) S 4230 4230 3344 0 -1 1077944384 1 2562 0 2 0 0 2 1 20 0 17 0 404514207 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981677996592 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4273] ppid=4230 vsize=7937364 memory=1620 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4273/stat : 4273 (java) S 4230 4230 3344 0 -1 1077944384 30 2562 0 2 0 0 2 1 20 0 17 0 404514272 8127860736 32111 33554432000 4194304 4196468 140734468485824 139981669962256 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
[pid=4257/tid=4277] ppid=4230 vsize=7937364 memory=8317482817917895235 CPUtime=0.03 cores=0,2,4,6
/proc/4257/task/4277/stat : 4277 (java) S 4230 4230 3344 0 -1 1077944384 14 2562 0 2 0 0 2 1 20 0 17 0 404514275 8127860736 32111 33554432000 4194304 4196468 140734468485824 139979225294384 139982302943874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140734468494332 140734468494490 140734468494490 140734468497359 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 129920 KiB
Child status: 0
Real time (s): 3.20974
CPU time (s): 5.93274
CPU user time (s): 5.69849
CPU system time (s): 0.234247
CPU usage (%): 184.835
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 357380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.69849
system time used= 0.234247
maximum resident set size= 361688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49093
page faults= 3
swaps= 0
block input operations= 34488
block output operations= 2096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5823
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 4230
# total CPU time (s): 5.93274
# total CPU user time (s): 5.69849
# total CPU system time (s): 0.234247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04532 second user time and 0.079047 second system time
The end