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-1585-serial-file.bin HOME/instance-4387639-1568286497.xml
0.67/0.52
0.67/0.52 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Thu Sep 12 13:07:37 CEST 2019
0.67/0.54 c PID: 1588
0.67/0.54 c IP: 172.20.3.146
0.67/0.54 c HOST: node146.alineos.net
0.67/0.55 c (0,0) Parsing Begin
5.50/2.89 c (2,2) Parsing End
5.50/2.89 c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 8
5.50/2.89 c (2,2) Heap : 1690 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
5.50/2.89 c (2,2) Constraint Name Generate Begin
5.61/2.90 c (2,2) Ctr:HOME/instance-4387639-1568286497.xml,ExtensionSupport:Var
5.61/2.90 c (2,2) Constraint Name Generate End
5.61/2.90 c (2,2) Heap : 1690 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
5.61/2.90 c (2,2) CSP to CSPinCNF Begin
31.43/20.34 c (19,19) translated 4 (10%) constraints
56.23/41.69 c (41,39) translated 8 (20%) constraints
82.35/63.47 c (62,59) translated 12 (30%) constraints
107.46/85.00 c (84,79) translated 16 (40%) constraints
130.40/106.01 c (105,100) translated 20 (50%) constraints
153.39/127.09 c (126,120) translated 24 (60%) constraints
176.54/148.27 c (147,141) translated 28 (70%) constraints
199.56/169.36 c (168,161) translated 32 (80%) constraints
222.80/190.47 c (189,182) translated 36 (90%) constraints
245.42/211.48 c (210,202) translated 40 (100%) constraints
251.41/216.80 c (216,207) ===========================================
252.16/217.53 c (217,208) Hybrid: #OE=301073, #LE=0
252.16/217.53 c (217,208) Hybrid
252.16/217.53 c (217,208) ===========================================
260.06/224.28 c (223,215) translated 311749 (10%) constraints
268.12/231.16 c (230,221) translated 623497 (20%) constraints
274.62/237.69 c (237,228) translated 935245 (30%) constraints
282.91/244.64 c (244,234) translated 1246993 (40%) constraints
289.42/251.17 c (250,241) translated 1558741 (50%) constraints
297.72/258.12 c (257,247) translated 1870489 (60%) constraints
306.01/265.09 c (264,254) translated 2182237 (70%) constraints
312.50/271.60 c (271,260) translated 2493985 (80%) constraints
320.76/278.52 c (278,267) translated 2805733 (90%) constraints
328.99/285.47 c (284,273) translated 3117481 (100%) constraints
328.99/285.48 c (284,273) CSP to CSPinCNF End
329.10/285.57 c (285,273) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
329.10/285.57 c (285,273) Heap : 4768 MiB used (max 10932 MiB), NonHeap : 25 MiB used (max 0 MiB)
329.10/285.57 c (285,273) CSPinCNF Propagation Begin
362.51/304.97 c (304,288) 0 values, 40 unsatisfiable literals, and 0 valid clauses are removed
362.51/304.97 c (304,288) CSPinCNF Propagation End
362.61/305.06 c (304,288) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
362.61/305.06 c (304,288) Heap : 6318 MiB used (max 10939 MiB), NonHeap : 26 MiB used (max 0 MiB)
363.42/305.85 c (305,289) Hybrid: #OE=301073, #LE=0
363.42/305.85 c (305,289) Simplify CSPinCNF Begin
373.19/312.85 c (312,295) Simplify CSPinCNF End
373.29/312.93 c (312,295) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
373.29/312.93 c (312,295) Heap : 7155 MiB used (max 10551 MiB), NonHeap : 26 MiB used (max 0 MiB)
373.29/312.93 c (312,295) Calculate Precise Domain Begin
373.29/312.94 c (312,295) 0 values are removed by re-calculation
373.29/312.94 c (312,295) Calculate Precise Domain End
373.41/313.02 c (312,295) CSP: 40 int (0 aux), 301033 bool (301033 aux), 3117481 ctr, max domain size 8
373.41/313.02 c (312,295) Heap : 7157 MiB used (max 10551 MiB), NonHeap : 26 MiB used (max 0 MiB)
373.41/313.02 c (312,295) CSPinCNF to SatSolver Begin
380.59/317.18 c (316,299) 311749 (10 %) CSP clauses are encoded (0 SAT variables, 311988 SAT clauses)
384.87/320.35 c (319,302) 623497 (20 %) CSP clauses are encoded (0 SAT variables, 623736 SAT clauses)
388.72/323.41 c (322,305) 935245 (30 %) CSP clauses are encoded (0 SAT variables, 935484 SAT clauses)
392.49/326.48 c (325,307) 1246993 (40 %) CSP clauses are encoded (0 SAT variables, 1247232 SAT clauses)
396.35/329.65 c (329,310) 1558741 (50 %) CSP clauses are encoded (0 SAT variables, 1558980 SAT clauses)
400.21/332.72 c (332,313) 1870489 (60 %) CSP clauses are encoded (0 SAT variables, 1870728 SAT clauses)
404.01/335.84 c (335,316) 2182237 (70 %) CSP clauses are encoded (0 SAT variables, 2182476 SAT clauses)
407.88/338.92 c (338,319) 2493985 (80 %) CSP clauses are encoded (0 SAT variables, 2494224 SAT clauses)
411.67/342.00 c (341,322) 2805733 (90 %) CSP clauses are encoded (0 SAT variables, 2805972 SAT clauses)
415.57/345.27 c (344,324) 3117481 (100 %) CSP clauses are encoded (0 SAT variables, 3117720 SAT clauses)
415.57/345.27 c (344,324) CSPinCNF to SatSolver End
415.57/345.27 c (344,324) Heap : 8741 MiB used (max 10829 MiB), NonHeap : 28 MiB used (max 0 MiB)
415.57/345.27 c (344,324) 301313 bool, 3117721 clause
415.57/345.27 c (344,324) Export Begin
415.69/345.35 c (344,324) Export to HOME/scop-1585-serial-file.bin
415.69/345.35 c (344,324) Export End
415.69/345.36 c (344,324) Export File Size: 0.01 MB
415.69/345.36 c (344,324) 2,2,285,304,312,312,344,STOP-AFTER(DIMACS)
415.69/345.36 c END-Prog: Thu Sep 12 13:13:22 CEST 2019
0.00/345.41 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1585-serial-file.bin
415.87/345.87 c (0,0) Read Serial File Begin
415.87/345.87 c (0,0) HOME/scop-1585-serial-file.bin
416.66/346.08 c (0,0) Read Serial File End
416.66/346.09
416.66/346.09 Fun-sCOP hybrid+cryptominisat5 (2019-06-15)
416.66/346.09 (Solving Process)
416.66/346.09
416.81/346.11 c BEGIN-Prog: Thu Sep 12 13:13:23 CEST 2019
416.81/346.11 c PID: 1638
416.81/346.11 c IP: 172.20.3.146
416.81/346.11 c HOST: node146.alineos.net
416.81/346.12 c (0,0) SatSolver.solve Begin
416.81/346.12 c (0,0) HOME/cryptominisat5 HOME/instance-4387639-1568286497.xml-scop-1588.cnf
416.81/346.15 c (0,0) c Outputting solution to console
416.81/346.15 c (0,0) c CryptoMiniSat version 5.6.8
416.81/346.15 c (0,0) c CMS Copyright Mate Soos (soos.mate@gmail.com)
416.81/346.15 c (0,0) c CMS SHA revision GIT-notfound
416.81/346.15 c (0,0) c CMS is MIT licensed
416.81/346.15 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
416.81/346.15 c (0,0) c CMS compiled with gcc version 4.8.5 20150623 (Red Hat 4.8.5-11)
416.81/346.15 c (0,0) c Executed with command line: HOME/cryptominisat5 HOME/instance-4387639-1568286497.xml-scop-1588.cnf
416.81/346.15 c (0,0) c Reading file 'HOME/instance-4387639-1568286497.xml-scop-1588.cnf'
416.81/346.15 c (0,0) c -- header says num vars: 301313
416.81/346.15 c (0,0) c -- header says num clauses: 3117721
418.18/347.36 c (1,0) c -- clauses added: 3117721
418.18/347.36 c (1,0) c -- xor clauses added: 0
418.18/347.36 c (1,0) c -- vars added 301313
418.18/347.36 c (1,0) c Parsing time: 1.11 s
419.17/348.31 c (2,0) c type VSIDS rest conf freevar IrrL IrrB l/longC l/allC RedL0 RedL1 RedL2 RedB l/longC l/allC
419.38/348.57 c (2,0) c [distill] long cls tried: 18/18 cl-short:18 lit-r:0 T: 0.24 T-out: N T-r: 98.76%
456.11/385.21 c (39,0) c [distill] long cls tried: 398/402 cl-short:398 lit-r:430 T: 5.90 T-out: N T-r: 70.81%
490.83/419.95 c (74,0) c [distill] long cls tried: 394/786 cl-short:394 lit-r:184 T: 5.04 T-out: N T-r: 75.08%
501.23/430.39 c (84,0) c glue 1 51 8193 301313 2763K 354K 3.81 3.61 933 2630 4556 85 83.95 83.10
560.59/489.61 c (143,0) c [distill] long cls tried: 1502/2593 cl-short:1502 lit-r:2706 T: 20.04 T-out: Y T-r: -0.13%
598.31/527.35 c (181,0) c geom 1 77 16386 301313 2763K 354K 3.81 3.61 3143 5818 7522 142 108.32 107.41
633.43/562.41 c (216,0) c [distill] long cls tried: 1109/3354 cl-short:1109 lit-r:3002 T: 16.38 T-out: N T-r: 18.87%
688.48/617.48 c (271,0) c glue 1 114 24K 301313 2763K 354K 3.81 3.61 5561 6743 12468 183 115.09 114.27
714.30/643.27 c (297,0) c [distill] long cls tried: 1396/5609 cl-short:1396 lit-r:5346 T: 19.76 T-out: Y T-r: -0.09%
790.16/719.08 c (373,0) c glue 1 139 32K 301313 2763K 354K 3.81 3.61 8177 9248 14813 215 121.86 121.07
816.19/745.02 c (399,0) c [distill] long cls tried: 1409/8227 cl-short:1409 lit-r:5266 T: 20.37 T-out: Y T-r: -0.23%
891.83/820.66 c (474,0) c glue 1 177 40K 301313 2763K 354K 3.81 3.61 10441 7871 22K 251 116.21 115.51
933.96/862.71 c (516,0) c [distill] long cls tried: 1327/10618 cl-short:1327 lit-r:4820 T: 19.92 T-out: Y T-r: -0.18%
991.40/920.14 c (574,0) c glue 1 216 49K 301313 2763K 354K 3.81 3.61 11305 11797 22K 286 108.47 107.80
1080.77/1009.44 c (663,0) c [distill] long cls tried: 1344/13389 cl-short:1344 lit-r:2529 T: 20.09 T-out: Y T-r: -0.03%
1086.98/1015.65 c (669,0) c geom 1 245 57K 301313 2763K 354K 3.81 3.61 13428 10462 29K 345 107.28 106.61
1163.03/1091.68 c (745,0) c glue 1 279 65K 301313 2763K 354K 3.81 3.61 15785 9902 30K 362 107.95 107.27
1203.58/1132.15 c (786,0) c recursive minimization cost OK: 3822Kcost/(% lits removed)
1203.58/1132.15 c (786,0) c more minimization effectiveness low: 0.00 % lits removed --> disabling
1203.67/1132.24 c (786,0) c --> Executing strategy token: handle-comps
1203.67/1132.24 c (786,0) c --> Executing strategy token: scc-vrepl
1203.67/1132.24 c (786,0) c [scc] new: 194 BP 1M T: 0.08
1203.87/1132.44 c (786,0) c --> Executing strategy token: cache-clean
1203.87/1132.44 c (786,0) c --> Executing strategy token: cache-tryboth
1203.87/1132.44 c (786,0) c --> Executing strategy token: sub-impl
1203.87/1132.44 c (786,0) c [impl sub] bin: 45 T: 0.20 T-out: N w-visit: 602626
1204.07/1132.65 c (786,0) c --> Executing strategy token: intree-probe
1204.07/1132.65 c (786,0) c [scc] new: 192 BP 1M T: 0.08
1204.76/1133.35 c (787,0) c [vrep] vars 192 lits 2070798 rem-bin-cls 767 rem-long-cls 0 BP 23M T: 0.69
1204.96/1133.57 c (787,0) c [scc] new: 0 BP 1M T: 0.08
1205.16/1133.78 c (787,0) c [vrep] vars 0 lits 0 rem-bin-cls 0 rem-long-cls 0 BP 8M T: 0.21
1212.48/1141.02 c (795,0) c [intree] intra-propagation timeout, turning off OTF hyper-bin&trans-red
1212.48/1141.06 c (795,0) c [intree] Set 0 vars hyper-added: 270999 trans-irred::0 trans-red::1984 T: 7.26 T-out: N T-r: 35.01%
1213.37/1142.00 c (796,0) c --> Executing strategy token: probe
1213.37/1142.00 c (796,0) c --> Executing strategy token: sub-str-cls-with-bin
1213.37/1142.00 c (796,0) c [distill] cache-based irred-- cl tried 8028 cl-sh 290 cl-rem 100 lit-rem 290 T: 0.49 T-out: Y
1213.37/1142.00 c (796,0) c [distill] cache-based red-- cl tried 7194 cl-sh 153 cl-rem 16 lit-rem 410 T: 0.31 T-out: Y
1215.48/1144.05 c (798,0) c --> Executing strategy token: distill-cls
1215.48/1144.05 c (798,0) c [distill] long cls tried: 141/2763167 cl-short:15 lit-r:0 T: 2.05 T-out: Y T-r: -1.60%
1215.48/1144.05 c (798,0) c [distill] long useful: 30/282/5526334 lits-rem: 0 0-depth-assigns: 0 T: 4.09 T-out: Y
1215.58/1144.13 c (798,0) c --> Executing strategy token: scc-vrepl
1215.58/1144.13 c (798,0) c [scc] new: 0 BP 2M T: 0.09
1215.77/1144.37 c (798,0) c --> Executing strategy token: sub-impl
1215.77/1144.37 c (798,0) c [impl sub] bin: 19 T: 0.24 T-out: N w-visit: 602626
1215.87/1144.45 c (798,0) c --> Executing strategy token: str-impl
1215.87/1144.45 c (798,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.08 T-out: N T-r: 95.13% w-visit: 602626
1216.07/1144.67 c (798,0) c --> Executing strategy token: sub-impl
1216.07/1144.67 c (798,0) c [impl sub] bin: 0 T: 0.22 T-out: N w-visit: 602626
1216.37/1145.00 c (799,0) c --> Executing OCC strategy token(s): 'occ-backw-sub-str,occ-clean-implicit,occ-bve,occ-bva,occ-ternary-res,occ-xor,'
1216.37/1145.00 c (799,0) c [occ] mem usage for occur 344 MB
1217.49/1146.05 c (800,0) c [occ] mem usage for occur 29 MB
1217.88/1146.46 c (800,0) c Mem for watch alloc : 259 MB (46.97 %)
1217.88/1146.46 c (800,0) c Mem for watch array : 13 MB (2.49 %)
1225.48/1154.05 c (808,0) c --> Executing OCC strategy token: occ-backw-sub-str
1225.48/1154.05 c (808,0) c [occ-backw-sub-str-long-w-bins] subs: 17847 str: 321625 tried: 1274743 0-depth ass: 0 T: 7.58 T-out: N T-r: 65.36%
1226.59/1155.20 c (809,0) c [occ-sub-long-w-long] rem cl: 763 tried: 2775069/2823576 (98.3%) T: 1.15 T-out: Y T-r: -0.00%
1228.39/1156.91 c (811,0) c [occ-sub-str-long-w-long] sub: 4 str: 1333 tried: 3118551/2823576 (110.4) T: 1.71 T-out: Y T-r: -0.00%
1228.39/1156.91 c (811,0) c [occ-sub-str-w-added-long] sub: 0 str: 0 0-depth ass: 0 T: 0.00 T-out: Y T-r: 100.00%
1228.69/1157.21 c (811,0) c --> Executing OCC strategy token: occ-clean-implicit
1228.69/1157.21 c (811,0) c --> Executing OCC strategy token: occ-bve
1228.69/1157.21 c (811,0) c [occ-empty-res] Empty resolvent elimed: 0 T: 0.20 T-out: N
1236.09/1164.63 c (818,0) c [occ-bve] iter v-elim 3643
1236.09/1164.63 c (818,0) c cl_inc_rate=1.0, var_dec_rate=1.0 (grow=0)
1236.09/1164.68 c (818,0) c Reduced to 297478 vars, 3094322 cls (grow=0)
1253.81/1182.35 c (836,0) c [occ-bve] iter v-elim 50173
1253.81/1182.35 c (836,0) c cl_inc_rate=1.0, var_dec_rate=1.2 (grow=8)
1253.91/1182.41 c (836,0) c Reduced to 247305 vars, 3194404 cls (grow=8)
1253.91/1182.41 c (836,0) c x n vars : 247305
1253.91/1182.43 c (836,0) c #try to eliminate: 782K
1253.91/1182.43 c (836,0) c #var-elim : 53K
1253.91/1182.43 c (836,0) c #T-o: N
1253.91/1182.43 c (836,0) c #T-r: 96.05%
1253.91/1182.43 c (836,0) c #T : 25.18
1253.91/1182.43 c (836,0) c [occur] 1.53 is overhead
1253.91/1182.43 c (836,0) c [occur] link-in T: 1.53 cleanup T: 0.00
1253.91/1182.43 c (836,0) c --> Executing OCC strategy token: occ-bva
1253.91/1182.43 c (836,0) c [occ-bva] global numcalls: 0
1254.71/1183.29 c (837,0) c --> Executing OCC strategy token: occ-ternary-res
1254.71/1183.29 c (837,0) c --> Executing OCC strategy token: occ-xor
1254.71/1183.29 c (837,0) c [occ-xor] sort occur list T: 0.86
1258.81/1187.39 c (841,0) c [occ-xor] found 47 avg sz 3.0 min sz 3 max sz 3 T: 4.96 T-out: Y T-r: -0.00%
1258.81/1187.39 c (841,0) c [xor-together] xored together 14 xors orig num xors: 47 T: 0.00
1258.81/1187.39 c (841,0) c [xor-add-lem] added unit 0 bin 0 T: 0.00
1259.92/1188.47 c (842,0) c --> Executing strategy token: cl-consolidate
1259.92/1188.47 c (842,0) c [mem] consolidate old-sz: 187M new-sz: 125M new bits offs: 0 T: 0.27
1260.02/1188.54 c (842,0) c --> Executing strategy token: str-impl
1260.02/1188.54 c (842,0) c [impl str] lit bin: 0 (by stamp: 0) set-var: 0 T: 0.07 T-out: N T-r: 96.01% w-visit: 602626
1260.92/1189.49 c (843,0) c --> Executing strategy token: cache-clean
1260.92/1189.49 c (843,0) c --> Executing strategy token: sub-str-cls-with-bin
1260.92/1189.49 c (843,0) c [distill] cache-based irred-- cl tried 5080 cl-sh 0 cl-rem 14 lit-rem 0 T: 0.49 T-out: Y
1260.92/1189.49 c (843,0) c [distill] cache-based red-- cl tried 5056 cl-sh 16 cl-rem 0 lit-rem 17 T: 0.31 T-out: Y
1262.52/1191.02 c (845,0) c --> Executing strategy token: distill-cls
1262.52/1191.02 c (845,0) c [distill] long cls tried: 107/2925257 cl-short:19 lit-r:14 T: 1.53 T-out: Y T-r: -0.78%
1262.52/1191.02 c (845,0) c [distill] long useful: 38/214/5850516 lits-rem: 28 0-depth-assigns: 0 T: 3.07 T-out: Y
1262.52/1191.10 c (845,0) c --> Executing strategy token: scc-vrepl
1262.52/1191.10 c (845,0) c [scc] new: 0 BP 2M T: 0.08
1262.52/1191.11 c (845,0) c --> Executing strategy token: check-cache-size
1262.52/1191.11 c (845,0) c --> Executing strategy token: renumber
1262.52/1191.11 c (845,0) c --> Executing strategy token: sls
1262.52/1191.11 c (845,0) c [consolidate] mini T: 0.00
1262.52/1191.11 c (845,0) c global_timeout_multiplier: 4.40
1262.72/1191.27 c (845,0) c clause size stats. size3: 1054013 size4: 1375344 size5: 217079 larger: 278821
1299.55/1228.09 c (882,0) c [distill] long cls tried: 1547/13433 cl-short:1538 lit-r:758 T: 18.36 T-out: Y T-r: -0.02%
1327.87/1256.34 c (910,0) c luby 0 332 73K 247305 2925K 269K 4.03 3.86 13546 4749 13143 183K 18.80 4.45
1444.77/1373.14 c (1027,0) c luby 0 364 81K 247305 2925K 269K 4.03 3.86 14685 4413 18042 183K 22.15 5.39
1568.05/1496.32 c (1150,0) c [distill] long cls tried: 1500/14887 cl-short:1498 lit-r:995 T: 19.93 T-out: Y T-r: -0.01%
1576.17/1504.48 c (1158,0) c luby 0 382 90K 247305 2925K 269K 4.03 3.86 15627 5222 23K 183K 25.17 6.51
1687.55/1615.75 c (1269,0) c luby 0 414 98K 247305 2925K 269K 4.03 3.86 15891 6282 30K 183K 26.72 7.51
1807.54/1735.61 c (1389,0) c luby 0 439 106K 247305 2925K 269K 4.03 3.86 16872 7514 30K 184K 27.79 7.88
1926.83/1854.84 c (1509,0) c luby 0 440 114K 247305 2925K 269K 4.03 3.86 17739 7009 37K 184K 29.18 8.91
1953.24/1881.25 c (1535,0) c [distill] long cls tried: 1456/17741 cl-short:1448 lit-r:958 T: 19.84 T-out: Y T-r: -0.04%
2069.72/1997.64 c (1651,0) c luby 0 471 122K 247305 2925K 269K 4.03 3.86 18768 7430 33K 184K 27.19 8.21
2200.33/2128.17 c (1782,0) c luby 0 502 131K 247305 2925K 269K 4.03 3.86 19669 6507 42K 184K 28.32 9.14
2321.61/2249.37 c (1903,0) c luby 0 529 139K 247305 2925K 269K 4.03 3.86 20K 9592 36K 184K 27.15 8.69
2392.56/2320.24 c (1974,0) c [distill] long cls tried: 1480/20811 cl-short:1471 lit-r:998 T: 19.74 T-out: Y T-r: -0.07%
2459.02/2386.63 c (2040,0) c luby 0 561 147K 247305 2925K 269K 4.03 3.86 20K 7602 46K 184K 27.53 9.38
2520.06/2447.60 c (2101,0) receiving signal SIGTERM
2520.06/2447.60 s UNKNOWN
2520.06/2447.61 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2447.61 c (scop.sh) Remove HOME/scop-1585-serial-file.bin.
2520.06/2447.61 c (scop.sh) Killing background jobs.
2520.06/2447.61 c (2101,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 (14451 MiB free)
memory of node 1: 16384 MiB (15665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387639-1568286497/watcher-4387639-1568286497 -o /tmp/evaluation-result-4387639-1568286497/solver-4387639-1568286497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568286001-1043 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387639-1568286497.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1585, runsolver pid=1582
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 1.97 1.97 2.02 4/234 1602
/proc/meminfo: memFree=30780712/32770624 swapFree=66999536/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404563741 115843072 349 33554432000 4194304 5098028 140727097847744 140727097845000 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 349 296 221 0 87 0
[pid=1588] ppid=1585 vsize=15012696 memory=71048 CPUtime=0.11 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1585 1585 31842 0 -1 1077944320 7038 0 0 0 9 2 0 0 20 0 15 0 404563742 15373000704 17762 33554432000 4194304 4196468 140732916205488 140732916188032 140469583421175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
/proc/1588/statm: 3753174 17762 2939 1 0 3715579 0
[pid=1588/tid=1589] ppid=1585 vsize=15012696 memory=-7812800577974661515 CPUtime=0.08 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1585 1585 31842 0 -1 4202560 4907 0 0 0 7 1 0 0 20 0 15 0 404563742 15373000704 17828 33554432000 4194304 4196468 140732916205488 140469555215080 140469575658302 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1590] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1590/stat : 1590 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 17828 33554432000 4194304 4196468 140732916205488 140469587663504 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1591] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 17828 33554432000 4194304 4196468 140732916205488 140469401819664 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1592] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 17828 33554432000 4194304 4196468 140732916205488 140469400766864 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1593] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 17828 33554432000 4194304 4196468 140732916205488 140469399714064 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1594] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468621052784 140469583432322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1595] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468113368608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1596] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404563746 15373000704 17828 33554432000 4194304 4196468 140732916205488 140467979146608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1597] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140467604642128 140469583439771 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1598] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) R 1585 1585 31842 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468619999600 140469583432322 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1599] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1585 1585 31842 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468618946800 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1600] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0.01 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) R 1585 1585 31842 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468617890760 140469562378875 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1601] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140467106736352 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1602] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 17828 33554432000 4194304 4196468 140732916205488 140468616842416 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 72444 KiB
[startup+0.210874 s]*
/proc/loadavg: 1.97 1.97 2.02 3/234 1602
/proc/meminfo: memFree=30762344/32770624 swapFree=66999536/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404563741 115843072 349 33554432000 4194304 5098028 140727097847744 140727097845000 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 349 296 221 0 87 0
[pid=1588] ppid=1585 vsize=15012696 memory=86164 CPUtime=0.25 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1585 1585 31842 0 -1 1077944320 12165 0 0 0 21 4 0 0 20 0 15 0 404563742 15373000704 21541 33554432000 4194304 4196468 140732916205488 140732916188032 140469583421175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
/proc/1588/statm: 3753174 21541 2942 1 0 3715579 0
[pid=1588/tid=1589] ppid=1585 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1585 1585 31842 0 -1 4202560 9902 0 0 0 17 3 0 0 20 0 15 0 404563742 15373000704 21541 33554432000 4194304 4196468 140732916205488 140469555234560 140469583443101 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1590] ppid=1585 vsize=15012696 memory=539 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1590/stat : 1590 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 21541 33554432000 4194304 4196468 140732916205488 140469587663504 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1591] ppid=1585 vsize=15012696 memory=139947564928110 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 21541 33554432000 4194304 4196468 140732916205488 140469401819664 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1592] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 21541 33554432000 4194304 4196468 140732916205488 140469400766864 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1593] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 21541 33554432000 4194304 4196468 140732916205488 140469399714064 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1594] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468621052784 140469583432322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1595] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468113368608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1596] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404563746 15373000704 21541 33554432000 4194304 4196468 140732916205488 140467979146608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1597] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140467604642128 140469583439771 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1598] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) R 1585 1585 31842 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468619999600 140469583432322 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1599] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1585 1585 31842 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468618946800 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1600] ppid=1585 vsize=15012696 memory=139947564902016 CPUtime=0.02 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1585 1585 31842 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468617894000 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1601] ppid=1585 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140467106736352 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1602] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 21541 33554432000 4194304 4196468 140732916205488 140468616842416 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 87560 KiB
[startup+0.310697 s]*
/proc/loadavg: 1.97 1.97 2.02 3/234 1602
/proc/meminfo: memFree=30760460/32770624 swapFree=66999536/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404563741 115843072 349 33554432000 4194304 5098028 140727097847744 140727097845000 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 349 296 221 0 87 0
[pid=1588] ppid=1585 vsize=15012696 memory=89984 CPUtime=0.43 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1585 1585 31842 0 -1 1077944320 12576 0 0 0 38 5 0 0 20 0 15 0 404563742 15373000704 22496 33554432000 4194304 4196468 140732916205488 140732916188032 140469583421175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
/proc/1588/statm: 3753174 22496 3033 1 0 3715579 0
[pid=1588/tid=1589] ppid=1585 vsize=15012696 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1585 1585 31842 0 -1 4202560 10138 0 0 0 26 3 0 0 20 0 15 0 404563742 15373000704 22496 33554432000 4194304 4196468 140732916205488 140469555224400 140469569609765 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1590] ppid=1585 vsize=15012696 memory=532 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1590/stat : 1590 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 22496 33554432000 4194304 4196468 140732916205488 140469587663504 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1591] ppid=1585 vsize=15012696 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 22496 33554432000 4194304 4196468 140732916205488 140469401819664 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1592] ppid=1585 vsize=15012696 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 22496 33554432000 4194304 4196468 140732916205488 140469400766864 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1593] ppid=1585 vsize=15012696 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15373000704 22496 33554432000 4194304 4196468 140732916205488 140469399714064 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1594] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468621052784 140469583432322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1595] ppid=1585 vsize=15012696 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404563745 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468113368608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1596] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404563746 15373000704 22496 33554432000 4194304 4196468 140732916205488 140467979146608 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1597] ppid=1585 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140467604642128 140469583439771 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1598] ppid=1585 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1585 1585 31842 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468619999600 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1599] ppid=1585 vsize=15012696 memory=170985786 CPUtime=0.02 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1585 1585 31842 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468618946800 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1600] ppid=1585 vsize=15012696 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) S 1585 1585 31842 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468617894000 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1601] ppid=1585 vsize=15012696 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140467106736352 140469583431381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1602] ppid=1585 vsize=15012696 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563748 15373000704 22496 33554432000 4194304 4196468 140732916205488 140468616842416 140469583432322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91380 KiB
[startup+0.709426 s]
/proc/loadavg: 1.97 1.97 2.02 3/234 1602
/proc/meminfo: memFree=30738508/32770624 swapFree=66999536/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404563741 115843072 349 33554432000 4194304 5098028 140727097847744 140727097845000 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 349 296 221 0 87 0
[pid=1588] ppid=1585 vsize=15018968 memory=138032 CPUtime=1.04 cores=1,3,5,7
/proc/1588/stat : 1588 (java) S 1585 1585 31842 0 -1 1077944320 20178 0 0 0 97 7 0 0 20 0 15 0 404563742 15379423232 34508 33554432000 4194304 4196468 140732916205488 140732916188032 140469583421175 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
/proc/1588/statm: 3754742 34508 3189 1 0 3716091 0
[pid=1588/tid=1589] ppid=1585 vsize=15018968 memory=57 CPUtime=0.68 cores=1,3,5,7
/proc/1588/task/1589/stat : 1589 (java) R 1585 1585 31842 0 -1 4202560 17156 0 0 0 63 5 0 0 20 0 15 0 404563742 15379423232 34508 33554432000 4194304 4196468 140732916205488 140469555251920 140469583443101 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1590] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1590/stat : 1590 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15379423232 34508 33554432000 4194304 4196468 140732916205488 140469587663504 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1591] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1591/stat : 1591 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563743 15379423232 34508 33554432000 4194304 4196468 140732916205488 140469401819664 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1592] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1592/stat : 1592 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15379423232 34508 33554432000 4194304 4196468 140732916205488 140469400766864 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1593] ppid=1585 vsize=15018968 memory=1294 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1593/stat : 1593 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404563743 15379423232 34508 33554432000 4194304 4196468 140732916205488 140469399714064 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1594] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1594/stat : 1594 (java) S 1585 1585 31842 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404563745 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468621052784 140469583432322 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1595] ppid=1585 vsize=15018968 memory=13 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1595/stat : 1595 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404563745 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468113368608 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1596] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1596/stat : 1596 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 404563746 15379423232 34508 33554432000 4194304 4196468 140732916205488 140467979146608 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1597] ppid=1585 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1597/stat : 1597 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140467604642128 140469583439771 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1598] ppid=1585 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1588/task/1598/stat : 1598 (java) S 1585 1585 31842 0 -1 1077944384 564 0 0 0 8 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468619999600 140469583432322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1599] ppid=1585 vsize=15018968 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1588/task/1599/stat : 1599 (java) S 1585 1585 31842 0 -1 1077944384 474 0 0 0 9 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468618946800 140469583432322 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1600] ppid=1585 vsize=15018968 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/1588/task/1600/stat : 1600 (java) R 1585 1585 31842 0 -1 4202560 629 0 0 0 16 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468617891176 140469562359974 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1601] ppid=1585 vsize=15018968 memory=964 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1601/stat : 1601 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140467106736352 140469583431381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
[pid=1588/tid=1602] ppid=1585 vsize=15018968 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/1588/task/1602/stat : 1602 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404563748 15379423232 34508 33554432000 4194304 4196468 140732916205488 140468616842416 140469583432322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37330944 140732916212522 140732916212890 140732916212890 140732916215759 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 139428 KiB
[startup+1.50088 s]
/proc/loadavg: 1.97 1.97 2.02 5/234 1602
/proc/meminfo: memFree=30619488/32770624 swapFree=66999536/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 404563741 115843072 349 33554432000 4194304 5098028 140727097847744 140727097845000 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=1638/tid=1641] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1641/stat : 1641 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292693686544 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1642] ppid=1585 vsize=8068440 memory=670112 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1642/stat : 1642 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292692634256 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1643] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1643/stat : 1643 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292354112016 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1644] ppid=1585 vsize=8068440 memory=1476 CPUtime=0.05 cores=1,3,5,7
/proc/1638/task/1644/stat : 1644 (java) S 1585 1585 31842 0 -1 1077944384 10 0 0 0 2 3 0 0 20 0 19 0 404598286 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292317825648 140292871367298 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1645] ppid=1585 vsize=8068440 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1645/stat : 1645 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291549947168 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1646] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1646/stat : 1646 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291415725680 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1647] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1647/stat : 1647 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291041221200 140292871374747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1648] ppid=1585 vsize=8068440 memory=1696 CPUtime=0.12 cores=1,3,5,7
/proc/1638/task/1648/stat : 1648 (java) S 1585 1585 31842 0 -1 1077944384 615 0 0 0 11 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292316772464 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1649] ppid=1585 vsize=8068440 memory=3436 CPUtime=0.09 cores=1,3,5,7
/proc/1638/task/1649/stat : 1649 (java) S 1585 1585 31842 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292315719664 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1650] ppid=1585 vsize=8068440 memory=1476 CPUtime=0.23 cores=1,3,5,7
/proc/1638/task/1650/stat : 1650 (java) S 1585 1585 31842 0 -1 1077944384 1101 0 0 0 22 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292314667376 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1651] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1651/stat : 1651 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290543315424 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1652] ppid=1585 vsize=8068440 memory=1476 CPUtime=1.19 cores=1,3,5,7
/proc/1638/task/1652/stat : 1652 (java) S 1585 1585 31842 0 -1 1077944384 137 0 0 0 51 68 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292313615280 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1654] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1654/stat : 1654 (java) S 1585 1585 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292305581504 140292871380761 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1656] ppid=1585 vsize=8068440 memory=1476 CPUtime=0.01 cores=1,3,5,7
/proc/1638/task/1656/stat : 1656 (java) S 1585 1585 31842 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290006429680 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1657] ppid=1585 vsize=8068440 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1657/stat : 1657 (java) S 1585 1585 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140289872207248 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1658] ppid=1585 vsize=8068440 memory=4712269799305379850 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1658/stat : 1658 (java) S 1585 1585 31842 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404598359 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290140658608 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
Current children cumulated CPU time: 2454.71 s
Current children cumulated vsize: 8961392 KiB
Current children cumulated memory: 791336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.10 2.16 2.10 3/239 1949
/proc/meminfo: memFree=29089112/32770624 swapFree=66999544/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1476 CPUtime=415.87 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 581 119936 0 0 0 0 40788 799 20 0 1 0 404563741 115843072 369 33554432000 4194304 5098028 140727097847744 140727097844488 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 369 311 221 0 87 0
[pid=1638] ppid=1585 vsize=8068440 memory=119744 CPUtime=2.52 cores=1,3,5,7
/proc/1638/stat : 1638 (java) S 1585 1585 31842 0 -1 1077944320 21065 0 0 0 173 79 0 0 20 0 19 0 404598283 8262082560 29936 33554432000 4194304 4196468 140722724579632 140722724562176 140292871356151 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
/proc/1638/statm: 2017110 29936 3201 1 0 1978454 0
[pid=1653] ppid=1638 vsize=779824 memory=670152 CPUtime=2096.37 cores=1,3,5,7
/proc/1653/stat : 1653 (cryptominisat5) R 1638 1585 31842 0 -1 4202496 2540177 0 0 0 209453 184 0 0 20 0 1 0 404598356 798539776 167538 33554432000 4194304 4451008 140729364514432 140729364510360 140116411388098 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 15777792 140729364517821 140729364517952 140729364517952 140729364520902 0
/proc/1653/statm: 194956 167538 734 63 0 188683 0
[pid=1638/tid=1639] ppid=1585 vsize=8068440 memory=119744 CPUtime=0.74 cores=1,3,5,7
/proc/1638/task/1639/stat : 1639 (java) S 1585 1585 31842 0 -1 1077944384 17362 0 0 0 69 5 0 0 20 0 19 0 404598283 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292843196320 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1640] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1640/stat : 1640 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292875598224 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1641] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1641/stat : 1641 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292693686544 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1642] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1642/stat : 1642 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292692634256 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1643] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1643/stat : 1643 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292354112016 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1644] ppid=1585 vsize=8068440 memory=119744 CPUtime=0.05 cores=1,3,5,7
/proc/1638/task/1644/stat : 1644 (java) S 1585 1585 31842 0 -1 1077944384 10 0 0 0 2 3 0 0 20 0 19 0 404598286 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292317825648 140292871367298 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1645] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1645/stat : 1645 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291549947168 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1646] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1646/stat : 1646 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291415725680 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1647] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1647/stat : 1647 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291041221200 140292871374747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1648] ppid=1585 vsize=8068440 memory=670136 CPUtime=0.12 cores=1,3,5,7
/proc/1638/task/1648/stat : 1648 (java) S 1585 1585 31842 0 -1 1077944384 615 0 0 0 11 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292316772464 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1649] ppid=1585 vsize=8068440 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/1638/task/1649/stat : 1649 (java) S 1585 1585 31842 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292315719664 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1650] ppid=1585 vsize=8068440 memory=119744 CPUtime=0.23 cores=1,3,5,7
/proc/1638/task/1650/stat : 1650 (java) S 1585 1585 31842 0 -1 1077944384 1101 0 0 0 22 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292314667376 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1651] ppid=1585 vsize=8068440 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1651/stat : 1651 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290543315424 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1652] ppid=1585 vsize=8068440 memory=7548 CPUtime=1.22 cores=1,3,5,7
/proc/1638/task/1652/stat : 1652 (java) S 1585 1585 31842 0 -1 1077944384 141 0 0 0 52 70 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292313615280 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1654] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1654/stat : 1654 (java) S 1585 1585 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292305581504 140292871380761 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1656] ppid=1585 vsize=8068440 memory=119744 CPUtime=0.01 cores=1,3,5,7
/proc/1638/task/1656/stat : 1656 (java) S 1585 1585 31842 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290006429680 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1657] ppid=1585 vsize=8068440 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1657/stat : 1657 (java) S 1585 1585 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140289872207248 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1658] ppid=1585 vsize=8068440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1658/stat : 1658 (java) S 1585 1585 31842 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404598359 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290140658608 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
Current children cumulated CPU time: 2514.76 s
Current children cumulated vsize: 8961392 KiB
Current children cumulated memory: 791372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.6 s]
/proc/loadavg: 2.09 2.16 2.10 3/239 1950
/proc/meminfo: memFree=29087196/32770624 swapFree=66999544/67108860
[pid=1585] ppid=1582 vsize=113128 memory=1476 CPUtime=415.87 cores=1,3,5,7
/proc/1585/stat : 1585 (scop.sh) S 1582 1585 31842 0 -1 4202496 581 119936 0 0 0 0 40788 799 20 0 1 0 404563741 115843072 369 33554432000 4194304 5098028 140727097847744 140727097844488 139973957534332 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28655616 140727097856867 140727097857136 140727097857136 140727097860045 0
/proc/1585/statm: 28282 369 311 221 0 87 0
[pid=1638] ppid=1585 vsize=8068440 memory=119744 CPUtime=2.52 cores=1,3,5,7
/proc/1638/stat : 1638 (java) S 1585 1585 31842 0 -1 1077944320 21065 0 0 0 173 79 0 0 20 0 19 0 404598283 8262082560 29936 33554432000 4194304 4196468 140722724579632 140722724562176 140292871356151 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
/proc/1638/statm: 2017110 29936 3201 1 0 1978454 0
[pid=1653] ppid=1638 vsize=779824 memory=672200 CPUtime=2101.67 cores=1,3,5,7
/proc/1653/stat : 1653 (cryptominisat5) R 1638 1585 31842 0 -1 4202496 2540557 0 0 0 209983 184 0 0 20 0 1 0 404598356 798539776 168050 33554432000 4194304 4451008 140729364514432 140729364510360 140116411665799 0 4 0 2 0 0 0 17 1 0 0 0 0 0 6549032 6559120 15777792 140729364517821 140729364517952 140729364517952 140729364520902 0
/proc/1653/statm: 194956 168050 734 63 0 188683 0
[pid=1638/tid=1639] ppid=1585 vsize=8068440 memory=1696 CPUtime=0.74 cores=1,3,5,7
/proc/1638/task/1639/stat : 1639 (java) S 1585 1585 31842 0 -1 1077944384 17362 0 0 0 69 5 0 0 20 0 19 0 404598283 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292843196320 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1640] ppid=1585 vsize=8068440 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1640/stat : 1640 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292875598224 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1641] ppid=1585 vsize=8068440 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1641/stat : 1641 (java) S 1585 1585 31842 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292693686544 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1642] ppid=1585 vsize=8068440 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1642/stat : 1642 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292692634256 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1643] ppid=1585 vsize=8068440 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1643/stat : 1643 (java) S 1585 1585 31842 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 404598285 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292354112016 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1644] ppid=1585 vsize=8068440 memory=1768 CPUtime=0.05 cores=1,3,5,7
/proc/1638/task/1644/stat : 1644 (java) S 1585 1585 31842 0 -1 1077944384 10 0 0 0 2 3 0 0 20 0 19 0 404598286 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292317825648 140292871367298 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1645] ppid=1585 vsize=8068440 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1645/stat : 1645 (java) S 1585 1585 31842 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291549947168 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1646] ppid=1585 vsize=8068440 memory=808 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1646/stat : 1646 (java) S 1585 1585 31842 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 404598287 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291415725680 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1647] ppid=1585 vsize=8068440 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1647/stat : 1647 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140291041221200 140292871374747 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1648] ppid=1585 vsize=8068440 memory=1808 CPUtime=0.12 cores=1,3,5,7
/proc/1638/task/1648/stat : 1648 (java) S 1585 1585 31842 0 -1 1077944384 615 0 0 0 11 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292316772464 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1649] ppid=1585 vsize=8068440 memory=924 CPUtime=0.09 cores=1,3,5,7
/proc/1638/task/1649/stat : 1649 (java) S 1585 1585 31842 0 -1 1077944384 431 0 0 0 9 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292315719664 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1650] ppid=1585 vsize=8068440 memory=3844 CPUtime=0.23 cores=1,3,5,7
/proc/1638/task/1650/stat : 1650 (java) S 1585 1585 31842 0 -1 1077944384 1101 0 0 0 22 1 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292314667376 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1651] ppid=1585 vsize=8068440 memory=119744 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1651/stat : 1651 (java) S 1585 1585 31842 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290543315424 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1652] ppid=1585 vsize=8068440 memory=2852 CPUtime=1.22 cores=1,3,5,7
/proc/1638/task/1652/stat : 1652 (java) S 1585 1585 31842 0 -1 1077944384 141 0 0 0 52 70 0 0 20 0 19 0 404598290 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292313615280 140292871367298 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1654] ppid=1585 vsize=8068440 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1654/stat : 1654 (java) S 1585 1585 31842 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140292305581504 140292871380761 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1656] ppid=1585 vsize=8068440 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/1638/task/1656/stat : 1656 (java) S 1585 1585 31842 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290006429680 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1657] ppid=1585 vsize=8068440 memory=3576 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1657/stat : 1657 (java) S 1585 1585 31842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 404598356 8262082560 29936 33554432000 4194304 4196468 140722724579632 140289872207248 140292871378077 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
[pid=1638/tid=1658] ppid=1585 vsize=8068440 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/1638/task/1658/stat : 1658 (java) S 1585 1585 31842 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 404598359 8262082560 29936 33554432000 4194304 4196468 140722724579632 140290140658608 140292871366357 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25759744 140722724582396 140722724582554 140722724582554 140722724585423 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8961392 KiB
Current children cumulated memory: 793420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.62 s]
# the end of solver process 1585 was just reported to runsolver
# cumulated CPU time of all completed processes: user=407.89 s, system=7.99866 s
[startup+2447.65 s]
# the end of solver process 1638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.46 s, system=10.6861 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
Child status: 1
Real time (s): 2447.65
CPU time (s): 2520.15
CPU user time (s): 2509.46
CPU system time (s): 10.6861
CPU usage (%): 102.962
Max. virtual memory (cumulated for all children) (KiB): 15140452
Max. memory (cumulated for all children) (KiB): 11004540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.46
system time used= 10.686
maximum resident set size= 11004008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2682706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 158232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61217
involuntary context switches= 2455
# summary of solver processes directly reported to runsolver:
# pid: 1585,1638
# total CPU time (s): 2520.15
# total CPU user time (s): 2509.46
# total CPU system time (s): 10.6861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9063 second user time and 28.4101 second system time
The end