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-12695-serial-file.bin HOME/instance-4388050-1568294216.xml
0.67/0.52
0.67/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52
0.67/0.55 c BEGIN-Prog: Thu Sep 12 15:16:16 CEST 2019
0.67/0.55 c PID: 12698
0.67/0.55 c IP: 172.20.3.140
0.67/0.55 c HOST: node140.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.21/0.88 c (0,0) Parsing End
1.21/0.88 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28
1.21/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.89 c (0,0) Constraint Name Generate Begin
1.21/0.89 c (0,0) Ctr:HOME/instance-4388050-1568294216.xml,Num:Var:WeightedSum
1.21/0.89 c (0,0) Constraint Name Generate End
1.21/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.89 c (0,0) CSP to CSPinCNF Begin
1.43/0.99 c (0,0) translated 4 (10%) constraints
1.43/1.01 c (0,0) translated 8 (20%) constraints
1.59/1.02 c (0,0) translated 12 (30%) constraints
1.59/1.03 c (0,0) translated 16 (40%) constraints
1.59/1.03 c (0,0) translated 20 (50%) constraints
1.59/1.05 c (0,0) translated 24 (60%) constraints
1.59/1.05 c (0,0) translated 28 (70%) constraints
1.59/1.05 c (0,0) translated 32 (80%) constraints
1.59/1.06 c (0,0) translated 36 (90%) constraints
1.59/1.06 c (0,0) translated 40 (100%) constraints
1.59/1.06 c (0,0) ===========================================
1.59/1.07 c (0,0) Hybrid: #OE=1, #LE=87
1.59/1.07 c (0,0) Hybrid
1.59/1.07 c (0,0) ===========================================
1.59/1.08 c (0,0) translated 4 (10%) constraints
1.59/1.09 c (0,0) translated 8 (20%) constraints
1.59/1.09 c (0,0) translated 12 (30%) constraints
1.59/1.09 c (0,0) translated 16 (40%) constraints
1.59/1.10 c (0,0) translated 20 (50%) constraints
1.59/1.10 c (0,0) translated 24 (60%) constraints
1.85/1.11 c (0,0) translated 28 (70%) constraints
1.85/1.11 c (0,0) translated 32 (80%) constraints
1.85/1.11 c (0,0) translated 36 (90%) constraints
1.85/1.11 c (0,0) translated 40 (100%) constraints
1.85/1.12 c (0,0) CSP to CSPinCNF End
1.85/1.12 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.85/1.12 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.12 c (0,0) CSPinCNF Propagation Begin
1.85/1.14 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.85/1.14 c (0,0) CSPinCNF Propagation End
1.85/1.14 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.85/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.14 c (0,0) Hybrid: #OE=1, #LE=87
1.85/1.14 c (0,0) Simplify CSPinCNF Begin
1.85/1.15 c (0,0) Simplify CSPinCNF End
1.85/1.15 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.85/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.15 c (0,0) Calculate Precise Domain Begin
1.85/1.15 c (0,0) 0 values are removed by re-calculation
1.85/1.15 c (0,0) Calculate Precise Domain End
1.85/1.15 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28
1.85/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.85/1.15 c (0,0) CSPinCNF to SatSolver Begin
2.95/1.60 c (1,1) 8 (10 %) CSP clauses are encoded (0 SAT variables, 72162 SAT clauses)
3.16/1.68 c (1,1) 16 (20 %) CSP clauses are encoded (0 SAT variables, 109610 SAT clauses)
3.40/1.82 c (1,1) 24 (30 %) CSP clauses are encoded (0 SAT variables, 174457 SAT clauses)
3.65/2.01 c (1,1) 32 (40 %) CSP clauses are encoded (0 SAT variables, 258448 SAT clauses)
3.79/2.15 c (1,1) 40 (50 %) CSP clauses are encoded (0 SAT variables, 311571 SAT clauses)
3.88/2.27 c (1,1) 48 (60 %) CSP clauses are encoded (0 SAT variables, 365092 SAT clauses)
4.12/2.43 c (1,1) 56 (70 %) CSP clauses are encoded (0 SAT variables, 436184 SAT clauses)
4.22/2.53 c (2,1) 64 (80 %) CSP clauses are encoded (0 SAT variables, 479129 SAT clauses)
4.22/2.57 c (2,2) 72 (90 %) CSP clauses are encoded (0 SAT variables, 497906 SAT clauses)
4.34/2.62 c (2,2) 80 (100 %) CSP clauses are encoded (0 SAT variables, 521645 SAT clauses)
4.34/2.62 c (2,2) CSPinCNF to SatSolver End
4.34/2.62 c (2,2) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
4.34/2.62 c (2,2) 192573 bool, 521719 clause
4.34/2.62 c (2,2) Export Begin
4.51/2.74 c (2,2) Export to HOME/scop-12695-serial-file.bin
4.51/2.74 c (2,2) Export End
4.51/2.75 c (2,2) Export File Size: 0.08 MB
4.51/2.75 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS)
4.51/2.75 c END-Prog: Thu Sep 12 15:16:18 CEST 2019
4.51/2.77 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12695-serial-file.bin
5.24/3.22 c (0,0) Read Serial File Begin
5.24/3.22 c (0,0) HOME/scop-12695-serial-file.bin
5.54/3.46 c (0,0) Read Serial File End
5.54/3.48
5.54/3.48 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
5.54/3.48 (Solving Process)
5.54/3.48
5.54/3.50 c BEGIN-Prog: Thu Sep 12 15:16:19 CEST 2019
5.54/3.50 c PID: 12715
5.54/3.50 c IP: 172.20.3.140
5.54/3.50 c HOST: node140.alineos.net
5.81/3.50 c (0,0) SatSolver.solve Begin
5.81/3.50 c (0,0) HOME/cryptominisat5 HOME/instance-4388050-1568294216.xml-scop-12698.cnf
5.81/3.54 c (0,0) c Outputting solution to console
5.81/3.54 c (0,0) c CryptoMiniSat version 5.6.8
5.81/3.54 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
5.81/3.54 c (0,0) c CMS SHA revision GIT-notfound
5.81/3.54 c (0,0) c CMS is MIT licensed
5.81/3.54 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.81/3.54 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
5.81/3.54 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388050-1568294216.xml-scop-12698.cnf
5.81/3.54 c (0,0) c Reading file 'HOME/instance-4388050-1568294216.xml-scop-12698.cnf'
5.81/3.54 c (0,0) c -- header says num vars: 192573
5.81/3.54 c (0,0) c -- header says num clauses: 521719
6.00/3.72 c (0,0) c -- clauses added: 521719
6.00/3.72 c (0,0) c -- xor clauses added: 0
6.00/3.72 c (0,0) c -- vars added 192573
6.00/3.72 c (0,0) c Parsing time: 0.16 s
6.00/3.78 c (0,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
6.00/3.79 c (0,0) c [distill] long cls tried: 14/13 cl-short:13 lit-r:3 T: 0.00 T-out: N T-r: 99.99%
6.87/4.40 c (1,0) c [distill] long cls tried: 292/269 cl-short:291 lit-r:171 T: 0.04 T-out: N T-r: 99.76%
7.77/5.31 c (2,0) c [distill] long cls tried: 376/603 cl-short:376 lit-r:213 T: 0.05 T-out: N T-r: 99.67%
7.97/5.56 c (2,0) c glue 1 60 8193 190676 467K 53K 3.00 2.90 742 2563 4701 174 17.86 17.53
8.97/6.56 c (3,0) c [distill] long cls tried: 1526/2080 cl-short:1521 lit-r:1262 T: 0.25 T-out: N T-r: 98.29%
10.37/7.97 c (4,0) c geom 1 90 16386 190540 467K 53K 3.00 2.90 2706 5711 7605 328 18.61 18.28
10.48/8.10 c (4,0) c [distill] long cls tried: 638/2677 cl-short:638 lit-r:515 T: 0.11 T-out: N T-r: 99.29%
12.17/9.80 c (6,0) c [distill] long cls tried: 1731/4333 cl-short:1730 lit-r:1598 T: 0.31 T-out: N T-r: 97.90%
12.68/10.28 c (7,0) c glue 1 122 24K 190490 467K 53K 3.00 2.90 4455 6914 12661 504 19.02 18.67
15.17/12.76 c (9,0) c [distill] long cls tried: 1659/5953 cl-short:1659 lit-r:1655 T: 0.41 T-out: N T-r: 97.31%
15.88/13.43 c (10,0) c glue 1 157 32K 190466 467K 53K 3.00 2.90 6075 9526 15781 605 20.61 20.26
18.38/15.96 c (12,0) c [distill] long cls tried: 1502/7418 cl-short:1502 lit-r:1417 T: 0.38 T-out: N T-r: 97.51%
18.68/16.20 c (13,0) c glue 1 201 40K 190436 467K 53K 3.00 2.90 7459 7912 24K 671 21.43 21.10
22.08/19.69 c (16,0) c glue 1 246 49K 190411 467K 53K 3.00 2.90 8048 11525 24K 723 21.52 21.20
23.60/21.17 c (18,0) c [distill] long cls tried: 1731/9099 cl-short:1730 lit-r:1900 T: 0.56 T-out: N T-r: 96.53%
25.89/23.48 c (20,0) c geom 1 291 57K 190390 467K 53K 3.00 2.90 9380 9540 33K 806 22.82 22.50
28.98/26.53 c (23,0) c [distill] long cls tried: 1562/10620 cl-short:1561 lit-r:1729 T: 0.51 T-out: N T-r: 96.86%
29.28/26.84 c (23,0) c glue 1 338 65K 190354 467K 53K 3.00 2.90 10661 9356 33K 868 23.24 22.90
31.19/28.71 c (25,0) c recursive minimization cost OK: 1013Kcost/(% lits removed)
31.19/28.71 c (25,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
31.19/28.75 c (25,0) c --> Executing strategy token: handle-comps
31.19/28.75 c (25,0) c --> Executing strategy token: scc-vrepl
31.19/28.75 c (25,0) c [scc] new: 12 BP 0M T: 0.03
31.29/28.80 c (25,0) c --> Executing strategy token: cache-clean
31.29/28.80 c (25,0) c --> Executing strategy token: cache-tryboth
31.29/28.80 c (25,0) c --> Executing strategy token: sub-impl
31.29/28.80 c (25,0) c [impl sub] bin: 108 T: 0.05 T-out: N w-visit: 385146
31.29/28.87 c (25,0) c --> Executing strategy token: intree-probe
31.29/28.87 c (25,0) c [scc] new: 17 BP 0M T: 0.03
31.39/28.93 c (25,0) c [vrep] vars 10 lits 12092 rem-bin-cls 48 rem-long-cls 4 BP 1M T: 0.06
31.39/28.99 c (25,0) c [scc] new: 0 BP 0M T: 0.03
31.50/29.04 c (25,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.04
49.80/47.36 c (44,0) c [intree] Set 2326 vars hyper-added: 5541154 trans-irred::74 trans-red::757084 T: 18.19 T-out: Y T-r: -0.00%
50.61/48.13 c (44,0) c --> Executing strategy token: probe
50.61/48.13 c (44,0) c --> Executing strategy token: sub-str-cls-with-bin
50.61/48.13 c (44,0) c [distill] cache-based irred-- cl tried 349425 cl-sh 23 cl-rem 18099 lit-rem 23 T: 0.50 T-out: Y
50.61/48.13 c (44,0) c [distill] cache-based red-- cl tried 23288 cl-sh 665 cl-rem 144 lit-rem 811 T: 0.11 T-out: N
52.53/50.05 c (46,0) c --> Executing strategy token: distill-cls
52.53/50.05 c (46,0) c [distill] long cls tried: 23653/432127 cl-short:7473 lit-r:16 T: 1.93 T-out: Y T-r: -0.00%
52.53/50.05 c (46,0) c [distill] long useful: 14946/47306/864286 lits-rem: 32 0-depth-assigns: 0 T: 3.86 T-out: Y
52.62/50.16 c (47,0) c --> Executing strategy token: scc-vrepl
52.62/50.16 c (47,0) c [scc] new: 73 BP 2M T: 0.10
53.22/50.72 c (47,0) c --> Executing strategy token: sub-impl
53.22/50.72 c (47,0) c [impl sub] bin: 418 T: 0.56 T-out: N w-visit: 385146
53.32/50.86 c (47,0) c --> Executing strategy token: str-impl
53.32/50.86 c (47,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.14 T-out: N T-r: 73.12% w-visit: 385146
53.72/51.27 c (48,0) c --> Executing strategy token: sub-impl
53.72/51.27 c (48,0) c [impl sub] bin: 0 T: 0.41 T-out: N w-visit: 385146
54.02/51.53 c (48,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
54.02/51.53 c (48,0) c [occ] mem usage for occur 53 MB
54.12/51.68 c (48,0) c [occ] mem usage for occur 16 MB
54.31/51.83 c (48,0) c Mem for watch alloc : 233 MB (70.81 %)
54.31/51.83 c (48,0) c Mem for watch array : 8 MB (2.68 %)
55.21/52.73 c (49,0) c --> Executing OCC strategy token: occ-backw-sub-str
55.21/52.73 c (49,0) c [occ-backw-sub-str-long-w-bins] subs: 4259 str: 38 tried: 4418237 0-depth ass: 0 T: 0.90 T-out: Y T-r: -0.00%
55.21/52.74 c (49,0) c [occ-sub-long-w-long] rem cl: 0 tried: 0/489431 (0.0%) T: 0.01 T-out: Y T-r: 100.00%
55.91/53.41 c (50,0) c [occ-sub-str-long-w-long] sub: 582 str: 590 tried: 1468293/489431 (300.0) T: 0.68 T-out: N T-r: 50.19%
56.01/53.53 c (50,0) c --> Executing OCC strategy token: occ-clean-implicit
56.01/53.53 c (50,0) c --> Executing OCC strategy token: occ-bve
56.01/53.53 c (50,0) c [occ-empty-res] Empty resolvent elimed: 2060 T: 0.10 T-out: N
58.64/56.19 c (53,0) c [occ-bve] iter v-elim 41574
58.64/56.19 c (53,0) c cl_inc_rate=0.9, var_dec_rate=1.3 (grow=0)
58.64/56.20 c (53,0) c Reduced to 144382 vars, 430293 cls (grow=0)
63.03/60.53 c (57,0) c [occ-bve] iter v-elim 58600
63.03/60.53 c (57,0) c cl_inc_rate=1.3, var_dec_rate=1.7 (grow=8)
63.03/60.54 c (57,0) c Reduced to 85782 vars, 538905 cls (grow=8)
63.03/60.54 c (57,0) c x n vars : 85782
63.03/60.55 c (57,0) c #try to eliminate: 473K
63.03/60.55 c (57,0) c #var-elim : 100K
63.03/60.55 c (57,0) c #T-o: N
63.03/60.55 c (57,0) c #T-r: 98.12%
63.03/60.55 c (57,0) c #T : 6.99
63.03/60.55 c (57,0) c [occur] 0.40 is overhead
63.03/60.55 c (57,0) c [occur] link-in T: 0.40 cleanup T: 0.00
63.03/60.55 c (57,0) c --> Executing OCC strategy token: occ-bva
63.03/60.55 c (57,0) c [occ-bva] global numcalls: 0
63.22/60.70 c (57,0) c --> Executing OCC strategy token: occ-ternary-res
63.22/60.70 c (57,0) c --> Executing OCC strategy token: occ-xor
63.22/60.70 c (57,0) c [occ-xor] sort occur list T: 0.15
63.63/61.13 c (57,0) c [occ-xor] found 1 avg sz 3.0 min sz 3 max sz 3 T: 0.57 T-out: N T-r: 89.36%
63.63/61.13 c (57,0) c [xor-together] xored together 0 xors orig num xors: 1 T: 0.00
63.63/61.13 c (57,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
63.82/61.31 c (58,0) c --> Executing strategy token: cl-consolidate
63.82/61.31 c (58,0) c [mem] consolidate old-sz: 58M new-sz: 22M new bits offs: 0 T: 0.06
63.82/61.35 c (58,0) c --> Executing strategy token: str-impl
63.82/61.35 c (58,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.04 T-out: N T-r: 95.29% w-visit: 385146
64.24/61.75 c (58,0) c --> Executing strategy token: cache-clean
64.24/61.75 c (58,0) c --> Executing strategy token: sub-str-cls-with-bin
64.24/61.75 c (58,0) c [distill] cache-based irred-- cl tried 60532 cl-sh 0 cl-rem 11 lit-rem 0 T: 0.30 T-out: Y
64.24/61.75 c (58,0) c [distill] cache-based red-- cl tried 4896 cl-sh 2 cl-rem 0 lit-rem 2 T: 0.04 T-out: N
65.65/63.11 c (59,0) c --> Executing strategy token: distill-cls
65.65/63.11 c (59,0) c [distill] long cls tried: 8815/509784 cl-short:4673 lit-r:371 T: 1.36 T-out: Y T-r: -0.02%
65.65/63.11 c (59,0) c [distill] long useful: 9346/17630/1019594 lits-rem: 742 0-depth-assigns: 0 T: 2.73 T-out: Y
65.65/63.15 c (60,0) c --> Executing strategy token: scc-vrepl
65.65/63.15 c (60,0) c [scc] new: 3 BP 0M T: 0.04
65.74/63.22 c (60,0) c --> Executing strategy token: check-cache-size
65.74/63.22 c (60,0) c --> Executing strategy token: renumber
65.74/63.22 c (60,0) c [xor-clean] T: 0.00
65.83/63.33 c (60,0) c [renumber] T: 0.17
65.83/63.34 c (60,0) c --> Executing strategy token: sls
65.83/63.34 c (60,0) c [consolidate] mini T: 0.00
65.83/63.34 c (60,0) c global_timeout_multiplier: 4.40
65.94/63.40 c (60,0) c clause size stats. size3: 146570 size4: 280049 size5: 28291 larger: 54874
67.24/64.71 c (61,0) c luby 0 392 73K 85782 509K 29K 4.42 4.29 2632 3436 4738 779K 15.13 2.18
70.75/68.23 c (65,0) c [distill] long cls tried: 1235/3302 cl-short:1191 lit-r:667 T: 0.21 T-out: N T-r: 98.52%
70.95/68.48 c (65,0) c luby 0 425 81K 85782 509K 29K 4.42 4.29 3315 2581 13034 779K 22.39 2.48
75.14/72.65 c (69,0) c luby 0 443 90K 85782 509K 29K 4.42 4.29 4184 4173 18254 779K 24.79 2.75
79.04/76.54 c (73,0) c luby 0 475 98K 85782 509K 29K 4.42 4.29 4344 5136 25K 779K 26.05 3.03
80.44/77.93 c (74,0) c [distill] long cls tried: 1480/4744 cl-short:1476 lit-r:1235 T: 0.28 T-out: N T-r: 98.02%
83.84/81.33 c (78,0) c luby 0 500 106K 85782 509K 29K 4.42 4.29 4897 6150 25K 779K 26.29 3.08
87.66/85.19 c (82,0) c luby 0 501 114K 85782 509K 29K 4.42 4.29 5365 4945 34K 779K 29.11 3.47
91.96/89.47 c (86,0) c luby 0 532 122K 85782 509K 29K 4.42 4.29 5818 4492 33K 779K 29.13 3.43
92.86/90.33 c (87,0) c [distill] long cls tried: 1103/5831 cl-short:1102 lit-r:795 T: 0.20 T-out: N T-r: 98.63%
97.06/94.51 c (91,0) c luby 0 563 131K 85782 509K 29K 4.42 4.29 6198 3554 41K 779K 29.84 3.73
101.87/99.39 c (96,0) c luby 0 589 139K 85782 509K 29K 4.42 4.29 6335 5097 35K 779K 29.31 3.56
107.26/104.70 c (101,0) c luby 0 622 147K 85782 509K 29K 4.42 4.29 6697 4405 44K 779K 30.21 3.87
111.37/108.82 c (105,0) c [distill] long cls tried: 1238/7051 cl-short:1237 lit-r:975 T: 0.24 T-out: N T-r: 98.30%
112.68/110.18 c (107,0) c luby 0 628 155K 85782 509K 29K 4.42 4.29 7062 4364 38K 779K 28.96 3.63
117.28/114.77 c (111,0) c luby 0 629 163K 85782 509K 29K 4.42 4.29 7319 3679 47K 779K 30.39 3.98
119.69/117.19 c (114,0) c recursive minimization cost OK: 1980Kcost/(% lits removed)
119.78/117.23 c (114,0) c --> Executing strategy token: handle-comps
119.78/117.23 c (114,0) c --> Executing strategy token: scc-vrepl
119.78/117.23 c (114,0) c [scc] new: 3 BP 0M T: 0.04
119.88/117.36 c (114,0) c --> Executing strategy token: cache-clean
119.88/117.36 c (114,0) c --> Executing strategy token: cache-tryboth
119.88/117.36 c (114,0) c --> Executing strategy token: sub-impl
119.88/117.36 c (114,0) c [impl sub] bin: 6055 T: 0.13 T-out: N w-visit: 171564
119.98/117.47 c (114,0) c --> Executing strategy token: intree-probe
119.98/117.47 c (114,0) c [scc] new: 3 BP 0M T: 0.04
120.18/117.60 c (114,0) c [vrep] vars 3 lits 14599 rem-bin-cls 12 rem-long-cls 0 BP 1M T: 0.12
120.28/117.71 c (114,0) c [scc] new: 0 BP 0M T: 0.04
120.38/117.83 c (114,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 1M T: 0.12
128.38/125.82 c (122,0) c [intree] Set 17 vars hyper-added: 1065796 trans-irred::33 trans-red::254683 T: 7.99 T-out: N T-r: 62.93%
128.69/126.17 c (123,0) c --> Executing strategy token: probe
128.69/126.17 c (123,0) c --> Executing strategy token: sub-str-cls-with-bin
128.69/126.17 c (123,0) c [distill] cache-based irred-- cl tried 37214 cl-sh 18 cl-rem 55 lit-rem 18 T: 0.17 T-out: Y
128.69/126.17 c (123,0) c [distill] cache-based red-- cl tried 13877 cl-sh 108 cl-rem 30 lit-rem 115 T: 0.09 T-out: Y
130.28/127.76 c (124,0) c --> Executing strategy token: distill-cls
130.28/127.76 c (124,0) c [distill] long cls tried: 10312/509670 cl-short:5355 lit-r:420 T: 1.59 T-out: Y T-r: -0.02%
130.28/127.76 c (124,0) c [distill] long useful: 10710/20624/1019378 lits-rem: 840 0-depth-assigns: 0 T: 3.19 T-out: Y
130.38/127.81 c (124,0) c --> Executing strategy token: scc-vrepl
130.38/127.81 c (124,0) c [scc] new: 2 BP 1M T: 0.05
130.58/128.03 c (124,0) c --> Executing strategy token: sub-impl
130.58/128.03 c (124,0) c [impl sub] bin: 3 T: 0.22 T-out: N w-visit: 171564
130.58/128.08 c (124,0) c --> Executing strategy token: str-impl
130.58/128.08 c (124,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.06 T-out: N T-r: 91.68% w-visit: 171564
130.79/128.24 c (125,0) c --> Executing strategy token: sub-impl
130.79/128.24 c (125,0) c [impl sub] bin: 0 T: 0.16 T-out: N w-visit: 171564
130.89/128.38 c (125,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
130.89/128.38 c (125,0) c [occ] mem usage for occur 75 MB
131.09/128.56 c (125,0) c [occ] mem usage for occur 7 MB
131.19/128.69 c (125,0) c Mem for watch alloc : 158 MB (41.89 %)
131.19/128.69 c (125,0) c Mem for watch array : 3 MB (1.04 %)
132.09/129.53 c (126,0) c --> Executing OCC strategy token: occ-backw-sub-str
132.09/129.53 c (126,0) c [occ-backw-sub-str-long-w-bins] subs: 787 str: 880 tried: 10023782 0-depth ass: 0 T: 0.84 T-out: N T-r: 36.69%
132.60/130.01 c (126,0) c [occ-sub-long-w-long] rem cl: 1153 tried: 1114076/557038 (200.0%) T: 0.48 T-out: N T-r: 5.11%
133.49/130.96 c (127,0) c [occ-sub-str-long-w-long] sub: 216 str: 647 tried: 1671114/557038 (300.0) T: 0.95 T-out: N T-r: 40.85%
133.49/130.96 c (127,0) c [occ-sub-str-w-added-long] sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: N T-r: 99.87%
133.60/131.06 c (127,0) c --> Executing OCC strategy token: occ-clean-implicit
133.60/131.06 c (127,0) c --> Executing OCC strategy token: occ-bve
133.60/131.06 c (127,0) c [occ-empty-res] Empty resolvent elimed: 16 T: 0.08 T-out: N
134.79/132.23 c (129,0) c [occ-bve] iter v-elim 132
134.79/132.23 c (129,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
134.79/132.24 c (129,0) c Reduced to 85614 vars, 530128 cls (grow=0)
136.09/133.56 c (130,0) c [occ-bve] iter v-elim 1056
136.09/133.56 c (130,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
136.09/133.57 c (130,0) c Reduced to 84558 vars, 534318 cls (grow=8)
136.09/133.57 c (130,0) c x n vars : 84558
136.09/133.57 c (130,0) c #try to eliminate: 178K
136.09/133.57 c (130,0) c #var-elim : 1188
136.09/133.57 c (130,0) c #T-o: N
136.09/133.57 c (130,0) c #T-r: 99.41%
136.09/133.57 c (130,0) c #T : 2.51
136.09/133.57 c (130,0) c [occur] 0.35 is overhead
136.09/133.57 c (130,0) c [occur] link-in T: 0.35 cleanup T: 0.00
136.09/133.57 c (130,0) c --> Executing OCC strategy token: occ-bva
136.09/133.57 c (130,0) c [occ-bva] global numcalls: 1
136.29/133.75 c (130,0) c --> Executing OCC strategy token: occ-ternary-res
136.29/133.75 c (130,0) c --> Executing OCC strategy token: occ-xor
136.29/133.75 c (130,0) c [occ-xor] sort occur list T: 0.17
137.01/134.46 c (131,0) c [occ-xor] found 1 avg sz 3.0 min sz 3 max sz 3 T: 0.88 T-out: N T-r: 89.36%
137.01/134.46 c (131,0) c [xor-together] xored together 0 xors orig num xors: 1 T: 0.00
137.01/134.46 c (131,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
137.21/134.62 c (131,0) c --> Executing strategy token: cl-consolidate
137.21/134.62 c (131,0) c Not consolidating memory.
137.21/134.68 c (131,0) c --> Executing strategy token: str-impl
137.21/134.68 c (131,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.05 T-out: N T-r: 92.40% w-visit: 171564
137.62/135.03 c (131,0) c --> Executing strategy token: cache-clean
137.62/135.03 c (131,0) c --> Executing strategy token: sub-str-cls-with-bin
137.62/135.03 c (131,0) c [distill] cache-based irred-- cl tried 30430 cl-sh 0 cl-rem 3 lit-rem 0 T: 0.17 T-out: Y
137.62/135.03 c (131,0) c [distill] cache-based red-- cl tried 12355 cl-sh 11 cl-rem 0 lit-rem 15 T: 0.10 T-out: Y
139.11/136.57 c (133,0) c --> Executing strategy token: distill-cls
139.11/136.57 c (133,0) c [distill] long cls tried: 7979/512476 cl-short:4192 lit-r:315 T: 1.54 T-out: Y T-r: -0.13%
139.11/136.57 c (133,0) c [distill] long useful: 8384/15958/1024978 lits-rem: 630 0-depth-assigns: 0 T: 3.07 T-out: Y
139.21/136.61 c (133,0) c --> Executing strategy token: scc-vrepl
139.21/136.61 c (133,0) c [scc] new: 2 BP 1M T: 0.04
139.21/136.61 c (133,0) c --> Executing strategy token: check-cache-size
139.21/136.61 c (133,0) c --> Executing strategy token: renumber
139.21/136.61 c (133,0) c --> Executing strategy token: sls
139.21/136.61 c (133,0) c [consolidate] mini T: 0.00
139.21/136.61 c (133,0) c global_timeout_multiplier: 4.8
139.41/136.89 c (133,0) c [features] numVars 84374, numClauses 534315, var_cl_ratio 0.2, binary 0.0, horn 0.4, horn_mean 0.0, horn_std 0.0, horn_min 0.0, horn_max 0.0, horn_spread 0.0, vcg_var_mean 0.0, vcg_var_std 7.7, vcg_var_min 0.0, vcg_var_max 0.0, vcg_var_spread 0.0, vcg_cls_mean 0.0, vcg_cls_std 0.7, vcg_cls_min 0.0, vcg_cls_max 0.0, vcg_cls_spread 0.0, pnr_var_mean 0.6, pnr_var_std 0.3, pnr_var_min 0.0, pnr_var_max 1.0, pnr_var_spread 1.0, pnr_cls_mean 0.9, pnr_cls_std 0.6, pnr_cls_min 0.0, pnr_cls_max 1.0, pnr_cls_spread 1.0, avg_confl_size 30.2, confl_size_min 1.0, confl_size_max 569.0, avg_confl_glue 13.8, confl_glue_min 1.0, confl_glue_max 50.0, avg_num_resolutions 0.0, num_resolutions_min 0.0, num_resolutions_max 0.0, learnt_bins_per_confl 0.0, avg_branch_depth 47.5, branch_depth_min 23.0, branch_depth_max 413.0, avg_trail_depth_delta 1991.4, trail_depth_delta_min 2.0, trail_depth_delta_max 19491.0, avg_branch_depth_delta 2.8, props_per_confl 0.0, confl_per_restart 267.1, decisions_per_conflict 3.8, irred_cl_distrib.glue_distr_mean 999.8, irred_cl_distrib.glue_distr_var 168.9, irred_cl_distrib.size_distr_mean 4.4, irred_cl_distrib.size_distr_var 5.3, irred_cl_distrib.uip_use_distr_mean 0, irred_cl_distrib.uip_use_distr_var 0, irred_cl_distrib.activity_distr_mean 0.0, irred_cl_distrib.activity_distr_var 1841191.0, red_cl_distrib.glue_distr_mean 2.8, red_cl_distrib.glue_distr_var 0.1, red_cl_distrib.size_distr_mean 6.2, red_cl_distrib.size_distr_var 7.5, red_cl_distrib.uip_use_distr_mean 0, red_cl_distrib.uip_use_distr_var 0, red_cl_distrib.activity_distr_mean 16129.0, red_cl_distrib.activity_distr_var 6464349802.0, num_gates_found_last 0, num_xors_found_last 1
139.51/136.90 c (133,0) c clause size stats. size3: 149673 size4: 280347 size5: 28460 larger: 53996
142.01/139.45 c (136,0) c luby 0 651 172K 84558 512K 21K 4.40 4.30 7232 3294 35K 1447K 29.78 2.86
146.92/144.39 c (141,0) c luby 0 683 180K 84558 512K 21K 4.40 4.30 7498 3239 32K 1447K 29.17 2.78
151.62/149.09 c (145,0) c [distill] long cls tried: 931/7506 cl-short:920 lit-r:523 T: 0.19 T-out: N T-r: 98.77%
152.22/149.68 c (146,0) c luby 0 700 188K 84558 512K 21K 4.40 4.30 7514 3642 39K 1447K 31.71 3.01
153.12/150.58 c (147,0) c ------- FINAL TOTAL SEARCH STATS ---------
153.12/150.58 c (147,0) c UIP search time : 92.29 (62.93 % time)
153.12/150.58 c (147,0) c restarts : 707 (268.32 confls per restart)
153.12/150.58 c (147,0) c blocked restarts : 295 (0.42 per normal restart)
153.12/150.58 c (147,0) c time : 92.29
153.12/150.58 c (147,0) c decisions : 725649 (0.00 % random)
153.12/150.58 c (147,0) c propagations : 445141482
153.12/150.58 c (147,0) c decisions/conflicts : 3.83
153.12/150.58 c (147,0) c conflicts : 189703 (2055.45 / sec)
153.12/150.58 c (147,0) c conf lits non-minim : 10691435 (56.36 lit/confl)
153.12/150.58 c (147,0) c conf lits final : 31.41
153.12/150.58 c (147,0) c cache hit re-learnt cl : 0 (0.00 % of confl)
153.12/150.58 c (147,0) c red which0 : 6162 (3.25 % of confl)
153.12/150.58 c (147,0) c props/decision : 0.00
153.12/150.58 c (147,0) c props/conflict : 0.00
153.12/150.58 c (147,0) c 0-depth assigns : 4564 (5.32 % vars)
153.12/150.58 c (147,0) c 0-depth assigns by CNF : 161 (0.19 % vars)
153.12/150.58 c (147,0) c reduceDB time : 0.09 (0.06 % time)
153.12/150.58 c (147,0) c OccSimplifier time : 5.29 (3.61 % time)
153.12/150.58 c (147,0) c [occur] 1.04 is overhead
153.12/150.58 c (147,0) c [occur] link-in T: 0.75 cleanup T: 0.29
153.12/150.58 c (147,0) c [occ-substr] long subBySub: 1153 subByStr: 1380 lits-rem-str: 52310 T: 2.80
153.12/150.58 c (147,0) c SCC time : 0.44 (0.30 % time)
153.12/150.58 c (147,0) c [scc] new: 115 BP 9M T: 0.44
153.12/150.58 c (147,0) c vrep replace time : 0.34 (0.23 % time)
153.12/150.58 c (147,0) c vrep tree roots : 6
153.12/150.58 c (147,0) c vrep trees' crown : 13 (2.17 leafs/tree)
153.12/150.58 c (147,0) c distill time : 16.56 (11.29 % time)
153.12/150.58 c (147,0) c strength cache-irred time: 1.14 (0.78 % time)
153.12/150.58 c (147,0) c strength cache-red time : 0.35 (0.24 % time)
153.12/150.58 c (147,0) c Conflicts in UIP : 189703 (1293.53 confl/time_this_thread)
153.12/150.58 c (147,0) c Mem used : 395.24 MB
153.12/150.58 c (147,0) c Total time (this thread) : 146.66
153.12/150.58 c (147,0) s SATISFIABLE
154.22/151.00 c (147,0) SatSolver.solve End
154.22/151.00 c (147,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
154.22/151.00 c (147,0) Show results Begin
154.55/151.09 c (147,0) x[0] = 14
154.55/151.09 c (147,0) x[2] = 15
154.55/151.09 c (147,0) x[3] = 4
154.55/151.09 c (147,0) x[4] = 16
154.55/151.09 c (147,0) x[5] = 13
154.55/151.09 c (147,0) x[6] = 17
154.55/151.09 c (147,0) x[7] = 6
154.55/151.09 c (147,0) x[8] = 24
154.55/151.09 c (147,0) x[9] = 3
154.55/151.09 c (147,0) x[10] = 5
154.55/151.09 c (147,0) x[11] = 12
154.55/151.09 c (147,0) x[12] = 8
154.55/151.09 c (147,0) x[13] = 24
154.55/151.09 c (147,0) x[14] = 7
154.55/151.09 c (147,0) x[15] = 20
154.55/151.09 c (147,0) x[17] = 24
154.55/151.09 c (147,0) x[18] = 17
154.55/151.09 c (147,0) x[19] = 23
154.55/151.09 c (147,0) x[20] = 7
154.55/151.09 c (147,0) x[21] = 22
154.55/151.09 c (147,0) x[23] = 27
154.55/151.09 c (147,0) x[24] = 9
154.55/151.09 c (147,0) x[25] = 23
154.55/151.09 c (147,0) x[26] = 5
154.55/151.09 c (147,0) x[27] = 9
154.55/151.09 c (147,0) x[28] = 16
154.55/151.09 c (147,0) x[29] = 17
154.55/151.09 c (147,0) x[30] = 11
154.55/151.09 c (147,0) x[31] = 28
154.55/151.09 c (147,0) x[32] = 15
154.55/151.09 c (147,0) x[33] = 29
154.55/151.09 c (147,0) x[34] = 28
154.55/151.09 c (147,0) x[35] = 6
154.55/151.09 c (147,0) x[36] = 15
154.55/151.09 c (147,0) x[37] = 11
154.55/151.09 c (147,0) x[38] = 3
154.55/151.09 c (147,0) x[39] = 11
154.55/151.09 c (147,0) x[40] = 23
154.55/151.09 c (147,0) x[41] = 16
154.55/151.09 c (147,0) x[42] = 10
154.55/151.09 c (147,0) x[43] = 24
154.55/151.09 c (147,0) x[44] = 19
154.55/151.09 c (147,0) x[45] = 19
154.55/151.09 c (147,0) x[46] = 27
154.55/151.09 c (147,0) x[47] = 12
154.55/151.09 c (147,0) x[48] = 8
154.55/151.09 c (147,0) x[49] = 2
154.55/151.09 c (147,0) x[50] = 2
154.55/151.10 c (147,0) x[51] = 7
154.55/151.10 c (147,0) x[53] = 12
154.55/151.10 c (147,0) x[54] = 11
154.55/151.10 c (147,0) x[55] = 9
154.55/151.10 c (147,0) x[56] = 23
154.55/151.10 c (147,0) x[57] = 14
154.55/151.10 c (147,0) x[59] = 29
154.55/151.10 c (147,0) x[60] = 2
154.55/151.10 c (147,0) x[61] = 27
154.55/151.10 c (147,0) x[63] = 28
154.55/151.10 c (147,0) x[64] = 17
154.55/151.10 c (147,0) x[65] = 20
154.55/151.10 c (147,0) x[66] = 7
154.55/151.10 c (147,0) x[67] = 15
154.55/151.10 c (147,0) x[68] = 3
154.55/151.10 c (147,0) x[69] = 23
154.55/151.10 c (147,0) x[71] = 19
154.55/151.10 c (147,0) x[72] = 4
154.55/151.10 c (147,0) x[73] = 29
154.55/151.10 c (147,0) x[74] = 11
154.55/151.10 c (147,0) x[75] = 9
154.55/151.10 c (147,0) x[79] = 9
154.55/151.10 c (147,0) x[81] = 25
154.55/151.10 c (147,0) x[82] = 28
154.55/151.10 c (147,0) x[83] = 17
154.55/151.10 c (147,0) x[84] = 8
154.55/151.10 c (147,0) x[85] = 28
154.55/151.10 c (147,0) x[86] = 5
154.55/151.10 c (147,0) x[87] = 2
154.55/151.10 c (147,0) x[88] = 12
154.55/151.10 c (147,0) x[89] = 29
154.55/151.10 c (147,0) x[90] = 5
154.55/151.10 c (147,0) x[91] = 3
154.55/151.10 c (147,0) x[92] = 17
154.55/151.10 c (147,0) x[93] = 26
154.55/151.10 c (147,0) x[94] = 22
154.55/151.10 c (147,0) x[95] = 2
154.55/151.10 c (147,0) x[97] = 9
154.55/151.10 c (147,0) x[98] = 11
154.55/151.10 c (147,0) x[99] = 6
154.55/151.10 s SATISFIABLE
154.55/151.10 v <instantiation>
154.55/151.10 v <list>x[0] 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[17] x[18] x[19] x[20] x[21] 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] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list>
154.55/151.10 v <values>14 15 4 16 13 17 6 24 3 5 12 8 24 7 20 24 17 23 7 22 27 9 23 5 9 16 17 11 28 15 29 28 6 15 11 3 11 23 16 10 24 19 19 27 12 8 2 2 7 12 11 9 23 14 29 2 27 28 17 20 7 15 3 23 19 4 29 11 9 9 25 28 17 8 28 5 2 12 29 5 3 17 26 22 2 9 11 6</values>
154.55/151.10 v </instantiation>
154.55/151.10 c (147,0) Show results End
154.55/151.10 c (147,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
154.55/151.10 c (147,0) 147,147,STOP-AFTER(ALL)
154.55/151.10 c END-Prog: Thu Sep 12 15:18:47 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 (9330 MiB free)
memory of node 1: 16384 MiB (11599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388050-1568294216/watcher-4388050-1568294216 -o /tmp/evaluation-result-4388050-1568294216/solver-4388050-1568294216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388050-1568294216.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12695, runsolver pid=12692
[startup+0.100137 s]*
/proc/loadavg: 3.06 3.58 3.01 4/234 12712
/proc/meminfo: memFree=21371916/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405360019 115843072 348 33554432000 4194304 5098028 140728352714368 140728352711624 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 348 296 221 0 87 0
[pid=12698] ppid=12695 vsize=15012696 memory=72656 CPUtime=0.12 cores=1,3,5,7
/proc/12698/stat : 12698 (java) S 12695 12695 9001 0 -1 1077944320 6983 0 0 0 10 2 0 0 20 0 15 0 405360019 15373000704 18164 33554432000 4194304 4196468 140721403063280 140721403045824 140381054209783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
/proc/12698/statm: 3753174 18164 2932 1 0 3715579 0
[pid=12698/tid=12699] ppid=12695 vsize=15012696 memory=-6509246020331028415 CPUtime=0.09 cores=1,3,5,7
/proc/12698/task/12699/stat : 12699 (java) R 12695 12695 9001 0 -1 4202560 4748 0 0 0 8 1 0 0 20 0 15 0 405360019 15373000704 18230 33554432000 4194304 4196468 140721403063280 140381026003688 140381054231709 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12700] ppid=12695 vsize=15012696 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12700/stat : 12700 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 18230 33554432000 4194304 4196468 140721403063280 140381058452368 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12701] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12701/stat : 12701 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380514626320 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12702] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12702/stat : 12702 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380513574032 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12703] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12703/stat : 12703 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380512521232 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12704] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12704/stat : 12704 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360022 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380091877488 140381054220930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12705] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12705/stat : 12705 (java) S 12695 12695 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 18230 33554432000 4194304 4196468 140721403063280 140379596776224 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12706] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12706/stat : 12706 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 18230 33554432000 4194304 4196468 140721403063280 140379328341104 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12707] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12707/stat : 12707 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 18230 33554432000 4194304 4196468 140721403063280 140378953832528 140381054228379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12708] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12708/stat : 12708 (java) S 12695 12695 9001 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380090825328 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12709] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12709/stat : 12709 (java) S 12695 12695 9001 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380089772528 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12710] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0.01 cores=1,3,5,7
/proc/12698/task/12710/stat : 12710 (java) R 12695 12695 9001 0 -1 4202560 462 0 0 0 1 0 0 0 20 0 15 0 405360025 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380088720240 140381038290270 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12711] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12711/stat : 12711 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 18230 33554432000 4194304 4196468 140721403063280 140378455927776 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12712] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12712/stat : 12712 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360026 15373000704 18230 33554432000 4194304 4196468 140721403063280 140380087667120 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74048 KiB
[startup+0.21089 s]*
/proc/loadavg: 3.06 3.58 3.01 3/234 12712
/proc/meminfo: memFree=21353420/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405360019 115843072 348 33554432000 4194304 5098028 140728352714368 140728352711624 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 348 296 221 0 87 0
[pid=12698] ppid=12695 vsize=15012696 memory=88248 CPUtime=0.26 cores=1,3,5,7
/proc/12698/stat : 12698 (java) S 12695 12695 9001 0 -1 1077944320 12115 0 0 0 22 4 0 0 20 0 15 0 405360019 15373000704 22062 33554432000 4194304 4196468 140721403063280 140721403045824 140381054209783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
/proc/12698/statm: 3753174 22062 2941 1 0 3715579 0
[pid=12698/tid=12699] ppid=12695 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12698/task/12699/stat : 12699 (java) R 12695 12695 9001 0 -1 4202560 9816 0 0 0 17 3 0 0 20 0 15 0 405360019 15373000704 22062 33554432000 4194304 4196468 140721403063280 140381026032320 140381054231709 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12700] ppid=12695 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12700/stat : 12700 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 22062 33554432000 4194304 4196468 140721403063280 140381058452368 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12701] ppid=12695 vsize=15012696 memory=139717029954604 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12701/stat : 12701 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380514626320 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12702] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12702/stat : 12702 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380513574032 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12703] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12703/stat : 12703 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380512521232 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12704] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12704/stat : 12704 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360022 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380091877488 140381054220930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12705] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12705/stat : 12705 (java) S 12695 12695 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 22062 33554432000 4194304 4196468 140721403063280 140379596776224 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12706] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12706/stat : 12706 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 22062 33554432000 4194304 4196468 140721403063280 140379328341104 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12707] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12707/stat : 12707 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 22062 33554432000 4194304 4196468 140721403063280 140378953832528 140381054228379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12708] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12708/stat : 12708 (java) S 12695 12695 9001 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380090825328 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12709] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12709/stat : 12709 (java) S 12695 12695 9001 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380089772528 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12710] ppid=12695 vsize=15012696 memory=139717029942912 CPUtime=0.03 cores=1,3,5,7
/proc/12698/task/12710/stat : 12710 (java) S 12695 12695 9001 0 -1 1077944384 480 0 0 0 3 0 0 0 20 0 15 0 405360025 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380088720240 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12711] ppid=12695 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12711/stat : 12711 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 22062 33554432000 4194304 4196468 140721403063280 140378455927776 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12712] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12712/stat : 12712 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360026 15373000704 22062 33554432000 4194304 4196468 140721403063280 140380087667120 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89640 KiB
[startup+0.310721 s]*
/proc/loadavg: 3.06 3.58 3.01 3/234 12712
/proc/meminfo: memFree=21350008/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405360019 115843072 348 33554432000 4194304 5098028 140728352714368 140728352711624 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 348 296 221 0 87 0
[pid=12698] ppid=12695 vsize=15012696 memory=92028 CPUtime=0.43 cores=1,3,5,7
/proc/12698/stat : 12698 (java) S 12695 12695 9001 0 -1 1077944320 12548 0 0 0 39 4 0 0 20 0 15 0 405360019 15373000704 23007 33554432000 4194304 4196468 140721403063280 140721403045824 140381054209783 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
/proc/12698/statm: 3753174 23007 3068 1 0 3715579 0
[pid=12698/tid=12699] ppid=12695 vsize=15012696 memory=7022364632946311227 CPUtime=0.3 cores=1,3,5,7
/proc/12698/task/12699/stat : 12699 (java) R 12695 12695 9001 0 -1 4202560 10070 0 0 0 27 3 0 0 20 0 15 0 405360019 15373000704 23007 33554432000 4194304 4196468 140721403063280 140381026013008 140381037402792 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12700] ppid=12695 vsize=15012696 memory=288230613314699634 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12700/stat : 12700 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 23007 33554432000 4194304 4196468 140721403063280 140381058452368 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12701] ppid=12695 vsize=15012696 memory=3616445687635651962 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12701/stat : 12701 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380514626320 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12702] ppid=12695 vsize=15012696 memory=279433793796464 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12702/stat : 12702 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380513574032 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12703] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12703/stat : 12703 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380512521232 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12704] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12704/stat : 12704 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360022 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380091877488 140381054220930 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12705] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12705/stat : 12705 (java) S 12695 12695 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 23007 33554432000 4194304 4196468 140721403063280 140379596776224 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12706] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12706/stat : 12706 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360023 15373000704 23007 33554432000 4194304 4196468 140721403063280 140379328341104 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12707] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12707/stat : 12707 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 23007 33554432000 4194304 4196468 140721403063280 140378953832528 140381054228379 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12708] ppid=12695 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12698/task/12708/stat : 12708 (java) S 12695 12695 9001 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 15 0 405360025 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380090825328 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12709] ppid=12695 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12698/task/12709/stat : 12709 (java) S 12695 12695 9001 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 405360025 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380089772528 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12710] ppid=12695 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12698/task/12710/stat : 12710 (java) S 12695 12695 9001 0 -1 1077944384 523 0 0 0 7 0 0 0 20 0 15 0 405360025 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380088720240 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12711] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12711/stat : 12711 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15373000704 23007 33554432000 4194304 4196468 140721403063280 140378455927776 140381054219989 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12712] ppid=12695 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12712/stat : 12712 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360026 15373000704 23007 33554432000 4194304 4196468 140721403063280 140380087667120 140381054220930 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93420 KiB
[startup+0.710178 s]
/proc/loadavg: 2.97 3.56 3.01 3/234 12712
/proc/meminfo: memFree=21328756/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405360019 115843072 348 33554432000 4194304 5098028 140728352714368 140728352711624 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 348 296 221 0 87 0
[pid=12698] ppid=12695 vsize=15021092 memory=131012 CPUtime=1.05 cores=1,3,5,7
/proc/12698/stat : 12698 (java) S 12695 12695 9001 0 -1 1077944320 20600 0 0 0 98 7 0 0 20 0 15 0 405360019 15381598208 32753 33554432000 4194304 4196468 140721403063280 140721403045824 140381054209783 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
/proc/12698/statm: 3755273 32753 3207 1 0 3716603 0
[pid=12698/tid=12699] ppid=12695 vsize=15021092 memory=1540 CPUtime=0.68 cores=1,3,5,7
/proc/12698/task/12699/stat : 12699 (java) R 12695 12695 9001 0 -1 4202560 17509 0 0 0 63 5 0 0 20 0 15 0 405360019 15381598208 32753 33554432000 4194304 4196468 140721403063280 140381026043440 140380553220096 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12700] ppid=12695 vsize=15021092 memory=772 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12700/stat : 12700 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360021 15381598208 32753 33554432000 4194304 4196468 140721403063280 140381058452368 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12701] ppid=12695 vsize=15021092 memory=10500 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12701/stat : 12701 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380514626320 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12702] ppid=12695 vsize=15021092 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12702/stat : 12702 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380513574032 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12703] ppid=12695 vsize=15021092 memory=988 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12703/stat : 12703 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405360021 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380512521232 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12704] ppid=12695 vsize=15021092 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12704/stat : 12704 (java) S 12695 12695 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405360022 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380091877488 140381054220930 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12705] ppid=12695 vsize=15021092 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12705/stat : 12705 (java) S 12695 12695 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405360023 15381598208 32753 33554432000 4194304 4196468 140721403063280 140379596776224 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12706] ppid=12695 vsize=15021092 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12706/stat : 12706 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360023 15381598208 32753 33554432000 4194304 4196468 140721403063280 140379328341104 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12707] ppid=12695 vsize=15021092 memory=5888 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12707/stat : 12707 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15381598208 32753 33554432000 4194304 4196468 140721403063280 140378953832528 140381054228379 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12708] ppid=12695 vsize=15021092 memory=612 CPUtime=0.07 cores=1,3,5,7
/proc/12698/task/12708/stat : 12708 (java) S 12695 12695 9001 0 -1 1077944384 593 0 0 0 7 0 0 0 20 0 15 0 405360025 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380090825328 140381054220930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12709] ppid=12695 vsize=15021092 memory=1220 CPUtime=0.1 cores=1,3,5,7
/proc/12698/task/12709/stat : 12709 (java) S 12695 12695 9001 0 -1 1077944384 468 0 0 0 10 0 0 0 20 0 15 0 405360025 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380089772528 140381054220930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12710] ppid=12695 vsize=15021092 memory=14004 CPUtime=0.17 cores=1,3,5,7
/proc/12698/task/12710/stat : 12710 (java) S 12695 12695 9001 0 -1 1077944384 694 0 0 0 17 0 0 0 20 0 15 0 405360025 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380088720240 140381054220930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12711] ppid=12695 vsize=15021092 memory=14060 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12711/stat : 12711 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405360025 15381598208 32753 33554432000 4194304 4196468 140721403063280 140378455927776 140381054219989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
[pid=12698/tid=12712] ppid=12695 vsize=15021092 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12698/task/12712/stat : 12712 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405360026 15381598208 32753 33554432000 4194304 4196468 140721403063280 140380087667120 140381054220930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12959744 140721403065129 140721403065498 140721403065498 140721403068367 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 132404 KiB
[startup+1.50418 s]
/proc/loadavg: 2.97 3.56 3.01 5/235 12714
/proc/meminfo: memFree=21301620/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 553 321 0 0 0 0 0 0 20 0 1 0 405360019 115843072 348 33554432000 4194304 5098028 140728352714368 140728352711624 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=12715/tid=12726] ppid=12695 vsize=8068440 memory=14060 CPUtime=0.14 cores=1,3,5,7
/proc/12715/task/12726/stat : 12726 (java) S 12695 12695 9001 0 -1 1077944384 932 0 0 0 14 0 0 0 20 0 19 0 405360301 8262082560 31023 33554432000 4194304 4196468 140729742413280 139793248737904 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12727] ppid=12695 vsize=8068440 memory=988 CPUtime=0.26 cores=1,3,5,7
/proc/12715/task/12727/stat : 12727 (java) S 12695 12695 9001 0 -1 1077944384 1160 0 0 0 26 0 0 0 20 0 19 0 405360301 8262082560 31023 33554432000 4194304 4196468 140729742413280 139793247685360 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12728] ppid=12695 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12728/stat : 12728 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405360302 8262082560 31023 33554432000 4194304 4196468 140729742413280 139791723129952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12729] ppid=12695 vsize=8068440 memory=2828 CPUtime=0.07 cores=1,3,5,7
/proc/12715/task/12729/stat : 12729 (java) S 12695 12695 9001 0 -1 1077944384 11 0 0 0 3 4 0 0 20 0 19 0 405360302 8262082560 31023 33554432000 4194304 4196468 140729742413280 139793246632240 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12731] ppid=12695 vsize=8068440 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12731/stat : 12731 (java) S 12695 12695 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405360372 8262082560 31023 33554432000 4194304 4196468 140729742413280 139793669628992 139793871822617 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12733] ppid=12695 vsize=8068440 memory=5888 CPUtime=0.03 cores=1,3,5,7
/proc/12715/task/12733/stat : 12733 (java) S 12695 12695 9001 0 -1 4202560 1688 0 0 0 2 1 0 0 20 0 19 0 405360372 8262082560 31023 33554432000 4194304 4196468 140729742413280 139791186247312 139793871819933 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12734] ppid=12695 vsize=8068440 memory=612 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12734/stat : 12734 (java) S 12695 12695 9001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405360372 8262082560 31023 33554432000 4194304 4196468 140729742413280 139790917812016 139793871819933 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12735] ppid=12695 vsize=8068440 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12735/stat : 12735 (java) S 12695 12695 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405360375 8262082560 31023 33554432000 4194304 4196468 140729742413280 139791454690864 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
Current children cumulated CPU time: 153.02 s
Current children cumulated vsize: 8630216 KiB
Current children cumulated memory: 530248 KiB
[startup+150.801 s]
/proc/loadavg: 2.09 2.96 2.86 3/239 12746
/proc/meminfo: memFree=20897828/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1472 CPUtime=4.67 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 581 25122 0 0 0 0 442 25 20 0 1 0 405360019 115843072 368 33554432000 4194304 5098028 140728352714368 140728352711112 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 368 311 221 0 87 0
[pid=12715] ppid=12695 vsize=8068440 memory=180948 CPUtime=2.18 cores=1,3,5,7
/proc/12715/stat : 12715 (java) S 12695 12695 9001 0 -1 1077944320 26472 0 0 0 201 17 0 0 20 0 19 0 405360296 8262082560 45237 33554432000 4194304 4196468 140729742413280 140729742395824 139793871798007 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
/proc/12715/statm: 2017110 45237 3230 1 0 1978454 0
[pid=12730] ppid=12715 vsize=448648 memory=404728 CPUtime=147.06 cores=1,3,5,7
/proc/12730/stat : 12730 (cryptominisat5) S 12715 12695 9001 0 -1 4202496 350684 0 0 0 14668 38 0 0 20 0 1 0 405360371 459415552 101182 33554432000 4194304 4451008 140722775809216 140722775806440 139625526295648 0 4 0 2 18446744071580971376 0 0 17 7 0 0 0 0 0 6549032 6559120 20180992 140722775815100 140722775815232 140722775815232 140722775818182 0
/proc/12730/statm: 112162 101182 745 63 0 105889 0
[pid=12715/tid=12716] ppid=12695 vsize=8068440 memory=17452 CPUtime=0.79 cores=1,3,5,7
/proc/12715/task/12716/stat : 12716 (java) S 12695 12695 9001 0 -1 1077944384 17304 0 0 0 72 7 0 0 20 0 19 0 405360296 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793843638176 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12717] ppid=12695 vsize=8068440 memory=532 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12717/stat : 12717 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405360297 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793876040464 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12718] ppid=12695 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12718/stat : 12718 (java) S 12695 12695 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405360297 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793676209040 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12719] ppid=12695 vsize=8068440 memory=932 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12719/stat : 12719 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405360297 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793675156496 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12720] ppid=12695 vsize=8068440 memory=3680 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12720/stat : 12720 (java) S 12695 12695 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405360297 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793674103952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12721] ppid=12695 vsize=8068440 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12721/stat : 12721 (java) S 12695 12695 9001 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 405360298 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793250842608 139793871809154 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12722] ppid=12695 vsize=8068440 memory=124092 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12722/stat : 12722 (java) S 12695 12695 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405360299 8262082560 45237 33554432000 4194304 4196468 140729742413280 139792729760672 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12723] ppid=12695 vsize=8068440 memory=402636 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12723/stat : 12723 (java) S 12695 12695 9001 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 405360299 8262082560 45237 33554432000 4194304 4196468 140729742413280 139792595538928 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12724] ppid=12695 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12724/stat : 12724 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405360301 8262082560 45237 33554432000 4194304 4196468 140729742413280 139792221034704 139793871816603 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12725] ppid=12695 vsize=8068440 memory=124092 CPUtime=0.33 cores=1,3,5,7
/proc/12715/task/12725/stat : 12725 (java) R 12695 12695 9001 0 -1 4202560 2595 0 0 0 33 0 0 0 20 0 19 0 405360301 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793249775496 139793853320533 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12726] ppid=12695 vsize=8068440 memory=1472 CPUtime=0.35 cores=1,3,5,7
/proc/12715/task/12726/stat : 12726 (java) R 12695 12695 9001 0 -1 4202560 2082 0 0 0 34 1 0 0 20 0 19 0 405360301 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793248722488 139793855295011 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12727] ppid=12695 vsize=8068440 memory=1472 CPUtime=0.32 cores=1,3,5,7
/proc/12715/task/12727/stat : 12727 (java) S 12695 12695 9001 0 -1 1077944384 1332 0 0 0 32 0 0 0 20 0 19 0 405360301 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793247685360 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12728] ppid=12695 vsize=8068440 memory=8039887049847965091 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12728/stat : 12728 (java) S 12695 12695 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405360302 8262082560 45237 33554432000 4194304 4196468 140729742413280 139791723129952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12729] ppid=12695 vsize=8068440 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/12715/task/12729/stat : 12729 (java) S 12695 12695 9001 0 -1 1077944384 11 0 0 0 3 4 0 0 20 0 19 0 405360302 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793246632240 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12731] ppid=12695 vsize=8068440 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12731/stat : 12731 (java) S 12695 12695 9001 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405360372 8262082560 45237 33554432000 4194304 4196468 140729742413280 139793669628992 139793871822617 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12733] ppid=12695 vsize=8068440 memory=2828 CPUtime=0.24 cores=1,3,5,7
/proc/12715/task/12733/stat : 12733 (java) R 12695 12695 9001 0 -1 4202560 1743 0 0 0 23 1 0 0 20 0 19 0 405360372 8262082560 45237 33554432000 4194304 4196468 140729742413280 139791186247472 139793871819933 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12734] ppid=12695 vsize=8068440 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12734/stat : 12734 (java) S 12695 12695 9001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 405360372 8262082560 45237 33554432000 4194304 4196468 140729742413280 139790917812016 139793871819933 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12735] ppid=12695 vsize=8068440 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/12715/task/12735/stat : 12735 (java) S 12695 12695 9001 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 405360375 8262082560 45237 33554432000 4194304 4196468 140729742413280 139791454690864 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
Current children cumulated CPU time: 153.91 s
Current children cumulated vsize: 8630216 KiB
Current children cumulated memory: 587148 KiB
[startup+151.008 s]*
/proc/loadavg: 2.08 2.94 2.86 5/236 12746
/proc/meminfo: memFree=21189188/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1472 CPUtime=4.67 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 581 25122 0 0 0 0 442 25 20 0 1 0 405360019 115843072 368 33554432000 4194304 5098028 140728352714368 140728352711112 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 368 311 221 0 87 0
[pid=12715] ppid=12695 vsize=7937364 memory=234976 CPUtime=149.88 cores=1,3,5,7
/proc/12715/stat : 12715 (java) S 12695 12695 9001 0 -1 1077944320 28183 365668 0 0 255 17 14674 42 20 0 17 0 405360296 8127860736 58744 33554432000 4194304 4196468 140729742413280 140729742395824 139793871798007 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
/proc/12715/statm: 1984341 58744 3233 1 0 1945685 0
[pid=12715/tid=12716] ppid=12695 vsize=7937364 memory=6791534058613427641 CPUtime=147.98 cores=1,3,5,7
/proc/12715/task/12716/stat : 12716 (java) R 12695 12695 9001 0 -1 4202560 17345 365668 0 0 75 7 14674 42 20 0 17 0 405360296 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793843627680 139793855878494 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12717] ppid=12695 vsize=7937364 memory=4872558044660077418 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12717/stat : 12717 (java) S 12695 12695 9001 0 -1 1077944384 3 365668 0 0 0 0 14674 42 20 0 17 0 405360297 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793876040464 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12718] ppid=12695 vsize=7937364 memory=2540 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12718/stat : 12718 (java) S 12695 12695 9001 0 -1 1077944384 2 365668 0 0 0 0 14674 42 20 0 17 0 405360297 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793676209040 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12719] ppid=12695 vsize=7937364 memory=1760 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12719/stat : 12719 (java) S 12695 12695 9001 0 -1 1077944384 1 365668 0 0 0 0 14674 42 20 0 17 0 405360297 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793675156496 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12720] ppid=12695 vsize=7937364 memory=1472 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12720/stat : 12720 (java) S 12695 12695 9001 0 -1 1077944384 1 365668 0 0 0 0 14674 42 20 0 17 0 405360297 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793674103952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12721] ppid=12695 vsize=7937364 memory=124092 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12721/stat : 12721 (java) S 12695 12695 9001 0 -1 1077944384 10 365668 0 0 0 0 14674 42 20 0 17 0 405360298 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793250842608 139793871809154 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12722] ppid=12695 vsize=7937364 memory=404684 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12722/stat : 12722 (java) S 12695 12695 9001 0 -1 1077944384 13 365668 0 0 0 0 14674 42 20 0 17 0 405360299 8127860736 58751 33554432000 4194304 4196468 140729742413280 139792729760672 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12723] ppid=12695 vsize=7937364 memory=111636 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12723/stat : 12723 (java) S 12695 12695 9001 0 -1 1077944384 21 365668 0 0 0 0 14674 42 20 0 17 0 405360299 8127860736 58751 33554432000 4194304 4196468 140729742413280 139792595538928 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12724] ppid=12695 vsize=7937364 memory=804 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12724/stat : 12724 (java) S 12695 12695 9001 0 -1 1077944384 3 365668 0 0 0 0 14674 42 20 0 17 0 405360301 8127860736 58751 33554432000 4194304 4196468 140729742413280 139792221034704 139793871816603 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12725] ppid=12695 vsize=7937364 memory=1800 CPUtime=147.68 cores=1,3,5,7
/proc/12715/task/12725/stat : 12725 (java) R 12695 12695 9001 0 -1 4202560 2900 365668 0 0 52 0 14674 42 20 0 17 0 405360301 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793249790576 139793853344898 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12726] ppid=12695 vsize=7937364 memory=920 CPUtime=147.69 cores=1,3,5,7
/proc/12715/task/12726/stat : 12726 (java) R 12695 12695 9001 0 -1 4202560 3375 365668 0 0 52 1 14674 42 20 0 17 0 405360301 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793248737904 139793856248753 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12727] ppid=12695 vsize=7937364 memory=3848 CPUtime=147.49 cores=1,3,5,7
/proc/12715/task/12727/stat : 12727 (java) R 12695 12695 9001 0 -1 1077944384 1376 365668 0 0 33 0 14674 42 20 0 17 0 405360301 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793247685360 139793871809154 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12728] ppid=12695 vsize=7937364 memory=2848 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12728/stat : 12728 (java) S 12695 12695 9001 0 -1 1077944384 3 365668 0 0 0 0 14674 42 20 0 17 0 405360302 8127860736 58751 33554432000 4194304 4196468 140729742413280 139791723129952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12729] ppid=12695 vsize=7937364 memory=3672 CPUtime=147.23 cores=1,3,5,7
/proc/12715/task/12729/stat : 12729 (java) S 12695 12695 9001 0 -1 1077944384 11 365668 0 0 3 4 14674 42 20 0 17 0 405360302 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793246632240 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12731] ppid=12695 vsize=7937364 memory=1412 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12731/stat : 12731 (java) S 12695 12695 9001 0 -1 1077944384 23 365668 0 0 0 0 14674 42 20 0 17 0 405360372 8127860736 58751 33554432000 4194304 4196468 140729742413280 139793669628176 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12735] ppid=12695 vsize=7937364 memory=0 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12735/stat : 12735 (java) S 12695 12695 9001 0 -1 1077944384 27 365668 0 0 0 0 14674 42 20 0 17 0 405360375 8127860736 58751 33554432000 4194304 4196468 140729742413280 139791454692656 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
Current children cumulated CPU time: 154.55 s
Current children cumulated vsize: 8050492 KiB
Current children cumulated memory: 236448 KiB
[startup+151.111 s]
/proc/loadavg: 2.08 2.94 2.86 5/236 12746
/proc/meminfo: memFree=21189188/32770624 swapFree=66999124/67108860
[pid=12695] ppid=12692 vsize=113128 memory=1472 CPUtime=4.67 cores=1,3,5,7
/proc/12695/stat : 12695 (scop.sh) S 12692 12695 9001 0 -1 4202496 581 25122 0 0 0 0 442 25 20 0 1 0 405360019 115843072 368 33554432000 4194304 5098028 140728352714368 140728352711112 140696680288892 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 23699456 140728352715619 140728352715888 140728352715888 140728352718797 0
/proc/12695/statm: 28282 368 311 221 0 87 0
[pid=12715] ppid=12695 vsize=7806288 memory=240508 CPUtime=150.07 cores=1,3,5,7
/proc/12715/stat : 12715 (java) S 12695 12695 9001 0 -1 1077944320 28531 365668 0 0 273 18 14674 42 20 0 16 0 405360296 7993638912 60127 33554432000 4194304 4196468 140729742413280 140729742395824 139793871798007 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
/proc/12715/statm: 1951572 60127 3240 1 0 1912916 0
[pid=12715/tid=12716] ppid=12695 vsize=7806288 memory=1472 CPUtime=148.07 cores=1,3,5,7
/proc/12715/task/12716/stat : 12716 (java) S 12695 12695 9001 0 -1 1077944384 17560 365668 0 0 83 8 14674 42 20 0 16 0 405360296 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793843641488 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12717] ppid=12695 vsize=7806288 memory=124092 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12717/stat : 12717 (java) S 12695 12695 9001 0 -1 1077944384 3 365668 0 0 0 0 14674 42 20 0 16 0 405360297 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793876040464 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12718] ppid=12695 vsize=7806288 memory=124092 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12718/stat : 12718 (java) S 12695 12695 9001 0 -1 1077944384 2 365668 0 0 0 0 14674 42 20 0 16 0 405360297 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793676209040 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12719] ppid=12695 vsize=7806288 memory=124092 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12719/stat : 12719 (java) S 12695 12695 9001 0 -1 1077944384 1 365668 0 0 0 0 14674 42 20 0 16 0 405360297 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793675156496 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12720] ppid=12695 vsize=7806288 memory=124092 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12720/stat : 12720 (java) S 12695 12695 9001 0 -1 1077944384 1 365668 0 0 0 0 14674 42 20 0 16 0 405360297 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793674103952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12721] ppid=12695 vsize=7806288 memory=220776 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12721/stat : 12721 (java) S 12695 12695 9001 0 -1 1077944384 10 365668 0 0 0 0 14674 42 20 0 16 0 405360298 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793250842816 139793871809154 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12722] ppid=12695 vsize=7806288 memory=1472 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12722/stat : 12722 (java) S 12695 12695 9001 0 -1 1077944384 13 365668 0 0 0 0 14674 42 20 0 16 0 405360299 7993638912 60127 33554432000 4194304 4196468 140729742413280 139792729760672 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12723] ppid=12695 vsize=7806288 memory=141916 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12723/stat : 12723 (java) S 12695 12695 9001 0 -1 1077944384 21 365668 0 0 0 0 14674 42 20 0 16 0 405360299 7993638912 60127 33554432000 4194304 4196468 140729742413280 139792595538928 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12724] ppid=12695 vsize=7806288 memory=1472 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12724/stat : 12724 (java) S 12695 12695 9001 0 -1 1077944384 23 365668 0 0 0 0 14674 42 20 0 16 0 405360301 7993638912 60127 33554432000 4194304 4196468 140729742413280 139792221031472 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12725] ppid=12695 vsize=7806288 memory=124092 CPUtime=147.72 cores=1,3,5,7
/proc/12715/task/12725/stat : 12725 (java) S 12695 12695 9001 0 -1 1077944384 2911 365668 0 0 55 1 14674 42 20 0 16 0 405360301 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793249774544 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12726] ppid=12695 vsize=7806288 memory=382796 CPUtime=147.73 cores=1,3,5,7
/proc/12715/task/12726/stat : 12726 (java) S 12695 12695 9001 0 -1 1077944384 3394 365668 0 0 56 1 14674 42 20 0 16 0 405360301 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793248721600 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12727] ppid=12695 vsize=7806288 memory=1980 CPUtime=147.54 cores=1,3,5,7
/proc/12715/task/12727/stat : 12727 (java) S 12695 12695 9001 0 -1 1077944384 1452 365668 0 0 37 1 14674 42 20 0 16 0 405360301 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793247685360 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12728] ppid=12695 vsize=7806288 memory=404728 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12728/stat : 12728 (java) S 12695 12695 9001 0 -1 1077944384 3 365668 0 0 0 0 14674 42 20 0 16 0 405360302 7993638912 60127 33554432000 4194304 4196468 140729742413280 139791723129952 139793871808213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12731] ppid=12695 vsize=7806288 memory=0 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12731/stat : 12731 (java) S 12695 12695 9001 0 -1 1077944384 23 365668 0 0 0 0 14674 42 20 0 16 0 405360372 7993638912 60127 33554432000 4194304 4196468 140729742413280 139793669628176 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
[pid=12715/tid=12735] ppid=12695 vsize=7806288 memory=139716898055208 CPUtime=147.16 cores=1,3,5,7
/proc/12715/task/12735/stat : 12735 (java) S 12695 12695 9001 0 -1 1077944384 27 365668 0 0 0 0 14674 42 20 0 16 0 405360375 7993638912 60127 33554432000 4194304 4196468 140729742413280 139791454692656 139793871809154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13357056 140729742414843 140729742415002 140729742415002 140729742417871 0
Current children cumulated CPU time: 154.74 s
Current children cumulated vsize: 7919416 KiB
Current children cumulated memory: 241980 KiB
Child status: 0
Real time (s): 151.118
CPU time (s): 154.778
CPU user time (s): 153.907
CPU system time (s): 0.870647
CPU usage (%): 102.421
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 1055756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.907
system time used= 0.870647
maximum resident set size= 1057608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419918
page faults= 0
swaps= 0
block input operations= 8
block output operations= 21056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8976
involuntary context switches= 187
# summary of solver processes directly reported to runsolver:
# pid: 12695
# total CPU time (s): 154.778
# total CPU user time (s): 153.907
# total CPU system time (s): 0.870647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21271 second user time and 1.59403 second system time
The end