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-6190-serial-file.bin HOME/instance-4387816-1568291252.xml
0.66/0.53
0.66/0.53 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.53
0.66/0.55 c BEGIN-Prog: Thu Sep 12 14:26:53 CEST 2019
0.66/0.55 c PID: 6193
0.66/0.55 c IP: 172.20.3.119
0.66/0.55 c HOST: node119.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.44/1.20 c (0,0) Parsing End
2.80/1.21 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 477 ctr, max domain size 20
2.80/1.21 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.80/1.21 c (0,0) Constraint Name Generate Begin
2.80/1.22 c (0,0) Ctr:HOME/instance-4387816-1568291252.xml,ExtensionConflict:Var
2.80/1.22 c (0,0) Constraint Name Generate End
2.80/1.22 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.80/1.22 c (0,0) CSP to CSPinCNF Begin
4.72/1.99 c (1,1) translated 48 (10%) constraints
5.95/2.31 c (1,1) translated 96 (20%) constraints
6.56/2.57 c (2,2) translated 144 (30%) constraints
7.47/2.83 c (2,2) translated 191 (40%) constraints
8.10/3.08 c (2,2) translated 239 (50%) constraints
9.07/3.71 c (3,2) translated 287 (60%) constraints
9.67/3.95 c (3,3) translated 334 (70%) constraints
10.27/4.16 c (3,3) translated 382 (80%) constraints
10.69/4.35 c (3,3) translated 430 (90%) constraints
10.94/4.53 c (4,3) translated 477 (100%) constraints
10.94/4.54 c (4,3) ===========================================
10.94/4.58 c (4,3) Hybrid: #OE=50, #LE=0
10.94/4.58 c (4,3) Hybrid
10.94/4.58 c (4,3) ===========================================
11.35/4.70 c (4,3) translated 3616 (10%) constraints
11.35/4.80 c (4,3) translated 7232 (20%) constraints
11.57/4.88 c (4,3) translated 10848 (30%) constraints
11.74/4.96 c (4,4) translated 14464 (40%) constraints
11.83/5.04 c (4,4) translated 18080 (50%) constraints
11.94/5.12 c (4,4) translated 21696 (60%) constraints
11.94/5.20 c (4,4) translated 25312 (70%) constraints
12.04/5.27 c (4,4) translated 28928 (80%) constraints
12.14/5.35 c (4,4) translated 32544 (90%) constraints
12.26/5.44 c (4,4) translated 36159 (100%) constraints
12.26/5.44 c (4,4) CSP to CSPinCNF End
12.26/5.44 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
12.26/5.44 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.26/5.44 c (4,4) CSPinCNF Propagation Begin
12.98/5.72 c (5,4) 0 values, 4172 unsatisfiable literals, and 0 valid clauses are removed
12.98/5.72 c (5,4) CSPinCNF Propagation End
12.98/5.72 c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
12.98/5.72 c (5,4) Heap : 1577 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
12.98/5.76 c (5,4) Hybrid: #OE=50, #LE=0
12.98/5.76 c (5,4) Simplify CSPinCNF Begin
13.15/5.88 c (5,4) Simplify CSPinCNF End
13.15/5.88 c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.15/5.88 c (5,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.15/5.88 c (5,4) Calculate Precise Domain Begin
13.15/5.89 c (5,4) 0 values are removed by re-calculation
13.15/5.89 c (5,4) Calculate Precise Domain End
13.15/5.89 c (5,4) CSP: 50 int (0 aux), 0 bool (0 aux), 36159 ctr, max domain size 20
13.15/5.89 c (5,4) Heap : 1633 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.15/5.89 c (5,4) CSPinCNF to SatSolver Begin
13.89/6.11 c (5,5) 3616 (10 %) CSP clauses are encoded (0 SAT variables, 4515 SAT clauses)
14.20/6.20 c (5,5) 7232 (20 %) CSP clauses are encoded (0 SAT variables, 8131 SAT clauses)
14.20/6.27 c (5,5) 10848 (30 %) CSP clauses are encoded (0 SAT variables, 11747 SAT clauses)
14.52/6.32 c (5,5) 14464 (40 %) CSP clauses are encoded (0 SAT variables, 15363 SAT clauses)
14.52/6.38 c (5,5) 18080 (50 %) CSP clauses are encoded (0 SAT variables, 18979 SAT clauses)
14.81/6.42 c (5,5) 21696 (60 %) CSP clauses are encoded (0 SAT variables, 22595 SAT clauses)
14.81/6.47 c (5,5) 25312 (70 %) CSP clauses are encoded (0 SAT variables, 26211 SAT clauses)
14.90/6.51 c (5,5) 28928 (80 %) CSP clauses are encoded (0 SAT variables, 29827 SAT clauses)
14.90/6.55 c (6,5) 32544 (90 %) CSP clauses are encoded (0 SAT variables, 33443 SAT clauses)
15.00/6.60 c (6,5) 36159 (100 %) CSP clauses are encoded (0 SAT variables, 37058 SAT clauses)
15.00/6.60 c (6,5) CSPinCNF to SatSolver End
15.00/6.60 c (6,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.00/6.60 c (6,5) 950 bool, 37059 clause
15.00/6.60 c (6,5) Export Begin
15.00/6.69 c (6,5) Export to HOME/scop-6190-serial-file.bin
15.00/6.69 c (6,5) Export End
15.00/6.69 c (6,5) Export File Size: 0.01 MB
15.00/6.69 c (6,5) 0,0,4,5,5,5,6,STOP-AFTER(DIMACS)
15.00/6.69 c END-Prog: Thu Sep 12 14:26:59 CEST 2019
0.00/6.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6190-serial-file.bin
15.23/7.16 c (0,0) Read Serial File Begin
15.23/7.16 c (0,0) HOME/scop-6190-serial-file.bin
16.04/7.37 c (0,0) Read Serial File End
16.04/7.39
16.04/7.39 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
16.04/7.39 (Solving Process)
16.04/7.39
16.20/7.41 c BEGIN-Prog: Thu Sep 12 14:27:00 CEST 2019
16.20/7.41 c PID: 6208
16.20/7.41 c IP: 172.20.3.119
16.20/7.41 c HOST: node119.alineos.net
16.20/7.41 c (0,0) SatSolver.solve Begin
16.20/7.41 c (0,0) HOME/cryptominisat5 HOME/instance-4387816-1568291252.xml-scop-6193.cnf
16.20/7.45 c (0,0) c Outputting solution to console
16.20/7.45 c (0,0) c CryptoMiniSat version 5.6.8
16.20/7.45 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
16.20/7.45 c (0,0) c CMS SHA revision GIT-notfound
16.20/7.45 c (0,0) c CMS is MIT licensed
16.20/7.45 c (0,0) c CMS compilation env CMAKE_CXX_COMPILER = /usr/bin/c++ | CMAKE_CXX_FLAGS = -Wall -Wextra -Wunused -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -ggdb3 -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic | COMPILE_DEFINES = -DLARGE_OFFSETS -DBOOST_TEST_DYN_LINK -DUSE_ZLIB -DYALSAT_FPU | STATICCOMPILE = OFF | ONLY_SIMPLE = OFF | Boost_FOUND = 1 | STATS = OFF | SQLITE3_FOUND = | ZLIB_FOUND = TRUE | VALGRIND_FOUND = | ENABLE_TESTING = OFF | M4RI_FOUND = FALSE | NOM4RI = OFF | SLOW_DEBUG = OFF | ENABLE_ASSERTIONS = ON | PYTHON_EXECUTABLE = /usr/bin/python2.7 | PYTHON_LIBRARY = /usr/lib64/libpython2.7.so | PYTHON_INCLUDE_DIRS = /usr/include/python2.7 | MY_TARGETS = | LARGEMEM = ON | LIMITMEM = OFF | compilation date time = Jul 11 2019 16:04:13
16.20/7.45 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
16.20/7.45 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387816-1568291252.xml-scop-6193.cnf
16.20/7.45 c (0,0) c Reading file 'HOME/instance-4387816-1568291252.xml-scop-6193.cnf'
16.20/7.45 c (0,0) c -- header says num vars: 950
16.20/7.45 c (0,0) c -- header says num clauses: 37059
16.20/7.45 c (0,0) c -- clauses added: 37059
16.20/7.45 c (0,0) c -- xor clauses added: 0
16.20/7.45 c (0,0) c -- vars added 950
16.20/7.45 c (0,0) c Parsing time: 0.01 s
16.20/7.46 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
16.20/7.46 c (0,0) c [distill] long cls tried: 3/3 cl-short:3 lit-r:2 T: 0.00 T-out: N T-r: 100.00%
16.41/7.57 c (0,0) c [distill] long cls tried: 48/51 cl-short:48 lit-r:12 T: 0.00 T-out: N T-r: 99.98%
16.41/7.73 c (0,0) c [distill] long cls tried: 77/128 cl-short:77 lit-r:16 T: 0.00 T-out: N T-r: 99.97%
16.41/7.76 c (0,0) c glue 1 23 8193 950 35K 1387 3.79 3.73 142 1387 6663 1 12.54 12.54
16.41/7.96 c (0,0) c [distill] long cls tried: 570/696 cl-short:570 lit-r:211 T: 0.04 T-out: N T-r: 99.68%
16.41/8.14 c (1,0) c geom 1 37 16386 950 35K 1387 3.79 3.73 758 4608 11016 4 12.77 12.77
16.41/8.24 c (1,0) c [distill] long cls tried: 89/785 cl-short:89 lit-r:25 T: 0.01 T-out: N T-r: 99.93%
17.27/8.35 c (1,0) c ------- FINAL TOTAL SEARCH STATS ---------
17.27/8.35 c (1,0) c UIP search time : 0.90 (98.25 % time)
17.27/8.35 c (1,0) c restarts : 43 (477.86 confls per restart)
17.27/8.35 c (1,0) c blocked restarts : 10 (0.23 per normal restart)
17.27/8.35 c (1,0) c time : 0.90
17.27/8.35 c (1,0) c decisions : 25078 (0.00 % random)
17.27/8.35 c (1,0) c propagations : 1964747
17.27/8.35 c (1,0) c decisions/conflicts : 1.22
17.27/8.35 c (1,0) c conflicts : 20548 (22945.02 / sec)
17.27/8.35 c (1,0) c conf lits non-minim : 408209 (19.87 lit/confl)
17.27/8.35 c (1,0) c conf lits final : 12.93
17.27/8.35 c (1,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
17.27/8.35 c (1,0) c red which0 : 321 (1.56 % of confl)
17.27/8.35 c (1,0) c props/decision : 0.00
17.27/8.35 c (1,0) c props/conflict : 0.00
17.27/8.35 c (1,0) c 0-depth assigns : 0 (0.00 % vars)
17.27/8.35 c (1,0) c 0-depth assigns by CNF : 0 (0.00 % vars)
17.27/8.35 c (1,0) c reduceDB time : 0.00 (0.22 % time)
17.27/8.35 c (1,0) c OccSimplifier time : 0.00 (0.00 % time)
17.27/8.35 c (1,0) c [occur] 0.00 is overhead
17.27/8.35 c (1,0) c [occur] link-in T: 0.00 cleanup T: 0.00
17.27/8.35 c (1,0) c [occ-substr] long subBySub: 0 subByStr: 0 lits-rem-str: 0 T: 0.00
17.27/8.35 c (1,0) c SCC time : 0.00 (0.00 % time)
17.27/8.35 c (1,0) c [scc] new: 0 BP 0M T: 0.00
17.27/8.35 c (1,0) c vrep replace time : 0.00 (0.00 % time)
17.27/8.35 c (1,0) c vrep tree roots : 0
17.27/8.35 c (1,0) c vrep trees' crown : 0 (0.00 leafs/tree)
17.27/8.35 c (1,0) c distill time : 0.05 (5.63 % time)
17.27/8.35 c (1,0) c strength cache-irred time: 0.00 (0.00 % time)
17.27/8.35 c (1,0) c strength cache-red time : 0.00 (0.00 % time)
17.27/8.35 c (1,0) c Conflicts in UIP : 20548 (22543.33 confl/time_this_thread)
17.27/8.35 c (1,0) c Mem used : 10.58 MB
17.27/8.35 c (1,0) c Total time (this thread) : 0.91
17.27/8.35 c (1,0) s SATISFIABLE
17.27/8.38 c (1,0) SatSolver.solve End
17.27/8.38 c (1,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.27/8.38 c (1,0) Show results Begin
17.44/8.46 c (1,0) x[0] = 10
17.44/8.46 c (1,0) x[1] = 11
17.44/8.46 c (1,0) x[2] = 7
17.44/8.46 c (1,0) x[3] = 14
17.44/8.46 c (1,0) x[4] = 13
17.44/8.46 c (1,0) x[5] = 13
17.44/8.46 c (1,0) x[6] = 3
17.44/8.46 c (1,0) x[7] = 3
17.44/8.46 c (1,0) x[8] = 9
17.44/8.46 c (1,0) x[9] = 7
17.44/8.46 c (1,0) x[10] = 18
17.44/8.46 c (1,0) x[11] = 3
17.44/8.46 c (1,0) x[12] = 15
17.44/8.46 c (1,0) x[13] = 12
17.44/8.46 c (1,0) x[14] = 8
17.44/8.46 c (1,0) x[15] = 17
17.44/8.46 c (1,0) x[16] = 13
17.44/8.46 c (1,0) x[17] = 11
17.44/8.46 c (1,0) x[18] = 12
17.44/8.46 c (1,0) x[19] = 15
17.44/8.46 c (1,0) x[20] = 9
17.44/8.46 c (1,0) x[21] = 9
17.44/8.46 c (1,0) x[22] = 8
17.44/8.46 c (1,0) x[23] = 5
17.44/8.46 c (1,0) x[24] = 4
17.44/8.46 c (1,0) x[25] = 4
17.44/8.46 c (1,0) x[26] = 14
17.44/8.46 c (1,0) x[27] = 3
17.44/8.46 c (1,0) x[28] = 6
17.44/8.46 c (1,0) x[29] = 9
17.44/8.46 c (1,0) x[30] = 20
17.44/8.46 c (1,0) x[31] = 16
17.44/8.46 c (1,0) x[32] = 10
17.44/8.46 c (1,0) x[33] = 2
17.44/8.46 c (1,0) x[34] = 10
17.44/8.46 c (1,0) x[35] = 19
17.44/8.46 c (1,0) x[36] = 1
17.44/8.46 c (1,0) x[37] = 4
17.44/8.46 c (1,0) x[38] = 9
17.44/8.46 c (1,0) x[39] = 13
17.44/8.46 c (1,0) x[40] = 8
17.44/8.46 c (1,0) x[41] = 18
17.44/8.46 c (1,0) x[42] = 6
17.44/8.46 c (1,0) x[43] = 16
17.44/8.46 c (1,0) x[44] = 8
17.44/8.46 c (1,0) x[45] = 15
17.44/8.46 c (1,0) x[46] = 19
17.44/8.46 c (1,0) x[47] = 17
17.44/8.46 c (1,0) x[48] = 19
17.44/8.46 c (1,0) x[49] = 12
17.44/8.46 s SATISFIABLE
17.44/8.46 v <instantiation>
17.44/8.46 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
17.44/8.46 v <values>10 11 7 14 13 13 3 3 9 7 18 3 15 12 8 17 13 11 12 15 9 9 8 5 4 4 14 3 6 9 20 16 10 2 10 19 1 4 9 13 8 18 6 16 8 15 19 17 19 12</values>
17.44/8.46 v </instantiation>
17.44/8.46 c (1,0) Show results End
17.44/8.46 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
17.44/8.46 c (1,0) 1,1,STOP-AFTER(ALL)
17.44/8.46 c END-Prog: Thu Sep 12 14:27:01 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 (1160 MiB free)
memory of node 1: 16384 MiB (11880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387816-1568291252/watcher-4387816-1568291252 -o /tmp/evaluation-result-4387816-1568291252/solver-4387816-1568291252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568285951-4194 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387816-1568291252.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6190, runsolver pid=6187
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.00 3.84 3.09 3/235 6207
/proc/meminfo: memFree=13294612/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040095 115843072 349 33554432000 4194304 5098028 140726734335232 140726734332488 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 349 296 221 0 87 0
[pid=6193] ppid=6190 vsize=15012696 memory=71928 CPUtime=0.12 cores=1,3,5,7
/proc/6193/stat : 6193 (java) S 6190 6190 3344 0 -1 1077944320 7234 0 0 0 10 2 0 0 20 0 15 0 405040095 15373000704 17982 33554432000 4194304 4196468 140722440051904 140722440034448 140299288567543 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
/proc/6193/statm: 3753430 17982 2930 1 0 3715835 0
[pid=6193/tid=6194] ppid=6190 vsize=15013720 memory=-7828588039587137883 CPUtime=0.08 cores=1,3,5,7
/proc/6193/task/6194/stat : 6194 (java) R 6190 6190 3344 0 -1 4202560 5266 0 0 0 7 1 0 0 20 0 15 0 405040095 15374049280 18180 33554432000 4194304 4196468 140722440051904 140299260351792 140299281247261 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6195] ppid=6190 vsize=15014680 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6195/stat : 6195 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15375032320 18246 33554432000 4194304 4196468 140722440051904 140299292810256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6196] ppid=6190 vsize=15014680 memory=140552806160000 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6196/stat : 6196 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15375032320 18246 33554432000 4194304 4196468 140722440051904 140299068513424 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6197] ppid=6190 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6197/stat : 6197 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040097 15375032320 18246 33554432000 4194304 4196468 140722440051904 140299067460368 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6198] ppid=6190 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6198/stat : 6198 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15375032320 18246 33554432000 4194304 4196468 140722440051904 140298747374480 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6199] ppid=6190 vsize=15014680 memory=140552806160000 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6199/stat : 6199 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040098 15375032320 18312 33554432000 4194304 4196468 140722440051904 140298258729200 140299288578690 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6200] ppid=6190 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6200/stat : 6200 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040099 15375032320 18312 33554432000 4194304 4196468 140722440051904 140297858180256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6201] ppid=6190 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6201/stat : 6201 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040099 15375032320 18312 33554432000 4194304 4196468 140722440051904 140297723958000 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6202] ppid=6190 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6202/stat : 6202 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040101 15375032320 18312 33554432000 4194304 4196468 140722440051904 140297349453776 140299288586139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6203] ppid=6190 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6203/stat : 6203 (java) S 6190 6190 3344 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 405040101 15375032320 18312 33554432000 4194304 4196468 140722440051904 140298257677040 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6204] ppid=6190 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6204/stat : 6204 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040101 15375032320 18312 33554432000 4194304 4196468 140722440051904 140298256624496 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6205] ppid=6190 vsize=15014680 memory=140552806160000 CPUtime=0.01 cores=1,3,5,7
/proc/6193/task/6205/stat : 6205 (java) S 6190 6190 3344 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 405040101 15375032320 18312 33554432000 4194304 4196468 140722440051904 140298255571440 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6206] ppid=6190 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6206/stat : 6206 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040102 15375032320 18312 33554432000 4194304 4196468 140722440051904 140296851549024 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6207] ppid=6190 vsize=15014680 memory=140552806160000 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6207/stat : 6207 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040102 15375032320 18312 33554432000 4194304 4196468 140722440051904 140298254518832 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 73324 KiB
[startup+0.211071 s]*
/proc/loadavg: 4.00 3.84 3.09 3/235 6207
/proc/meminfo: memFree=13278704/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040095 115843072 349 33554432000 4194304 5098028 140726734335232 140726734332488 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 349 296 221 0 87 0
[pid=6193] ppid=6190 vsize=15012696 memory=84644 CPUtime=0.25 cores=1,3,5,7
/proc/6193/stat : 6193 (java) S 6190 6190 3344 0 -1 1077944320 11750 0 0 0 22 3 0 0 20 0 15 0 405040095 15373000704 21161 33554432000 4194304 4196468 140722440051904 140722440034448 140299288567543 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
/proc/6193/statm: 3753174 21161 2933 1 0 3715579 0
[pid=6193/tid=6194] ppid=6190 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6193/task/6194/stat : 6194 (java) R 6190 6190 3344 0 -1 4202560 9466 0 0 0 17 3 0 0 20 0 15 0 405040095 15373000704 21161 33554432000 4194304 4196468 140722440051904 140299260380416 140299288579478 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6195] ppid=6190 vsize=15012696 memory=540 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6195/stat : 6195 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 21161 33554432000 4194304 4196468 140722440051904 140299292810256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6196] ppid=6190 vsize=15012696 memory=140552806172094 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6196/stat : 6196 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 21161 33554432000 4194304 4196468 140722440051904 140299068513424 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6197] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6197/stat : 6197 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 21226 33554432000 4194304 4196468 140722440051904 140299067460368 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6198] ppid=6190 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6198/stat : 6198 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298747374480 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6199] ppid=6190 vsize=15012696 memory=140552806160000 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6199/stat : 6199 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040098 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298258729200 140299288578690 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6200] ppid=6190 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6200/stat : 6200 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040099 15373000704 21226 33554432000 4194304 4196468 140722440051904 140297858180256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6201] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6201/stat : 6201 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040099 15373000704 21226 33554432000 4194304 4196468 140722440051904 140297723958000 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6202] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6202/stat : 6202 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040101 15373000704 21226 33554432000 4194304 4196468 140722440051904 140297349453776 140299288586139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6203] ppid=6190 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6193/task/6203/stat : 6203 (java) S 6190 6190 3344 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 405040101 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298257677040 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6204] ppid=6190 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6204/stat : 6204 (java) S 6190 6190 3344 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 405040101 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298256624496 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6205] ppid=6190 vsize=15012696 memory=140552806160000 CPUtime=0.03 cores=1,3,5,7
/proc/6193/task/6205/stat : 6205 (java) R 6190 6190 3344 0 -1 4202560 475 0 0 0 3 0 0 0 20 0 15 0 405040101 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298255566784 140299267702026 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6206] ppid=6190 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6206/stat : 6206 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040102 15373000704 21226 33554432000 4194304 4196468 140722440051904 140296851549024 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6207] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6207/stat : 6207 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040102 15373000704 21226 33554432000 4194304 4196468 140722440051904 140298254518832 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 86040 KiB
[startup+0.310886 s]*
/proc/loadavg: 4.00 3.84 3.09 4/235 6207
/proc/meminfo: memFree=13276152/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040095 115843072 349 33554432000 4194304 5098028 140726734335232 140726734332488 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 349 296 221 0 87 0
[pid=6193] ppid=6190 vsize=15012696 memory=88588 CPUtime=0.43 cores=1,3,5,7
/proc/6193/stat : 6193 (java) S 6190 6190 3344 0 -1 1077944320 12678 0 0 0 39 4 0 0 20 0 15 0 405040095 15373000704 22147 33554432000 4194304 4196468 140722440051904 140722440034448 140299288567543 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
/proc/6193/statm: 3753174 22147 3077 1 0 3715579 0
[pid=6193/tid=6194] ppid=6190 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/6193/task/6194/stat : 6194 (java) R 6190 6190 3344 0 -1 4202560 10221 0 0 0 27 3 0 0 20 0 15 0 405040095 15373000704 22147 33554432000 4194304 4196468 140722440051904 140299260350560 140299272648030 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6195] ppid=6190 vsize=15012696 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6195/stat : 6195 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 22147 33554432000 4194304 4196468 140722440051904 140299292810256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6196] ppid=6190 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6196/stat : 6196 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 22147 33554432000 4194304 4196468 140722440051904 140299068513424 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6197] ppid=6190 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6197/stat : 6197 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 22147 33554432000 4194304 4196468 140722440051904 140299067460368 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6198] ppid=6190 vsize=15012696 memory=7367707135548368274 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6198/stat : 6198 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298747374480 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6199] ppid=6190 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6199/stat : 6199 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040098 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298258729200 140299288578690 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6200] ppid=6190 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6200/stat : 6200 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040099 15373000704 22147 33554432000 4194304 4196468 140722440051904 140297858180256 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6201] ppid=6190 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6201/stat : 6201 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040099 15373000704 22147 33554432000 4194304 4196468 140722440051904 140297723958000 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6202] ppid=6190 vsize=15012696 memory=-8412656567168561567 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6202/stat : 6202 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040101 15373000704 22147 33554432000 4194304 4196468 140722440051904 140297349453776 140299288586139 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6203] ppid=6190 vsize=15012696 memory=-7384621950708166502 CPUtime=0.03 cores=1,3,5,7
/proc/6193/task/6203/stat : 6203 (java) S 6190 6190 3344 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 405040101 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298257677040 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6204] ppid=6190 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6193/task/6204/stat : 6204 (java) S 6190 6190 3344 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 405040101 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298256624496 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6205] ppid=6190 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/6193/task/6205/stat : 6205 (java) S 6190 6190 3344 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 15 0 405040101 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298255571440 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6206] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6206/stat : 6206 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040102 15373000704 22147 33554432000 4194304 4196468 140722440051904 140296851549024 140299288577749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6207] ppid=6190 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6207/stat : 6207 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040102 15373000704 22147 33554432000 4194304 4196468 140722440051904 140298254518832 140299288578690 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89984 KiB
[startup+0.709485 s]
/proc/loadavg: 4.00 3.84 3.09 3/235 6207
/proc/meminfo: memFree=13252216/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040095 115843072 349 33554432000 4194304 5098028 140726734335232 140726734332488 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 349 296 221 0 87 0
[pid=6193] ppid=6190 vsize=15021016 memory=132144 CPUtime=1.08 cores=1,3,5,7
/proc/6193/stat : 6193 (java) S 6190 6190 3344 0 -1 1077944320 20258 0 0 0 102 6 0 0 20 0 15 0 405040095 15381520384 33036 33554432000 4194304 4196468 140722440051904 140722440034448 140299288567543 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
/proc/6193/statm: 3755254 33036 3182 1 0 3716603 0
[pid=6193/tid=6194] ppid=6190 vsize=15021016 memory=297312208 CPUtime=0.68 cores=1,3,5,7
/proc/6193/task/6194/stat : 6194 (java) R 6190 6190 3344 0 -1 4202560 17216 0 0 0 63 5 0 0 20 0 15 0 405040095 15381520384 33036 33554432000 4194304 4196468 140722440051904 140299260398728 140299272648030 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6195] ppid=6190 vsize=15021016 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6195/stat : 6195 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15381520384 33036 33554432000 4194304 4196468 140722440051904 140299292810256 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6196] ppid=6190 vsize=15021016 memory=116 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6196/stat : 6196 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15381520384 33036 33554432000 4194304 4196468 140722440051904 140299068513424 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6197] ppid=6190 vsize=15021016 memory=10770 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6197/stat : 6197 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040097 15381520384 33036 33554432000 4194304 4196468 140722440051904 140299067460368 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6198] ppid=6190 vsize=15021016 memory=19455 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6198/stat : 6198 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405040097 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298747374480 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6199] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6199/stat : 6199 (java) S 6190 6190 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405040098 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298258729200 140299288578690 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6200] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6200/stat : 6200 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405040099 15381520384 33036 33554432000 4194304 4196468 140722440051904 140297858180256 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6201] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6201/stat : 6201 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405040099 15381520384 33036 33554432000 4194304 4196468 140722440051904 140297723958000 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6202] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6202/stat : 6202 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040101 15381520384 33036 33554432000 4194304 4196468 140722440051904 140297349453776 140299288586139 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6203] ppid=6190 vsize=15021016 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6193/task/6203/stat : 6203 (java) R 6190 6190 3344 0 -1 4202560 765 0 0 0 12 0 0 0 20 0 15 0 405040101 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298257665184 140299273307936 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6204] ppid=6190 vsize=15021016 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6193/task/6204/stat : 6204 (java) R 6190 6190 3344 0 -1 4202560 277 0 0 0 8 0 0 0 20 0 15 0 405040101 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298256613296 140299272053493 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6205] ppid=6190 vsize=15021016 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/6193/task/6205/stat : 6205 (java) R 6190 6190 3344 0 -1 4202560 645 0 0 0 17 0 0 0 20 0 15 0 405040101 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298255569400 140299267272576 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6206] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6206/stat : 6206 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405040102 15381520384 33036 33554432000 4194304 4196468 140722440051904 140296851549024 140299288577749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
[pid=6193/tid=6207] ppid=6190 vsize=15021016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6193/task/6207/stat : 6207 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405040102 15381520384 33036 33554432000 4194304 4196468 140722440051904 140298254518832 140299288578690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35930112 140722440057642 140722440058010 140722440058010 140722440060879 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 133540 KiB
[startup+1.50545 s]
/proc/loadavg: 4.00 3.84 3.09 5/234 6207
/proc/meminfo: memFree=13175264/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405040095 115843072 349 33554432000 4194304 5098028 140726734335232 140726734332488 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=6208/tid=6214] ppid=6190 vsize=8068440 memory=1399101730491701552 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6214/stat : 6214 (java) S 6190 6190 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242298669424 140242852203138 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6215] ppid=6190 vsize=8068440 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6215/stat : 6215 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241755169824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6216] ppid=6190 vsize=8068440 memory=-5921431000321636112 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6216/stat : 6216 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241620947824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6217] ppid=6190 vsize=8068440 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6217/stat : 6217 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241246443344 140242852210587 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6218] ppid=6190 vsize=8068440 memory=7980 CPUtime=0.08 cores=1,3,5,7
/proc/6208/task/6218/stat : 6218 (java) S 6190 6190 3344 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242297617264 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6219] ppid=6190 vsize=8068440 memory=9580 CPUtime=0.1 cores=1,3,5,7
/proc/6208/task/6219/stat : 6219 (java) S 6190 6190 3344 0 -1 1077944384 410 0 0 0 10 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242296564464 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6220] ppid=6190 vsize=8068440 memory=1052 CPUtime=0.2 cores=1,3,5,7
/proc/6208/task/6220/stat : 6220 (java) S 6190 6190 3344 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242295511664 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6221] ppid=6190 vsize=8068440 memory=776 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6221/stat : 6221 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140240748538592 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6222] ppid=6190 vsize=8068440 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6222/stat : 6222 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242294459056 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 119340 KiB
[startup+7.90066 s]
/proc/loadavg: 4.00 3.84 3.09 4/234 6222
/proc/meminfo: memFree=13268520/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1476 CPUtime=15.23 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 583 35657 0 0 0 0 1483 40 20 0 1 0 405040095 115843072 369 33554432000 4194304 5098028 140726734335232 140726734331976 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 369 311 221 0 87 0
[pid=6208] ppid=6190 vsize=8068440 memory=117864 CPUtime=1.18 cores=1,3,5,7
/proc/6208/stat : 6208 (java) S 6190 6190 3344 0 -1 1077944320 20408 0 0 0 111 7 0 0 20 0 19 0 405040766 8262082560 29466 33554432000 4194304 4196468 140737398609888 140737398592432 140242852191991 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
/proc/6208/statm: 2017110 29466 3211 1 0 1978454 0
[pid=6208/tid=6209] ppid=6190 vsize=8068440 memory=6369023815509044583 CPUtime=0.76 cores=1,3,5,7
/proc/6208/task/6209/stat : 6209 (java) S 6190 6190 3344 0 -1 1077944384 17405 0 0 0 71 5 0 0 20 0 19 0 405040766 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242824032160 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6210] ppid=6190 vsize=8068440 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6210/stat : 6210 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242856434832 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6211] ppid=6190 vsize=8068440 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6211/stat : 6211 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242656603152 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6212] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6212/stat : 6212 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242655550352 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6213] ppid=6190 vsize=8068440 memory=281105341348568 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6213/stat : 6213 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242654497552 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6214] ppid=6190 vsize=8068440 memory=4628415523589229942 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6214/stat : 6214 (java) S 6190 6190 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242298669424 140242852203138 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6215] ppid=6190 vsize=8068440 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6215/stat : 6215 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241755169824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6216] ppid=6190 vsize=8068440 memory=520 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6216/stat : 6216 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241620947824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6217] ppid=6190 vsize=8068440 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6217/stat : 6217 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241246443344 140242852210587 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6218] ppid=6190 vsize=8068440 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/6208/task/6218/stat : 6218 (java) S 6190 6190 3344 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242297617264 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6219] ppid=6190 vsize=8068440 memory=3688 CPUtime=0.1 cores=1,3,5,7
/proc/6208/task/6219/stat : 6219 (java) S 6190 6190 3344 0 -1 1077944384 410 0 0 0 10 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242296564464 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6220] ppid=6190 vsize=8068440 memory=1984 CPUtime=0.2 cores=1,3,5,7
/proc/6208/task/6220/stat : 6220 (java) S 6190 6190 3344 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242295511664 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6221] ppid=6190 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6221/stat : 6221 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140240748538592 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6222] ppid=6190 vsize=8068440 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6222/stat : 6222 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242294459056 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 8181568 KiB
Current children cumulated memory: 119340 KiB
[startup+8.3007 s]*
/proc/loadavg: 4.00 3.84 3.09 3/239 6228
/proc/meminfo: memFree=13236120/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1476 CPUtime=15.23 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 583 35657 0 0 0 0 1483 40 20 0 1 0 405040095 115843072 369 33554432000 4194304 5098028 140726734335232 140726734331976 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 369 311 221 0 87 0
[pid=6208] ppid=6190 vsize=8068440 memory=117864 CPUtime=1.18 cores=1,3,5,7
/proc/6208/stat : 6208 (java) S 6190 6190 3344 0 -1 1077944320 20410 0 0 0 111 7 0 0 20 0 19 0 405040766 8262082560 29466 33554432000 4194304 4196468 140737398609888 140737398592432 140242852191991 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
/proc/6208/statm: 2017110 29466 3211 1 0 1978454 0
[pid=6223] ppid=6208 vsize=33732 memory=10576 CPUtime=0.86 cores=1,3,5,7
/proc/6223/stat : 6223 (cryptominisat5) R 6208 6190 3344 0 -1 4202496 3018 0 0 0 86 0 0 0 20 0 1 0 405040838 34541568 2644 33554432000 4194304 4451008 140724395146656 140724395141992 139778293043372 0 4 0 2 0 0 0 17 5 0 0 0 0 0 6549032 6559120 39284736 140724395152317 140724395152448 140724395152448 140724395155398 0
/proc/6223/statm: 8433 2644 642 63 0 2160 0
[pid=6208/tid=6209] ppid=6190 vsize=8068440 memory=8317482817917895235 CPUtime=0.76 cores=1,3,5,7
/proc/6208/task/6209/stat : 6209 (java) S 6190 6190 3344 0 -1 1077944384 17405 0 0 0 71 5 0 0 20 0 19 0 405040766 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242824032160 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6210] ppid=6190 vsize=8068440 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6210/stat : 6210 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242856434832 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6211] ppid=6190 vsize=8068440 memory=7228383407665933717 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6211/stat : 6211 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242656603152 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6212] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6212/stat : 6212 (java) S 6190 6190 3344 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242655550352 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6213] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6213/stat : 6213 (java) S 6190 6190 3344 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405040767 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242654497552 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6214] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6214/stat : 6214 (java) S 6190 6190 3344 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242298669424 140242852203138 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6215] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6215/stat : 6215 (java) S 6190 6190 3344 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241755169824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6216] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6216/stat : 6216 (java) S 6190 6190 3344 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405040769 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241620947824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6217] ppid=6190 vsize=8068440 memory=140552670841568 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6217/stat : 6217 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140241246443344 140242852210587 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6218] ppid=6190 vsize=8068440 memory=66506751 CPUtime=0.08 cores=1,3,5,7
/proc/6208/task/6218/stat : 6218 (java) S 6190 6190 3344 0 -1 1077944384 624 0 0 0 8 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242297617264 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6219] ppid=6190 vsize=8068440 memory=3473014236900067232 CPUtime=0.1 cores=1,3,5,7
/proc/6208/task/6219/stat : 6219 (java) S 6190 6190 3344 0 -1 1077944384 410 0 0 0 10 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242296564464 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6220] ppid=6190 vsize=8068440 memory=3474301949664572470 CPUtime=0.2 cores=1,3,5,7
/proc/6208/task/6220/stat : 6220 (java) S 6190 6190 3344 0 -1 1077944384 557 0 0 0 20 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242295511664 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6221] ppid=6190 vsize=8068440 memory=6075616666435699104 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6221/stat : 6221 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140240748538592 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6222] ppid=6190 vsize=8068440 memory=3472328296225127011 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6222/stat : 6222 (java) S 6190 6190 3344 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405040772 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242294459056 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6224] ppid=6190 vsize=8068440 memory=3472468681701573833 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6224/stat : 6224 (java) S 6190 6190 3344 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405040839 8262082560 29466 33554432000 4194304 4196468 140737398609888 140242292847808 140242852216601 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6226] ppid=6190 vsize=8068440 memory=3461361991631925344 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6226/stat : 6226 (java) S 6190 6190 3344 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 405040839 8262082560 29466 33554432000 4194304 4196468 140737398609888 140240211655952 140242852213917 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6227] ppid=6190 vsize=8068440 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6227/stat : 6227 (java) S 6190 6190 3344 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 405040839 8262082560 29466 33554432000 4194304 4196468 140737398609888 140239809003664 140242852213917 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6228] ppid=6190 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6228/stat : 6228 (java) S 6190 6190 3344 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405040842 8262082560 29466 33554432000 4194304 4196468 140737398609888 140240480100016 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
Current children cumulated CPU time: 17.27 s
Current children cumulated vsize: 8215300 KiB
Current children cumulated memory: 129916 KiB
[startup+8.4129 s]
/proc/loadavg: 4.00 3.84 3.09 3/239 6228
/proc/meminfo: memFree=13236120/32770624 swapFree=66939824/67108860
[pid=6190] ppid=6187 vsize=113128 memory=1476 CPUtime=15.23 cores=1,3,5,7
/proc/6190/stat : 6190 (scop.sh) S 6187 6190 3344 0 -1 4202496 583 35657 0 0 0 0 1483 40 20 0 1 0 405040095 115843072 369 33554432000 4194304 5098028 140726734335232 140726734331976 139869633315452 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29728768 140726734340963 140726734341232 140726734341232 140726734344141 0
/proc/6190/statm: 28282 369 311 221 0 87 0
[pid=6208] ppid=6190 vsize=7937364 memory=117036 CPUtime=2.21 cores=1,3,5,7
/proc/6208/stat : 6208 (java) S 6190 6190 3344 0 -1 1077944320 20721 3105 0 0 123 7 91 0 20 0 17 0 405040766 8127860736 29259 33554432000 4194304 4196468 140737398609888 140737398592432 140242852191991 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
/proc/6208/statm: 1984341 29259 3214 1 0 1945685 0
[pid=6208/tid=6209] ppid=6190 vsize=7937364 memory=117864 CPUtime=1.7 cores=1,3,5,7
/proc/6208/task/6209/stat : 6209 (java) R 6190 6190 3344 0 -1 4202560 17551 3105 0 0 74 5 91 0 20 0 17 0 405040766 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242824030336 140242852203926 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6210] ppid=6190 vsize=7937364 memory=1476 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6210/stat : 6210 (java) S 6190 6190 3344 0 -1 1077944384 1 3105 0 0 0 0 91 0 20 0 17 0 405040767 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242856434832 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6211] ppid=6190 vsize=7937364 memory=4164 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6211/stat : 6211 (java) S 6190 6190 3344 0 -1 1077944384 1 3105 0 0 0 0 91 0 20 0 17 0 405040767 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242656603152 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6212] ppid=6190 vsize=7937364 memory=1548 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6212/stat : 6212 (java) S 6190 6190 3344 0 -1 1077944384 1 3105 0 0 0 0 91 0 20 0 17 0 405040767 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242655550352 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6213] ppid=6190 vsize=7937364 memory=288230574492221466 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6213/stat : 6213 (java) S 6190 6190 3344 0 -1 1077944384 2 3105 0 0 0 0 91 0 20 0 17 0 405040767 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242654497552 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6214] ppid=6190 vsize=7937364 memory=319474305580925242 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6214/stat : 6214 (java) S 6190 6190 3344 0 -1 1077944384 5 3105 0 0 0 0 91 0 20 0 17 0 405040769 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242298669424 140242852203138 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6215] ppid=6190 vsize=7937364 memory=16105857616185767 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6215/stat : 6215 (java) S 6190 6190 3344 0 -1 1077944384 13 3105 0 0 0 0 91 0 20 0 17 0 405040769 8127860736 29259 33554432000 4194304 4196468 140737398609888 140241755169824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6216] ppid=6190 vsize=7937364 memory=-3258418265892434876 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6216/stat : 6216 (java) S 6190 6190 3344 0 -1 1077944384 21 3105 0 0 0 0 91 0 20 0 17 0 405040769 8127860736 29259 33554432000 4194304 4196468 140737398609888 140241620947824 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6217] ppid=6190 vsize=7937364 memory=3472468831853971120 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6217/stat : 6217 (java) S 6190 6190 3344 0 -1 1077944384 3 3105 0 0 0 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140241246443344 140242852210587 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6218] ppid=6190 vsize=7937364 memory=6944656592455359580 CPUtime=1.01 cores=1,3,5,7
/proc/6208/task/6218/stat : 6218 (java) S 6190 6190 3344 0 -1 1077944384 641 3105 0 0 10 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242297617264 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6219] ppid=6190 vsize=7937364 memory=281105341621696 CPUtime=1.02 cores=1,3,5,7
/proc/6208/task/6219/stat : 6219 (java) S 6190 6190 3344 0 -1 1077944384 416 3105 0 0 11 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242296564464 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6220] ppid=6190 vsize=7937364 memory=288230604674443556 CPUtime=1.14 cores=1,3,5,7
/proc/6208/task/6220/stat : 6220 (java) S 6190 6190 3344 0 -1 1077944384 651 3105 0 0 23 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242295511664 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6221] ppid=6190 vsize=7937364 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6221/stat : 6221 (java) S 6190 6190 3344 0 -1 1077944384 3 3105 0 0 0 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140240748538592 140242852202197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6222] ppid=6190 vsize=7937364 memory=7315117515526005387 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6222/stat : 6222 (java) S 6190 6190 3344 0 -1 1077944384 3 3105 0 0 0 0 91 0 20 0 17 0 405040772 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242294459056 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6224] ppid=6190 vsize=7937364 memory=8110268427993965964 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6224/stat : 6224 (java) S 6190 6190 3344 0 -1 1077944384 25 3105 0 0 0 0 91 0 20 0 17 0 405040839 8127860736 29259 33554432000 4194304 4196468 140737398609888 140242292846992 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
[pid=6208/tid=6228] ppid=6190 vsize=7937364 memory=301741373374332954 CPUtime=0.91 cores=1,3,5,7
/proc/6208/task/6228/stat : 6228 (java) S 6190 6190 3344 0 -1 1077944384 25 3105 0 0 0 0 91 0 20 0 17 0 405040842 8127860736 29259 33554432000 4194304 4196468 140737398609888 140240480101808 140242852203138 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15052800 140737398612988 140737398613146 140737398613146 140737398616015 0
Current children cumulated CPU time: 17.44 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 118512 KiB
Child status: 0
Real time (s): 8.47618
CPU time (s): 17.5823
CPU user time (s): 17.0742
CPU system time (s): 0.508096
CPU usage (%): 207.432
Max. virtual memory (cumulated for all children) (KiB): 15140492
Max. memory (cumulated for all children) (KiB): 1981480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0742
system time used= 0.508096
maximum resident set size= 1988580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5934
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 6190
# total CPU time (s): 17.5823
# total CPU user time (s): 17.0742
# total CPU system time (s): 0.508096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074347 second user time and 0.136877 second system time
The end