| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 1198.4 | 791.428 |
| 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-4900-serial-file.bin HOME/instance-4392842-1568446779.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: Sat Sep 14 09:38:58 CEST 2019 0.66/0.56 c PID: 4903 0.66/0.56 c IP: 172.20.3.145 0.66/0.56 c HOST: node145.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.10/1.69 c (1,1) Parsing End 3.10/1.70 c (1,1) CSP: 195 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 26 3.27/1.70 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.27/1.70 c (1,1) Constraint Name Generate Begin 3.27/1.70 c (1,1) Ctr:HOME/instance-4392842-1568446779.xml,ExtensionSupport:Var 3.27/1.70 c (1,1) Constraint Name Generate End 3.27/1.70 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.27/1.70 c (1,1) CSP to CSPinCNF Begin 121.48/87.97 c (87,84) translated 8 (10%) constraints 221.30/160.75 c (160,153) translated 15 (20%) constraints 290.40/214.18 c (213,204) translated 22 (30%) constraints 299.27/219.61 c (219,209) translated 29 (40%) constraints 304.17/224.56 c (224,214) translated 36 (50%) constraints 321.77/239.39 c (238,228) translated 44 (60%) constraints 341.33/256.21 c (255,245) translated 51 (70%) constraints 352.41/264.32 c (263,252) translated 58 (80%) constraints 431.62/328.96 c (328,315) translated 65 (90%) constraints 562.81/437.88 c (437,420) translated 72 (100%) constraints 587.85/456.91 c (456,439) =========================================== 590.11/459.12 c (458,441) Hybrid: #OE=741699, #LE=0 590.11/459.12 c (458,441) Hybrid 590.11/459.12 c (458,441) =========================================== 610.66/475.32 c (474,456) translated 762152 (10%) constraints 631.52/491.71 c (491,472) translated 1524304 (20%) constraints 653.16/508.42 c (507,488) translated 2286456 (30%) constraints 674.47/525.15 c (524,504) translated 3048608 (40%) constraints 695.57/541.79 c (541,520) translated 3810760 (50%) constraints 711.28/557.45 c (556,536) translated 4572912 (60%) constraints 732.85/574.11 c (573,552) translated 5335064 (70%) constraints 754.50/590.78 c (590,568) translated 6097216 (80%) constraints 776.19/607.44 c (606,584) translated 6859368 (90%) constraints 792.14/623.26 c (622,600) translated 7621519 (100%) constraints 792.14/623.26 c (622,600) CSP to CSPinCNF End 792.35/623.48 c (622,600) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 792.35/623.48 c (622,600) Heap : 15254 MiB used (max 21825 MiB), NonHeap : 27 MiB used (max 0 MiB) 792.35/623.48 c (622,600) CSPinCNF Propagation Begin 881.90/665.10 c (664,634) 0 values, 72 unsatisfiable literals, and 0 valid clauses are removed 881.90/665.10 c (664,634) CSPinCNF Propagation End 882.30/665.43 c (664,635) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 882.30/665.43 c (664,635) Heap : 18228 MiB used (max 21900 MiB), NonHeap : 27 MiB used (max 0 MiB) 884.61/667.75 c (667,637) Hybrid: #OE=741699, #LE=0 884.61/667.75 c (667,637) Simplify CSPinCNF Begin 927.10/686.31 c (685,652) Simplify CSPinCNF End 927.30/686.53 c (685,652) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 927.30/686.53 c (685,652) Heap : 17036 MiB used (max 21245 MiB), NonHeap : 27 MiB used (max 0 MiB) 927.30/686.53 c (685,652) Calculate Precise Domain Begin 927.30/686.53 c (685,653) 0 values are removed by re-calculation 927.30/686.53 c (685,653) Calculate Precise Domain End 927.50/686.75 c (686,653) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 927.50/686.75 c (686,653) Heap : 17036 MiB used (max 21245 MiB), NonHeap : 27 MiB used (max 0 MiB) 927.50/686.75 c (686,653) CSPinCNF to SatSolver Begin 1053.64/710.07 c (709,661) 762152 (10 %) CSP clauses are encoded (0 SAT variables, 766831 SAT clauses) 1062.52/717.56 c (717,668) 1524304 (20 %) CSP clauses are encoded (0 SAT variables, 1528983 SAT clauses) 1071.38/724.89 c (724,676) 2286456 (30 %) CSP clauses are encoded (0 SAT variables, 2291135 SAT clauses) 1082.18/732.40 c (731,683) 3048608 (40 %) CSP clauses are encoded (0 SAT variables, 3053287 SAT clauses) 1091.12/739.78 c (739,690) 3810760 (50 %) CSP clauses are encoded (0 SAT variables, 3815439 SAT clauses) 1100.18/747.25 c (746,697) 4572912 (60 %) CSP clauses are encoded (0 SAT variables, 4577591 SAT clauses) 1109.11/754.52 c (753,704) 5335064 (70 %) CSP clauses are encoded (0 SAT variables, 5339743 SAT clauses) 1117.97/761.79 c (761,711) 6097216 (80 %) CSP clauses are encoded (0 SAT variables, 6101895 SAT clauses) 1128.84/769.29 c (768,718) 6859368 (90 %) CSP clauses are encoded (0 SAT variables, 6864047 SAT clauses) 1137.68/776.43 c (775,725) 7621519 (100 %) CSP clauses are encoded (0 SAT variables, 7626198 SAT clauses) 1137.68/776.43 c (775,725) CSPinCNF to SatSolver End 1137.68/776.43 c (775,725) Heap : 10898 MiB used (max 21639 MiB), NonHeap : 30 MiB used (max 0 MiB) 1137.68/776.43 c (775,725) 746379 bool, 7626199 clause 1137.68/776.43 c (775,725) Export Begin 1137.83/776.54 c (775,725) Export to HOME/scop-4900-serial-file.bin 1137.83/776.54 c (775,725) Export End 1137.83/776.54 c (776,725) Export File Size: 0.04 MB 1137.83/776.54 c (776,725) 1,1,622,664,685,686,775,STOP-AFTER(DIMACS) 1137.83/776.54 c END-Prog: Sat Sep 14 09:51:54 CEST 2019 0.00/776.67 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4900-serial-file.bin 1138.59/777.14 c (0,0) Read Serial File Begin 1138.59/777.14 c (0,0) HOME/scop-4900-serial-file.bin 1138.87/777.37 c (0,0) Read Serial File End 1138.87/777.38 1138.87/777.38 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 1138.87/777.38 (Solving Process) 1138.87/777.38 1139.04/777.40 c BEGIN-Prog: Sat Sep 14 09:51:55 CEST 2019 1139.04/777.40 c PID: 4985 1139.04/777.40 c IP: 172.20.3.145 1139.04/777.40 c HOST: node145.alineos.net 1139.04/777.41 c (0,0) SatSolver.solve Begin 1139.04/777.41 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392842-1568446779.xml-scop-4903.cnf 1139.04/777.44 c (0,0) c 1139.04/777.44 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) 1139.04/777.44 c (0,0) c 1139.04/777.44 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1139.04/777.44 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1139.04/777.44 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1139.04/777.44 c (0,0) c | | 1142.23/780.40 c (3,0) c | Number of variables: 746379 | 1142.23/780.40 c (3,0) c | Number of clauses: 7626199 | 1142.23/780.40 c (3,0) c | Parse time: 2.70 s | 1142.23/780.40 c (3,0) c | | 1142.83/781.07 c (4,0) c | Too many clauses... No preprocessing | 1142.83/781.07 c (4,0) c | Simplification time: 0.61 s | 1142.83/781.07 c (4,0) c | | 1142.83/781.10 c (4,0) c | Generating clones | 1145.32/783.52 c (6,0) c | all clones generated. Memory = 5258.31Mb. | 1145.32/783.52 c (6,0) c ========================================================================================================| 1145.32/783.52 c (6,0) c 1145.32/783.52 c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1145.32/783.52 c (6,0) c 1145.32/783.52 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1145.32/783.52 c (6,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1145.32/783.52 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1145.32/783.52 c (6,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1145.32/783.52 c (6,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1145.32/783.52 c (6,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1145.32/783.52 c (6,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 1145.32/783.52 c (6,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1145.32/783.52 c (6,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1145.32/783.52 c (6,0) c | glureduce | True | True | True | True | True | True | True | True | 1145.32/783.52 c (6,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1145.32/783.52 c (6,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1145.32/783.52 c (6,0) c | luby_restart | False | False | False | False | False | False | False | False | 1145.32/783.52 c (6,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1145.32/783.52 c (6,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1145.32/783.52 c (6,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1145.32/783.52 c (6,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1145.32/783.52 c (6,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1145.32/783.52 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c real time : 13.3664 s 1197.03/790.80 c (13,0) c cpu time : 52.1276 s 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | Conflicts | 10936 | 1579 | 1129 | 1516 | 1216 | 2007 | 1056 | 1105 | 1328 | 1197.03/790.80 c (13,0) c | Decisions | 640637 | 79282 | 77163 | 94080 | 105173 | 67424 | 81396 | 69661 | 66458 | 1197.03/790.80 c (13,0) c | Propagations | 108792009 | 15788731 | 12443933 | 14579022 | 12617159 | 13979089 | 13199953 | 14615307 | 11568815 | 1197.03/790.80 c (13,0) c | ReduceDBs | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1197.03/790.80 c (13,0) c | Restarts | 38 | 4 | 1 | 7 | 4 | 5 | 6 | 9 | 2 | 1197.03/790.80 c (13,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | PropBinClauses| 102669352 | 14678708 | 11883761 | 13950649 | 11735205 | 13593197 | 12310408 | 12781886 | 11735538 | 1197.03/790.80 c (13,0) c | PropPreBlocker| 592741643 | 85022080 | 69509676 | 81363571 | 72918348 | 78528664 | 69763127 | 66222174 | 69414003 | 1197.03/790.80 c (13,0) c | PropNotBlocker| 208194414 | 28520414 | 24270079 | 28553563 | 24794656 | 29332312 | 23843089 | 24553565 | 24326736 | 1197.03/790.80 c (13,0) c | LitFullScans | 1139922967 | 162041361 | 132193344 | 156071520 | 137259415 | 156094614 | 132134768 | 132060746 | 132067199 | 1197.03/790.80 c (13,0) c | LitScanFracts | 313988 | 31674 | 17931 | 49913 | 43851 | 30095 | 50736 | 46878 | 42910 | 1197.03/790.80 c (13,0) c | DecisionLevel0| 38 | 4 | 1 | 7 | 4 | 5 | 6 | 9 | 2 | 1197.03/790.80 c (13,0) c | Periods | 189 | 27 | 22 | 26 | 22 | 26 | 22 | 22 | 22 | 1197.03/790.80 c (13,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1197.03/790.80 c (13,0) c | Avg_Trail | | 329326 | 358052 | 305902 | 439739 | 225607 | 324064 | 257552 | 355408 | 1197.03/790.80 c (13,0) c | Avg_DL | | 4772 | 7097 | 758 | 1811 | 904 | 1298 | 1188 | 2243 | 1197.03/790.80 c (13,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | Exported | 694 | 90 | 99 | 96 | 68 | 110 | 81 | 63 | 87 | 1197.03/790.80 c (13,0) c | Imported | 330 | 145 | 0 | 29 | 0 | 127 | 0 | 29 | 0 | 1197.03/790.80 c (13,0) c | Good | 287 | 121 | 0 | 28 | 0 | 110 | 0 | 28 | 0 | 1197.03/790.80 c (13,0) c | Purge | 43 | 24 | 0 | 1 | 0 | 17 | 0 | 1 | 0 | 1197.03/790.80 c (13,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1197.03/790.80 c (13,0) c | Binaries | | 61 | 67 | 67 | 51 | 46 | 67 | 50 | 59 | 1197.03/790.80 c (13,0) c | Glues | | 90 | 99 | 96 | 68 | 110 | 81 | 63 | 87 | 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | Orig_Seen | 0 % | 76199 | 52923 | 82831 | 73974 | 61520 | 38931 | 72833 | 76200 | 1197.03/790.80 c (13,0) c | Diff Orig seen| | 2225 | - 21051 | 8857 | X | - 12454 | - 35043 | - 1141 | 2226 | 1197.03/790.80 c (13,0) c | Hamming | 4 % | 32517 | 35344 | 36921 | X | 36822 | 33667 | 31866 | 37761 | 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c | RunningTime | | 7.0 100%| 6.9 100%| 6.8 100%| 6.7 100%| 6.7 100%| 7.2 100%| 7.2 100%| 7.0 100%| 1197.03/790.80 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%| 1197.03/790.80 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%| 1197.03/790.80 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%| 1197.03/790.80 c (13,0) c | SolvingTime | | 7.0 | 6.9 | 6.8 | 6.7 | 6.7 | 7.2 | 7.2 | 7.0 | 1197.03/790.80 c (13,0) c | PropagationTim| | 6.4 92%| 6.4 94%| 6.3 92%| 6.1 91%| 6.1 92%| 6.6 92%| 6.6 92%| 6.5 93%| 1197.03/790.80 c (13,0) c | AnalysisTime | | 0.2 3%| 0.2 2%| 0.2 3%| 0.2 3%| 0.3 4%| 0.2 2%| 0.2 3%| 0.2 3%| 1197.03/790.80 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%| 1197.03/790.80 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%| 1197.03/790.80 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%| 1197.03/790.80 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%| 1197.03/790.80 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c 1197.03/790.80 c (13,0) c Threads : 8 1197.03/790.80 c (13,0) c Winner : 3 1197.03/790.80 c (13,0) c Conflicts_0 : 1579 1197.03/790.80 c (13,0) c Conflicts_1 : 1129 1197.03/790.80 c (13,0) c Conflicts_2 : 1516 1197.03/790.80 c (13,0) c Conflicts_3 : 1216 1197.03/790.80 c (13,0) c Conflicts_4 : 2007 1197.03/790.80 c (13,0) c Conflicts_5 : 1056 1197.03/790.80 c (13,0) c Conflicts_6 : 1105 1197.03/790.80 c (13,0) c Conflicts_7 : 1328 1197.03/790.80 c (13,0) c Conflicts_total : 10936 1197.03/790.80 c (13,0) c Conflicts_winner : 1216 1197.03/790.80 c (13,0) c Decisions_0 : 79282 1197.03/790.80 c (13,0) c Decisions_1 : 77163 1197.03/790.80 c (13,0) c Decisions_2 : 94080 1197.03/790.80 c (13,0) c Decisions_3 : 105173 1197.03/790.80 c (13,0) c Decisions_4 : 67424 1197.03/790.80 c (13,0) c Decisions_5 : 81396 1197.03/790.80 c (13,0) c Decisions_6 : 69661 1197.03/790.80 c (13,0) c Decisions_7 : 66458 1197.03/790.80 c (13,0) c Decisions_total : 640637 1197.03/790.80 c (13,0) c Decisions_winner : 105173 1197.03/790.80 c (13,0) c Propagations_0 : 15788731 1197.03/790.80 c (13,0) c Propagations_1 : 12443933 1197.03/790.80 c (13,0) c Propagations_2 : 14579022 1197.03/790.80 c (13,0) c Propagations_3 : 12617159 1197.03/790.80 c (13,0) c Propagations_4 : 13979089 1197.03/790.80 c (13,0) c Propagations_5 : 13199953 1197.03/790.80 c (13,0) c Propagations_6 : 14615307 1197.03/790.80 c (13,0) c Propagations_7 : 11568815 1197.03/790.80 c (13,0) c Propagations_total : 108792009 1197.03/790.80 c (13,0) c Propagations_winner : 12617159 1197.03/790.80 c (13,0) c ReduceDBs_0 : 0 1197.03/790.80 c (13,0) c ReduceDBs_1 : 0 1197.03/790.80 c (13,0) c ReduceDBs_2 : 0 1197.03/790.80 c (13,0) c ReduceDBs_3 : 0 1197.03/790.80 c (13,0) c ReduceDBs_4 : 1 1197.03/790.80 c (13,0) c ReduceDBs_5 : 0 1197.03/790.80 c (13,0) c ReduceDBs_6 : 0 1197.03/790.80 c (13,0) c ReduceDBs_7 : 0 1197.03/790.80 c (13,0) c ReduceDBs_total : 1 1197.03/790.80 c (13,0) c ReduceDBs_winner : 0 1197.03/790.80 c (13,0) c SimpDBs_0 : 1 1197.03/790.80 c (13,0) c SimpDBs_1 : 1 1197.03/790.80 c (13,0) c SimpDBs_2 : 1 1197.03/790.80 c (13,0) c SimpDBs_3 : 1 1197.03/790.80 c (13,0) c SimpDBs_4 : 1 1197.03/790.80 c (13,0) c SimpDBs_5 : 1 1197.03/790.80 c (13,0) c SimpDBs_6 : 1 1197.03/790.80 c (13,0) c SimpDBs_7 : 1 1197.03/790.80 c (13,0) c SimpDBs_total : 8 1197.03/790.80 c (13,0) c SimpDBs_winner : 1 1197.03/790.81 c (13,0) c Restarts_0 : 4 1197.03/790.81 c (13,0) c Restarts_1 : 1 1197.03/790.81 c (13,0) c Restarts_2 : 7 1197.03/790.81 c (13,0) c Restarts_3 : 4 1197.03/790.81 c (13,0) c Restarts_4 : 5 1197.03/790.81 c (13,0) c Restarts_5 : 6 1197.03/790.81 c (13,0) c Restarts_6 : 9 1197.03/790.81 c (13,0) c Restarts_7 : 2 1197.03/790.81 c (13,0) c Restarts_total : 38 1197.03/790.81 c (13,0) c Restarts_winner : 4 1197.03/790.81 c (13,0) c ForcedImports_0 : 0 1197.03/790.81 c (13,0) c ForcedImports_1 : 0 1197.03/790.81 c (13,0) c ForcedImports_2 : 0 1197.03/790.81 c (13,0) c ForcedImports_3 : 0 1197.03/790.81 c (13,0) c ForcedImports_4 : 0 1197.03/790.81 c (13,0) c ForcedImports_5 : 0 1197.03/790.81 c (13,0) c ForcedImports_6 : 0 1197.03/790.81 c (13,0) c ForcedImports_7 : 0 1197.03/790.81 c (13,0) c ForcedImports_total : 0 1197.03/790.81 c (13,0) c ForcedImports_winner : 0 1197.03/790.81 c (13,0) c PropsBinClauses_0 : 14678708 1197.03/790.81 c (13,0) c PropsBinClauses_1 : 11883761 1197.03/790.81 c (13,0) c PropsBinClauses_2 : 13950649 1197.03/790.81 c (13,0) c PropsBinClauses_3 : 11735205 1197.03/790.81 c (13,0) c PropsBinClauses_4 : 13593197 1197.03/790.81 c (13,0) c PropsBinClauses_5 : 12310408 1197.03/790.81 c (13,0) c PropsBinClauses_6 : 12781886 1197.03/790.81 c (13,0) c PropsBinClauses_7 : 11735538 1197.03/790.81 c (13,0) c PropsBinClauses_total : 102669352 1197.03/790.81 c (13,0) c PropsBinClauses_winner : 11735205 1197.03/790.81 c (13,0) c PropsPreBlocker_0 : 85022080 1197.03/790.81 c (13,0) c PropsPreBlocker_1 : 69509676 1197.03/790.81 c (13,0) c PropsPreBlocker_2 : 81363571 1197.03/790.81 c (13,0) c PropsPreBlocker_3 : 72918348 1197.03/790.81 c (13,0) c PropsPreBlocker_4 : 78528664 1197.03/790.81 c (13,0) c PropsPreBlocker_5 : 69763127 1197.03/790.81 c (13,0) c PropsPreBlocker_6 : 66222174 1197.03/790.81 c (13,0) c PropsPreBlocker_7 : 69414003 1197.03/790.81 c (13,0) c PropsPreBlocker_total : 592741643 1197.03/790.81 c (13,0) c PropsPreBlocker_winner : 72918348 1197.03/790.81 c (13,0) c PropsNotBlocker_0 : 28520414 1197.03/790.81 c (13,0) c PropsNotBlocker_1 : 24270079 1197.03/790.81 c (13,0) c PropsNotBlocker_2 : 28553563 1197.03/790.81 c (13,0) c PropsNotBlocker_3 : 24794656 1197.03/790.81 c (13,0) c PropsNotBlocker_4 : 29332312 1197.03/790.81 c (13,0) c PropsNotBlocker_5 : 23843089 1197.03/790.81 c (13,0) c PropsNotBlocker_6 : 24553565 1197.03/790.81 c (13,0) c PropsNotBlocker_7 : 24326736 1197.03/790.81 c (13,0) c PropsNotBlocker_total : 208194414 1197.03/790.81 c (13,0) c PropsNotBlocker_winner : 24794656 1197.03/790.81 c (13,0) c PropsLitFullScans_0 : 162041361 1197.03/790.81 c (13,0) c PropsLitFullScans_1 : 132193344 1197.03/790.81 c (13,0) c PropsLitFullScans_2 : 156071520 1197.03/790.81 c (13,0) c PropsLitFullScans_3 : 137259415 1197.03/790.81 c (13,0) c PropsLitFullScans_4 : 156094614 1197.03/790.81 c (13,0) c PropsLitFullScans_5 : 132134768 1197.03/790.81 c (13,0) c PropsLitFullScans_6 : 132060746 1197.03/790.81 c (13,0) c PropsLitFullScans_7 : 132067199 1197.03/790.81 c (13,0) c PropsLitFullScans_total : 1139922967 1197.03/790.81 c (13,0) c PropsLitFullScans_winner : 137259415 1197.03/790.81 c (13,0) c LitScanFractions_0 : 31674 1197.03/790.81 c (13,0) c LitScanFractions_1 : 17931 1197.03/790.81 c (13,0) c LitScanFractions_2 : 49913 1197.03/790.81 c (13,0) c LitScanFractions_3 : 43851 1197.03/790.81 c (13,0) c LitScanFractions_4 : 30095 1197.03/790.81 c (13,0) c LitScanFractions_5 : 50736 1197.03/790.81 c (13,0) c LitScanFractions_6 : 46878 1197.03/790.81 c (13,0) c LitScanFractions_7 : 42910 1197.03/790.81 c (13,0) c LitScanFractions_total : 313988 1197.03/790.81 c (13,0) c LitScanFractions_winner : 43851 1197.03/790.81 c (13,0) c DecisionLevel0_0 : 4 1197.03/790.81 c (13,0) c DecisionLevel0_1 : 1 1197.03/790.81 c (13,0) c DecisionLevel0_2 : 7 1197.03/790.81 c (13,0) c DecisionLevel0_3 : 4 1197.03/790.81 c (13,0) c DecisionLevel0_4 : 5 1197.03/790.81 c (13,0) c DecisionLevel0_5 : 6 1197.03/790.81 c (13,0) c DecisionLevel0_6 : 9 1197.03/790.81 c (13,0) c DecisionLevel0_7 : 2 1197.03/790.81 c (13,0) c DecisionLevel0_total : 38 1197.03/790.81 c (13,0) c DecisionLevel0_winner : 4 1197.03/790.81 c (13,0) c Periods_0 : 27 1197.03/790.81 c (13,0) c Periods_1 : 22 1197.03/790.81 c (13,0) c Periods_2 : 26 1197.03/790.81 c (13,0) c Periods_3 : 22 1197.03/790.81 c (13,0) c Periods_4 : 26 1197.03/790.81 c (13,0) c Periods_5 : 22 1197.03/790.81 c (13,0) c Periods_6 : 22 1197.03/790.81 c (13,0) c Periods_7 : 22 1197.03/790.81 c (13,0) c Periods_total : 189 1197.03/790.81 c (13,0) c Periods_winner : 22 1197.03/790.81 c (13,0) c Margin_0 : 20 1197.03/790.81 c (13,0) c Margin_1 : 20 1197.03/790.81 c (13,0) c Margin_2 : 20 1197.03/790.81 c (13,0) c Margin_3 : 20 1197.03/790.81 c (13,0) c Margin_4 : 20 1197.03/790.81 c (13,0) c Margin_5 : 20 1197.03/790.81 c (13,0) c Margin_6 : 20 1197.03/790.81 c (13,0) c Margin_7 : 20 1197.03/790.81 c (13,0) c Margin_total : 160 1197.03/790.81 c (13,0) c Margin_winner : 20 1197.03/790.81 c (13,0) c Exported_0 : 90 1197.03/790.81 c (13,0) c Exported_1 : 99 1197.03/790.81 c (13,0) c Exported_2 : 96 1197.03/790.81 c (13,0) c Exported_3 : 68 1197.03/790.81 c (13,0) c Exported_4 : 110 1197.03/790.81 c (13,0) c Exported_5 : 81 1197.03/790.81 c (13,0) c Exported_6 : 63 1197.03/790.81 c (13,0) c Exported_7 : 87 1197.03/790.81 c (13,0) c Exported_total : 694 1197.03/790.81 c (13,0) c Exported_winner : 68 1197.03/790.81 c (13,0) c Imported_0 : 145 1197.03/790.81 c (13,0) c Imported_1 : 0 1197.03/790.81 c (13,0) c Imported_2 : 29 1197.03/790.81 c (13,0) c Imported_3 : 0 1197.03/790.81 c (13,0) c Imported_4 : 127 1197.03/790.81 c (13,0) c Imported_5 : 0 1197.03/790.81 c (13,0) c Imported_6 : 29 1197.03/790.81 c (13,0) c Imported_7 : 0 1197.03/790.81 c (13,0) c Imported_total : 330 1197.03/790.81 c (13,0) c Imported_winner : 0 1197.03/790.81 c (13,0) c Good_0 : 121 1197.03/790.81 c (13,0) c Good_1 : 0 1197.03/790.81 c (13,0) c Good_2 : 28 1197.03/790.81 c (13,0) c Good_3 : 0 1197.03/790.81 c (13,0) c Good_4 : 110 1197.03/790.81 c (13,0) c Good_5 : 0 1197.03/790.81 c (13,0) c Good_6 : 28 1197.03/790.81 c (13,0) c Good_7 : 0 1197.03/790.81 c (13,0) c Good_total : 287 1197.03/790.81 c (13,0) c Good_winner : 0 1197.03/790.81 c (13,0) c Purge_0 : 24 1197.03/790.81 c (13,0) c Purge_1 : 0 1197.03/790.81 c (13,0) c Purge_2 : 1 1197.03/790.81 c (13,0) c Purge_3 : 0 1197.03/790.81 c (13,0) c Purge_4 : 17 1197.03/790.81 c (13,0) c Purge_5 : 0 1197.03/790.81 c (13,0) c Purge_6 : 1 1197.03/790.81 c (13,0) c Purge_7 : 0 1197.03/790.81 c (13,0) c Purge_total : 43 1197.03/790.81 c (13,0) c Purge_winner : 0 1197.03/790.81 c (13,0) c Promoted_0 : 0 1197.03/790.81 c (13,0) c Promoted_1 : 0 1197.03/790.81 c (13,0) c Promoted_2 : 0 1197.03/790.81 c (13,0) c Promoted_3 : 0 1197.03/790.81 c (13,0) c Promoted_4 : 0 1197.03/790.81 c (13,0) c Promoted_5 : 0 1197.03/790.81 c (13,0) c Promoted_6 : 0 1197.03/790.81 c (13,0) c Promoted_7 : 0 1197.03/790.81 c (13,0) c Promoted_total : 0 1197.03/790.81 c (13,0) c Promoted_winner : 0 1197.03/790.81 c (13,0) c Remove_Imp_0 : 0 1197.03/790.81 c (13,0) c Remove_Imp_1 : 0 1197.03/790.81 c (13,0) c Remove_Imp_2 : 0 1197.03/790.81 c (13,0) c Remove_Imp_3 : 0 1197.03/790.81 c (13,0) c Remove_Imp_4 : 0 1197.03/790.81 c (13,0) c Remove_Imp_5 : 0 1197.03/790.81 c (13,0) c Remove_Imp_6 : 0 1197.03/790.81 c (13,0) c Remove_Imp_7 : 0 1197.03/790.81 c (13,0) c Remove_Imp_total : 0 1197.03/790.81 c (13,0) c Remove_Imp_winner : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_0 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_1 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_2 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_3 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_4 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_5 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_6 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_7 : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_total : 0 1197.03/790.81 c (13,0) c Blocked_Reuse_winner : 0 1197.03/790.81 c (13,0) c Unaries_0 : 0 1197.03/790.81 c (13,0) c Unaries_1 : 0 1197.03/790.81 c (13,0) c Unaries_2 : 0 1197.03/790.81 c (13,0) c Unaries_3 : 0 1197.03/790.81 c (13,0) c Unaries_4 : 0 1197.03/790.81 c (13,0) c Unaries_5 : 0 1197.03/790.81 c (13,0) c Unaries_6 : 0 1197.03/790.81 c (13,0) c Unaries_7 : 0 1197.03/790.81 c (13,0) c Unaries_total : 0 1197.03/790.81 c (13,0) c Unaries_winner : 0 1197.03/790.81 c (13,0) c Binaries_0 : 61 1197.03/790.81 c (13,0) c Binaries_1 : 67 1197.03/790.81 c (13,0) c Binaries_2 : 67 1197.03/790.81 c (13,0) c Binaries_3 : 51 1197.03/790.81 c (13,0) c Binaries_4 : 46 1197.03/790.81 c (13,0) c Binaries_5 : 67 1197.03/790.81 c (13,0) c Binaries_6 : 50 1197.03/790.81 c (13,0) c Binaries_7 : 59 1197.03/790.81 c (13,0) c Binaries_total : 468 1197.03/790.81 c (13,0) c Binaries_winner : 51 1197.03/790.81 c (13,0) c Glues_0 : 90 1197.03/790.81 c (13,0) c Glues_1 : 99 1197.03/790.81 c (13,0) c Glues_2 : 96 1197.03/790.81 c (13,0) c Glues_3 : 68 1197.03/790.81 c (13,0) c Glues_4 : 110 1197.03/790.81 c (13,0) c Glues_5 : 81 1197.03/790.81 c (13,0) c Glues_6 : 63 1197.03/790.81 c (13,0) c Glues_7 : 87 1197.03/790.81 c (13,0) c Glues_total : 694 1197.03/790.81 c (13,0) c Glues_winner : 68 1197.03/790.81 c (13,0) c RunningTime_0 : 6.955259 1197.03/790.81 c (13,0) c RunningTime_1 : 6.886100 1197.03/790.81 c (13,0) c RunningTime_2 : 6.799336 1197.03/790.81 c (13,0) c RunningTime_3 : 6.695887 1197.03/790.81 c (13,0) c RunningTime_4 : 6.699549 1197.03/790.81 c (13,0) c RunningTime_5 : 7.153234 1197.03/790.81 c (13,0) c RunningTime_6 : 7.198156 1197.03/790.81 c (13,0) c RunningTime_7 : 7.032884 1197.03/790.81 c (13,0) c RunningTime_total : 55.420403 1197.03/790.81 c (13,0) c RunningTime_winner : 6.695887 1197.03/790.81 c (13,0) c WaitingTime_0 : 0.000033 1197.03/790.81 c (13,0) c WaitingTime_1 : 0.000004 1197.03/790.81 c (13,0) c WaitingTime_2 : 0.000013 1197.03/790.81 c (13,0) c WaitingTime_3 : 0.000004 1197.03/790.81 c (13,0) c WaitingTime_4 : 0.000012 1197.03/790.81 c (13,0) c WaitingTime_5 : 0.000002 1197.03/790.81 c (13,0) c WaitingTime_6 : 0.000005 1197.03/790.81 c (13,0) c WaitingTime_7 : 0.000001 1197.03/790.81 c (13,0) c WaitingTime_total : 0.000075 1197.03/790.81 c (13,0) c WaitingTime_winner : 0.000004 1197.03/790.81 c (13,0) c ExchangingTime_0 : 0.001099 1197.03/790.81 c (13,0) c ExchangingTime_1 : 0.000616 1197.03/790.81 c (13,0) c ExchangingTime_2 : 0.000740 1197.03/790.81 c (13,0) c ExchangingTime_3 : 0.000658 1197.03/790.81 c (13,0) c ExchangingTime_4 : 0.000847 1197.03/790.81 c (13,0) c ExchangingTime_5 : 0.002538 1197.03/790.81 c (13,0) c ExchangingTime_6 : 0.000489 1197.03/790.81 c (13,0) c ExchangingTime_7 : 0.000479 1197.03/790.81 c (13,0) c ExchangingTime_total : 0.007467 1197.03/790.81 c (13,0) c ExchangingTime_winner : 0.000658 1197.03/790.81 c (13,0) c PeriodProcTime_0 : 0.000263 1197.03/790.81 c (13,0) c PeriodProcTime_1 : 0.000308 1197.03/790.81 c (13,0) c PeriodProcTime_2 : 0.000280 1197.03/790.81 c (13,0) c PeriodProcTime_3 : 0.000247 1197.03/790.81 c (13,0) c PeriodProcTime_4 : 0.000325 1197.03/790.81 c (13,0) c PeriodProcTime_5 : 0.000224 1197.03/790.81 c (13,0) c PeriodProcTime_6 : 0.000752 1197.03/790.81 c (13,0) c PeriodProcTime_7 : 0.000243 1197.03/790.81 c (13,0) c PeriodProcTime_total : 0.002644 1197.03/790.81 c (13,0) c PeriodProcTime_winner : 0.000247 1197.03/790.81 c (13,0) c SolvingTime_0 : 6.956654 1197.03/790.81 c (13,0) c SolvingTime_1 : 6.887028 1197.03/790.81 c (13,0) c SolvingTime_2 : 6.800369 1197.03/790.81 c (13,0) c SolvingTime_3 : 6.696796 1197.03/790.81 c (13,0) c SolvingTime_4 : 6.700732 1197.03/790.81 c (13,0) c SolvingTime_5 : 7.155998 1197.03/790.81 c (13,0) c SolvingTime_6 : 7.199402 1197.03/790.81 c (13,0) c SolvingTime_7 : 7.033608 1197.03/790.81 c (13,0) c SolvingTime_total : 55.430589 1197.03/790.81 c (13,0) c SolvingTime_winner : 6.696796 1197.03/790.81 c (13,0) c PropagationTime_0 : 6.395911 1197.03/790.81 c (13,0) c PropagationTime_1 : 6.441364 1197.03/790.81 c (13,0) c PropagationTime_2 : 6.289680 1197.03/790.81 c (13,0) c PropagationTime_3 : 6.116015 1197.03/790.81 c (13,0) c PropagationTime_4 : 6.134060 1197.03/790.81 c (13,0) c PropagationTime_5 : 6.617969 1197.03/790.81 c (13,0) c PropagationTime_6 : 6.637933 1197.03/790.81 c (13,0) c PropagationTime_7 : 6.510510 1197.03/790.81 c (13,0) c PropagationTime_total : 51.143441 1197.03/790.81 c (13,0) c PropagationTime_winner : 6.116015 1197.03/790.81 c (13,0) c AnalysisTime_0 : 0.242901 1197.03/790.81 c (13,0) c AnalysisTime_1 : 0.164252 1197.03/790.81 c (13,0) c AnalysisTime_2 : 0.194496 1197.03/790.81 c (13,0) c AnalysisTime_3 : 0.204150 1197.03/790.81 c (13,0) c AnalysisTime_4 : 0.258146 1197.03/790.81 c (13,0) c AnalysisTime_5 : 0.171202 1197.03/790.81 c (13,0) c AnalysisTime_6 : 0.196489 1197.03/790.81 c (13,0) c AnalysisTime_7 : 0.209425 1197.03/790.81 c (13,0) c AnalysisTime_total : 1.641061 1197.03/790.81 c (13,0) c AnalysisTime_winner : 0.204150 1197.03/790.81 c (13,0) c ReductionTime_0 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_1 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_2 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_3 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_4 : 0.000530 1197.03/790.81 c (13,0) c ReductionTime_5 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_6 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_7 : 0.000000 1197.03/790.81 c (13,0) c ReductionTime_total : 0.000530 1197.03/790.81 c (13,0) c ReductionTime_winner : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_0 : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_1 : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_2 : 0.000002 1197.03/790.81 c (13,0) c SimplifyTime_3 : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_4 : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_5 : 0.000001 1197.03/790.81 c (13,0) c SimplifyTime_6 : 0.000002 1197.03/790.81 c (13,0) c SimplifyTime_7 : 0.000000 1197.03/790.81 c (13,0) c SimplifyTime_total : 0.000005 1197.03/790.81 c (13,0) c SimplifyTime_winner : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_0 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_1 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_2 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_3 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_4 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_5 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_6 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_7 : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_total : 0.000000 1197.03/790.81 c (13,0) c UsedRateTime_winner : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_0 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_1 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_2 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_3 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_4 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_5 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_6 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_7 : 0.000000 1197.03/790.81 c (13,0) c OverlapRateTime_total : 0.000000 1197.03/790.82 c (13,0) c OverlapRateTime_winner : 0.000000 1197.03/790.82 c (13,0) c 1197.03/790.82 c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1197.03/790.82 c (13,0) c 1197.03/790.82 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.82 c (13,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1197.03/790.82 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.82 c (13,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1197.03/790.82 c (13,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1197.03/790.82 c (13,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1197.03/790.82 c (13,0) c | Initial random_seed | 53078365 | 572535726 | 1582802732 | 253752209 | 1551144096 | 1769347320 | 1917045231 | 1567957727 | 1197.03/790.82 c (13,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1197.03/790.82 c (13,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1197.03/790.82 c (13,0) c | glureduce | True | True | True | True | True | True | True | True | 1197.03/790.82 c (13,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1197.03/790.82 c (13,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1197.03/790.82 c (13,0) c | luby_restart | False | False | False | False | False | False | False | False | 1197.03/790.82 c (13,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1197.03/790.82 c (13,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1197.03/790.82 c (13,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1197.03/790.82 c (13,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1197.03/790.82 c (13,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1197.03/790.82 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1197.03/790.82 c (13,0) 1197.03/790.82 c (13,0) s SATISFIABLE 1197.97/791.24 c (14,0) SatSolver.solve End 1197.97/791.24 c (14,0) Heap : 268 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 1197.97/791.24 c (14,0) Show results Begin 1198.14/791.36 c (14,0) x[0][0] = 10 1198.14/791.36 c (14,0) x[0][1] = 20 1198.14/791.36 c (14,0) x[0][2] = 12 1198.14/791.36 c (14,0) x[0][3] = 1 1198.14/791.36 c (14,0) x[0][4] = 11 1198.14/791.36 c (14,0) x[0][5] = 11 1198.14/791.36 c (14,0) x[0][6] = 0 1198.14/791.36 c (14,0) x[0][8] = 5 1198.14/791.36 c (14,0) x[0][9] = 4 1198.14/791.36 c (14,0) x[0][10] = 20 1198.14/791.36 c (14,0) x[0][11] = 17 1198.14/791.36 c (14,0) x[0][12] = 0 1198.14/791.36 c (14,0) x[0][13] = 13 1198.14/791.36 c (14,0) x[0][14] = 25 1198.14/791.36 c (14,0) x[1][0] = 0 1198.14/791.36 c (14,0) x[1][1] = 1 1198.14/791.36 c (14,0) x[1][2] = 14 1198.14/791.36 c (14,0) x[1][3] = 17 1198.14/791.36 c (14,0) x[1][4] = 3 1198.14/791.36 c (14,0) x[1][5] = 4 1198.14/791.36 c (14,0) x[1][6] = 25 1198.14/791.36 c (14,0) x[1][8] = 4 1198.14/791.36 c (14,0) x[1][9] = 11 1198.14/791.36 c (14,0) x[1][10] = 1 1198.14/791.36 c (14,0) x[1][11] = 14 1198.14/791.36 c (14,0) x[1][12] = 17 1198.14/791.36 c (14,0) x[1][13] = 3 1198.14/791.36 c (14,0) x[1][14] = 14 1198.14/791.36 c (14,0) x[2][0] = 11 1198.14/791.36 c (14,0) x[2][1] = 0 1198.14/791.36 c (14,0) x[2][2] = 15 1198.14/791.36 c (14,0) x[2][3] = 0 1198.14/791.36 c (14,0) x[2][4] = 17 1198.14/791.36 c (14,0) x[2][5] = 21 1198.14/791.36 c (14,0) x[2][6] = 0 1198.14/791.36 c (14,0) x[2][8] = 18 1198.14/791.36 c (14,0) x[2][9] = 10 1198.14/791.36 c (14,0) x[2][10] = 4 1198.14/791.36 c (14,0) x[2][11] = 20 1198.14/791.36 c (14,0) x[2][12] = 21 1198.14/791.36 c (14,0) x[2][13] = 17 1198.14/791.36 c (14,0) x[2][14] = 4 1198.14/791.36 c (14,0) x[3][0] = 4 1198.14/791.36 c (14,0) x[3][1] = 2 1198.14/791.36 c (14,0) x[3][2] = 14 1198.14/791.36 c (14,0) x[3][3] = 18 1198.14/791.36 c (14,0) x[3][5] = 8 1198.14/791.36 c (14,0) x[3][6] = 14 1198.14/791.36 c (14,0) x[3][7] = 3 1198.14/791.36 c (14,0) x[3][8] = 4 1198.14/791.36 c (14,0) x[3][9] = 18 1198.14/791.36 c (14,0) x[3][11] = 12 1198.14/791.36 c (14,0) x[3][12] = 4 1198.14/791.36 c (14,0) x[3][13] = 4 1198.14/791.36 c (14,0) x[3][14] = 18 1198.14/791.36 c (14,0) x[4][3] = 7 1198.14/791.36 c (14,0) x[4][4] = 1 1198.14/791.36 c (14,0) x[4][5] = 6 1198.14/791.36 c (14,0) x[4][7] = 4 1198.14/791.36 c (14,0) x[4][8] = 11 1198.14/791.36 c (14,0) x[4][9] = 4 1198.14/791.36 c (14,0) x[4][10] = 21 1198.14/791.36 c (14,0) x[4][11] = 0 1198.14/791.36 c (14,0) x[5][0] = 0 1198.14/791.36 c (14,0) x[5][1] = 6 1198.14/791.36 c (14,0) x[5][2] = 8 1198.14/791.36 c (14,0) x[5][3] = 19 1198.14/791.36 c (14,0) x[5][4] = 0 1198.14/791.36 c (14,0) x[5][5] = 13 1198.14/791.36 c (14,0) x[5][6] = 19 1198.14/791.36 c (14,0) x[5][7] = 18 1198.14/791.36 c (14,0) x[5][9] = 1 1198.14/791.36 c (14,0) x[5][10] = 0 1198.14/791.36 c (14,0) x[5][11] = 3 1198.14/791.36 c (14,0) x[5][12] = 4 1198.14/791.36 c (14,0) x[5][13] = 12 1198.14/791.36 c (14,0) x[5][14] = 18 1198.14/791.36 c (14,0) x[6][0] = 2 1198.14/791.36 c (14,0) x[6][1] = 14 1198.14/791.36 c (14,0) x[6][2] = 11 1198.14/791.36 c (14,0) x[6][3] = 14 1198.14/791.36 c (14,0) x[6][4] = 2 1198.14/791.36 c (14,0) x[6][5] = 0 1198.14/791.36 c (14,0) x[6][6] = 18 1198.14/791.36 c (14,0) x[6][7] = 4 1198.14/791.37 c (14,0) x[6][8] = 18 1198.14/791.37 c (14,0) x[6][10] = 19 1198.14/791.37 c (14,0) x[6][11] = 0 1198.14/791.37 c (14,0) x[6][12] = 11 1198.14/791.37 c (14,0) x[6][13] = 0 1198.14/791.37 c (14,0) x[6][14] = 19 1198.14/791.37 c (14,0) x[7][0] = 7 1198.14/791.37 c (14,0) x[7][1] = 20 1198.14/791.37 c (14,0) x[7][2] = 8 1198.14/791.37 c (14,0) x[7][4] = 7 1198.14/791.37 c (14,0) x[7][5] = 20 1198.14/791.37 c (14,0) x[7][6] = 0 1198.14/791.37 c (14,0) x[7][7] = 13 1198.14/791.37 c (14,0) x[7][8] = 19 1198.14/791.37 c (14,0) x[7][9] = 4 1198.14/791.37 c (14,0) x[7][10] = 18 1198.14/791.37 c (14,0) x[7][12] = 10 1198.14/791.37 c (14,0) x[7][13] = 4 1198.14/791.37 c (14,0) x[7][14] = 0 1198.14/791.37 c (14,0) x[8][0] = 0 1198.14/791.37 c (14,0) x[8][1] = 17 1198.14/791.37 c (14,0) x[8][2] = 0 1198.14/791.37 c (14,0) x[8][3] = 2 1198.14/791.37 c (14,0) x[8][4] = 10 1198.14/791.37 c (14,0) x[8][6] = 18 1198.14/791.37 c (14,0) x[8][7] = 13 1198.14/791.37 c (14,0) x[8][8] = 0 1198.14/791.37 c (14,0) x[8][9] = 2 1198.14/791.37 c (14,0) x[8][10] = 10 1198.14/791.37 c (14,0) x[8][11] = 1 1198.14/791.37 c (14,0) x[8][12] = 0 1198.14/791.37 c (14,0) x[8][13] = 17 1198.14/791.37 c (14,0) x[8][14] = 18 1198.14/791.37 c (14,0) x[9][0] = 19 1198.14/791.37 c (14,0) x[9][1] = 0 1198.14/791.37 c (14,0) x[9][2] = 17 1198.14/791.37 c (14,0) x[9][3] = 0 1198.14/791.37 c (14,0) x[9][4] = 8 1198.14/791.37 c (14,0) x[9][5] = 19 1198.14/791.37 c (14,0) x[9][7] = 20 1198.14/791.37 c (14,0) x[9][8] = 11 1198.14/791.37 c (14,0) x[9][9] = 11 1198.14/791.37 c (14,0) x[9][10] = 4 1198.14/791.37 c (14,0) x[9][11] = 3 1198.14/791.37 c (14,0) x[9][12] = 0 1198.14/791.37 c (14,0) x[9][13] = 11 1198.14/791.37 c (14,0) x[9][14] = 4 1198.14/791.37 c (14,0) x[10][3] = 20 1198.14/791.37 c (14,0) x[10][4] = 17 1198.14/791.37 c (14,0) x[10][5] = 17 1198.14/791.37 c (14,0) x[10][6] = 0 1198.14/791.37 c (14,0) x[10][7] = 24 1198.14/791.37 c (14,0) x[10][9] = 0 1198.14/791.37 c (14,0) x[10][10] = 17 1198.14/791.37 c (14,0) x[10][11] = 4 1198.14/791.37 c (14,0) x[11][0] = 17 1198.14/791.37 c (14,0) x[11][1] = 20 1198.14/791.37 c (14,0) x[11][2] = 4 1198.14/791.37 c (14,0) x[11][3] = 17 1198.14/791.37 c (14,0) x[11][5] = 14 1198.14/791.37 c (14,0) x[11][6] = 8 1198.14/791.37 c (14,0) x[11][7] = 4 1198.14/791.37 c (14,0) x[11][8] = 13 1198.14/791.37 c (14,0) x[11][9] = 19 1198.14/791.37 c (14,0) x[11][11] = 12 1198.14/791.37 c (14,0) x[11][12] = 20 1198.14/791.37 c (14,0) x[11][13] = 11 1198.14/791.37 c (14,0) x[11][14] = 11 1198.14/791.37 c (14,0) x[12][0] = 0 1198.14/791.37 c (14,0) x[12][1] = 13 1198.14/791.37 c (14,0) x[12][2] = 3 1198.14/791.37 c (14,0) x[12][3] = 4 1198.14/791.37 c (14,0) x[12][4] = 4 1198.14/791.37 c (14,0) x[12][5] = 13 1198.14/791.37 c (14,0) x[12][6] = 18 1198.14/791.37 c (14,0) x[12][8] = 14 1198.14/791.37 c (14,0) x[12][9] = 14 1198.14/791.37 c (14,0) x[12][10] = 17 1198.14/791.37 c (14,0) x[12][11] = 0 1198.14/791.37 c (14,0) x[12][12] = 11 1198.14/791.37 c (14,0) x[12][13] = 4 1198.14/791.37 c (14,0) x[12][14] = 0 1198.14/791.37 c (14,0) x[13][0] = 13 1198.14/791.37 c (14,0) x[13][1] = 8 1198.14/791.37 c (14,0) x[13][2] = 4 1198.14/791.37 c (14,0) x[13][3] = 20 1198.14/791.37 c (14,0) x[13][4] = 3 1198.14/791.37 c (14,0) x[13][5] = 0 1198.14/791.37 c (14,0) x[13][6] = 13 1198.14/791.37 c (14,0) x[13][8] = 8 1198.14/791.37 c (14,0) x[13][9] = 13 1198.14/791.37 c (14,0) x[13][10] = 4 1198.14/791.37 c (14,0) x[13][11] = 24 1198.14/791.37 c (14,0) x[13][12] = 4 1198.14/791.37 c (14,0) x[13][13] = 13 1198.14/791.37 c (14,0) x[13][14] = 4 1198.14/791.37 c (14,0) x[14][0] = 8 1198.14/791.37 c (14,0) x[14][1] = 17 1198.14/791.37 c (14,0) x[14][2] = 17 1198.14/791.37 c (14,0) x[14][3] = 0 1198.14/791.37 c (14,0) x[14][4] = 3 1198.14/791.37 c (14,0) x[14][5] = 8 1198.14/791.37 c (14,0) x[14][6] = 4 1198.14/791.37 c (14,0) x[14][8] = 4 1198.14/791.37 c (14,0) x[14][9] = 18 1198.14/791.37 c (14,0) x[14][10] = 18 1198.14/791.37 c (14,0) x[14][11] = 14 1198.14/791.37 c (14,0) x[14][12] = 24 1198.14/791.37 c (14,0) x[14][13] = 4 1198.14/791.37 c (14,0) x[14][14] = 13 1198.14/791.37 s SATISFIABLE 1198.14/791.38 v <instantiation> 1198.14/791.38 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> 1198.14/791.38 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> 1198.14/791.38 v </instantiation> 1198.14/791.38 c (14,0) Show results End 1198.14/791.38 c (14,0) Heap : 289 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 1198.14/791.38 c (14,0) 14,14,STOP-AFTER(ALL) 1198.14/791.38 c END-Prog: Sat Sep 14 09:52:09 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 (15415 MiB free)
memory of node 1: 16384 MiB (13451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392842-1568446779/watcher-4392842-1568446779 -o /tmp/evaluation-result-4392842-1568446779/solver-4392842-1568446779 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --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-4392842-1568446779.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
solver pid=4900, runsolver pid=4897
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.10 2.43 5.24 2/211 4922
/proc/meminfo: memFree=29466688/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420614406 115843072 349 33554432000 4194304 5098028 140732770061552 140732770058808 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 349 296 221 0 87 0
[pid=4903] ppid=4900 vsize=27314120 memory=104092 CPUtime=0.1 cores=0-7
/proc/4903/stat : 4903 (java) S 4900 4900 3667 0 -1 1077944320 6636 0 0 0 8 2 0 0 20 0 20 0 420614406 27969658880 26023 33554432000 4194304 4196468 140734343138480 140734343121024 140606807719671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
/proc/4903/statm: 6828530 26023 2799 1 0 6790935 0
[pid=4903/tid=4904] ppid=4900 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4903/task/4904/stat : 4904 (java) R 4900 4900 3667 0 -1 4202560 4723 0 0 0 7 2 0 0 20 0 20 0 420614406 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606779549736 140606791800158 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4905] ppid=4900 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4903/task/4905/stat : 4905 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606811961616 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4906] ppid=4900 vsize=27314120 memory=139971455710848 CPUtime=0 cores=0-7
/proc/4903/task/4906/stat : 4906 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606230395280 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4907] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4907/stat : 4907 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606229342736 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4908] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4908/stat : 4908 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606228290192 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4909] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4909/stat : 4909 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606227237648 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4910] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4910/stat : 4910 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606226185104 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4911] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4911/stat : 4911 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606225132560 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4912] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4912/stat : 4912 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 26535 33554432000 4194304 4196468 140734343138480 140606224080016 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4913] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4913/stat : 4913 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614410 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605799028720 140606807730818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4914] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4914/stat : 4914 (java) S 4900 4900 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 26535 33554432000 4194304 4196468 140734343138480 140604679906208 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4915] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4915/stat : 4915 (java) S 4900 4900 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 26535 33554432000 4194304 4196468 140734343138480 140604545684464 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4916] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4916/stat : 4916 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 26535 33554432000 4194304 4196468 140734343138480 140604171180240 140606807738267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4917] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4917/stat : 4917 (java) S 4900 4900 3667 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605797976560 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4918] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4918/stat : 4918 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605796924016 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4919] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4919/stat : 4919 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605795871472 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4920] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4920/stat : 4920 (java) S 4900 4900 3667 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605794818928 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4921] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4921/stat : 4921 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 26535 33554432000 4194304 4196468 140734343138480 140603673274592 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4922] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4922/stat : 4922 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 26535 33554432000 4194304 4196468 140734343138480 140605793765808 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105488 KiB
[startup+0.210433 s]*
/proc/loadavg: 1.10 2.43 5.24 3/211 4922
/proc/meminfo: memFree=29445400/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420614406 115843072 349 33554432000 4194304 5098028 140732770061552 140732770058808 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 349 296 221 0 87 0
[pid=4903] ppid=4900 vsize=27314120 memory=123672 CPUtime=0.25 cores=0-7
/proc/4903/stat : 4903 (java) S 4900 4900 3667 0 -1 1077944320 12256 0 0 0 21 4 0 0 20 0 20 0 420614406 27969658880 30918 33554432000 4194304 4196468 140734343138480 140734343121024 140606807719671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
/proc/4903/statm: 6828530 30918 2969 1 0 6790935 0
[pid=4903/tid=4904] ppid=4900 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4903/task/4904/stat : 4904 (java) R 4900 4900 3667 0 -1 4202560 9929 0 0 0 16 3 0 0 20 0 20 0 420614406 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606779519056 140606787995546 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4905] ppid=4900 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/4903/task/4905/stat : 4905 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606811961616 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4906] ppid=4900 vsize=27314120 memory=139971455730848 CPUtime=0 cores=0-7
/proc/4903/task/4906/stat : 4906 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606230395280 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4907] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4907/stat : 4907 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606229342736 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4908] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4908/stat : 4908 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606228290192 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4909] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4909/stat : 4909 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606227237648 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4910] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4910/stat : 4910 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606226185104 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4911] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4911/stat : 4911 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606225132560 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4912] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4912/stat : 4912 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 30918 33554432000 4194304 4196468 140734343138480 140606224080016 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4913] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4913/stat : 4913 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614410 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605799028720 140606807730818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4914] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4914/stat : 4914 (java) S 4900 4900 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 30918 33554432000 4194304 4196468 140734343138480 140604679906208 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4915] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4915/stat : 4915 (java) S 4900 4900 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 30918 33554432000 4194304 4196468 140734343138480 140604545684464 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4916] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4916/stat : 4916 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 30918 33554432000 4194304 4196468 140734343138480 140604171180240 140606807738267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4917] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4917/stat : 4917 (java) S 4900 4900 3667 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605797976560 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4918] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4918/stat : 4918 (java) S 4900 4900 3667 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605796924016 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4919] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4919/stat : 4919 (java) S 4900 4900 3667 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605795871472 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4920] ppid=4900 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4903/task/4920/stat : 4920 (java) S 4900 4900 3667 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 420614413 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605794818928 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4921] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4921/stat : 4921 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 30918 33554432000 4194304 4196468 140734343138480 140603673274592 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4922] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4922/stat : 4922 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 30918 33554432000 4194304 4196468 140734343138480 140605793765808 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125068 KiB
[startup+0.310273 s]*
/proc/loadavg: 1.10 2.43 5.24 2/211 4922
/proc/meminfo: memFree=29442236/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420614406 115843072 349 33554432000 4194304 5098028 140732770061552 140732770058808 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 349 296 221 0 87 0
[pid=4903] ppid=4900 vsize=27314120 memory=127688 CPUtime=0.43 cores=0-7
/proc/4903/stat : 4903 (java) S 4900 4900 3667 0 -1 1077944320 12809 0 0 0 38 5 0 0 20 0 20 0 420614406 27969658880 31922 33554432000 4194304 4196468 140734343138480 140734343121024 140606807719671 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
/proc/4903/statm: 6828530 31922 3024 1 0 6790935 0
[pid=4903/tid=4904] ppid=4900 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4903/task/4904/stat : 4904 (java) R 4900 4900 3667 0 -1 4202560 10290 0 0 0 26 3 0 0 20 0 20 0 420614406 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606779504656 140606784943824 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4905] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4905/stat : 4905 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606811961616 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4906] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4906/stat : 4906 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606230395280 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4907] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4907/stat : 4907 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606229342736 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4908] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4908/stat : 4908 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606228290192 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4909] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4909/stat : 4909 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606227237648 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4910] ppid=4900 vsize=27314120 memory=139971306547887 CPUtime=0 cores=0-7
/proc/4903/task/4910/stat : 4910 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606226185104 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4911] ppid=4900 vsize=27314120 memory=139971306550192 CPUtime=0 cores=0-7
/proc/4903/task/4911/stat : 4911 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606225132560 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4912] ppid=4900 vsize=27314120 memory=139971306552496 CPUtime=0 cores=0-7
/proc/4903/task/4912/stat : 4912 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27969658880 31922 33554432000 4194304 4196468 140734343138480 140606224080016 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4913] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4913/stat : 4913 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420614410 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605799028720 140606807730818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4914] ppid=4900 vsize=27314120 memory=279942613118864 CPUtime=0 cores=0-7
/proc/4903/task/4914/stat : 4914 (java) S 4900 4900 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 31922 33554432000 4194304 4196468 140734343138480 140604679906208 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4915] ppid=4900 vsize=27314120 memory=279942613116560 CPUtime=0 cores=0-7
/proc/4903/task/4915/stat : 4915 (java) S 4900 4900 3667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420614411 27969658880 31922 33554432000 4194304 4196468 140734343138480 140604545684464 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4916] ppid=4900 vsize=27314120 memory=279942613123472 CPUtime=0 cores=0-7
/proc/4903/task/4916/stat : 4916 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 31922 33554432000 4194304 4196468 140734343138480 140604171180240 140606807738267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4917] ppid=4900 vsize=27314120 memory=279942613064720 CPUtime=0.01 cores=0-7
/proc/4903/task/4917/stat : 4917 (java) S 4900 4900 3667 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 420614413 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605797976560 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4918] ppid=4900 vsize=27314120 memory=279942613137296 CPUtime=0.02 cores=0-7
/proc/4903/task/4918/stat : 4918 (java) R 4900 4900 3667 0 -1 4202560 132 0 0 0 2 0 0 0 20 0 20 0 420614413 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605796924016 140606791276984 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4919] ppid=4900 vsize=27314120 memory=279942613144208 CPUtime=0 cores=0-7
/proc/4903/task/4919/stat : 4919 (java) S 4900 4900 3667 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 420614413 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605795871472 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4920] ppid=4900 vsize=27314120 memory=279942613141904 CPUtime=0.07 cores=0-7
/proc/4903/task/4920/stat : 4920 (java) S 4900 4900 3667 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 20 0 420614413 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605794818928 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4921] ppid=4900 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4921/stat : 4921 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 31922 33554432000 4194304 4196468 140734343138480 140603673274592 140606807729877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4922] ppid=4900 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4903/task/4922/stat : 4922 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614414 27969658880 31922 33554432000 4194304 4196468 140734343138480 140605793765808 140606807730818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129084 KiB
[startup+0.700943 s]
/proc/loadavg: 1.10 2.43 5.24 2/211 4922
/proc/meminfo: memFree=29420284/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420614406 115843072 349 33554432000 4194304 5098028 140732770061552 140732770058808 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 349 296 221 0 87 0
[pid=4903] ppid=4900 vsize=27320392 memory=165684 CPUtime=1.01 cores=0-7
/proc/4903/stat : 4903 (java) S 4900 4900 3667 0 -1 1077944320 20536 0 0 0 94 7 0 0 20 0 20 0 420614406 27976081408 41421 33554432000 4194304 4196468 140734343138480 140734343121024 140606807719671 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
/proc/4903/statm: 6830098 41421 3187 1 0 6791447 0
[pid=4903/tid=4904] ppid=4900 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/4903/task/4904/stat : 4904 (java) R 4900 4900 3667 0 -1 4202560 17340 0 0 0 62 6 0 0 20 0 20 0 420614406 27976081408 41421 33554432000 4194304 4196468 140734343138480 140606779553744 140606807741597 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4905] ppid=4900 vsize=27320392 memory=139971306759024 CPUtime=0 cores=0-7
/proc/4903/task/4905/stat : 4905 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27976081408 41421 33554432000 4194304 4196468 140734343138480 140606811961616 140606807729877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4906] ppid=4900 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4903/task/4906/stat : 4906 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27976081408 41421 33554432000 4194304 4196468 140734343138480 140606230395280 140606807729877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
[pid=4903/tid=4907] ppid=4900 vsize=27320392 memory=8004 CPUtime=0 cores=0-7
/proc/4903/task/4907/stat : 4907 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420614409 27976081408 41421 33554432000 4194304 4196468 140734343138480 140606229342736 140606807729877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140734343140075 140734343140502 140734343140502 140734343143375 0
################
# More data... #
################
[pid=4985/tid=4987] ppid=4900 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/4985/task/4987/stat : 4987 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938317483024 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4988] ppid=4900 vsize=8414124 memory=120688 CPUtime=0 cores=0-7
/proc/4985/task/4988/stat : 4988 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938117651600 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4989] ppid=4900 vsize=8414124 memory=5740264 CPUtime=0 cores=0-7
/proc/4985/task/4989/stat : 4989 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938116598544 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4990] ppid=4900 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/4985/task/4990/stat : 4990 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938115546000 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4991] ppid=4900 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/4985/task/4991/stat : 4991 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938114492944 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4992] ppid=4900 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/4985/task/4992/stat : 4992 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938113440400 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4993] ppid=4900 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/4985/task/4993/stat : 4993 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938112387344 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4994] ppid=4900 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/4985/task/4994/stat : 4994 (java) S 4900 4900 3667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420692075 8616062976 30172 33554432000 4194304 4196468 140728640925536 139938111334800 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4995] ppid=4900 vsize=8414124 memory=404 CPUtime=0 cores=0-7
/proc/4985/task/4995/stat : 4995 (java) S 4900 4900 3667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420692077 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937271728880 139938313251458 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4996] ppid=4900 vsize=8414124 memory=400 CPUtime=0 cores=0-7
/proc/4985/task/4996/stat : 4996 (java) S 4900 4900 3667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420692077 8616062976 30172 33554432000 4194304 4196468 140728640925536 139936946710176 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4997] ppid=4900 vsize=8414124 memory=22 CPUtime=0 cores=0-7
/proc/4985/task/4997/stat : 4997 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420692077 8616062976 30172 33554432000 4194304 4196468 140728640925536 139936678274288 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4998] ppid=4900 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4985/task/4998/stat : 4998 (java) S 4900 4900 3667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139936303765968 139938313258907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4999] ppid=4900 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/4985/task/4999/stat : 4999 (java) S 4900 4900 3667 0 -1 1077944384 529 0 0 0 4 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937270675696 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5000] ppid=4900 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/4985/task/5000/stat : 5000 (java) S 4900 4900 3667 0 -1 1077944384 230 0 0 0 8 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937269623152 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5001] ppid=4900 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/4985/task/5001/stat : 5001 (java) S 4900 4900 3667 0 -1 1077944384 422 0 0 0 7 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937268570096 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5002] ppid=4900 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/4985/task/5002/stat : 5002 (java) S 4900 4900 3667 0 -1 1077944384 653 0 0 0 22 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937267517552 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5003] ppid=4900 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4985/task/5003/stat : 5003 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420692080 8616062976 30172 33554432000 4194304 4196468 140728640925536 139935805860832 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5004] ppid=4900 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/4985/task/5004/stat : 5004 (java) S 4900 4900 3667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420692081 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937266465968 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5006] ppid=4900 vsize=8414124 memory=1196 CPUtime=0 cores=0-7
/proc/4985/task/5006/stat : 5006 (java) S 4900 4900 3667 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420692149 8616062976 30172 33554432000 4194304 4196468 140728640925536 139937618064832 139938313264921 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5008] ppid=4900 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/4985/task/5008/stat : 5008 (java) S 4900 4900 3667 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420692150 8616062976 30172 33554432000 4194304 4196468 140728640925536 139935134760496 139938313262237 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5009] ppid=4900 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/4985/task/5009/stat : 5009 (java) S 4900 4900 3667 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420692150 8616062976 30172 33554432000 4194304 4196468 140728640925536 139935403196080 139938313262237 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5010] ppid=4900 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/4985/task/5010/stat : 5010 (java) S 4900 4900 3667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 420692152 8616062976 30172 33554432000 4194304 4196468 140728640925536 139934866332592 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
Current children cumulated CPU time: 1196.1 s
Current children cumulated vsize: 14712000 KiB
Current children cumulated memory: 5891648 KiB
[startup+791.201 s]
/proc/loadavg: 1.74 1.58 3.08 4/218 5020
/proc/meminfo: memFree=23525700/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1476 CPUtime=1138.03 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 583 355671 0 0 0 0 109294 4509 20 0 1 0 420614406 115843072 369 33554432000 4194304 5098028 140732770061552 140732770058296 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 369 311 221 0 87 0
[pid=4985] ppid=4900 vsize=8414124 memory=273740 CPUtime=59.94 cores=0-7
/proc/4985/stat : 4985 (java) S 4900 4900 3667 0 -1 1077944320 21623 1410963 0 0 171 10 5229 584 20 0 23 0 420692073 8616062976 68435 33554432000 4194304 4196468 140728640925536 140728640908080 139938313240311 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
/proc/4985/statm: 2103531 68435 3220 1 0 2064875 0
[pid=4985/tid=4986] ppid=4900 vsize=8414124 memory=3612 CPUtime=58.91 cores=0-7
/proc/4985/task/4986/stat : 4986 (java) S 4900 4900 3667 0 -1 1077944384 17386 1410963 0 0 72 6 5229 584 20 0 23 0 420692074 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938285080480 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4987] ppid=4900 vsize=8414124 memory=1476 CPUtime=58.13 cores=0-7
/proc/4985/task/4987/stat : 4987 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938317483024 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4988] ppid=4900 vsize=8414124 memory=120688 CPUtime=58.13 cores=0-7
/proc/4985/task/4988/stat : 4988 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938117651600 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4989] ppid=4900 vsize=8414124 memory=-4075877051373423739 CPUtime=58.13 cores=0-7
/proc/4985/task/4989/stat : 4989 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938116598544 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4990] ppid=4900 vsize=8414124 memory=111636 CPUtime=58.13 cores=0-7
/proc/4985/task/4990/stat : 4990 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938115546000 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4991] ppid=4900 vsize=8414124 memory=804 CPUtime=58.13 cores=0-7
/proc/4985/task/4991/stat : 4991 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938114492944 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4992] ppid=4900 vsize=8414124 memory=1808 CPUtime=58.13 cores=0-7
/proc/4985/task/4992/stat : 4992 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938113440400 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4993] ppid=4900 vsize=8414124 memory=1476 CPUtime=58.13 cores=0-7
/proc/4985/task/4993/stat : 4993 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938112387344 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4994] ppid=4900 vsize=8414124 memory=2020 CPUtime=58.13 cores=0-7
/proc/4985/task/4994/stat : 4994 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 23 0 420692075 8616062976 68435 33554432000 4194304 4196468 140728640925536 139938111334800 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4995] ppid=4900 vsize=8414124 memory=1432 CPUtime=58.13 cores=0-7
/proc/4985/task/4995/stat : 4995 (java) S 4900 4900 3667 0 -1 1077944384 7 1410963 0 0 0 0 5229 584 20 0 23 0 420692077 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937271728880 139938313251458 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4996] ppid=4900 vsize=8414124 memory=776 CPUtime=58.13 cores=0-7
/proc/4985/task/4996/stat : 4996 (java) S 4900 4900 3667 0 -1 1077944384 13 1410963 0 0 0 0 5229 584 20 0 23 0 420692077 8616062976 68435 33554432000 4194304 4196468 140728640925536 139936946710176 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4997] ppid=4900 vsize=8414124 memory=1056 CPUtime=58.13 cores=0-7
/proc/4985/task/4997/stat : 4997 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 23 0 420692077 8616062976 68435 33554432000 4194304 4196468 140728640925536 139936678274288 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4998] ppid=4900 vsize=8414124 memory=4000 CPUtime=58.13 cores=0-7
/proc/4985/task/4998/stat : 4998 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139936303765968 139938313258907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4999] ppid=4900 vsize=8414124 memory=1552 CPUtime=58.24 cores=0-7
/proc/4985/task/4999/stat : 4999 (java) S 4900 4900 3667 0 -1 1077944384 549 1410963 0 0 11 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937270675696 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5000] ppid=4900 vsize=8414124 memory=1556 CPUtime=58.26 cores=0-7
/proc/4985/task/5000/stat : 5000 (java) S 4900 4900 3667 0 -1 1077944384 371 1410963 0 0 13 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937269623152 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5001] ppid=4900 vsize=8414124 memory=3612 CPUtime=58.28 cores=0-7
/proc/4985/task/5001/stat : 5001 (java) S 4900 4900 3667 0 -1 1077944384 597 1410963 0 0 15 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937268570096 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5002] ppid=4900 vsize=8414124 memory=40788 CPUtime=58.41 cores=0-7
/proc/4985/task/5002/stat : 5002 (java) S 4900 4900 3667 0 -1 1077944384 1191 1410963 0 0 28 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937267517552 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5003] ppid=4900 vsize=8414124 memory=988 CPUtime=58.13 cores=0-7
/proc/4985/task/5003/stat : 5003 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 23 0 420692080 8616062976 68435 33554432000 4194304 4196468 140728640925536 139935805860832 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5004] ppid=4900 vsize=8414124 memory=2020 CPUtime=58.13 cores=0-7
/proc/4985/task/5004/stat : 5004 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 23 0 420692081 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937266465968 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5006] ppid=4900 vsize=8414124 memory=1432 CPUtime=58.13 cores=0-7
/proc/4985/task/5006/stat : 5006 (java) S 4900 4900 3667 0 -1 1077944384 25 1410963 0 0 0 0 5229 584 20 0 23 0 420692149 8616062976 68435 33554432000 4194304 4196468 140728640925536 139937618064016 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5008] ppid=4900 vsize=8414124 memory=776 CPUtime=58.44 cores=0-7
/proc/4985/task/5008/stat : 5008 (java) R 4900 4900 3667 0 -1 4202560 124 1410963 0 0 29 2 5229 584 20 0 23 0 420692150 8616062976 68435 33554432000 4194304 4196468 140728640925536 139935134764640 139937772333329 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5010] ppid=4900 vsize=8414124 memory=4000 CPUtime=58.13 cores=0-7
/proc/4985/task/5010/stat : 5010 (java) S 4900 4900 3667 0 -1 1077944384 10 1410963 0 0 0 0 5229 584 20 0 23 0 420692152 8616062976 68435 33554432000 4194304 4196468 140728640925536 139934866332352 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
Current children cumulated CPU time: 1197.97 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 275216 KiB
[startup+791.401 s]
/proc/loadavg: 1.74 1.58 3.08 4/218 5020
/proc/meminfo: memFree=23525700/32770624 swapFree=66958260/67108860
[pid=4900] ppid=4897 vsize=113128 memory=1476 CPUtime=1138.03 cores=0-7
/proc/4900/stat : 4900 (scop.sh) S 4897 4900 3667 0 -1 4202496 583 355671 0 0 0 0 109294 4509 20 0 1 0 420614406 115843072 369 33554432000 4194304 5098028 140732770061552 140732770058296 140694699463292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40669184 140732770067236 140732770067564 140732770067564 140732770070477 0
/proc/4900/statm: 28282 369 311 221 0 87 0
[pid=4985] ppid=4900 vsize=8283048 memory=286172 CPUtime=60.3 cores=0-7
/proc/4985/stat : 4985 (java) S 4900 4900 3667 0 -1 1077944320 23247 1410963 0 0 204 13 5229 584 20 0 22 0 420692073 8481841152 71543 33554432000 4194304 4196468 140728640925536 140728640908080 139938313240311 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
/proc/4985/statm: 2070762 71543 3229 1 0 2032106 0
[pid=4985/tid=4986] ppid=4900 vsize=8283048 memory=4548 CPUtime=59.07 cores=0-7
/proc/4985/task/4986/stat : 4986 (java) R 4900 4900 3667 0 -1 4202560 18722 1410963 0 0 86 8 5229 584 20 0 22 0 420692074 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938285076864 139938305925943 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4987] ppid=4900 vsize=8283048 memory=8112282956445269571 CPUtime=58.13 cores=0-7
/proc/4985/task/4987/stat : 4987 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938317483024 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4988] ppid=4900 vsize=8283048 memory=1044 CPUtime=58.13 cores=0-7
/proc/4985/task/4988/stat : 4988 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938117651600 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4989] ppid=4900 vsize=8283048 memory=712 CPUtime=58.13 cores=0-7
/proc/4985/task/4989/stat : 4989 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938116598544 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4990] ppid=4900 vsize=8283048 memory=2832 CPUtime=58.13 cores=0-7
/proc/4985/task/4990/stat : 4990 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938115546000 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4991] ppid=4900 vsize=8283048 memory=8004 CPUtime=58.13 cores=0-7
/proc/4985/task/4991/stat : 4991 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938114492944 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4992] ppid=4900 vsize=8283048 memory=10428 CPUtime=58.13 cores=0-7
/proc/4985/task/4992/stat : 4992 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938113440400 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4993] ppid=4900 vsize=8283048 memory=14012 CPUtime=58.13 cores=0-7
/proc/4985/task/4993/stat : 4993 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938112387344 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4994] ppid=4900 vsize=8283048 memory=14080 CPUtime=58.13 cores=0-7
/proc/4985/task/4994/stat : 4994 (java) S 4900 4900 3667 0 -1 1077944384 2 1410963 0 0 0 0 5229 584 20 0 22 0 420692075 8481841152 71543 33554432000 4194304 4196468 140728640925536 139938111334800 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4995] ppid=4900 vsize=8283048 memory=22188 CPUtime=58.13 cores=0-7
/proc/4985/task/4995/stat : 4995 (java) S 4900 4900 3667 0 -1 1077944384 7 1410963 0 0 0 0 5229 584 20 0 22 0 420692077 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937271728880 139938313251458 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4996] ppid=4900 vsize=8283048 memory=2120 CPUtime=58.13 cores=0-7
/proc/4985/task/4996/stat : 4996 (java) S 4900 4900 3667 0 -1 1077944384 13 1410963 0 0 0 0 5229 584 20 0 22 0 420692077 8481841152 71543 33554432000 4194304 4196468 140728640925536 139936946710176 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4997] ppid=4900 vsize=8283048 memory=508 CPUtime=58.13 cores=0-7
/proc/4985/task/4997/stat : 4997 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 22 0 420692077 8481841152 71543 33554432000 4194304 4196468 140728640925536 139936678274288 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4998] ppid=4900 vsize=8283048 memory=1560 CPUtime=58.13 cores=0-7
/proc/4985/task/4998/stat : 4998 (java) S 4900 4900 3667 0 -1 1077944384 1 1410963 0 0 0 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139936303765968 139938313258907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=4999] ppid=4900 vsize=8283048 memory=372 CPUtime=58.27 cores=0-7
/proc/4985/task/4999/stat : 4999 (java) S 4900 4900 3667 0 -1 1077944384 569 1410963 0 0 14 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937270675696 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5000] ppid=4900 vsize=8283048 memory=294 CPUtime=58.29 cores=0-7
/proc/4985/task/5000/stat : 5000 (java) S 4900 4900 3667 0 -1 1077944384 436 1410963 0 0 16 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937269623152 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5001] ppid=4900 vsize=8283048 memory=603 CPUtime=58.3 cores=0-7
/proc/4985/task/5001/stat : 5001 (java) S 4900 4900 3667 0 -1 1077944384 611 1410963 0 0 17 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937268570096 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5002] ppid=4900 vsize=8283048 memory=150 CPUtime=58.48 cores=0-7
/proc/4985/task/5002/stat : 5002 (java) S 4900 4900 3667 0 -1 1077944384 1371 1410963 0 0 35 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937267517552 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5003] ppid=4900 vsize=8283048 memory=1009 CPUtime=58.13 cores=0-7
/proc/4985/task/5003/stat : 5003 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 22 0 420692080 8481841152 71543 33554432000 4194304 4196468 140728640925536 139935805860832 139938313250517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5004] ppid=4900 vsize=8283048 memory=1362 CPUtime=58.13 cores=0-7
/proc/4985/task/5004/stat : 5004 (java) S 4900 4900 3667 0 -1 1077944384 3 1410963 0 0 0 0 5229 584 20 0 22 0 420692081 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937266465968 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5006] ppid=4900 vsize=8283048 memory=12 CPUtime=58.13 cores=0-7
/proc/4985/task/5006/stat : 5006 (java) S 4900 4900 3667 0 -1 1077944384 25 1410963 0 0 0 0 5229 584 20 0 22 0 420692149 8481841152 71543 33554432000 4194304 4196468 140728640925536 139937618064016 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
[pid=4985/tid=5010] ppid=4900 vsize=8283048 memory=27237 CPUtime=58.13 cores=0-7
/proc/4985/task/5010/stat : 5010 (java) S 4900 4900 3667 0 -1 1077944384 16 1410963 0 0 0 0 5229 584 20 0 22 0 420692152 8481841152 71543 33554432000 4194304 4196468 140728640925536 139934866334384 139938313251458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38379520 140728640926712 140728640926870 140728640926870 140728640929743 0
Current children cumulated CPU time: 1198.33 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 287648 KiB
Child status: 0
Real time (s): 791.428
CPU time (s): 1198.4
CPU user time (s): 1147.29
CPU system time (s): 51.1086
CPU usage (%): 151.422
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 22921940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1147.29
system time used= 51.1086
maximum resident set size= 22921012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1790500
page faults= 0
swaps= 0
block input operations= 8
block output operations= 394688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 484192
involuntary context switches= 4720
# summary of solver processes directly reported to runsolver:
# pid: 4900
# total CPU time (s): 1198.4
# total CPU user time (s): 1147.29
# total CPU system time (s): 51.1086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45121 second user time and 7.34121 second system time
The end
Begin job on node145 at 2019-09-14 09:38:57 IDJOB=4392842 IDBENCH=140060 IDSOLVER=2839 FILE ID=node145/4392842-1568446779 RUNJOBID= node145-1568439892-3694 PBS_JOBID= 21702338 Free space on /tmp= 59500 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) 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-4392842-1568446779/watcher-4392842-1568446779 -o /tmp/evaluation-result-4392842-1568446779/solver-4392842-1568446779 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568439892-3694 --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-4392842-1568446779.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=59826050 node145.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.59 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.59 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.59 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.59 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: 29559356 kB MemAvailable: 31859312 kB Buffers: 140932 kB Cached: 2442996 kB SwapCached: 41120 kB Active: 1248156 kB Inactive: 1381220 kB Active(anon): 7648 kB Inactive(anon): 78528 kB Active(file): 1240508 kB Inactive(file): 1302692 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66958260 kB Dirty: 26740 kB Writeback: 0 kB AnonPages: 126260 kB Mapped: 44612 kB Shmem: 32372 kB Slab: 173668 kB SReclaimable: 145180 kB SUnreclaim: 28488 kB KernelStack: 3712 kB PageTables: 5984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498120 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59480 MiB End job on node145 at 2019-09-14 09:52:09