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-9726-serial-file.bin HOME/instance-4388257-1568296947.xml
0.66/0.52
0.66/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Thu Sep 12 16:01:48 CEST 2019
0.66/0.55 c PID: 9729
0.66/0.55 c IP: 172.20.3.124
0.66/0.55 c HOST: node124.alineos.net
0.66/0.56 c (0,0) Parsing Begin
6.89/2.66 c (2,2) Parsing End
6.89/2.67 c (2,2) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1616
6.89/2.67 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.89/2.67 c (2,2) Constraint Name Generate Begin
7.22/2.75 c (2,2) Ctr:HOME/instance-4388257-1568296947.xml,Add:Le:Ne:Num:Or:Var
7.22/2.75 c (2,2) Constraint Name Generate End
7.22/2.75 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
7.22/2.75 c (2,2) CSP to CSPinCNF Begin
7.99/3.09 c (2,2) translated 1294 (10%) constraints
8.31/3.19 c (2,2) translated 2588 (20%) constraints
8.57/3.28 c (2,2) translated 3882 (30%) constraints
8.87/3.36 c (2,2) translated 5176 (40%) constraints
9.17/3.44 c (2,2) translated 6470 (50%) constraints
9.46/3.52 c (2,2) translated 7764 (60%) constraints
9.46/3.58 c (3,3) translated 9058 (70%) constraints
9.73/3.64 c (3,3) translated 10352 (80%) constraints
9.73/3.69 c (3,3) translated 11646 (90%) constraints
10.02/3.73 c (3,3) translated 12940 (100%) constraints
10.02/3.73 c (3,3) ===========================================
10.02/3.77 c (3,3) Hybrid: #OE=800, #LE=0
10.02/3.77 c (3,3) Hybrid
10.02/3.77 c (3,3) ===========================================
10.37/3.82 c (3,3) translated 1294 (10%) constraints
10.37/3.86 c (3,3) translated 2588 (20%) constraints
10.37/3.89 c (3,3) translated 3882 (30%) constraints
10.60/3.93 c (3,3) translated 5176 (40%) constraints
10.60/3.96 c (3,3) translated 6470 (50%) constraints
10.60/3.99 c (3,3) translated 7764 (60%) constraints
10.81/4.02 c (3,3) translated 9058 (70%) constraints
10.81/4.05 c (3,3) translated 10352 (80%) constraints
10.81/4.08 c (3,3) translated 11646 (90%) constraints
10.81/4.11 c (3,3) translated 12940 (100%) constraints
11.07/4.11 c (3,3) CSP to CSPinCNF End
11.07/4.11 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1536
11.07/4.11 c (3,3) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.07/4.11 c (3,3) CSPinCNF Propagation Begin
11.36/4.23 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.36/4.23 c (3,3) CSPinCNF Propagation End
11.36/4.23 c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1536
11.36/4.23 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
11.36/4.27 c (3,3) Hybrid: #OE=800, #LE=0
11.36/4.27 c (3,3) Simplify CSPinCNF Begin
12.80/4.80 c (4,4) Simplify CSPinCNF End
13.12/4.81 c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1536
13.12/4.81 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.12/4.81 c (4,4) Calculate Precise Domain Begin
13.12/4.81 c (4,4) 0 values are removed by re-calculation
13.12/4.81 c (4,4) Calculate Precise Domain End
13.12/4.81 c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1536
13.12/4.81 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
13.12/4.81 c (4,4) CSPinCNF to SatSolver Begin
25.07/14.27 c (13,13) 3654 (10 %) CSP clauses are encoded (0 SAT variables, 2711483 SAT clauses)
32.73/21.61 c (21,20) 7308 (20 %) CSP clauses are encoded (0 SAT variables, 4482547 SAT clauses)
41.52/30.01 c (29,27) 10962 (30 %) CSP clauses are encoded (0 SAT variables, 6418046 SAT clauses)
49.07/37.74 c (37,35) 14616 (40 %) CSP clauses are encoded (0 SAT variables, 8368336 SAT clauses)
55.94/44.66 c (44,42) 18270 (50 %) CSP clauses are encoded (0 SAT variables, 10136140 SAT clauses)
63.96/53.09 c (52,50) 21924 (60 %) CSP clauses are encoded (0 SAT variables, 12200416 SAT clauses)
72.14/61.64 c (61,58) 25578 (70 %) CSP clauses are encoded (0 SAT variables, 14299249 SAT clauses)
78.83/68.63 c (68,64) 29232 (80 %) CSP clauses are encoded (0 SAT variables, 16017404 SAT clauses)
86.37/76.12 c (75,72) 32886 (90 %) CSP clauses are encoded (0 SAT variables, 17952809 SAT clauses)
94.58/84.33 c (83,80) 36540 (100 %) CSP clauses are encoded (0 SAT variables, 20635348 SAT clauses)
94.58/84.33 c (83,80) CSPinCNF to SatSolver End
94.58/84.33 c (83,80) Heap : 2836 MiB used (max 11127 MiB), NonHeap : 30 MiB used (max 0 MiB)
94.58/84.33 c (83,80) 818794 bool, 20635901 clause
94.58/84.33 c (83,80) Export Begin
94.72/84.46 c (83,80) Export to HOME/scop-9726-serial-file.bin
94.72/84.46 c (83,80) Export End
94.72/84.46 c (83,80) Export File Size: 0.12 MB
94.72/84.46 c (83,80) 2,2,3,3,4,4,83,STOP-AFTER(DIMACS)
94.72/84.46 c END-Prog: Thu Sep 12 16:03:12 CEST 2019
94.72/84.49 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9726-serial-file.bin
94.94/84.95 c (0,0) Read Serial File Begin
94.94/84.95 c (0,0) HOME/scop-9726-serial-file.bin
95.76/85.20 c (0,0) Read Serial File End
96.03/85.21
96.03/85.21 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
96.03/85.21 (Solving Process)
96.03/85.21
96.03/85.23 c BEGIN-Prog: Thu Sep 12 16:03:13 CEST 2019
96.03/85.23 c PID: 9750
96.03/85.23 c IP: 172.20.3.124
96.03/85.23 c HOST: node124.alineos.net
96.03/85.24 c (0,0) SatSolver.solve Begin
96.03/85.24 c (0,0) HOME/cryptominisat5 HOME/instance-4388257-1568296947.xml-scop-9729.cnf
96.03/85.27 c (0,0) c Outputting solution to console
96.03/85.27 c (0,0) c CryptoMiniSat version 5.6.8
96.03/85.27 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
96.03/85.27 c (0,0) c CMS SHA revision GIT-notfound
96.03/85.27 c (0,0) c CMS is MIT licensed
96.03/85.27 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
96.03/85.27 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
96.03/85.27 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4388257-1568296947.xml-scop-9729.cnf
96.03/85.27 c (0,0) c Reading file 'HOME/instance-4388257-1568296947.xml-scop-9729.cnf'
96.03/85.27 c (0,0) c -- header says num vars: 818794
96.03/85.27 c (0,0) c -- header says num clauses: 20635901
104.48/93.50 c (8,0) c -- clauses added: 20635901
104.48/93.50 c (8,0) c -- xor clauses added: 0
104.48/93.50 c (8,0) c -- vars added 818794
104.48/93.50 c (8,0) c Parsing time: 7.50 s
106.29/95.37 c (10,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
106.39/95.42 c (10,0) c [distill] long cls tried: 4/4 cl-short:4 lit-r:0 T: 0.04 T-out: N T-r: 99.74%
150.13/139.11 c (54,0) c [distill] long cls tried: 495/476 cl-short:495 lit-r:627 T: 6.10 T-out: N T-r: 68.61%
199.25/188.22 c (103,0) c [distill] long cls tried: 415/872 cl-short:415 lit-r:191 T: 4.96 T-out: N T-r: 73.91%
213.37/202.38 c (117,0) c glue 1 37 8193 508965 18388K 1942K 3.00 2.90 1070 2600 4380 75 29.74 29.48
275.12/264.07 c (179,0) c [distill] long cls tried: 1193/2763 cl-short:1193 lit-r:1547 T: 19.29 T-out: Y T-r: -0.17%
325.34/314.26 c (229,0) c geom 1 84 16386 508483 18388K 1942K 3.00 2.90 3404 5069 7671 132 28.78 28.57
358.76/347.65 c (262,0) c [distill] long cls tried: 1368/3474 cl-short:1368 lit-r:1383 T: 19.37 T-out: Y T-r: -0.24%
456.83/445.67 c (360,0) c [distill] long cls tried: 1179/5633 cl-short:1179 lit-r:1558 T: 19.36 T-out: Y T-r: -0.06%
464.13/452.99 c (368,0) c glue 1 134 24K 507955 18388K 1942K 3.00 2.90 5714 6216 12277 220 29.51 29.27
570.71/559.47 c (474,0) c [distill] long cls tried: 1402/7831 cl-short:1402 lit-r:1373 T: 19.45 T-out: Y T-r: -0.11%
580.81/569.53 c (484,0) c glue 1 188 32K 507450 18388K 1942K 3.00 2.90 7942 8514 13483 290 28.48 28.23
665.17/653.82 c (568,0) c glue 1 222 40K 507138 18388K 1942K 3.00 2.90 10146 7247 20K 309 29.43 29.21
687.78/676.46 c (591,0) c [distill] long cls tried: 1177/10161 cl-short:1176 lit-r:1508 T: 19.08 T-out: Y T-r: -0.05%
785.55/774.15 c (689,0) c glue 1 277 49K 507045 18388K 1942K 3.00 2.90 10941 10905 20K 348 28.73 28.50
841.89/830.49 c (745,0) c [distill] long cls tried: 1226/12526 cl-short:1226 lit-r:1568 T: 19.43 T-out: Y T-r: -0.13%
902.43/890.95 c (806,0) c geom 1 327 57K 506902 18388K 1942K 3.00 2.90 12949 9492 27K 407 29.31 29.09
1009.19/997.67 c (912,0) c glue 1 367 65K 506894 18388K 1942K 3.00 2.90 14954 9299 26K 439 27.31 27.09
1039.63/1028.06 c (943,0) c [distill] long cls tried: 1158/14997 cl-short:1158 lit-r:1497 T: 19.44 T-out: Y T-r: -0.22%
1081.14/1069.53 c (984,0) c recursive minimization cost OK: 2231Kcost/(% lits removed)
1081.14/1069.53 c (984,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
1081.34/1069.76 c (984,0) c --> Executing strategy token: handle-comps
1081.34/1069.76 c (984,0) c --> Executing strategy token: scc-vrepl
1081.34/1069.76 c (984,0) c [scc] new: 155 BP 7M T: 0.21
1082.24/1070.68 c (985,0) c --> Executing strategy token: cache-clean
1082.24/1070.68 c (985,0) c --> Executing strategy token: cache-tryboth
1082.24/1070.68 c (985,0) c --> Executing strategy token: sub-impl
1082.24/1070.68 c (985,0) c [impl sub] bin: 33 T: 0.88 T-out: N w-visit: 1637588
1083.95/1072.36 c (987,0) c --> Executing strategy token: intree-probe
1083.95/1072.36 c (987,0) c [scc] new: 155 BP 6M T: 0.21
1084.55/1072.90 c (988,0) c [vrep] vars 155 lits 167559 rem-bin-cls 620 rem-long-cls 28 BP 23M T: 0.53
1085.05/1073.44 c (988,0) c [scc] new: 0 BP 6M T: 0.21
1085.46/1073.89 c (989,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 21M T: 0.45
1109.46/1097.82 c (1012,0) c [intree] Set 21 vars hyper-added: 12582 trans-irred::145320 trans-red::8 T: 23.85 T-out: Y T-r: -0.09%
1110.87/1099.21 c (1014,0) c --> Executing strategy token: probe
1110.87/1099.21 c (1014,0) c --> Executing strategy token: sub-str-cls-with-bin
1110.87/1099.21 c (1014,0) c [distill] cache-based irred-- cl tried 181456 cl-sh 0 cl-rem 48 lit-rem 0 T: 0.95 T-out: Y
1110.87/1099.21 c (1014,0) c [distill] cache-based red-- cl tried 30491 cl-sh 673 cl-rem 12 lit-rem 866 T: 0.12 T-out: N
1112.47/1100.81 c (1015,0) c --> Executing strategy token: distill-cls
1112.47/1100.81 c (1015,0) c [distill] long cls tried: 80/7132031 cl-short:0 lit-r:0 T: 1.59 T-out: Y T-r: -2.02%
1112.47/1100.81 c (1015,0) c [distill] long useful: 0/160/14264062 lits-rem: 0 0-depth-assigns: 0 T: 3.17 T-out: Y
1112.68/1101.02 c (1016,0) c --> Executing strategy token: scc-vrepl
1112.68/1101.02 c (1016,0) c [scc] new: 64 BP 6M T: 0.21
1113.27/1101.68 c (1016,0) c --> Executing strategy token: sub-impl
1113.27/1101.68 c (1016,0) c [impl sub] bin: 33 T: 0.66 T-out: N w-visit: 1637588
1113.47/1101.88 c (1017,0) c --> Executing strategy token: str-impl
1113.47/1101.88 c (1017,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.20 T-out: N T-r: 75.65% w-visit: 1637588
1114.07/1102.46 c (1017,0) c --> Executing strategy token: sub-impl
1114.07/1102.46 c (1017,0) c [impl sub] bin: 0 T: 0.58 T-out: N w-visit: 1637588
1115.07/1103.42 c (1018,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
1115.07/1103.42 c (1018,0) c [occ] mem usage for occur 691 MB
1118.57/1106.96 c (1022,0) c [occ] mem usage for occur 41 MB
1119.37/1107.73 c (1022,0) c Mem for watch alloc : 1087 MB (46.79 %)
1119.37/1107.73 c (1022,0) c Mem for watch array : 37 MB (1.61 %)
1121.07/1109.43 c (1024,0) c --> Executing OCC strategy token: occ-backw-sub-str
1121.07/1109.43 c (1024,0) c [occ-backw-sub-str-long-w-bins] subs: 1623 str: 0 tried: 5121704 0-depth ass: 0 T: 1.70 T-out: Y T-r: -0.00%
1121.28/1109.68 c (1024,0) c [occ-sub-long-w-long] rem cl: 0 tried: 0/7187435 (0.0%) T: 0.25 T-out: Y T-r: 100.00%
1123.58/1111.91 c (1027,0) c [occ-sub-str-long-w-long] sub: 23 str: 29 tried: 2826060/7187435 (39.3) T: 2.23 T-out: Y T-r: -0.00%
1123.88/1112.23 c (1027,0) c --> Executing OCC strategy token: occ-clean-implicit
1123.88/1112.23 c (1027,0) c --> Executing OCC strategy token: occ-bve
1123.88/1112.23 c (1027,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.31 T-out: N
1145.80/1134.13 c (1049,0) c [occ-bve] iter v-elim 9633
1145.80/1134.13 c (1049,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
1145.99/1134.32 c (1049,0) c Reduced to 497071 vars, 10824178 cls (grow=0)
1148.80/1137.14 c (1052,0) c [occ-bve] iter v-elim 4225
1148.80/1137.14 c (1052,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=8)
1149.00/1137.33 c (1052,0) c Reduced to 492846 vars, 10835835 cls (grow=8)
1149.00/1137.33 c (1052,0) c x n vars : 492846
1149.00/1137.37 c (1052,0) c #try to eliminate: 1515K
1149.00/1137.37 c (1052,0) c #var-elim : 13858
1149.00/1137.37 c (1052,0) c #T-o: N
1149.00/1137.37 c (1052,0) c #T-r: 97.34%
1149.00/1137.37 c (1052,0) c #T : 25.05
1149.00/1137.37 c (1052,0) c [occur] 4.58 is overhead
1149.00/1137.37 c (1052,0) c [occur] link-in T: 4.58 cleanup T: 0.00
1149.00/1137.37 c (1052,0) c --> Executing OCC strategy token: occ-bva
1149.00/1137.37 c (1052,0) c [occ-bva] global numcalls: 0
1149.92/1138.23 c (1053,0) c --> Executing OCC strategy token: occ-ternary-res
1149.92/1138.23 c (1053,0) c --> Executing OCC strategy token: occ-xor
1149.92/1138.23 c (1053,0) c [occ-xor] sort occur list T: 0.86
1159.72/1148.04 c (1063,0) c [occ-xor] found 0 T: 10.66 T-out: N T-r: 2.25%
1159.72/1148.04 c (1063,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
1162.73/1151.01 c (1066,0) c --> Executing strategy token: cl-consolidate
1162.73/1151.01 c (1066,0) c [mem] consolidate old-sz: 898M new-sz: 286M new bits offs: 0 T: 0.57
1162.92/1151.24 c (1066,0) c --> Executing strategy token: str-impl
1162.92/1151.24 c (1066,0) c [impl str] lit bin: 2 (by stamp: 0) set-var: 77 T: 0.24 T-out: N T-r: 75.75% w-visit: 1637588
1164.62/1152.90 c (1068,0) c --> Executing strategy token: cache-clean
1164.62/1152.90 c (1068,0) c --> Executing strategy token: sub-str-cls-with-bin
1164.62/1152.90 c (1068,0) c [distill] cache-based irred-- cl tried 306521 cl-sh 0 cl-rem 13 lit-rem 0 T: 1.04 T-out: Y
1164.62/1152.90 c (1068,0) c [distill] cache-based red-- cl tried 17703 cl-sh 48 cl-rem 5 lit-rem 62 T: 0.05 T-out: N
1166.32/1154.61 c (1069,0) c --> Executing strategy token: distill-cls
1166.32/1154.61 c (1069,0) c [distill] long cls tried: 73/7142697 cl-short:3 lit-r:3 T: 1.69 T-out: Y T-r: -0.97%
1166.32/1154.61 c (1069,0) c [distill] long useful: 6/146/14285400 lits-rem: 6 0-depth-assigns: 0 T: 3.37 T-out: Y
1166.52/1154.84 c (1069,0) c --> Executing strategy token: scc-vrepl
1166.52/1154.84 c (1069,0) c [scc] new: 0 BP 6M T: 0.23
1168.03/1156.38 c (1071,0) c --> Executing strategy token: check-cache-size
1168.03/1156.38 c (1071,0) c --> Executing strategy token: renumber
1168.03/1156.38 c (1071,0) c [renumber] T: 1.53
1168.22/1156.57 c (1071,0) c --> Executing strategy token: sls
1168.22/1156.57 c (1071,0) c [consolidate] mini T: 0.00
1168.22/1156.57 c (1071,0) c global_timeout_multiplier: 4.40
1168.64/1156.97 c (1072,0) c clause size stats. size3: 7133463 size4: 9175 size5: 59 larger: 0
1224.78/1213.04 c (1128,0) c luby 0 414 73K 492767 7142K 3689K 3.00 2.66 9144 2889 5811 6136 12.91 10.12
1342.35/1330.57 c (1245,0) c luby 0 446 81K 492640 7142K 3689K 3.00 2.66 11009 3550 11331 6145 18.74 15.53
1375.17/1363.31 c (1278,0) c [distill] long cls tried: 1376/11053 cl-short:1371 lit-r:965 T: 21.28 T-out: Y T-r: -0.07%
1494.65/1482.73 c (1397,0) c luby 0 464 90K 492623 7142K 3689K 3.00 2.66 13079 5321 14903 6163 20.42 17.54
1627.63/1615.67 c (1530,0) c luby 0 496 98K 492590 7142K 3689K 3.00 2.66 13665 7079 20K 6170 22.39 19.75
1709.10/1697.04 c (1612,0) c [distill] long cls tried: 1266/15023 cl-short:1263 lit-r:999 T: 21.21 T-out: Y T-r: -0.05%
1771.14/1759.07 c (1674,0) c luby 0 521 106K 492571 7142K 3689K 3.00 2.66 15432 7840 21K 6183 24.46 21.76
1893.61/1881.41 c (1796,0) c luby 0 522 114K 492532 7142K 3689K 3.00 2.66 16841 6221 30K 6192 27.88 25.20
2027.31/2015.10 c (1930,0) c luby 0 553 122K 492470 7142K 3689K 3.00 2.66 18421 5454 29K 6204 27.75 25.09
2108.75/2096.40 c (2011,0) c [distill] long cls tried: 1453/18578 cl-short:1451 lit-r:1190 T: 21.59 T-out: Y T-r: -0.17%
2191.10/2178.71 c (2093,0) c luby 0 584 131K 492453 7142K 3689K 3.00 2.66 19576 4051 38K 6232 29.44 26.93
2331.01/2318.59 c (2233,0) c luby 0 611 139K 492424 7142K 3689K 3.00 2.66 20K 5811 34K 6240 30.33 27.70
2473.49/2460.99 c (2376,0) c luby 0 643 147K 492373 7142K 3689K 3.00 2.66 21K 5089 42K 6259 32.04 29.54
2520.02/2507.40 c (2422,0) receiving signal SIGTERM
2520.02/2507.40 s UNKNOWN
2520.02/2507.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.02/2507.41 c (scop.sh) Remove HOME/scop-9726-serial-file.bin.
2520.02/2507.41 c (scop.sh) Killing background jobs.
2520.02/2507.41 c (2422,0) receiving signal SIGTERM
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 (7359 MiB free)
memory of node 1: 16384 MiB (9436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388257-1568296947/watcher-4388257-1568296947 -o /tmp/evaluation-result-4388257-1568296947/solver-4388257-1568296947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568286434-6492 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388257-1568296947.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=9726, runsolver pid=9723
[startup+0.100173 s]*
/proc/loadavg: 2.04 2.03 2.05 4/236 9743
/proc/meminfo: memFree=17140136/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405634929 115843072 349 33554432000 4194304 5098028 140733116960480 140733116957736 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 349 296 221 0 87 0
[pid=9729] ppid=9726 vsize=15016308 memory=73436 CPUtime=0.11 cores=1,3,5,7
/proc/9729/stat : 9729 (java) S 9726 9726 5595 0 -1 1077944320 7650 0 0 0 9 2 0 0 20 0 15 0 405634929 15376699392 18359 33554432000 4194304 4196468 140726670539616 140726670522160 140401456135927 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
/proc/9729/statm: 3754077 18359 2919 1 0 3716482 0
[pid=9729/tid=9730] ppid=9726 vsize=15016308 memory=-2843871798603072670 CPUtime=0.09 cores=1,3,5,7
/proc/9729/task/9730/stat : 9730 (java) R 9726 9726 5595 0 -1 4202560 5827 0 0 0 7 2 0 0 20 0 15 0 405634930 15376699392 18755 33554432000 4194304 4196468 140726670539616 140401427920176 140401448815645 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9731] ppid=9726 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9731/stat : 9731 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15376699392 18755 33554432000 4194304 4196468 140726670539616 140401460378640 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9732] ppid=9726 vsize=15016308 memory=140565075347072 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9732/stat : 9732 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15376699392 18755 33554432000 4194304 4196468 140726670539616 140401274535056 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9733] ppid=9726 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9733/stat : 9733 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15376699392 18755 33554432000 4194304 4196468 140726670539616 140400915720976 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9734] ppid=9726 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9734/stat : 9734 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15376699392 18755 33554432000 4194304 4196468 140726670539616 140400914668432 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9735] ppid=9726 vsize=15016308 memory=140565075347072 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9735/stat : 9735 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634933 15376699392 18755 33554432000 4194304 4196468 140726670539616 140400426567920 140401456147074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9736] ppid=9726 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9736/stat : 9736 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405634933 15376699392 18739 33554432000 4194304 4196468 140726670539616 140400064980128 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9737] ppid=9726 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9737/stat : 9737 (java) S 9726 9726 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405634933 15376699392 18394 33554432000 4194304 4196468 140726670539616 140399930757872 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9738] ppid=9726 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9738/stat : 9738 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15376699392 18394 33554432000 4194304 4196468 140726670539616 140399556253648 140401456154523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9739] ppid=9726 vsize=15014680 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9739/stat : 9739 (java) S 9726 9726 5595 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 405634936 15375032320 18394 33554432000 4194304 4196468 140726670539616 140400425515760 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9740] ppid=9726 vsize=15014680 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9740/stat : 9740 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634936 15375032320 18154 33554432000 4194304 4196468 140726670539616 140400424463216 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9741] ppid=9726 vsize=15013720 memory=140565075347072 CPUtime=0.01 cores=1,3,5,7
/proc/9729/task/9741/stat : 9741 (java) S 9726 9726 5595 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 405634936 15374049280 18154 33554432000 4194304 4196468 140726670539616 140400423410160 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9742] ppid=9726 vsize=15013720 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9742/stat : 9742 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15374049280 17898 33554432000 4194304 4196468 140726670539616 140399058348896 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9743] ppid=9726 vsize=15013720 memory=140565075347072 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9743/stat : 9743 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634936 15374049280 17898 33554432000 4194304 4196468 140726670539616 140400422357552 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15129436 KiB
Current children cumulated memory: 74832 KiB
[startup+0.21183 s]*
/proc/loadavg: 2.04 2.03 2.05 3/236 9743
/proc/meminfo: memFree=17124704/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405634929 115843072 349 33554432000 4194304 5098028 140733116960480 140733116957736 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 349 296 221 0 87 0
[pid=9729] ppid=9726 vsize=15012696 memory=84304 CPUtime=0.25 cores=1,3,5,7
/proc/9729/stat : 9729 (java) S 9726 9726 5595 0 -1 1077944320 11665 0 0 0 22 3 0 0 20 0 15 0 405634929 15373000704 21076 33554432000 4194304 4196468 140726670539616 140726670522160 140401456135927 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
/proc/9729/statm: 3753174 21076 2924 1 0 3715579 0
[pid=9729/tid=9730] ppid=9726 vsize=15012696 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/9729/task/9730/stat : 9730 (java) R 9726 9726 5595 0 -1 4202560 9377 0 0 0 17 2 0 0 20 0 15 0 405634930 15373000704 21076 33554432000 4194304 4196468 140726670539616 140401427955472 140401456157853 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9731] ppid=9726 vsize=15012696 memory=397 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9731/stat : 9731 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21076 33554432000 4194304 4196468 140726670539616 140401460378640 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9732] ppid=9726 vsize=15012696 memory=140565075357055 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9732/stat : 9732 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21076 33554432000 4194304 4196468 140726670539616 140401274535056 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9733] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9733/stat : 9733 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400915720976 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9734] ppid=9726 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9734/stat : 9734 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400914668432 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9735] ppid=9726 vsize=15012696 memory=140565075347072 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9735/stat : 9735 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400426567920 140401456147074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9736] ppid=9726 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9736/stat : 9736 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400064980128 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9737] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9737/stat : 9737 (java) S 9726 9726 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21076 33554432000 4194304 4196468 140726670539616 140399930757872 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9738] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9738/stat : 9738 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140399556253648 140401456154523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9739] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9739/stat : 9739 (java) S 9726 9726 5595 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400425515760 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9740] ppid=9726 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9740/stat : 9740 (java) S 9726 9726 5595 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400424463216 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9741] ppid=9726 vsize=15012696 memory=140565075347072 CPUtime=0.03 cores=1,3,5,7
/proc/9729/task/9741/stat : 9741 (java) R 9726 9726 5595 0 -1 4202560 470 0 0 0 3 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400423410160 140401456147862 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9742] ppid=9726 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9742/stat : 9742 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140399058348896 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9743] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9743/stat : 9743 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21076 33554432000 4194304 4196468 140726670539616 140400422357552 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 85700 KiB
[startup+0.310681 s]*
/proc/loadavg: 2.04 2.03 2.05 4/236 9743
/proc/meminfo: memFree=17121760/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405634929 115843072 349 33554432000 4194304 5098028 140733116960480 140733116957736 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 349 296 221 0 87 0
[pid=9729] ppid=9726 vsize=15012696 memory=87984 CPUtime=0.43 cores=1,3,5,7
/proc/9729/stat : 9729 (java) S 9726 9726 5595 0 -1 1077944320 12587 0 0 0 39 4 0 0 20 0 15 0 405634929 15373000704 21996 33554432000 4194304 4196468 140726670539616 140726670522160 140401456135927 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
/proc/9729/statm: 3753174 21996 3027 1 0 3715579 0
[pid=9729/tid=9730] ppid=9726 vsize=15012696 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9729/task/9730/stat : 9730 (java) R 9726 9726 5595 0 -1 4202560 10130 0 0 0 26 3 0 0 20 0 15 0 405634930 15373000704 21996 33554432000 4194304 4196468 140726670539616 140401427953424 140401456157853 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9731] ppid=9726 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9731/stat : 9731 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21996 33554432000 4194304 4196468 140726670539616 140401460378640 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9732] ppid=9726 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9732/stat : 9732 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21996 33554432000 4194304 4196468 140726670539616 140401274535056 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9733] ppid=9726 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9733/stat : 9733 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400915720976 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9734] ppid=9726 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9734/stat : 9734 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400914668432 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9735] ppid=9726 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9735/stat : 9735 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400426567920 140401456147074 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9736] ppid=9726 vsize=15012696 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9736/stat : 9736 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400064980128 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9737] ppid=9726 vsize=15012696 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9737/stat : 9737 (java) S 9726 9726 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405634933 15373000704 21996 33554432000 4194304 4196468 140726670539616 140399930757872 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9738] ppid=9726 vsize=15012696 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9738/stat : 9738 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140399556253648 140401456154523 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9739] ppid=9726 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9729/task/9739/stat : 9739 (java) S 9726 9726 5595 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400425515760 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9740] ppid=9726 vsize=15012696 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9729/task/9740/stat : 9740 (java) S 9726 9726 5595 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400424463216 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9741] ppid=9726 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9729/task/9741/stat : 9741 (java) S 9726 9726 5595 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400423410160 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9742] ppid=9726 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9742/stat : 9742 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140399058348896 140401456146133 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9743] ppid=9726 vsize=15012696 memory=3474301958321551151 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9743/stat : 9743 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634936 15373000704 21996 33554432000 4194304 4196468 140726670539616 140400422357552 140401456147074 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89380 KiB
[startup+0.701483 s]
/proc/loadavg: 2.04 2.03 2.05 3/236 9743
/proc/meminfo: memFree=17098240/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405634929 115843072 349 33554432000 4194304 5098028 140733116960480 140733116957736 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 349 296 221 0 87 0
[pid=9729] ppid=9726 vsize=15018968 memory=130164 CPUtime=1.06 cores=1,3,5,7
/proc/9729/stat : 9729 (java) S 9726 9726 5595 0 -1 1077944320 20226 0 0 0 100 6 0 0 20 0 15 0 405634929 15379423232 32541 33554432000 4194304 4196468 140726670539616 140726670522160 140401456135927 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
/proc/9729/statm: 3754742 32541 3201 1 0 3716091 0
[pid=9729/tid=9730] ppid=9726 vsize=15018968 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/9729/task/9730/stat : 9730 (java) R 9726 9726 5595 0 -1 4202560 17171 0 0 0 62 5 0 0 20 0 15 0 405634930 15379423232 32541 33554432000 4194304 4196468 140726670539616 140401427973344 140401456157853 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9731] ppid=9726 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9731/stat : 9731 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15379423232 32541 33554432000 4194304 4196468 140726670539616 140401460378640 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9732] ppid=9726 vsize=15018968 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9732/stat : 9732 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15379423232 32541 33554432000 4194304 4196468 140726670539616 140401274535056 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9733] ppid=9726 vsize=15018968 memory=37460 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9733/stat : 9733 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634931 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400915720976 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9734] ppid=9726 vsize=15018968 memory=988 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9734/stat : 9734 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405634931 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400914668432 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9735] ppid=9726 vsize=15018968 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9735/stat : 9735 (java) S 9726 9726 5595 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405634933 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400426567920 140401456147074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9736] ppid=9726 vsize=15018968 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9736/stat : 9736 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405634933 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400064980128 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9737] ppid=9726 vsize=15018968 memory=580 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9737/stat : 9737 (java) S 9726 9726 5595 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 405634933 15379423232 32541 33554432000 4194304 4196468 140726670539616 140399930757872 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9738] ppid=9726 vsize=15018968 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9738/stat : 9738 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140399556253648 140401456154523 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9739] ppid=9726 vsize=15018968 memory=10604 CPUtime=0.08 cores=1,3,5,7
/proc/9729/task/9739/stat : 9739 (java) R 9726 9726 5595 0 -1 1077944384 706 0 0 0 8 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400425502320 140401456146133 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9740] ppid=9726 vsize=15018968 memory=3360 CPUtime=0.1 cores=1,3,5,7
/proc/9729/task/9740/stat : 9740 (java) R 9726 9726 5595 0 -1 4202560 339 0 0 0 10 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400424450000 140401456157274 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9741] ppid=9726 vsize=15018968 memory=776 CPUtime=0.18 cores=1,3,5,7
/proc/9729/task/9741/stat : 9741 (java) R 9726 9726 5595 0 -1 4202560 656 0 0 0 18 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400423406112 140401435054496 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9742] ppid=9726 vsize=15018968 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9742/stat : 9742 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140399058348896 140401456146133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
[pid=9729/tid=9743] ppid=9726 vsize=15018968 memory=5960 CPUtime=0 cores=1,3,5,7
/proc/9729/task/9743/stat : 9743 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405634936 15379423232 32541 33554432000 4194304 4196468 140726670539616 140400422357552 140401456147074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16629760 140726670545706 140726670546074 140726670546074 140726670548943 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 131560 KiB
[startup+1.50083 s]
/proc/loadavg: 2.04 2.03 2.05 6/236 9743
/proc/meminfo: memFree=17031948/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405634929 115843072 349 33554432000 4194304 5098028 140733116960480 140733116957736 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=9765] ppid=9750 vsize=2228492 memory=2021580 CPUtime=2417.08 cores=1,3,5,7
/proc/9765/stat : 9765 (cryptominisat5) R 9750 9726 5595 0 -1 4202496 10176999 0 0 0 240984 724 0 0 20 0 1 0 405643455 2281975808 505395 33554432000 4194304 4451008 140733498290496 140733498286424 140442202712010 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 17326080 140733498299325 140733498299456 140733498299456 140733498302406 0
/proc/9765/statm: 557123 505395 740 63 0 550850 0
[pid=9750/tid=9751] ppid=9726 vsize=8068440 memory=122736 CPUtime=0.79 cores=1,3,5,7
/proc/9750/task/9751/stat : 9751 (java) S 9726 9726 5595 0 -1 1077944384 16737 0 0 0 72 7 0 0 20 0 19 0 405643379 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845715312544 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9752] ppid=9726 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9752/stat : 9752 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845747714448 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9753] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9753/stat : 9753 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845547882768 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9754] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9754/stat : 9754 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845546830480 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9755] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9755/stat : 9755 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845545777680 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9756] ppid=9726 vsize=8068440 memory=122736 CPUtime=0.06 cores=1,3,5,7
/proc/9750/task/9756/stat : 9756 (java) S 9726 9726 5595 0 -1 1077944384 10 0 0 0 2 4 0 0 20 0 19 0 405643382 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845122845296 139845743483522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9757] ppid=9726 vsize=8068440 memory=281129903726384 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9757/stat : 9757 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405643382 8262082560 30684 33554432000 4194304 4196468 140734033233408 139844604912928 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9758] ppid=9726 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9758/stat : 9758 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643383 8262082560 30684 33554432000 4194304 4196468 140734033233408 139844336477808 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9759] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9759/stat : 9759 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843961969232 139845743490971 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9760] ppid=9726 vsize=8068440 memory=2019532 CPUtime=0.15 cores=1,3,5,7
/proc/9750/task/9760/stat : 9760 (java) S 9726 9726 5595 0 -1 1077944384 731 0 0 0 14 1 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845121792112 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9761] ppid=9726 vsize=8068440 memory=1476 CPUtime=0.15 cores=1,3,5,7
/proc/9750/task/9761/stat : 9761 (java) S 9726 9726 5595 0 -1 1077944384 619 0 0 0 15 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845120739312 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9762] ppid=9726 vsize=8068440 memory=1476 CPUtime=0.25 cores=1,3,5,7
/proc/9750/task/9762/stat : 9762 (java) S 9726 9726 5595 0 -1 1077944384 1082 0 0 0 25 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845119687024 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9763] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9763/stat : 9763 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843464063456 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9764] ppid=9726 vsize=8068440 memory=2021580 CPUtime=1.43 cores=1,3,5,7
/proc/9750/task/9764/stat : 9764 (java) S 9726 9726 5595 0 -1 1077944384 163 0 0 0 61 82 0 0 20 0 19 0 405643386 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845118634928 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9766] ppid=9726 vsize=8068440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9766/stat : 9766 (java) S 9726 9726 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845110601152 139845743496985 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9768] ppid=9726 vsize=8068440 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9750/task/9768/stat : 9768 (java) S 9726 9726 5595 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139842927177744 139845743494301 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9769] ppid=9726 vsize=8068440 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9769/stat : 9769 (java) S 9726 9726 5595 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139842792955312 139845743494301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9770] ppid=9726 vsize=8068440 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9770/stat : 9770 (java) S 9726 9726 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405643458 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843061406640 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
Current children cumulated CPU time: 2514.92 s
Current children cumulated vsize: 10410060 KiB
Current children cumulated memory: 2145792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.4 s]
/proc/loadavg: 2.09 2.04 2.09 3/241 11439
/proc/meminfo: memFree=14584996/32770624 swapFree=66959212/67108860
[pid=9726] ppid=9723 vsize=113128 memory=1476 CPUtime=94.94 cores=1,3,5,7
/proc/9726/stat : 9726 (scop.sh) S 9723 9726 5595 0 -1 4202496 582 58849 0 0 0 0 9287 207 20 0 1 0 405634929 115843072 369 33554432000 4194304 5098028 140733116960480 140733116957224 140124251198076 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10616832 140733116965731 140733116966000 140733116966000 140733116968909 0
/proc/9726/statm: 28282 369 311 221 0 87 0
[pid=9750] ppid=9726 vsize=8068440 memory=122736 CPUtime=2.91 cores=1,3,5,7
/proc/9750/stat : 9750 (java) S 9726 9726 5595 0 -1 1077944320 20728 0 0 0 200 91 0 0 20 0 19 0 405643379 8262082560 30684 33554432000 4194304 4196468 140734033233408 140734033215952 139845743472375 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
/proc/9750/statm: 2017110 30684 3209 1 0 1978454 0
[pid=9765] ppid=9750 vsize=2228492 memory=2021580 CPUtime=2422.17 cores=1,3,5,7
/proc/9765/stat : 9765 (cryptominisat5) R 9750 9726 5595 0 -1 4202496 10181916 0 0 0 241493 724 0 0 20 0 1 0 405643455 2281975808 505395 33554432000 4194304 4451008 140733498290496 140733498286424 140442202712528 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 17326080 140733498299325 140733498299456 140733498299456 140733498302406 0
/proc/9765/statm: 557123 505395 740 63 0 550850 0
[pid=9750/tid=9751] ppid=9726 vsize=8068440 memory=-3622645143214314312 CPUtime=0.79 cores=1,3,5,7
/proc/9750/task/9751/stat : 9751 (java) S 9726 9726 5595 0 -1 1077944384 16737 0 0 0 72 7 0 0 20 0 19 0 405643379 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845715312544 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9752] ppid=9726 vsize=8068440 memory=122736 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9752/stat : 9752 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845747714448 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9753] ppid=9726 vsize=8068440 memory=2021580 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9753/stat : 9753 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845547882768 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9754] ppid=9726 vsize=8068440 memory=2580 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9754/stat : 9754 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845546830480 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9755] ppid=9726 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9755/stat : 9755 (java) S 9726 9726 5595 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 405643380 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845545777680 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9756] ppid=9726 vsize=8068440 memory=111636 CPUtime=0.06 cores=1,3,5,7
/proc/9750/task/9756/stat : 9756 (java) S 9726 9726 5595 0 -1 1077944384 10 0 0 0 2 4 0 0 20 0 19 0 405643382 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845122845296 139845743483522 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9757] ppid=9726 vsize=8068440 memory=800 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9757/stat : 9757 (java) S 9726 9726 5595 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 405643382 8262082560 30684 33554432000 4194304 4196468 140734033233408 139844604912928 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9758] ppid=9726 vsize=8068440 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9758/stat : 9758 (java) S 9726 9726 5595 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 405643383 8262082560 30684 33554432000 4194304 4196468 140734033233408 139844336477808 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9759] ppid=9726 vsize=8068440 memory=20036 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9759/stat : 9759 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843961969232 139845743490971 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9760] ppid=9726 vsize=8068440 memory=14048 CPUtime=0.15 cores=1,3,5,7
/proc/9750/task/9760/stat : 9760 (java) S 9726 9726 5595 0 -1 1077944384 731 0 0 0 14 1 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845121792112 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9761] ppid=9726 vsize=8068440 memory=2124 CPUtime=0.15 cores=1,3,5,7
/proc/9750/task/9761/stat : 9761 (java) S 9726 9726 5595 0 -1 1077944384 619 0 0 0 15 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845120739312 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9762] ppid=9726 vsize=8068440 memory=500 CPUtime=0.25 cores=1,3,5,7
/proc/9750/task/9762/stat : 9762 (java) S 9726 9726 5595 0 -1 1077944384 1082 0 0 0 25 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845119687024 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9763] ppid=9726 vsize=8068440 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9763/stat : 9763 (java) S 9726 9726 5595 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 405643385 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843464063456 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9764] ppid=9726 vsize=8068440 memory=928 CPUtime=1.43 cores=1,3,5,7
/proc/9750/task/9764/stat : 9764 (java) S 9726 9726 5595 0 -1 1077944384 163 0 0 0 61 82 0 0 20 0 19 0 405643386 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845118634928 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9766] ppid=9726 vsize=8068440 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9766/stat : 9766 (java) S 9726 9726 5595 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139845110601152 139845743496985 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9768] ppid=9726 vsize=8068440 memory=824 CPUtime=0.01 cores=1,3,5,7
/proc/9750/task/9768/stat : 9768 (java) S 9726 9726 5595 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139842927177744 139845743494301 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9769] ppid=9726 vsize=8068440 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9769/stat : 9769 (java) S 9726 9726 5595 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 405643456 8262082560 30684 33554432000 4194304 4196468 140734033233408 139842792955312 139845743494301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9770] ppid=9726 vsize=8068440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9750/task/9770/stat : 9770 (java) S 9726 9726 5595 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 405643458 8262082560 30684 33554432000 4194304 4196468 140734033233408 139843061406640 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10410060 KiB
Current children cumulated memory: 2145792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.41 s]
# the end of solver process 9726 was just reported to runsolver
# cumulated CPU time of all completed processes: user=92.8758 s, system=2.07576 s
[startup+2507.55 s]
# the end of solver process 9750 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.82 s, system=10.391 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.51 s]*
/proc/loadavg: 2.08 2.04 2.09 4/238 11443
/proc/meminfo: memFree=16867528/32770624 swapFree=66959212/67108860
[pid=9750] ppid=9723 vsize=8199512 memory=128916 CPUtime=2425.22 cores=1,3,5,7
/proc/9750/stat : 9750 (java) S 9723 9726 5595 0 -1 1077944320 20797 10181916 0 0 200 96 241494 732 20 0 18 0 405643379 8396300288 32229 33554432000 4194304 4196468 140734033233408 140734033215952 139845743472375 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
/proc/9750/statm: 2049878 32229 3209 1 0 2011222 0
[pid=9750/tid=9751] ppid=9723 vsize=8199512 memory=8039887049847966115 CPUtime=2423.05 cores=1,3,5,7
/proc/9750/task/9751/stat : 9751 (java) S 9723 9726 5595 0 -1 1077944384 16737 10181916 0 0 72 7 241494 732 20 0 18 0 405643379 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845715312544 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9752] ppid=9723 vsize=8199512 memory=4872558044660077418 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9752/stat : 9752 (java) S 9723 9726 5595 0 -1 1077944384 1 10181916 0 0 0 0 241494 732 20 0 18 0 405643380 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845747714448 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9753] ppid=9723 vsize=8199512 memory=7378113771680065641 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9753/stat : 9753 (java) S 9723 9726 5595 0 -1 1077944384 1 10181916 0 0 0 0 241494 732 20 0 18 0 405643380 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845547882768 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9754] ppid=9723 vsize=8199512 memory=7378113771680065641 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9754/stat : 9754 (java) S 9723 9726 5595 0 -1 1077944384 1 10181916 0 0 0 0 241494 732 20 0 18 0 405643380 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845546830480 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9755] ppid=9723 vsize=8199512 memory=7229230031722539367 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9755/stat : 9755 (java) S 9723 9726 5595 0 -1 1077944384 2 10181916 0 0 0 0 241494 732 20 0 18 0 405643380 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845545777680 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9756] ppid=9723 vsize=8199512 memory=7229230031722539367 CPUtime=2422.32 cores=1,3,5,7
/proc/9750/task/9756/stat : 9756 (java) S 9723 9726 5595 0 -1 1077944384 10 10181916 0 0 2 4 241494 732 20 0 18 0 405643382 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845122844800 139845743483522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9757] ppid=9723 vsize=8199512 memory=7378113771680065641 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9757/stat : 9757 (java) S 9723 9726 5595 0 -1 1077944384 13 10181916 0 0 0 0 241494 732 20 0 18 0 405643382 8396300288 32229 33554432000 4194304 4196468 140734033233408 139844604912928 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9758] ppid=9723 vsize=8199512 memory=7378113771680065641 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9758/stat : 9758 (java) S 9723 9726 5595 0 -1 1077944384 1 10181916 0 0 0 0 241494 732 20 0 18 0 405643383 8396300288 32229 33554432000 4194304 4196468 140734033233408 139844336477808 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9759] ppid=9723 vsize=8199512 memory=7091313885925826897 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9759/stat : 9759 (java) S 9723 9726 5595 0 -1 1077944384 33 10181916 0 0 0 0 241494 732 20 0 18 0 405643385 8396300288 32229 33554432000 4194304 4196468 140734033233408 139843961968880 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9760] ppid=9723 vsize=8199512 memory=7091313885925826897 CPUtime=2422.41 cores=1,3,5,7
/proc/9750/task/9760/stat : 9760 (java) S 9723 9726 5595 0 -1 1077944384 732 10181916 0 0 14 1 241494 732 20 0 18 0 405643385 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845121791872 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9761] ppid=9723 vsize=8199512 memory=7595435573475627346 CPUtime=2422.41 cores=1,3,5,7
/proc/9750/task/9761/stat : 9761 (java) S 9723 9726 5595 0 -1 1077944384 619 10181916 0 0 15 0 241494 732 20 0 18 0 405643385 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845120739312 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9762] ppid=9723 vsize=8199512 memory=7378113771680065641 CPUtime=2422.51 cores=1,3,5,7
/proc/9750/task/9762/stat : 9762 (java) S 9723 9726 5595 0 -1 1077944384 1084 10181916 0 0 25 0 241494 732 20 0 18 0 405643385 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845119685920 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9763] ppid=9723 vsize=8199512 memory=7523379070257680997 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9763/stat : 9763 (java) S 9723 9726 5595 0 -1 1077944384 3 10181916 0 0 0 0 241494 732 20 0 18 0 405643385 8396300288 32229 33554432000 4194304 4196468 140734033233408 139843464063456 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9766] ppid=9723 vsize=8199512 memory=7882256353910221160 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9766/stat : 9766 (java) S 9723 9726 5595 0 -1 1077944384 25 10181916 0 0 0 0 241494 732 20 0 18 0 405643456 8396300288 32229 33554432000 4194304 4196468 140734033233408 139845110600336 139845743483522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=9770] ppid=9723 vsize=8199512 memory=7813010219978678889 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/9770/stat : 9770 (java) S 9723 9726 5595 0 -1 1077944384 23 10181916 0 0 0 0 241494 732 20 0 18 0 405643458 8396300288 32229 33554432000 4194304 4196468 140734033233408 139843061396880 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=11440] ppid=9723 vsize=8199512 memory=7813010219978678889 CPUtime=2422.26 cores=1,3,5,7
/proc/9750/task/11440/stat : 11440 (java) S 9723 9726 5595 0 -1 1077944384 9 10181916 0 0 0 0 241494 732 20 0 18 0 405885670 8396300288 32229 33554432000 4194304 4196468 140734033233408 139842390319184 139845743482581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
[pid=9750/tid=11443] ppid=9723 vsize=8199512 memory=-3622645143214314312 CPUtime=2422.3 cores=1,3,5,7
/proc/9750/task/11443/stat : 11443 (java) R 9723 9726 5595 0 -1 4202560 23 10181916 0 0 0 4 241494 732 20 0 18 0 405885671 8396300288 32229 33554432000 4194304 4196468 140734033233408 139842256098080 139845736158007 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10391552 140734033236988 140734033237146 140734033237146 140734033240015 0
Current cumulated CPU time of completed processes: 94.9516 s
Current children cumulated CPU time: 2425.22 s
Current children cumulated vsize: 8199512 KiB
Current children cumulated memory: 128916 KiB
Child status: 1
Real time (s): 2507.55
CPU time (s): 2520.21
CPU user time (s): 2509.82
CPU system time (s): 10.391
CPU usage (%): 100.505
Max. virtual memory (cumulated for all children) (KiB): 15142500
Max. memory (cumulated for all children) (KiB): 4012132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.82
system time used= 10.391
maximum resident set size= 4011180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10262649
page faults= 0
swaps= 0
block input operations= 32
block output operations= 969424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60829
involuntary context switches= 817
# summary of solver processes directly reported to runsolver:
# pid: 9726,9750
# total CPU time (s): 2520.21
# total CPU user time (s): 2509.82
# total CPU system time (s): 10.391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.446 second user time and 25.0832 second system time
The end