Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 1190.75 | 782.79 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1506.xml |
MD5SUM | 0e5e1a5440f053ee6c87120c72693e04 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.985276 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 72 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":195}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":30},{"degree":2,"count":195}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":3,"count":8},{"arity":4,"count":20},{"arity":5,"count":14},{"arity":6,"count":4},{"arity":7,"count":19},{"arity":8,"count":4},{"arity":9,"count":3}] |
Number of extensional constraints | 72 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":72}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16993-serial-file.bin HOME/instance-4405702-1569362810.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Wed Sep 25 00:06:13 CEST 2019 0.66/0.56 c PID: 16996 0.66/0.56 c IP: 172.20.3.148 0.66/0.56 c HOST: node148.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.22/1.72 c (1,1) Parsing End 3.22/1.73 c (1,1) CSP: 195 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 26 3.22/1.73 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.22/1.73 c (1,1) Constraint Name Generate Begin 3.22/1.74 c (1,1) Ctr:HOME/instance-4405702-1569362810.xml,ExtensionSupport:Var 3.22/1.74 c (1,1) Constraint Name Generate End 3.22/1.74 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.22/1.74 c (1,1) CSP to CSPinCNF Begin 120.20/87.19 c (86,83) translated 8 (10%) constraints 219.39/159.45 c (158,151) translated 15 (20%) constraints 287.28/212.45 c (211,202) translated 22 (30%) constraints 295.98/217.87 c (217,207) translated 29 (40%) constraints 300.89/222.76 c (222,212) translated 36 (50%) constraints 318.29/237.39 c (236,226) translated 44 (60%) constraints 337.70/254.11 c (253,243) translated 51 (70%) constraints 348.84/262.21 c (261,250) translated 58 (80%) constraints 427.86/326.09 c (325,312) translated 65 (90%) constraints 557.66/433.47 c (432,416) translated 72 (100%) constraints 581.74/452.51 c (451,434) =========================================== 583.77/454.58 c (454,437) Hybrid: #OE=741699, #LE=0 583.77/454.58 c (454,437) Hybrid 583.77/454.58 c (454,437) =========================================== 603.87/470.59 c (470,452) translated 762152 (10%) constraints 625.54/487.07 c (486,468) translated 1524304 (20%) constraints 646.67/503.46 c (502,483) translated 2286456 (30%) constraints 667.76/519.79 c (519,499) translated 3048608 (40%) constraints 683.47/535.41 c (534,515) translated 3810760 (50%) constraints 704.50/551.45 c (550,530) translated 4572912 (60%) constraints 725.77/567.71 c (567,546) translated 5335064 (70%) constraints 746.96/584.06 c (583,561) translated 6097216 (80%) constraints 762.68/599.78 c (599,577) translated 6859368 (90%) constraints 784.39/616.20 c (615,593) translated 7621519 (100%) constraints 784.39/616.20 c (615,593) CSP to CSPinCNF End 784.60/616.45 c (615,593) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 784.60/616.45 c (615,593) Heap : 13589 MiB used (max 21854 MiB), NonHeap : 27 MiB used (max 0 MiB) 784.60/616.45 c (615,593) CSPinCNF Propagation Begin 880.22/659.77 c (659,629) 0 values, 72 unsatisfiable literals, and 0 valid clauses are removed 880.22/659.77 c (659,629) CSPinCNF Propagation End 880.54/660.02 c (659,629) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 880.54/660.02 c (659,629) Heap : 16648 MiB used (max 21915 MiB), NonHeap : 27 MiB used (max 0 MiB) 882.85/662.32 c (661,631) Hybrid: #OE=741699, #LE=0 882.85/662.32 c (661,631) Simplify CSPinCNF Begin 920.63/679.35 c (678,645) Simplify CSPinCNF End 920.83/679.59 c (679,646) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 920.83/679.59 c (679,646) Heap : 15323 MiB used (max 21226 MiB), NonHeap : 27 MiB used (max 0 MiB) 920.83/679.59 c (679,646) Calculate Precise Domain Begin 920.83/679.59 c (679,646) 0 values are removed by re-calculation 920.83/679.59 c (679,646) Calculate Precise Domain End 921.14/679.84 c (679,646) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 921.14/679.84 c (679,646) Heap : 15323 MiB used (max 21226 MiB), NonHeap : 27 MiB used (max 0 MiB) 921.14/679.84 c (679,646) CSPinCNF to SatSolver Begin 1049.58/703.29 c (702,654) 762152 (10 %) CSP clauses are encoded (0 SAT variables, 766831 SAT clauses) 1059.19/710.55 c (710,661) 1524304 (20 %) CSP clauses are encoded (0 SAT variables, 1528983 SAT clauses) 1067.87/717.72 c (717,668) 2286456 (30 %) CSP clauses are encoded (0 SAT variables, 2291135 SAT clauses) 1076.47/724.87 c (724,675) 3048608 (40 %) CSP clauses are encoded (0 SAT variables, 3053287 SAT clauses) 1087.01/732.25 c (731,682) 3810760 (50 %) CSP clauses are encoded (0 SAT variables, 3815439 SAT clauses) 1095.66/739.32 c (738,689) 4572912 (60 %) CSP clauses are encoded (0 SAT variables, 4577591 SAT clauses) 1104.34/746.57 c (746,696) 5335064 (70 %) CSP clauses are encoded (0 SAT variables, 5339743 SAT clauses) 1113.07/753.67 c (753,703) 6097216 (80 %) CSP clauses are encoded (0 SAT variables, 6101895 SAT clauses) 1121.74/760.74 c (760,709) 6859368 (90 %) CSP clauses are encoded (0 SAT variables, 6864047 SAT clauses) 1132.55/767.90 c (767,716) 7621519 (100 %) CSP clauses are encoded (0 SAT variables, 7626198 SAT clauses) 1132.55/767.90 c (767,716) CSPinCNF to SatSolver End 1132.55/767.90 c (767,716) Heap : 9630 MiB used (max 21628 MiB), NonHeap : 29 MiB used (max 0 MiB) 1132.55/767.90 c (767,716) 746379 bool, 7626199 clause 1132.55/767.90 c (767,716) Export Begin 1132.76/768.01 c (767,716) Export to HOME/scop-16993-serial-file.bin 1132.76/768.01 c (767,716) Export End 1132.76/768.01 c (767,716) Export File Size: 0.04 MB 1132.76/768.01 c (767,716) 1,1,615,659,679,679,767,STOP-AFTER(DIMACS) 1132.76/768.01 c END-Prog: Wed Sep 25 00:19:01 CEST 2019 0.00/768.14 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16993-serial-file.bin 1132.90/768.61 c (0,0) Read Serial File Begin 1132.90/768.61 c (0,0) HOME/scop-16993-serial-file.bin 1132.90/768.84 c (0,0) Read Serial File End 1132.90/768.85 1132.90/768.85 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 1132.90/768.85 (Solving Process) 1132.90/768.85 1132.90/768.88 c BEGIN-Prog: Wed Sep 25 00:19:01 CEST 2019 1132.90/768.88 c PID: 17073 1132.90/768.88 c IP: 172.20.3.148 1132.90/768.88 c HOST: node148.alineos.net 1132.90/768.88 c (0,0) SatSolver.solve Begin 1132.90/768.88 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405702-1569362810.xml-scop-16996.cnf 1132.90/768.91 c (0,0) c 1132.90/768.91 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 1132.90/768.91 c (0,0) c 1132.90/768.91 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1132.90/768.91 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1132.90/768.91 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1132.90/768.91 c (0,0) c | | 1137.00/771.87 c (3,0) c | Number of variables: 746379 | 1137.00/771.87 c (3,0) c | Number of clauses: 7626199 | 1137.00/771.87 c (3,0) c | Parse time: 2.70 s | 1137.00/771.87 c (3,0) c | | 1137.70/772.54 c (4,0) c | Too many clauses... No preprocessing | 1137.70/772.54 c (4,0) c | Simplification time: 0.61 s | 1137.70/772.54 c (4,0) c | | 1137.70/772.56 c (4,0) c | Generating clones | 1140.10/774.96 c (6,0) c | all clones generated. Memory = 5258.30Mb. | 1140.10/774.96 c (6,0) c ========================================================================================================| 1140.10/774.96 c (6,0) c 1140.10/774.96 c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1140.10/774.96 c (6,0) c 1140.10/774.96 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1140.10/774.96 c (6,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1140.10/774.96 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1140.10/774.96 c (6,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1140.10/774.96 c (6,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1140.10/774.96 c (6,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1140.10/774.96 c (6,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 1140.10/774.96 c (6,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1140.10/774.96 c (6,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1140.10/774.96 c (6,0) c | glureduce | True | True | True | True | True | True | True | True | 1140.10/774.96 c (6,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1140.10/774.96 c (6,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1140.10/774.96 c (6,0) c | luby_restart | False | False | False | False | False | False | False | False | 1140.10/774.96 c (6,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1140.10/774.96 c (6,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1140.10/774.96 c (6,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1140.10/774.96 c (6,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1140.10/774.96 c (6,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1140.10/774.96 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.16 c (13,0) c 1189.33/782.16 c (13,0) c real time : 13.2582 s 1189.33/782.16 c (13,0) c cpu time : 49.571 s 1189.33/782.16 c (13,0) c 1189.33/782.16 c (13,0) c 1189.33/782.16 c (13,0) c 1189.33/782.16 c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1189.33/782.16 c (13,0) c 1189.33/782.16 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.16 c (13,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1189.33/782.16 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.16 c (13,0) c | Conflicts | 10561 | 1212 | 1129 | 1360 | 1216 | 1877 | 1162 | 1277 | 1328 | 1189.33/782.16 c (13,0) c | Decisions | 634282 | 75318 | 77163 | 91801 | 105173 | 66651 | 81829 | 69889 | 66458 | 1189.33/782.16 c (13,0) c | Propagations | 103261349 | 12543323 | 12443933 | 11634354 | 12617159 | 13385081 | 13722285 | 15346399 | 11568815 | 1189.33/782.16 c (13,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1189.33/782.16 c (13,0) c | Restarts | 36 | 3 | 1 | 7 | 4 | 4 | 6 | 9 | 2 | 1189.33/782.16 c (13,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | PropBinClauses| 97459266 | 11536891 | 11883761 | 11241647 | 11735205 | 13084510 | 12831348 | 13410366 | 11735538 | 1189.33/782.16 c (13,0) c | PropPreBlocker| 569574113 | 69753321 | 69509676 | 69092506 | 72918348 | 75390277 | 73352302 | 70143680 | 69414003 | 1189.33/782.16 c (13,0) c | PropNotBlocker| 201361910 | 23681984 | 24270079 | 24171096 | 24794656 | 28061518 | 24820669 | 27235172 | 24326736 | 1189.33/782.16 c (13,0) c | LitFullScans | 1094489012 | 132037347 | 132193344 | 132079230 | 137259415 | 150116490 | 138115641 | 140620346 | 132067199 | 1189.33/782.16 c (13,0) c | LitScanFracts | 283125 | 18084 | 17931 | 30098 | 43851 | 29905 | 51029 | 49317 | 42910 | 1189.33/782.16 c (13,0) c | DecisionLevel0| 36 | 3 | 1 | 7 | 4 | 4 | 6 | 9 | 2 | 1189.33/782.16 c (13,0) c | Periods | 181 | 22 | 22 | 22 | 22 | 25 | 23 | 23 | 22 | 1189.33/782.16 c (13,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1189.33/782.16 c (13,0) c | Avg_Trail | | 367687 | 358052 | 301257 | 439739 | 234055 | 333007 | 245774 | 355408 | 1189.33/782.16 c (13,0) c | Avg_DL | | 6143 | 7097 | 808 | 1811 | 962 | 1194 | 1080 | 2243 | 1189.33/782.16 c (13,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.16 c (13,0) c | Exported | 671 | 78 | 99 | 78 | 68 | 101 | 88 | 72 | 87 | 1189.33/782.16 c (13,0) c | Imported | 146 | 0 | 0 | 29 | 0 | 88 | 0 | 29 | 0 | 1189.33/782.16 c (13,0) c | Good | 137 | 0 | 0 | 28 | 0 | 81 | 0 | 28 | 0 | 1189.33/782.16 c (13,0) c | Purge | 9 | 0 | 0 | 1 | 0 | 7 | 0 | 1 | 0 | 1189.33/782.16 c (13,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.16 c (13,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1189.33/782.16 c (13,0) c | Binaries | | 57 | 67 | 58 | 51 | 41 | 72 | 54 | 59 | 1189.33/782.17 c (13,0) c | Glues | | 78 | 99 | 78 | 68 | 101 | 88 | 72 | 87 | 1189.33/782.17 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.17 c (13,0) c | Orig_Seen | 0 % | 56883 | 52923 | 79247 | 73974 | 58723 | 40315 | 73820 | 76200 | 1189.33/782.17 c (13,0) c | Diff Orig seen| | - 17091 | - 21051 | 5273 | X | - 15251 | - 33659 | - 154 | 2226 | 1189.33/782.17 c (13,0) c | Hamming | 4 % | 34830 | 35344 | 38119 | X | 35963 | 32975 | 31603 | 37761 | 1189.33/782.17 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.17 c (13,0) c | RunningTime | | 6.6 100%| 6.5 100%| 7.1 100%| 6.5 100%| 6.5 100%| 6.5 100%| 6.5 100%| 6.8 100%| 1189.33/782.17 c (13,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | SolvingTime | | 6.6 | 6.5 | 7.1 | 6.5 | 6.5 | 6.5 | 6.5 | 6.8 | 1189.33/782.17 c (13,0) c | PropagationTim| | 6.1 92%| 6.1 93%| 6.6 92%| 5.9 91%| 5.9 91%| 6.0 93%| 6.0 92%| 6.2 92%| 1189.33/782.17 c (13,0) c | AnalysisTime | | 0.2 3%| 0.1 2%| 0.2 3%| 0.2 3%| 0.3 4%| 0.2 2%| 0.2 3%| 0.2 3%| 1189.33/782.17 c (13,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1189.33/782.17 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.17 c (13,0) c 1189.33/782.17 c (13,0) c 1189.33/782.17 c (13,0) c Threads : 8 1189.33/782.17 c (13,0) c Winner : 3 1189.33/782.17 c (13,0) c Conflicts_0 : 1212 1189.33/782.17 c (13,0) c Conflicts_1 : 1129 1189.33/782.17 c (13,0) c Conflicts_2 : 1360 1189.33/782.17 c (13,0) c Conflicts_3 : 1216 1189.33/782.17 c (13,0) c Conflicts_4 : 1877 1189.33/782.17 c (13,0) c Conflicts_5 : 1162 1189.33/782.17 c (13,0) c Conflicts_6 : 1277 1189.33/782.17 c (13,0) c Conflicts_7 : 1328 1189.33/782.17 c (13,0) c Conflicts_total : 10561 1189.33/782.17 c (13,0) c Conflicts_winner : 1216 1189.33/782.17 c (13,0) c Decisions_0 : 75318 1189.33/782.17 c (13,0) c Decisions_1 : 77163 1189.33/782.17 c (13,0) c Decisions_2 : 91801 1189.33/782.17 c (13,0) c Decisions_3 : 105173 1189.33/782.17 c (13,0) c Decisions_4 : 66651 1189.33/782.17 c (13,0) c Decisions_5 : 81829 1189.33/782.17 c (13,0) c Decisions_6 : 69889 1189.33/782.17 c (13,0) c Decisions_7 : 66458 1189.33/782.17 c (13,0) c Decisions_total : 634282 1189.33/782.17 c (13,0) c Decisions_winner : 105173 1189.33/782.17 c (13,0) c Propagations_0 : 12543323 1189.33/782.17 c (13,0) c Propagations_1 : 12443933 1189.33/782.17 c (13,0) c Propagations_2 : 11634354 1189.33/782.17 c (13,0) c Propagations_3 : 12617159 1189.33/782.17 c (13,0) c Propagations_4 : 13385081 1189.33/782.17 c (13,0) c Propagations_5 : 13722285 1189.33/782.17 c (13,0) c Propagations_6 : 15346399 1189.33/782.17 c (13,0) c Propagations_7 : 11568815 1189.33/782.17 c (13,0) c Propagations_total : 103261349 1189.33/782.17 c (13,0) c Propagations_winner : 12617159 1189.33/782.17 c (13,0) c ReduceDBs_0 : 0 1189.33/782.17 c (13,0) c ReduceDBs_1 : 0 1189.33/782.17 c (13,0) c ReduceDBs_2 : 0 1189.33/782.17 c (13,0) c ReduceDBs_3 : 0 1189.33/782.17 c (13,0) c ReduceDBs_4 : 0 1189.33/782.17 c (13,0) c ReduceDBs_5 : 0 1189.33/782.17 c (13,0) c ReduceDBs_6 : 0 1189.33/782.17 c (13,0) c ReduceDBs_7 : 0 1189.33/782.17 c (13,0) c ReduceDBs_total : 0 1189.33/782.17 c (13,0) c ReduceDBs_winner : 0 1189.33/782.17 c (13,0) c SimpDBs_0 : 1 1189.33/782.17 c (13,0) c SimpDBs_1 : 1 1189.33/782.17 c (13,0) c SimpDBs_2 : 1 1189.33/782.17 c (13,0) c SimpDBs_3 : 1 1189.33/782.17 c (13,0) c SimpDBs_4 : 1 1189.33/782.17 c (13,0) c SimpDBs_5 : 1 1189.33/782.17 c (13,0) c SimpDBs_6 : 1 1189.33/782.17 c (13,0) c SimpDBs_7 : 1 1189.33/782.17 c (13,0) c SimpDBs_total : 8 1189.33/782.17 c (13,0) c SimpDBs_winner : 1 1189.33/782.17 c (13,0) c Restarts_0 : 3 1189.33/782.17 c (13,0) c Restarts_1 : 1 1189.33/782.17 c (13,0) c Restarts_2 : 7 1189.33/782.17 c (13,0) c Restarts_3 : 4 1189.33/782.17 c (13,0) c Restarts_4 : 4 1189.33/782.17 c (13,0) c Restarts_5 : 6 1189.33/782.17 c (13,0) c Restarts_6 : 9 1189.33/782.17 c (13,0) c Restarts_7 : 2 1189.33/782.17 c (13,0) c Restarts_total : 36 1189.33/782.17 c (13,0) c Restarts_winner : 4 1189.33/782.17 c (13,0) c ForcedImports_0 : 0 1189.33/782.17 c (13,0) c ForcedImports_1 : 0 1189.33/782.17 c (13,0) c ForcedImports_2 : 0 1189.33/782.17 c (13,0) c ForcedImports_3 : 0 1189.33/782.17 c (13,0) c ForcedImports_4 : 0 1189.33/782.17 c (13,0) c ForcedImports_5 : 0 1189.33/782.17 c (13,0) c ForcedImports_6 : 0 1189.33/782.17 c (13,0) c ForcedImports_7 : 0 1189.33/782.17 c (13,0) c ForcedImports_total : 0 1189.33/782.17 c (13,0) c ForcedImports_winner : 0 1189.33/782.17 c (13,0) c PropsBinClauses_0 : 11536891 1189.33/782.17 c (13,0) c PropsBinClauses_1 : 11883761 1189.33/782.17 c (13,0) c PropsBinClauses_2 : 11241647 1189.33/782.17 c (13,0) c PropsBinClauses_3 : 11735205 1189.33/782.17 c (13,0) c PropsBinClauses_4 : 13084510 1189.33/782.17 c (13,0) c PropsBinClauses_5 : 12831348 1189.33/782.17 c (13,0) c PropsBinClauses_6 : 13410366 1189.33/782.17 c (13,0) c PropsBinClauses_7 : 11735538 1189.33/782.17 c (13,0) c PropsBinClauses_total : 97459266 1189.33/782.17 c (13,0) c PropsBinClauses_winner : 11735205 1189.33/782.17 c (13,0) c PropsPreBlocker_0 : 69753321 1189.33/782.17 c (13,0) c PropsPreBlocker_1 : 69509676 1189.33/782.17 c (13,0) c PropsPreBlocker_2 : 69092506 1189.33/782.17 c (13,0) c PropsPreBlocker_3 : 72918348 1189.33/782.17 c (13,0) c PropsPreBlocker_4 : 75390277 1189.33/782.17 c (13,0) c PropsPreBlocker_5 : 73352302 1189.33/782.17 c (13,0) c PropsPreBlocker_6 : 70143680 1189.33/782.17 c (13,0) c PropsPreBlocker_7 : 69414003 1189.33/782.17 c (13,0) c PropsPreBlocker_total : 569574113 1189.33/782.17 c (13,0) c PropsPreBlocker_winner : 72918348 1189.33/782.17 c (13,0) c PropsNotBlocker_0 : 23681984 1189.33/782.17 c (13,0) c PropsNotBlocker_1 : 24270079 1189.33/782.17 c (13,0) c PropsNotBlocker_2 : 24171096 1189.33/782.17 c (13,0) c PropsNotBlocker_3 : 24794656 1189.33/782.17 c (13,0) c PropsNotBlocker_4 : 28061518 1189.33/782.17 c (13,0) c PropsNotBlocker_5 : 24820669 1189.33/782.17 c (13,0) c PropsNotBlocker_6 : 27235172 1189.33/782.17 c (13,0) c PropsNotBlocker_7 : 24326736 1189.33/782.17 c (13,0) c PropsNotBlocker_total : 201361910 1189.33/782.17 c (13,0) c PropsNotBlocker_winner : 24794656 1189.33/782.17 c (13,0) c PropsLitFullScans_0 : 132037347 1189.33/782.17 c (13,0) c PropsLitFullScans_1 : 132193344 1189.33/782.17 c (13,0) c PropsLitFullScans_2 : 132079230 1189.33/782.17 c (13,0) c PropsLitFullScans_3 : 137259415 1189.33/782.17 c (13,0) c PropsLitFullScans_4 : 150116490 1189.33/782.17 c (13,0) c PropsLitFullScans_5 : 138115641 1189.33/782.17 c (13,0) c PropsLitFullScans_6 : 140620346 1189.33/782.17 c (13,0) c PropsLitFullScans_7 : 132067199 1189.33/782.17 c (13,0) c PropsLitFullScans_total : 1094489012 1189.33/782.17 c (13,0) c PropsLitFullScans_winner : 137259415 1189.33/782.17 c (13,0) c LitScanFractions_0 : 18084 1189.33/782.17 c (13,0) c LitScanFractions_1 : 17931 1189.33/782.17 c (13,0) c LitScanFractions_2 : 30098 1189.33/782.17 c (13,0) c LitScanFractions_3 : 43851 1189.33/782.17 c (13,0) c LitScanFractions_4 : 29905 1189.33/782.17 c (13,0) c LitScanFractions_5 : 51029 1189.33/782.17 c (13,0) c LitScanFractions_6 : 49317 1189.33/782.17 c (13,0) c LitScanFractions_7 : 42910 1189.33/782.17 c (13,0) c LitScanFractions_total : 283125 1189.33/782.17 c (13,0) c LitScanFractions_winner : 43851 1189.33/782.17 c (13,0) c DecisionLevel0_0 : 3 1189.33/782.17 c (13,0) c DecisionLevel0_1 : 1 1189.33/782.17 c (13,0) c DecisionLevel0_2 : 7 1189.33/782.17 c (13,0) c DecisionLevel0_3 : 4 1189.33/782.17 c (13,0) c DecisionLevel0_4 : 4 1189.33/782.17 c (13,0) c DecisionLevel0_5 : 6 1189.33/782.17 c (13,0) c DecisionLevel0_6 : 9 1189.33/782.17 c (13,0) c DecisionLevel0_7 : 2 1189.33/782.17 c (13,0) c DecisionLevel0_total : 36 1189.33/782.17 c (13,0) c DecisionLevel0_winner : 4 1189.33/782.17 c (13,0) c Periods_0 : 22 1189.33/782.17 c (13,0) c Periods_1 : 22 1189.33/782.17 c (13,0) c Periods_2 : 22 1189.33/782.17 c (13,0) c Periods_3 : 22 1189.33/782.17 c (13,0) c Periods_4 : 25 1189.33/782.17 c (13,0) c Periods_5 : 23 1189.33/782.17 c (13,0) c Periods_6 : 23 1189.33/782.17 c (13,0) c Periods_7 : 22 1189.33/782.17 c (13,0) c Periods_total : 181 1189.33/782.17 c (13,0) c Periods_winner : 22 1189.33/782.17 c (13,0) c Margin_0 : 20 1189.33/782.17 c (13,0) c Margin_1 : 20 1189.33/782.17 c (13,0) c Margin_2 : 20 1189.33/782.17 c (13,0) c Margin_3 : 20 1189.33/782.17 c (13,0) c Margin_4 : 20 1189.33/782.17 c (13,0) c Margin_5 : 20 1189.33/782.17 c (13,0) c Margin_6 : 20 1189.33/782.17 c (13,0) c Margin_7 : 20 1189.33/782.17 c (13,0) c Margin_total : 160 1189.33/782.17 c (13,0) c Margin_winner : 20 1189.33/782.17 c (13,0) c Exported_0 : 78 1189.33/782.17 c (13,0) c Exported_1 : 99 1189.33/782.17 c (13,0) c Exported_2 : 78 1189.33/782.17 c (13,0) c Exported_3 : 68 1189.33/782.17 c (13,0) c Exported_4 : 101 1189.33/782.17 c (13,0) c Exported_5 : 88 1189.33/782.17 c (13,0) c Exported_6 : 72 1189.33/782.17 c (13,0) c Exported_7 : 87 1189.33/782.17 c (13,0) c Exported_total : 671 1189.33/782.17 c (13,0) c Exported_winner : 68 1189.33/782.17 c (13,0) c Imported_0 : 0 1189.33/782.17 c (13,0) c Imported_1 : 0 1189.33/782.17 c (13,0) c Imported_2 : 29 1189.33/782.17 c (13,0) c Imported_3 : 0 1189.33/782.17 c (13,0) c Imported_4 : 88 1189.33/782.17 c (13,0) c Imported_5 : 0 1189.33/782.17 c (13,0) c Imported_6 : 29 1189.33/782.17 c (13,0) c Imported_7 : 0 1189.33/782.17 c (13,0) c Imported_total : 146 1189.33/782.17 c (13,0) c Imported_winner : 0 1189.33/782.17 c (13,0) c Good_0 : 0 1189.33/782.17 c (13,0) c Good_1 : 0 1189.33/782.17 c (13,0) c Good_2 : 28 1189.33/782.17 c (13,0) c Good_3 : 0 1189.33/782.17 c (13,0) c Good_4 : 81 1189.33/782.17 c (13,0) c Good_5 : 0 1189.33/782.17 c (13,0) c Good_6 : 28 1189.33/782.17 c (13,0) c Good_7 : 0 1189.33/782.17 c (13,0) c Good_total : 137 1189.33/782.17 c (13,0) c Good_winner : 0 1189.33/782.17 c (13,0) c Purge_0 : 0 1189.33/782.17 c (13,0) c Purge_1 : 0 1189.33/782.17 c (13,0) c Purge_2 : 1 1189.33/782.17 c (13,0) c Purge_3 : 0 1189.33/782.17 c (13,0) c Purge_4 : 7 1189.33/782.17 c (13,0) c Purge_5 : 0 1189.33/782.17 c (13,0) c Purge_6 : 1 1189.33/782.17 c (13,0) c Purge_7 : 0 1189.33/782.17 c (13,0) c Purge_total : 9 1189.33/782.17 c (13,0) c Purge_winner : 0 1189.33/782.17 c (13,0) c Promoted_0 : 0 1189.33/782.17 c (13,0) c Promoted_1 : 0 1189.33/782.17 c (13,0) c Promoted_2 : 0 1189.33/782.17 c (13,0) c Promoted_3 : 0 1189.33/782.17 c (13,0) c Promoted_4 : 0 1189.33/782.17 c (13,0) c Promoted_5 : 0 1189.33/782.17 c (13,0) c Promoted_6 : 0 1189.33/782.17 c (13,0) c Promoted_7 : 0 1189.33/782.17 c (13,0) c Promoted_total : 0 1189.33/782.17 c (13,0) c Promoted_winner : 0 1189.33/782.17 c (13,0) c Remove_Imp_0 : 0 1189.33/782.17 c (13,0) c Remove_Imp_1 : 0 1189.33/782.17 c (13,0) c Remove_Imp_2 : 0 1189.33/782.17 c (13,0) c Remove_Imp_3 : 0 1189.33/782.17 c (13,0) c Remove_Imp_4 : 0 1189.33/782.17 c (13,0) c Remove_Imp_5 : 0 1189.33/782.17 c (13,0) c Remove_Imp_6 : 0 1189.33/782.17 c (13,0) c Remove_Imp_7 : 0 1189.33/782.17 c (13,0) c Remove_Imp_total : 0 1189.33/782.17 c (13,0) c Remove_Imp_winner : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_0 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_1 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_2 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_3 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_4 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_5 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_6 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_7 : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_total : 0 1189.33/782.17 c (13,0) c Blocked_Reuse_winner : 0 1189.33/782.17 c (13,0) c Unaries_0 : 0 1189.33/782.17 c (13,0) c Unaries_1 : 0 1189.33/782.17 c (13,0) c Unaries_2 : 0 1189.33/782.17 c (13,0) c Unaries_3 : 0 1189.33/782.17 c (13,0) c Unaries_4 : 0 1189.33/782.17 c (13,0) c Unaries_5 : 0 1189.33/782.17 c (13,0) c Unaries_6 : 0 1189.33/782.17 c (13,0) c Unaries_7 : 0 1189.33/782.17 c (13,0) c Unaries_total : 0 1189.33/782.17 c (13,0) c Unaries_winner : 0 1189.33/782.17 c (13,0) c Binaries_0 : 57 1189.33/782.17 c (13,0) c Binaries_1 : 67 1189.33/782.17 c (13,0) c Binaries_2 : 58 1189.33/782.17 c (13,0) c Binaries_3 : 51 1189.33/782.17 c (13,0) c Binaries_4 : 41 1189.33/782.17 c (13,0) c Binaries_5 : 72 1189.33/782.17 c (13,0) c Binaries_6 : 54 1189.33/782.17 c (13,0) c Binaries_7 : 59 1189.33/782.17 c (13,0) c Binaries_total : 459 1189.33/782.17 c (13,0) c Binaries_winner : 51 1189.33/782.17 c (13,0) c Glues_0 : 78 1189.33/782.17 c (13,0) c Glues_1 : 99 1189.33/782.17 c (13,0) c Glues_2 : 78 1189.33/782.17 c (13,0) c Glues_3 : 68 1189.33/782.17 c (13,0) c Glues_4 : 101 1189.33/782.17 c (13,0) c Glues_5 : 88 1189.33/782.17 c (13,0) c Glues_6 : 72 1189.33/782.17 c (13,0) c Glues_7 : 87 1189.33/782.17 c (13,0) c Glues_total : 671 1189.33/782.17 c (13,0) c Glues_winner : 68 1189.33/782.17 c (13,0) c RunningTime_0 : 6.606393 1189.33/782.17 c (13,0) c RunningTime_1 : 6.531319 1189.33/782.17 c (13,0) c RunningTime_2 : 7.132837 1189.33/782.17 c (13,0) c RunningTime_3 : 6.458631 1189.33/782.17 c (13,0) c RunningTime_4 : 6.483264 1189.33/782.17 c (13,0) c RunningTime_5 : 6.462300 1189.33/782.17 c (13,0) c RunningTime_6 : 6.498785 1189.33/782.17 c (13,0) c RunningTime_7 : 6.754724 1189.33/782.18 c (13,0) c RunningTime_total : 52.928253 1189.33/782.18 c (13,0) c RunningTime_winner : 6.458631 1189.33/782.18 c (13,0) c WaitingTime_0 : 0.000005 1189.33/782.18 c (13,0) c WaitingTime_1 : 0.000005 1189.33/782.18 c (13,0) c WaitingTime_2 : 0.000006 1189.33/782.18 c (13,0) c WaitingTime_3 : 0.000003 1189.33/782.18 c (13,0) c WaitingTime_4 : 0.000010 1189.33/782.18 c (13,0) c WaitingTime_5 : 0.000007 1189.33/782.18 c (13,0) c WaitingTime_6 : 0.000005 1189.33/782.18 c (13,0) c WaitingTime_7 : 0.000003 1189.33/782.18 c (13,0) c WaitingTime_total : 0.000043 1189.33/782.18 c (13,0) c WaitingTime_winner : 0.000003 1189.33/782.18 c (13,0) c ExchangingTime_0 : 0.000706 1189.33/782.18 c (13,0) c ExchangingTime_1 : 0.000540 1189.33/782.18 c (13,0) c ExchangingTime_2 : 0.001529 1189.33/782.18 c (13,0) c ExchangingTime_3 : 0.001155 1189.33/782.18 c (13,0) c ExchangingTime_4 : 0.000903 1189.33/782.18 c (13,0) c ExchangingTime_5 : 0.000459 1189.33/782.18 c (13,0) c ExchangingTime_6 : 0.003788 1189.33/782.18 c (13,0) c ExchangingTime_7 : 0.000688 1189.33/782.18 c (13,0) c ExchangingTime_total : 0.009768 1189.33/782.18 c (13,0) c ExchangingTime_winner : 0.001155 1189.33/782.18 c (13,0) c PeriodProcTime_0 : 0.000226 1189.33/782.18 c (13,0) c PeriodProcTime_1 : 0.000260 1189.33/782.18 c (13,0) c PeriodProcTime_2 : 0.000232 1189.33/782.18 c (13,0) c PeriodProcTime_3 : 0.000222 1189.33/782.18 c (13,0) c PeriodProcTime_4 : 0.000276 1189.33/782.18 c (13,0) c PeriodProcTime_5 : 0.000246 1189.33/782.18 c (13,0) c PeriodProcTime_6 : 0.000299 1189.33/782.18 c (13,0) c PeriodProcTime_7 : 0.000426 1189.33/782.18 c (13,0) c PeriodProcTime_total : 0.002186 1189.33/782.18 c (13,0) c PeriodProcTime_winner : 0.000222 1189.33/782.18 c (13,0) c SolvingTime_0 : 6.607329 1189.33/782.18 c (13,0) c SolvingTime_1 : 6.532124 1189.33/782.18 c (13,0) c SolvingTime_2 : 7.134604 1189.33/782.18 c (13,0) c SolvingTime_3 : 6.460011 1189.33/782.18 c (13,0) c SolvingTime_4 : 6.484453 1189.33/782.18 c (13,0) c SolvingTime_5 : 6.463011 1189.33/782.18 c (13,0) c SolvingTime_6 : 6.502877 1189.33/782.18 c (13,0) c SolvingTime_7 : 6.755840 1189.33/782.18 c (13,0) c SolvingTime_total : 52.940250 1189.33/782.18 c (13,0) c SolvingTime_winner : 6.460011 1189.33/782.18 c (13,0) c PropagationTime_0 : 6.098480 1189.33/782.18 c (13,0) c PropagationTime_1 : 6.099021 1189.33/782.18 c (13,0) c PropagationTime_2 : 6.557139 1189.33/782.18 c (13,0) c PropagationTime_3 : 5.885870 1189.33/782.18 c (13,0) c PropagationTime_4 : 5.915068 1189.33/782.18 c (13,0) c PropagationTime_5 : 5.992776 1189.33/782.18 c (13,0) c PropagationTime_6 : 5.992796 1189.33/782.18 c (13,0) c PropagationTime_7 : 6.227292 1189.33/782.18 c (13,0) c PropagationTime_total : 48.768442 1189.33/782.18 c (13,0) c PropagationTime_winner : 5.885870 1189.33/782.18 c (13,0) c AnalysisTime_0 : 0.215668 1189.33/782.18 c (13,0) c AnalysisTime_1 : 0.149084 1189.33/782.18 c (13,0) c AnalysisTime_2 : 0.227612 1189.33/782.18 c (13,0) c AnalysisTime_3 : 0.207510 1189.33/782.18 c (13,0) c AnalysisTime_4 : 0.255903 1189.33/782.18 c (13,0) c AnalysisTime_5 : 0.150540 1189.33/782.18 c (13,0) c AnalysisTime_6 : 0.177818 1189.33/782.18 c (13,0) c AnalysisTime_7 : 0.203304 1189.33/782.18 c (13,0) c AnalysisTime_total : 1.587439 1189.33/782.18 c (13,0) c AnalysisTime_winner : 0.207510 1189.33/782.18 c (13,0) c ReductionTime_0 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_1 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_2 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_3 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_4 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_5 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_6 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_7 : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_total : 0.000000 1189.33/782.18 c (13,0) c ReductionTime_winner : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_0 : 0.000001 1189.33/782.18 c (13,0) c SimplifyTime_1 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_2 : 0.000001 1189.33/782.18 c (13,0) c SimplifyTime_3 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_4 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_5 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_6 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_7 : 0.000000 1189.33/782.18 c (13,0) c SimplifyTime_total : 0.000002 1189.33/782.18 c (13,0) c SimplifyTime_winner : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_0 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_1 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_2 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_3 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_4 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_5 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_6 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_7 : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_total : 0.000000 1189.33/782.18 c (13,0) c UsedRateTime_winner : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_0 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_1 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_2 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_3 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_4 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_5 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_6 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_7 : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_total : 0.000000 1189.33/782.18 c (13,0) c OverlapRateTime_winner : 0.000000 1189.33/782.18 c (13,0) c 1189.33/782.18 c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1189.33/782.18 c (13,0) c 1189.33/782.18 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.18 c (13,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1189.33/782.18 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.18 c (13,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1189.33/782.18 c (13,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1189.33/782.18 c (13,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1189.33/782.18 c (13,0) c | Initial random_seed | 1828153417 | 572535726 | 1649241455 | 253752209 | 496686175 | 574510076 | 881732078 | 1567957727 | 1189.33/782.18 c (13,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1189.33/782.18 c (13,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1189.33/782.18 c (13,0) c | glureduce | True | True | True | True | True | True | True | True | 1189.33/782.18 c (13,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1189.33/782.18 c (13,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1189.33/782.18 c (13,0) c | luby_restart | False | False | False | False | False | False | False | False | 1189.33/782.18 c (13,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1189.33/782.18 c (13,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1189.33/782.18 c (13,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1189.33/782.18 c (13,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1189.33/782.18 c (13,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1189.33/782.18 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1189.33/782.18 c (13,0) 1189.33/782.18 c (13,0) s SATISFIABLE 1134.55/782.59 c (14,0) SatSolver.solve End 1134.55/782.59 c (14,0) Heap : 268 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 1134.55/782.59 c (14,0) Show results Begin 1190.56/782.73 c (14,0) x[0][0] = 10 1190.56/782.73 c (14,0) x[0][1] = 20 1190.56/782.73 c (14,0) x[0][2] = 12 1190.56/782.73 c (14,0) x[0][3] = 1 1190.56/782.73 c (14,0) x[0][4] = 11 1190.56/782.73 c (14,0) x[0][5] = 11 1190.56/782.73 c (14,0) x[0][6] = 0 1190.56/782.73 c (14,0) x[0][8] = 5 1190.56/782.73 c (14,0) x[0][9] = 4 1190.56/782.73 c (14,0) x[0][10] = 20 1190.56/782.73 c (14,0) x[0][11] = 17 1190.56/782.73 c (14,0) x[0][12] = 0 1190.56/782.73 c (14,0) x[0][13] = 13 1190.56/782.73 c (14,0) x[0][14] = 25 1190.56/782.73 c (14,0) x[1][0] = 0 1190.56/782.73 c (14,0) x[1][1] = 1 1190.56/782.73 c (14,0) x[1][2] = 14 1190.56/782.73 c (14,0) x[1][3] = 17 1190.56/782.73 c (14,0) x[1][4] = 3 1190.56/782.73 c (14,0) x[1][5] = 4 1190.56/782.73 c (14,0) x[1][6] = 25 1190.56/782.73 c (14,0) x[1][8] = 4 1190.56/782.73 c (14,0) x[1][9] = 11 1190.56/782.73 c (14,0) x[1][10] = 1 1190.56/782.73 c (14,0) x[1][11] = 14 1190.56/782.73 c (14,0) x[1][12] = 17 1190.56/782.73 c (14,0) x[1][13] = 3 1190.56/782.73 c (14,0) x[1][14] = 14 1190.56/782.73 c (14,0) x[2][0] = 11 1190.56/782.73 c (14,0) x[2][1] = 0 1190.56/782.73 c (14,0) x[2][2] = 15 1190.56/782.73 c (14,0) x[2][3] = 0 1190.56/782.73 c (14,0) x[2][4] = 17 1190.56/782.73 c (14,0) x[2][5] = 21 1190.56/782.73 c (14,0) x[2][6] = 0 1190.56/782.73 c (14,0) x[2][8] = 18 1190.56/782.73 c (14,0) x[2][9] = 10 1190.56/782.73 c (14,0) x[2][10] = 4 1190.56/782.73 c (14,0) x[2][11] = 20 1190.56/782.73 c (14,0) x[2][12] = 21 1190.56/782.73 c (14,0) x[2][13] = 17 1190.56/782.73 c (14,0) x[2][14] = 4 1190.56/782.73 c (14,0) x[3][0] = 4 1190.56/782.73 c (14,0) x[3][1] = 2 1190.56/782.73 c (14,0) x[3][2] = 14 1190.56/782.73 c (14,0) x[3][3] = 18 1190.56/782.73 c (14,0) x[3][5] = 8 1190.56/782.73 c (14,0) x[3][6] = 14 1190.56/782.73 c (14,0) x[3][7] = 3 1190.56/782.73 c (14,0) x[3][8] = 4 1190.56/782.73 c (14,0) x[3][9] = 18 1190.56/782.73 c (14,0) x[3][11] = 12 1190.56/782.73 c (14,0) x[3][12] = 4 1190.56/782.73 c (14,0) x[3][13] = 4 1190.56/782.73 c (14,0) x[3][14] = 18 1190.56/782.73 c (14,0) x[4][3] = 7 1190.56/782.73 c (14,0) x[4][4] = 1 1190.56/782.73 c (14,0) x[4][5] = 6 1190.56/782.73 c (14,0) x[4][7] = 4 1190.56/782.73 c (14,0) x[4][8] = 11 1190.56/782.73 c (14,0) x[4][9] = 4 1190.56/782.73 c (14,0) x[4][10] = 21 1190.56/782.73 c (14,0) x[4][11] = 0 1190.56/782.73 c (14,0) x[5][0] = 0 1190.56/782.73 c (14,0) x[5][1] = 6 1190.56/782.73 c (14,0) x[5][2] = 8 1190.56/782.73 c (14,0) x[5][3] = 19 1190.56/782.73 c (14,0) x[5][4] = 0 1190.56/782.73 c (14,0) x[5][5] = 13 1190.56/782.73 c (14,0) x[5][6] = 19 1190.56/782.73 c (14,0) x[5][7] = 18 1190.56/782.73 c (14,0) x[5][9] = 1 1190.56/782.73 c (14,0) x[5][10] = 0 1190.56/782.73 c (14,0) x[5][11] = 3 1190.56/782.73 c (14,0) x[5][12] = 4 1190.56/782.73 c (14,0) x[5][13] = 12 1190.56/782.73 c (14,0) x[5][14] = 18 1190.56/782.73 c (14,0) x[6][0] = 2 1190.56/782.73 c (14,0) x[6][1] = 14 1190.56/782.73 c (14,0) x[6][2] = 11 1190.56/782.73 c (14,0) x[6][3] = 14 1190.56/782.73 c (14,0) x[6][4] = 2 1190.56/782.73 c (14,0) x[6][5] = 0 1190.56/782.73 c (14,0) x[6][6] = 18 1190.56/782.73 c (14,0) x[6][7] = 4 1190.56/782.74 c (14,0) x[6][8] = 18 1190.56/782.74 c (14,0) x[6][10] = 19 1190.56/782.74 c (14,0) x[6][11] = 0 1190.56/782.74 c (14,0) x[6][12] = 11 1190.56/782.74 c (14,0) x[6][13] = 0 1190.56/782.74 c (14,0) x[6][14] = 19 1190.56/782.74 c (14,0) x[7][0] = 7 1190.56/782.74 c (14,0) x[7][1] = 20 1190.56/782.74 c (14,0) x[7][2] = 8 1190.56/782.74 c (14,0) x[7][4] = 7 1190.56/782.74 c (14,0) x[7][5] = 20 1190.56/782.74 c (14,0) x[7][6] = 0 1190.56/782.74 c (14,0) x[7][7] = 13 1190.56/782.74 c (14,0) x[7][8] = 19 1190.56/782.74 c (14,0) x[7][9] = 4 1190.56/782.74 c (14,0) x[7][10] = 18 1190.56/782.74 c (14,0) x[7][12] = 10 1190.56/782.74 c (14,0) x[7][13] = 4 1190.56/782.74 c (14,0) x[7][14] = 0 1190.56/782.74 c (14,0) x[8][0] = 0 1190.56/782.74 c (14,0) x[8][1] = 17 1190.56/782.74 c (14,0) x[8][2] = 0 1190.56/782.74 c (14,0) x[8][3] = 2 1190.56/782.74 c (14,0) x[8][4] = 10 1190.56/782.74 c (14,0) x[8][6] = 18 1190.56/782.74 c (14,0) x[8][7] = 13 1190.56/782.74 c (14,0) x[8][8] = 0 1190.56/782.74 c (14,0) x[8][9] = 2 1190.56/782.74 c (14,0) x[8][10] = 10 1190.56/782.74 c (14,0) x[8][11] = 1 1190.56/782.74 c (14,0) x[8][12] = 0 1190.56/782.74 c (14,0) x[8][13] = 17 1190.56/782.74 c (14,0) x[8][14] = 18 1190.56/782.74 c (14,0) x[9][0] = 19 1190.56/782.74 c (14,0) x[9][1] = 0 1190.56/782.74 c (14,0) x[9][2] = 17 1190.56/782.74 c (14,0) x[9][3] = 0 1190.56/782.74 c (14,0) x[9][4] = 8 1190.56/782.74 c (14,0) x[9][5] = 19 1190.56/782.74 c (14,0) x[9][7] = 20 1190.56/782.74 c (14,0) x[9][8] = 11 1190.56/782.74 c (14,0) x[9][9] = 11 1190.56/782.74 c (14,0) x[9][10] = 4 1190.56/782.74 c (14,0) x[9][11] = 3 1190.56/782.74 c (14,0) x[9][12] = 0 1190.56/782.74 c (14,0) x[9][13] = 11 1190.56/782.74 c (14,0) x[9][14] = 4 1190.56/782.74 c (14,0) x[10][3] = 20 1190.56/782.74 c (14,0) x[10][4] = 17 1190.56/782.74 c (14,0) x[10][5] = 17 1190.56/782.74 c (14,0) x[10][6] = 0 1190.56/782.74 c (14,0) x[10][7] = 24 1190.56/782.74 c (14,0) x[10][9] = 0 1190.56/782.74 c (14,0) x[10][10] = 17 1190.56/782.74 c (14,0) x[10][11] = 4 1190.56/782.74 c (14,0) x[11][0] = 17 1190.56/782.74 c (14,0) x[11][1] = 20 1190.56/782.74 c (14,0) x[11][2] = 4 1190.56/782.74 c (14,0) x[11][3] = 17 1190.56/782.74 c (14,0) x[11][5] = 14 1190.56/782.74 c (14,0) x[11][6] = 8 1190.56/782.74 c (14,0) x[11][7] = 4 1190.56/782.74 c (14,0) x[11][8] = 13 1190.56/782.74 c (14,0) x[11][9] = 19 1190.56/782.74 c (14,0) x[11][11] = 12 1190.56/782.74 c (14,0) x[11][12] = 20 1190.56/782.74 c (14,0) x[11][13] = 11 1190.56/782.74 c (14,0) x[11][14] = 11 1190.56/782.74 c (14,0) x[12][0] = 0 1190.56/782.74 c (14,0) x[12][1] = 13 1190.56/782.74 c (14,0) x[12][2] = 3 1190.56/782.74 c (14,0) x[12][3] = 4 1190.56/782.74 c (14,0) x[12][4] = 4 1190.56/782.74 c (14,0) x[12][5] = 13 1190.56/782.74 c (14,0) x[12][6] = 18 1190.56/782.74 c (14,0) x[12][8] = 14 1190.56/782.74 c (14,0) x[12][9] = 14 1190.56/782.74 c (14,0) x[12][10] = 17 1190.56/782.74 c (14,0) x[12][11] = 0 1190.56/782.74 c (14,0) x[12][12] = 11 1190.56/782.74 c (14,0) x[12][13] = 4 1190.56/782.74 c (14,0) x[12][14] = 0 1190.56/782.74 c (14,0) x[13][0] = 13 1190.56/782.74 c (14,0) x[13][1] = 8 1190.56/782.74 c (14,0) x[13][2] = 4 1190.56/782.74 c (14,0) x[13][3] = 20 1190.56/782.74 c (14,0) x[13][4] = 3 1190.56/782.74 c (14,0) x[13][5] = 0 1190.56/782.74 c (14,0) x[13][6] = 13 1190.56/782.74 c (14,0) x[13][8] = 8 1190.56/782.74 c (14,0) x[13][9] = 13 1190.56/782.74 c (14,0) x[13][10] = 4 1190.56/782.74 c (14,0) x[13][11] = 24 1190.56/782.74 c (14,0) x[13][12] = 4 1190.56/782.74 c (14,0) x[13][13] = 13 1190.56/782.74 c (14,0) x[13][14] = 4 1190.56/782.74 c (14,0) x[14][0] = 8 1190.56/782.74 c (14,0) x[14][1] = 17 1190.56/782.74 c (14,0) x[14][2] = 17 1190.56/782.74 c (14,0) x[14][3] = 0 1190.56/782.74 c (14,0) x[14][4] = 3 1190.56/782.74 c (14,0) x[14][5] = 8 1190.56/782.74 c (14,0) x[14][6] = 4 1190.56/782.74 c (14,0) x[14][8] = 4 1190.56/782.74 c (14,0) x[14][9] = 18 1190.56/782.74 c (14,0) x[14][10] = 18 1190.56/782.74 c (14,0) x[14][11] = 14 1190.56/782.74 c (14,0) x[14][12] = 24 1190.56/782.74 c (14,0) x[14][13] = 4 1190.56/782.74 c (14,0) x[14][14] = 13 1190.56/782.74 s SATISFIABLE 1190.56/782.75 v <instantiation> 1190.56/782.75 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14]</list> 1190.56/782.75 v <values>10 20 12 1 11 11 0 5 4 20 17 0 13 25 0 1 14 17 3 4 25 4 11 1 14 17 3 14 11 0 15 0 17 21 0 18 10 4 20 21 17 4 4 2 14 18 8 14 3 4 18 12 4 4 18 7 1 6 4 11 4 21 0 0 6 8 19 0 13 19 18 1 0 3 4 12 18 2 14 11 14 2 0 18 4 18 19 0 11 0 19 7 20 8 7 20 0 13 19 4 18 10 4 0 0 17 0 2 10 18 13 0 2 10 1 0 17 18 19 0 17 0 8 19 20 11 11 4 3 0 11 4 20 17 17 0 24 0 17 4 17 20 4 17 14 8 4 13 19 12 20 11 11 0 13 3 4 4 13 18 14 14 17 0 11 4 0 13 8 4 20 3 0 13 8 13 4 24 4 13 4 8 17 17 0 3 8 4 4 18 18 14 24 4 13</values> 1190.56/782.75 v </instantiation> 1190.56/782.75 c (14,0) Show results End 1190.56/782.75 c (14,0) Heap : 289 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 1190.56/782.75 c (14,0) 14,14,STOP-AFTER(ALL) 1190.56/782.75 c END-Prog: Wed Sep 25 00:19:15 CEST 2019
OK
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 (10789 MiB free) memory of node 1: 16384 MiB (14146 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405702-1569362810/watcher-4405702-1569362810 -o /tmp/evaluation-result-4405702-1569362810/solver-4405702-1569362810 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569358820-16113 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405702-1569362810.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=16993, runsolver pid=16990 [startup+0.100127 s]* /proc/loadavg: 7.45 8.08 8.23 2/212 17015 /proc/meminfo: memFree=25438304/32770624 swapFree=67002580/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512442520 115843072 349 33554432000 4194304 5098028 140720780567808 140720780565064 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 349 296 221 0 87 0 [pid=16996] ppid=16993 vsize=27314120 memory=107388 CPUtime=0.1 cores=0-7 /proc/16996/stat : 16996 (java) S 16993 16993 16086 0 -1 1077944320 6456 0 0 0 8 2 0 0 20 0 20 0 512442520 27969658880 26847 33554432000 4194304 4196468 140722179798464 140722179781008 140434346364663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 /proc/16996/statm: 6828530 26847 2771 1 0 6790935 0 [pid=16996/tid=16997] ppid=16993 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/16996/task/16997/stat : 16997 (java) R 16993 16993 16086 0 -1 4202560 4563 0 0 0 7 2 0 0 20 0 20 0 512442520 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434318186944 140434339461547 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16998] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/16998/stat : 16998 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434350606992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16999] ppid=16993 vsize=27314120 memory=288370736107038336 CPUtime=0 cores=0-7 /proc/16996/task/16999/stat : 16999 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434164763152 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17000] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17000/stat : 17000 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434163710352 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17001] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17001/stat : 17001 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434162657552 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17002] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17002/stat : 17002 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434161605776 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17003] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17003/stat : 17003 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434160552976 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17004] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17004/stat : 17004 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434159500176 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17005] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17005/stat : 17005 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 26912 33554432000 4194304 4196468 140722179798464 140434158447376 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17006] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17006/stat : 17006 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442524 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433404402032 140434346375810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17007] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17007/stat : 17007 (java) S 16993 16993 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 26912 33554432000 4194304 4196468 140722179798464 140432143016992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17008] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17008/stat : 17008 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 26912 33554432000 4194304 4196468 140722179798464 140431874581360 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17009] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17009/stat : 17009 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140431500072784 140434346383259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17010] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17010/stat : 17010 (java) S 16993 16993 16086 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433403349872 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17011] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17011/stat : 17011 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433402297072 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17012] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17012/stat : 17012 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433401244272 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17013] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17013/stat : 17013 (java) S 16993 16993 16086 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433400191472 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17014] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17014/stat : 17014 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140431002167904 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17015] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17015/stat : 17015 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 26912 33554432000 4194304 4196468 140722179798464 140433399138864 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108784 KiB [startup+0.21015 s]* /proc/loadavg: 7.45 8.08 8.23 3/212 17015 /proc/meminfo: memFree=25417092/32770624 swapFree=67002580/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512442520 115843072 349 33554432000 4194304 5098028 140720780567808 140720780565064 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 349 296 221 0 87 0 [pid=16996] ppid=16993 vsize=27314120 memory=126776 CPUtime=0.24 cores=0-7 /proc/16996/stat : 16996 (java) S 16993 16993 16086 0 -1 1077944320 12086 0 0 0 20 4 0 0 20 0 20 0 512442520 27969658880 31694 33554432000 4194304 4196468 140722179798464 140722179781008 140434346364663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 /proc/16996/statm: 6828530 31694 2922 1 0 6790935 0 [pid=16996/tid=16997] ppid=16993 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/16996/task/16997/stat : 16997 (java) R 16993 16993 16086 0 -1 4202560 9816 0 0 0 16 4 0 0 20 0 20 0 512442520 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434318179728 140434326639891 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16998] ppid=16993 vsize=27314120 memory=14976 CPUtime=0 cores=0-7 /proc/16996/task/16998/stat : 16998 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434350606992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16999] ppid=16993 vsize=27314120 memory=140359955343427 CPUtime=0 cores=0-7 /proc/16996/task/16999/stat : 16999 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434164763152 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17000] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17000/stat : 17000 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434163710352 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17001] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17001/stat : 17001 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434162657552 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17002] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17002/stat : 17002 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434161605776 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17003] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17003/stat : 17003 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434160552976 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17004] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17004/stat : 17004 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434159500176 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17005] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17005/stat : 17005 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 31694 33554432000 4194304 4196468 140722179798464 140434158447376 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17006] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17006/stat : 17006 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442524 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433404402032 140434346375810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17007] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17007/stat : 17007 (java) S 16993 16993 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 31694 33554432000 4194304 4196468 140722179798464 140432143016992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17008] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17008/stat : 17008 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 31694 33554432000 4194304 4196468 140722179798464 140431874581360 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17009] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17009/stat : 17009 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140431500072784 140434346383259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17010] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17010/stat : 17010 (java) S 16993 16993 16086 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433403349872 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17011] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17011/stat : 17011 (java) S 16993 16993 16086 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433402297072 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17012] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17012/stat : 17012 (java) S 16993 16993 16086 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433401244272 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17013] ppid=16993 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/16996/task/17013/stat : 17013 (java) S 16993 16993 16086 0 -1 1077944384 442 0 0 0 2 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433400191472 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17014] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17014/stat : 17014 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140431002167904 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17015] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17015/stat : 17015 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 31694 33554432000 4194304 4196468 140722179798464 140433399138864 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128172 KiB [startup+0.30947 s]* /proc/loadavg: 7.45 8.08 8.23 2/212 17015 /proc/meminfo: memFree=25414424/32770624 swapFree=67002580/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512442520 115843072 349 33554432000 4194304 5098028 140720780567808 140720780565064 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 349 296 221 0 87 0 [pid=16996] ppid=16993 vsize=27314120 memory=130376 CPUtime=0.42 cores=0-7 /proc/16996/stat : 16996 (java) S 16993 16993 16086 0 -1 1077944320 12454 0 0 0 37 5 0 0 20 0 20 0 512442520 27969658880 32594 33554432000 4194304 4196468 140722179798464 140722179781008 140434346364663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 /proc/16996/statm: 6828530 32594 3023 1 0 6790935 0 [pid=16996/tid=16997] ppid=16993 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/16996/task/16997/stat : 16997 (java) R 16993 16993 16086 0 -1 4202560 10003 0 0 0 25 4 0 0 20 0 20 0 512442520 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434318178528 140434330489226 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16998] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/16998/stat : 16998 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434350606992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16999] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/16999/stat : 16999 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434164763152 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17000] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17000/stat : 17000 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434163710352 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17001] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17001/stat : 17001 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434162657552 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17002] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17002/stat : 17002 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434161605776 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17003] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17003/stat : 17003 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434160552976 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17004] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17004/stat : 17004 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434159500176 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17005] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17005/stat : 17005 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27969658880 32594 33554432000 4194304 4196468 140722179798464 140434158447376 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17006] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17006/stat : 17006 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512442524 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433404402032 140434346375810 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17007] ppid=16993 vsize=27314120 memory=280719599541632 CPUtime=0 cores=0-7 /proc/16996/task/17007/stat : 17007 (java) S 16993 16993 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 32594 33554432000 4194304 4196468 140722179798464 140432143016992 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17008] ppid=16993 vsize=27314120 memory=280719599546240 CPUtime=0 cores=0-7 /proc/16996/task/17008/stat : 17008 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442525 27969658880 32594 33554432000 4194304 4196468 140722179798464 140431874581360 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17009] ppid=16993 vsize=27314120 memory=280719599550848 CPUtime=0 cores=0-7 /proc/16996/task/17009/stat : 17009 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140431500072784 140434346383259 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17010] ppid=16993 vsize=27314120 memory=280719599555456 CPUtime=0.01 cores=0-7 /proc/16996/task/17010/stat : 17010 (java) S 16993 16993 16086 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433403349872 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17011] ppid=16993 vsize=27314120 memory=280719599560064 CPUtime=0.01 cores=0-7 /proc/16996/task/17011/stat : 17011 (java) R 16993 16993 16086 0 -1 4202560 127 0 0 0 1 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433402297072 140434324206272 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17012] ppid=16993 vsize=27314120 memory=280719599564672 CPUtime=0.01 cores=0-7 /proc/16996/task/17012/stat : 17012 (java) S 16993 16993 16086 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433401244272 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17013] ppid=16993 vsize=27314120 memory=280719599569280 CPUtime=0.07 cores=0-7 /proc/16996/task/17013/stat : 17013 (java) S 16993 16993 16086 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433400191472 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17014] ppid=16993 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/17014/stat : 17014 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140431002167904 140434346374869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17015] ppid=16993 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16996/task/17015/stat : 17015 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442528 27969658880 32594 33554432000 4194304 4196468 140722179798464 140433399138864 140434346375810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131772 KiB [startup+0.700905 s] /proc/loadavg: 7.45 8.08 8.23 2/212 17015 /proc/meminfo: memFree=25394344/32770624 swapFree=67002580/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512442520 115843072 349 33554432000 4194304 5098028 140720780567808 140720780565064 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 349 296 221 0 87 0 [pid=16996] ppid=16993 vsize=27320392 memory=167848 CPUtime=0.99 cores=0-7 /proc/16996/stat : 16996 (java) S 16993 16993 16086 0 -1 1077944320 20020 0 0 0 92 7 0 0 20 0 20 0 512442520 27976081408 41962 33554432000 4194304 4196468 140722179798464 140722179781008 140434346364663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 /proc/16996/statm: 6830098 41962 3183 1 0 6791447 0 [pid=16996/tid=16997] ppid=16993 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/16996/task/16997/stat : 16997 (java) R 16993 16993 16086 0 -1 4202560 16911 0 0 0 62 6 0 0 20 0 20 0 512442520 27976081408 41962 33554432000 4194304 4196468 140722179798464 140434318200688 140434346386589 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16998] ppid=16993 vsize=27320392 memory=140359799972736 CPUtime=0 cores=0-7 /proc/16996/task/16998/stat : 16998 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27976081408 41962 33554432000 4194304 4196468 140722179798464 140434350606992 140434346374869 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=16999] ppid=16993 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/16996/task/16999/stat : 16999 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27976081408 41962 33554432000 4194304 4196468 140722179798464 140434164763152 140434346374869 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 [pid=16996/tid=17000] ppid=16993 vsize=27320392 memory=1052 CPUtime=0 cores=0-7 /proc/16996/task/17000/stat : 17000 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512442523 27976081408 41962 33554432000 4194304 4196468 140722179798464 140434163710352 140434346374869 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19849216 140722179805930 140722179806358 140722179806358 140722179809231 0 ################ # More data... # ################ [pid=17073/tid=17074] ppid=16993 vsize=8414124 memory=1408 CPUtime=0.78 cores=0-7 /proc/17073/task/17074/stat : 17074 (java) S 16993 16993 16086 0 -1 1077944384 17396 0 0 0 72 6 0 0 20 0 24 0 512519335 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857421225888 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17075] ppid=16993 vsize=8414124 memory=3408 CPUtime=0 cores=0-7 /proc/17073/task/17075/stat : 17075 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857453628432 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17076] ppid=16993 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17073/task/17076/stat : 17076 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857253797008 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17077] ppid=16993 vsize=8414124 memory=118476 CPUtime=0 cores=0-7 /proc/17073/task/17077/stat : 17077 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857252743952 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17078] ppid=16993 vsize=8414124 memory=5391064 CPUtime=0 cores=0-7 /proc/17073/task/17078/stat : 17078 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857251691408 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17079] ppid=16993 vsize=8414124 memory=1096 CPUtime=0 cores=0-7 /proc/17073/task/17079/stat : 17079 (java) S 16993 16993 16086 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857250638352 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17080] ppid=16993 vsize=8414124 memory=6168 CPUtime=0 cores=0-7 /proc/17073/task/17080/stat : 17080 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857249585808 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17081] ppid=16993 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/17073/task/17081/stat : 17081 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857248532752 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17082] ppid=16993 vsize=8414124 memory=33120 CPUtime=0 cores=0-7 /proc/17073/task/17082/stat : 17082 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519336 8616062976 43257 33554432000 4194304 4196468 140732119053808 139857247480208 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17083] ppid=16993 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17073/task/17083/stat : 17083 (java) S 16993 16993 16086 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512519338 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856407653104 139857449396866 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17084] ppid=16993 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17073/task/17084/stat : 17084 (java) S 16993 16993 16086 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512519338 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856013420192 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17085] ppid=16993 vsize=8414124 memory=118476 CPUtime=0 cores=0-7 /proc/17073/task/17085/stat : 17085 (java) S 16993 16993 16086 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512519338 8616062976 43257 33554432000 4194304 4196468 140732119053808 139855879197936 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17086] ppid=16993 vsize=8414124 memory=5742460 CPUtime=0 cores=0-7 /proc/17073/task/17086/stat : 17086 (java) S 16993 16993 16086 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139855504693712 139857449404315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17087] ppid=16993 vsize=8414124 memory=924 CPUtime=0.07 cores=0-7 /proc/17073/task/17087/stat : 17087 (java) S 16993 16993 16086 0 -1 1077944384 791 0 0 0 7 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856406599920 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17088] ppid=16993 vsize=8414124 memory=1692 CPUtime=0.1 cores=0-7 /proc/17073/task/17088/stat : 17088 (java) S 16993 16993 16086 0 -1 1077944384 262 0 0 0 10 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856405547376 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17089] ppid=16993 vsize=8414124 memory=912 CPUtime=0.09 cores=0-7 /proc/17073/task/17089/stat : 17089 (java) S 16993 16993 16086 0 -1 1077944384 448 0 0 0 9 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856404494320 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17090] ppid=16993 vsize=8414124 memory=1448 CPUtime=0.26 cores=0-7 /proc/17073/task/17090/stat : 17090 (java) S 16993 16993 16086 0 -1 1077944384 1162 0 0 0 26 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856403441776 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17091] ppid=16993 vsize=8414124 memory=1964 CPUtime=0 cores=0-7 /proc/17073/task/17091/stat : 17091 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512519341 8616062976 43257 33554432000 4194304 4196468 140732119053808 139855006788576 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17092] ppid=16993 vsize=8414124 memory=1720 CPUtime=0 cores=0-7 /proc/17073/task/17092/stat : 17092 (java) S 16993 16993 16086 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512519342 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856402390192 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17094] ppid=16993 vsize=8414124 memory=1096 CPUtime=0 cores=0-7 /proc/17073/task/17094/stat : 17094 (java) S 16993 16993 16086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512519411 8616062976 43257 33554432000 4194304 4196468 140732119053808 139856886236608 139857449410329 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17096] ppid=16993 vsize=8414124 memory=6168 CPUtime=0.14 cores=0-7 /proc/17073/task/17096/stat : 17096 (java) R 16993 16993 16086 0 -1 4202560 42 0 0 0 12 2 0 0 20 0 24 0 512519411 8616062976 43257 33554432000 4194304 4196468 140732119053808 139854335688192 139856905985273 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17097] ppid=16993 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/17073/task/17097/stat : 17097 (java) S 16993 16993 16086 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512519411 8616062976 43257 33554432000 4194304 4196468 140732119053808 139854604123824 139857449407645 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17098] ppid=16993 vsize=8414124 memory=33120 CPUtime=0 cores=0-7 /proc/17073/task/17098/stat : 17098 (java) S 16993 16993 16086 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512519413 8616062976 43257 33554432000 4194304 4196468 140732119053808 139854067260336 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 Current children cumulated CPU time: 1134.38 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 174504 KiB [startup+782.601 s] /proc/loadavg: 1.68 1.95 4.32 2/217 17106 /proc/meminfo: memFree=19448116/32770624 swapFree=67002584/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1476 CPUtime=1132.9 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 583 484082 0 0 0 0 108608 4682 20 0 1 0 512442520 115843072 369 33554432000 4194304 5098028 140720780567808 140720780564552 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 369 311 221 0 87 0 [pid=17073] ppid=16993 vsize=8283048 memory=276132 CPUtime=57.45 cores=0-7 /proc/17073/stat : 17073 (java) S 16993 16993 16086 0 -1 1077944320 21701 1408531 0 0 169 12 4974 590 20 0 22 0 512519334 8481841152 69033 33554432000 4194304 4196468 140732119053808 140732119036352 139857449385719 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 /proc/17073/statm: 2070762 69033 3227 1 0 2032106 0 [pid=17073/tid=17074] ppid=16993 vsize=8283048 memory=2120 CPUtime=56.42 cores=0-7 /proc/17073/task/17074/stat : 17074 (java) R 16993 16993 16086 0 -1 4202560 17413 1408531 0 0 72 6 4974 590 20 0 22 0 512519335 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857421225888 139857433466206 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17075] ppid=16993 vsize=8283048 memory=504 CPUtime=55.64 cores=0-7 /proc/17073/task/17075/stat : 17075 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857453628432 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17076] ppid=16993 vsize=8283048 memory=1560 CPUtime=55.64 cores=0-7 /proc/17073/task/17076/stat : 17076 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857253797008 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17077] ppid=16993 vsize=8283048 memory=924 CPUtime=55.64 cores=0-7 /proc/17073/task/17077/stat : 17077 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857252743952 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17078] ppid=16993 vsize=8283048 memory=1692 CPUtime=55.64 cores=0-7 /proc/17073/task/17078/stat : 17078 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857251691408 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17079] ppid=16993 vsize=8283048 memory=912 CPUtime=55.64 cores=0-7 /proc/17073/task/17079/stat : 17079 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857250638352 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17080] ppid=16993 vsize=8283048 memory=1448 CPUtime=55.64 cores=0-7 /proc/17073/task/17080/stat : 17080 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857249585808 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17081] ppid=16993 vsize=8283048 memory=2456 CPUtime=55.64 cores=0-7 /proc/17073/task/17081/stat : 17081 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857248532752 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17082] ppid=16993 vsize=8283048 memory=1760 CPUtime=55.64 cores=0-7 /proc/17073/task/17082/stat : 17082 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 69033 33554432000 4194304 4196468 140732119053808 139857247480208 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17083] ppid=16993 vsize=8283048 memory=111632 CPUtime=55.64 cores=0-7 /proc/17073/task/17083/stat : 17083 (java) S 16993 16993 16086 0 -1 1077944384 9 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856407653104 139857449396866 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17084] ppid=16993 vsize=8283048 memory=804 CPUtime=55.64 cores=0-7 /proc/17073/task/17084/stat : 17084 (java) S 16993 16993 16086 0 -1 1077944384 13 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856013420192 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17085] ppid=16993 vsize=8283048 memory=1804 CPUtime=55.64 cores=0-7 /proc/17073/task/17085/stat : 17085 (java) S 16993 16993 16086 0 -1 1077944384 21 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 69033 33554432000 4194304 4196468 140732119053808 139855879197936 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17086] ppid=16993 vsize=8283048 memory=916 CPUtime=55.64 cores=0-7 /proc/17073/task/17086/stat : 17086 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139855504693712 139857449404315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17087] ppid=16993 vsize=8283048 memory=4764 CPUtime=55.75 cores=0-7 /proc/17073/task/17087/stat : 17087 (java) S 16993 16993 16086 0 -1 1077944384 798 1408531 0 0 11 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856406599920 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17088] ppid=16993 vsize=8283048 memory=4104 CPUtime=55.77 cores=0-7 /proc/17073/task/17088/stat : 17088 (java) S 16993 16993 16086 0 -1 1077944384 278 1408531 0 0 13 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856405547376 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17089] ppid=16993 vsize=8283048 memory=1408 CPUtime=55.76 cores=0-7 /proc/17073/task/17089/stat : 17089 (java) S 16993 16993 16086 0 -1 1077944384 455 1408531 0 0 12 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856404494320 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17090] ppid=16993 vsize=8283048 memory=3408 CPUtime=55.92 cores=0-7 /proc/17073/task/17090/stat : 17090 (java) S 16993 16993 16086 0 -1 1077944384 1196 1408531 0 0 28 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856403441776 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17091] ppid=16993 vsize=8283048 memory=1476 CPUtime=55.64 cores=0-7 /proc/17073/task/17091/stat : 17091 (java) S 16993 16993 16086 0 -1 1077944384 3 1408531 0 0 0 0 4974 590 20 0 22 0 512519341 8481841152 69033 33554432000 4194304 4196468 140732119053808 139855006788576 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17092] ppid=16993 vsize=8283048 memory=118476 CPUtime=55.64 cores=0-7 /proc/17073/task/17092/stat : 17092 (java) S 16993 16993 16086 0 -1 1077944384 3 1408531 0 0 0 0 4974 590 20 0 22 0 512519342 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856402390192 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17094] ppid=16993 vsize=8283048 memory=3373736 CPUtime=55.64 cores=0-7 /proc/17073/task/17094/stat : 17094 (java) S 16993 16993 16086 0 -1 1077944384 25 1408531 0 0 0 0 4974 590 20 0 22 0 512519411 8481841152 69033 33554432000 4194304 4196468 140732119053808 139856886235792 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17098] ppid=16993 vsize=8283048 memory=288230583166042426 CPUtime=55.64 cores=0-7 /proc/17073/task/17098/stat : 17098 (java) S 16993 16993 16086 0 -1 1077944384 14 1408531 0 0 0 0 4974 590 20 0 22 0 512519413 8481841152 69033 33554432000 4194304 4196468 140732119053808 139854067262128 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 Current children cumulated CPU time: 1190.35 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 277608 KiB [startup+782.701 s] /proc/loadavg: 1.68 1.95 4.32 2/217 17106 /proc/meminfo: memFree=19448116/32770624 swapFree=67002584/67108860 [pid=16993] ppid=16990 vsize=113128 memory=1476 CPUtime=1132.9 cores=0-7 /proc/16993/stat : 16993 (scop.sh) S 16990 16993 16086 0 -1 4202496 583 484082 0 0 0 0 108608 4682 20 0 1 0 512442520 115843072 369 33554432000 4194304 5098028 140720780567808 140720780564552 140146191291004 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7512064 140720780575524 140720780575852 140720780575852 140720780578765 0 /proc/16993/statm: 28282 369 311 221 0 87 0 [pid=17073] ppid=16993 vsize=8283048 memory=281744 CPUtime=57.66 cores=0-7 /proc/17073/stat : 17073 (java) S 16993 16993 16086 0 -1 1077944320 22081 1408531 0 0 189 13 4974 590 20 0 22 0 512519334 8481841152 70436 33554432000 4194304 4196468 140732119053808 140732119036352 139857449385719 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 /proc/17073/statm: 2070762 70436 3230 1 0 2032106 0 [pid=17073/tid=17074] ppid=16993 vsize=8283048 memory=1476 CPUtime=56.53 cores=0-7 /proc/17073/task/17074/stat : 17074 (java) R 16993 16993 16086 0 -1 4202560 17641 1408531 0 0 82 7 4974 590 20 0 22 0 512519335 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857421224368 139856902758293 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17075] ppid=16993 vsize=8283048 memory=5772672 CPUtime=55.64 cores=0-7 /proc/17073/task/17075/stat : 17075 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857453628432 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17076] ppid=16993 vsize=8283048 memory=1416 CPUtime=55.64 cores=0-7 /proc/17073/task/17076/stat : 17076 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857253797008 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17077] ppid=16993 vsize=8283048 memory=1476 CPUtime=55.64 cores=0-7 /proc/17073/task/17077/stat : 17077 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857252743952 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17078] ppid=16993 vsize=8283048 memory=118476 CPUtime=55.64 cores=0-7 /proc/17073/task/17078/stat : 17078 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857251691408 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17079] ppid=16993 vsize=8283048 memory=1396 CPUtime=55.64 cores=0-7 /proc/17073/task/17079/stat : 17079 (java) S 16993 16993 16086 0 -1 1077944384 2 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857250638352 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17080] ppid=16993 vsize=8283048 memory=23199684 CPUtime=55.64 cores=0-7 /proc/17073/task/17080/stat : 17080 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857249585808 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17081] ppid=16993 vsize=8283048 memory=1052 CPUtime=55.64 cores=0-7 /proc/17073/task/17081/stat : 17081 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857248532752 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17082] ppid=16993 vsize=8283048 memory=1940 CPUtime=55.64 cores=0-7 /proc/17073/task/17082/stat : 17082 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519336 8481841152 70436 33554432000 4194304 4196468 140732119053808 139857247480208 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17083] ppid=16993 vsize=8283048 memory=1416 CPUtime=55.64 cores=0-7 /proc/17073/task/17083/stat : 17083 (java) S 16993 16993 16086 0 -1 1077944384 9 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856407653104 139857449396866 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17084] ppid=16993 vsize=8283048 memory=1476 CPUtime=55.64 cores=0-7 /proc/17073/task/17084/stat : 17084 (java) S 16993 16993 16086 0 -1 1077944384 13 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856013420192 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17085] ppid=16993 vsize=8283048 memory=118476 CPUtime=55.64 cores=0-7 /proc/17073/task/17085/stat : 17085 (java) S 16993 16993 16086 0 -1 1077944384 21 1408531 0 0 0 0 4974 590 20 0 22 0 512519338 8481841152 70436 33554432000 4194304 4196468 140732119053808 139855879197936 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17086] ppid=16993 vsize=8283048 memory=5772192 CPUtime=55.64 cores=0-7 /proc/17073/task/17086/stat : 17086 (java) S 16993 16993 16086 0 -1 1077944384 1 1408531 0 0 0 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139855504693712 139857449404315 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17087] ppid=16993 vsize=8283048 memory=1476 CPUtime=55.76 cores=0-7 /proc/17073/task/17087/stat : 17087 (java) S 16993 16993 16086 0 -1 1077944384 807 1408531 0 0 12 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856406599920 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17088] ppid=16993 vsize=8283048 memory=5734656 CPUtime=55.8 cores=0-7 /proc/17073/task/17088/stat : 17088 (java) S 16993 16993 16086 0 -1 1077944384 287 1408531 0 0 16 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856405547376 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17089] ppid=16993 vsize=8283048 memory=1736 CPUtime=55.78 cores=0-7 /proc/17073/task/17089/stat : 17089 (java) S 16993 16993 16086 0 -1 1077944384 465 1408531 0 0 14 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856404494320 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17090] ppid=16993 vsize=8283048 memory=3612086880201371616 CPUtime=55.96 cores=0-7 /proc/17073/task/17090/stat : 17090 (java) R 16993 16993 16086 0 -1 4202560 1321 1408531 0 0 32 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856403441776 139857433201758 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17091] ppid=16993 vsize=8283048 memory=3835289931123752964 CPUtime=55.64 cores=0-7 /proc/17073/task/17091/stat : 17091 (java) S 16993 16993 16086 0 -1 1077944384 3 1408531 0 0 0 0 4974 590 20 0 22 0 512519341 8481841152 70436 33554432000 4194304 4196468 140732119053808 139855006788576 139857449395925 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17092] ppid=16993 vsize=8283048 memory=164 CPUtime=55.64 cores=0-7 /proc/17073/task/17092/stat : 17092 (java) S 16993 16993 16086 0 -1 1077944384 3 1408531 0 0 0 0 4974 590 20 0 22 0 512519342 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856402390192 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17094] ppid=16993 vsize=8283048 memory=7086507929139105877 CPUtime=55.64 cores=0-7 /proc/17073/task/17094/stat : 17094 (java) S 16993 16993 16086 0 -1 1077944384 25 1408531 0 0 0 0 4974 590 20 0 22 0 512519411 8481841152 70436 33554432000 4194304 4196468 140732119053808 139856886235792 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 [pid=17073/tid=17098] ppid=16993 vsize=8283048 memory=1476 CPUtime=55.64 cores=0-7 /proc/17073/task/17098/stat : 17098 (java) S 16993 16993 16086 0 -1 1077944384 14 1408531 0 0 0 0 4974 590 20 0 22 0 512519413 8481841152 70436 33554432000 4194304 4196468 140732119053808 139854067262128 139857449396866 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140732119061495 140732119061654 140732119061654 140732119064527 0 Current children cumulated CPU time: 1190.56 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 283220 KiB Child status: 0 Real time (s): 782.79 CPU time (s): 1190.75 CPU user time (s): 1137.83 CPU system time (s): 52.9128 CPU usage (%): 152.116 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 23202140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1137.83 system time used= 52.9128 maximum resident set size= 23201020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1916498 page faults= 0 swaps= 0 block input operations= 8 block output operations= 392656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 486937 involuntary context switches= 5125 # summary of solver processes directly reported to runsolver: # pid: 16993 # total CPU time (s): 1190.75 # total CPU user time (s): 1137.83 # total CPU system time (s): 52.9128 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.83669 second user time and 6.82601 second system time The end
Begin job on node148 at 2019-09-25 00:06:12 IDJOB=4405702 IDBENCH=140060 IDSOLVER=2868 FILE ID=node148/4405702-1569362810 RUNJOBID= node148-1569358820-16113 PBS_JOBID= 21705115 Free space on /tmp= 22080 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405702-1569362810/watcher-4405702-1569362810 -o /tmp/evaluation-result-4405702-1569362810/solver-4405702-1569362810 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569358820-16113 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405702-1569362810.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=1099719134 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25534636 kB MemAvailable: 31855504 kB Buffers: 63396 kB Cached: 6528872 kB SwapCached: 3412 kB Active: 4344136 kB Inactive: 2254240 kB Active(anon): 4592 kB Inactive(anon): 56344 kB Active(file): 4339544 kB Inactive(file): 2197896 kB Unevictable: 111008 kB Mlocked: 111008 kB SwapTotal: 67108860 kB SwapFree: 67002580 kB Dirty: 26132 kB Writeback: 24 kB AnonPages: 115516 kB Mapped: 56952 kB Shmem: 47088 kB Slab: 227140 kB SReclaimable: 198524 kB SUnreclaim: 28616 kB KernelStack: 3360 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22060 MiB End job on node148 at 2019-09-25 00:19:15