Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 1199.59 | 780.538 |
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-22629-serial-file.bin HOME/instance-4405402-1569362775.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Wed Sep 25 00:08:29 CEST 2019 0.65/0.57 c PID: 22632 0.65/0.57 c IP: 172.20.3.139 0.65/0.57 c HOST: node139.alineos.net 0.65/0.58 c (0,0) Parsing Begin 3.26/1.70 c (1,1) Parsing End 3.26/1.71 c (1,1) CSP: 195 int (0 aux), 0 bool (0 aux), 72 ctr, max domain size 26 3.47/1.88 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.47/1.88 c (1,1) Constraint Name Generate Begin 3.47/1.88 c (1,1) Ctr:HOME/instance-4405402-1569362775.xml,ExtensionSupport:Var 3.47/1.88 c (1,1) Constraint Name Generate End 3.47/1.88 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.47/1.88 c (1,1) CSP to CSPinCNF Begin 123.18/87.01 c (86,83) translated 8 (10%) constraints 221.87/159.74 c (159,152) translated 15 (20%) constraints 295.22/213.63 c (213,203) translated 22 (30%) constraints 300.24/218.63 c (218,208) translated 29 (40%) constraints 308.76/224.06 c (223,213) translated 36 (50%) constraints 327.03/238.89 c (238,227) translated 44 (60%) constraints 346.96/255.85 c (255,244) translated 51 (70%) constraints 357.99/263.97 c (263,251) translated 58 (80%) constraints 436.43/327.80 c (327,313) translated 65 (90%) constraints 570.99/435.70 c (435,417) translated 72 (100%) constraints 593.96/454.49 c (453,435) =========================================== 594.06/454.54 c (453,435) Order 594.06/454.54 c (453,435) =========================================== 614.76/470.59 c (470,451) translated 762152 (10%) constraints 636.67/486.72 c (486,466) translated 1524304 (20%) constraints 651.86/501.86 c (501,481) translated 2286456 (30%) constraints 672.99/517.87 c (517,496) translated 3048608 (40%) constraints 694.54/533.91 c (533,512) translated 3810760 (50%) constraints 715.46/549.46 c (548,526) translated 4572912 (60%) constraints 730.57/564.55 c (564,541) translated 5335064 (70%) constraints 752.27/580.59 c (580,557) translated 6097216 (80%) constraints 773.99/596.55 c (596,572) translated 6859368 (90%) constraints 789.15/611.56 c (611,587) translated 7621519 (100%) constraints 789.15/611.56 c (611,587) CSP to CSPinCNF End 789.38/611.79 c (611,587) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 789.38/611.79 c (611,587) Heap : 15286 MiB used (max 21800 MiB), NonHeap : 27 MiB used (max 0 MiB) 789.38/611.79 c (611,587) CSPinCNF Propagation Begin 881.04/654.23 c (653,622) 0 values, 72 unsatisfiable literals, and 0 valid clauses are removed 881.04/654.23 c (653,622) CSPinCNF Propagation End 881.25/654.47 c (653,623) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 881.25/654.47 c (653,623) Heap : 18454 MiB used (max 21913 MiB), NonHeap : 27 MiB used (max 0 MiB) 881.36/654.51 c (653,623) Simplify CSPinCNF Begin 923.73/672.14 c (671,637) Simplify CSPinCNF End 923.92/672.37 c (671,637) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 923.92/672.37 c (671,637) Heap : 16849 MiB used (max 21274 MiB), NonHeap : 27 MiB used (max 0 MiB) 923.92/672.37 c (671,637) Calculate Precise Domain Begin 923.92/672.37 c (671,637) 0 values are removed by re-calculation 923.92/672.37 c (671,637) Calculate Precise Domain End 924.22/672.60 c (672,637) CSP: 195 int (0 aux), 741504 bool (741504 aux), 7621519 ctr, max domain size 26 924.22/672.60 c (672,637) Heap : 16849 MiB used (max 21274 MiB), NonHeap : 27 MiB used (max 0 MiB) 924.22/672.60 c (672,637) CSPinCNF to SatSolver Begin 1051.46/696.33 c (695,646) 762152 (10 %) CSP clauses are encoded (0 SAT variables, 766831 SAT clauses) 1060.54/703.94 c (703,653) 1524304 (20 %) CSP clauses are encoded (0 SAT variables, 1528983 SAT clauses) 1069.70/711.56 c (711,661) 2286456 (30 %) CSP clauses are encoded (0 SAT variables, 2291135 SAT clauses) 1078.95/719.23 c (718,668) 3048608 (40 %) CSP clauses are encoded (0 SAT variables, 3053287 SAT clauses) 1089.93/727.09 c (726,676) 3810760 (50 %) CSP clauses are encoded (0 SAT variables, 3815439 SAT clauses) 1099.20/734.63 c (734,683) 4572912 (60 %) CSP clauses are encoded (0 SAT variables, 4577591 SAT clauses) 1108.41/742.22 c (741,690) 5335064 (70 %) CSP clauses are encoded (0 SAT variables, 5339743 SAT clauses) 1117.68/749.87 c (749,698) 6097216 (80 %) CSP clauses are encoded (0 SAT variables, 6101895 SAT clauses) 1129.01/757.94 c (757,705) 6859368 (90 %) CSP clauses are encoded (0 SAT variables, 6864047 SAT clauses) 1138.24/765.46 c (764,712) 7621519 (100 %) CSP clauses are encoded (0 SAT variables, 7626198 SAT clauses) 1138.24/765.46 c (764,712) CSPinCNF to SatSolver End 1138.24/765.46 c (764,712) Heap : 10668 MiB used (max 21631 MiB), NonHeap : 29 MiB used (max 0 MiB) 1138.24/765.46 c (764,712) 746379 bool, 7626199 clause 1138.24/765.46 c (764,712) Export Begin 1138.41/765.70 c (765,713) Export to HOME/scop-22629-serial-file.bin 1138.41/765.70 c (765,713) Export End 1138.53/765.70 c (765,713) Export File Size: 0.04 MB 1138.53/765.70 c (765,713) 1,1,611,653,671,672,764,STOP-AFTER(DIMACS) 1138.53/765.70 c END-Prog: Wed Sep 25 00:21:14 CEST 2019 0.00/765.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22629-serial-file.bin 1139.22/766.31 c (0,0) Read Serial File Begin 1139.22/766.31 c (0,0) HOME/scop-22629-serial-file.bin 1139.53/766.54 c (0,0) Read Serial File End 1139.53/766.55 1139.53/766.55 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 1139.53/766.55 (Solving Process) 1139.53/766.55 1139.53/766.57 c BEGIN-Prog: Wed Sep 25 00:21:15 CEST 2019 1139.53/766.57 c PID: 22719 1139.53/766.57 c IP: 172.20.3.139 1139.53/766.57 c HOST: node139.alineos.net 1139.53/766.58 c (0,0) SatSolver.solve Begin 1139.53/766.58 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405402-1569362775.xml-scop-22632.cnf 1139.73/766.61 c (0,0) c 1139.73/766.61 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.73/766.61 c (0,0) c 1139.73/766.61 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1139.73/766.61 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1139.73/766.61 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1139.73/766.61 c (0,0) c | | 1142.74/769.57 c (3,0) c | Number of variables: 746379 | 1142.74/769.57 c (3,0) c | Number of clauses: 7626199 | 1142.74/769.57 c (3,0) c | Parse time: 2.70 s | 1142.74/769.57 c (3,0) c | | 1143.45/770.24 c (4,0) c | Too many clauses... No preprocessing | 1143.45/770.24 c (4,0) c | Simplification time: 0.62 s | 1143.45/770.24 c (4,0) c | | 1143.45/770.26 c (4,0) c | Generating clones | 1145.85/772.66 c (6,0) c | all clones generated. Memory = 5258.31Mb. | 1145.85/772.66 c (6,0) c ========================================================================================================| 1145.85/772.66 c (6,0) c 1145.85/772.66 c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1145.85/772.66 c (6,0) c 1145.85/772.66 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1145.85/772.66 c (6,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1145.85/772.66 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1145.85/772.66 c (6,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1145.85/772.66 c (6,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1145.85/772.66 c (6,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1145.85/772.66 c (6,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 1145.85/772.66 c (6,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1145.85/772.66 c (6,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1145.85/772.66 c (6,0) c | glureduce | True | True | True | True | True | True | True | True | 1145.85/772.66 c (6,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1145.85/772.66 c (6,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1145.85/772.66 c (6,0) c | luby_restart | False | False | False | False | False | False | False | False | 1145.85/772.66 c (6,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1145.85/772.66 c (6,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1145.85/772.66 c (6,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1145.85/772.66 c (6,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1145.85/772.66 c (6,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1145.85/772.66 c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c real time : 13.3054 s 1198.21/779.91 c (13,0) c cpu time : 52.5758 s 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | Conflicts | 10896 | 1302 | 1173 | 1378 | 1216 | 1665 | 1361 | 1221 | 1580 | 1198.21/779.91 c (13,0) c | Decisions | 642996 | 75511 | 80453 | 92199 | 105173 | 64601 | 84382 | 69823 | 70854 | 1198.21/779.91 c (13,0) c | Propagations | 106304161 | 12898850 | 12893255 | 12368579 | 12617159 | 11712930 | 14685162 | 15156534 | 13971692 | 1198.21/779.91 c (13,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1198.21/779.91 c (13,0) c | Restarts | 36 | 3 | 1 | 7 | 4 | 2 | 6 | 9 | 4 | 1198.21/779.91 c (13,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | PropBinClauses| 100796509 | 12134790 | 12273796 | 11909703 | 11735205 | 11521979 | 13982623 | 13222145 | 14016268 | 1198.21/779.91 c (13,0) c | PropPreBlocker| 587353105 | 72546393 | 73015725 | 72364048 | 72918348 | 65242073 | 79965403 | 68960220 | 82340895 | 1198.21/779.91 c (13,0) c | PropNotBlocker| 207074840 | 24363507 | 25323223 | 25294646 | 24794656 | 24971332 | 26986600 | 26422694 | 28918182 | 1198.21/779.91 c (13,0) c | LitFullScans | 1127921612 | 138034666 | 138036388 | 138257119 | 137259415 | 132083454 | 150061667 | 138068402 | 156120501 | 1198.21/779.91 c (13,0) c | LitScanFracts | 311900 | 18099 | 18867 | 43645 | 43851 | 28107 | 56542 | 49317 | 53472 | 1198.21/779.91 c (13,0) c | DecisionLevel0| 36 | 3 | 1 | 7 | 4 | 2 | 6 | 9 | 4 | 1198.21/779.91 c (13,0) c | Periods | 187 | 23 | 23 | 23 | 22 | 22 | 25 | 23 | 26 | 1198.21/779.91 c (13,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1198.21/779.91 c (13,0) c | Avg_Trail | | 350789 | 367631 | 301550 | 439739 | 236103 | 349181 | 249325 | 342701 | 1198.21/779.91 c (13,0) c | Avg_DL | | 5728 | 6881 | 802 | 1811 | 1050 | 1089 | 1112 | 1960 | 1198.21/779.91 c (13,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | Exported | 703 | 81 | 106 | 79 | 68 | 88 | 101 | 67 | 113 | 1198.21/779.91 c (13,0) c | Imported | 144 | 0 | 0 | 29 | 0 | 0 | 0 | 29 | 86 | 1198.21/779.91 c (13,0) c | Good | 137 | 0 | 0 | 28 | 0 | 0 | 0 | 28 | 81 | 1198.21/779.91 c (13,0) c | Purge | 7 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 5 | 1198.21/779.91 c (13,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1198.21/779.91 c (13,0) c | Binaries | | 58 | 74 | 59 | 51 | 31 | 81 | 53 | 82 | 1198.21/779.91 c (13,0) c | Glues | | 81 | 106 | 79 | 68 | 88 | 101 | 67 | 113 | 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | Orig_Seen | 0 % | 64842 | 53886 | 79547 | 73974 | 53245 | 43163 | 73551 | 93267 | 1198.21/779.91 c (13,0) c | Diff Orig seen| | - 9132 | - 20088 | 5573 | X | - 20729 | - 30811 | - 423 | 19293 | 1198.21/779.91 c (13,0) c | Hamming | 4 % | 35085 | 34311 | 38616 | X | 34768 | 36085 | 31155 | 37211 | 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c | RunningTime | | 6.9 100%| 6.9 100%| 7.0 100%| 6.9 100%| 7.2 100%| 7.0 100%| 7.0 100%| 7.0 100%| 1198.21/779.91 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%| 1198.21/779.91 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%| 1198.21/779.91 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%| 1198.21/779.91 c (13,0) c | SolvingTime | | 6.9 | 6.9 | 7.0 | 6.9 | 7.2 | 7.0 | 7.0 | 7.0 | 1198.21/779.91 c (13,0) c | PropagationTim| | 6.4 93%| 6.5 94%| 6.5 92%| 6.2 91%| 6.5 91%| 6.5 93%| 6.5 92%| 6.5 93%| 1198.21/779.91 c (13,0) c | AnalysisTime | | 0.3 4%| 0.1 2%| 0.2 3%| 0.2 3%| 0.3 4%| 0.2 2%| 0.2 3%| 0.2 3%| 1198.21/779.91 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%| 1198.21/779.91 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%| 1198.21/779.91 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%| 1198.21/779.91 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%| 1198.21/779.91 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c 1198.21/779.91 c (13,0) c Threads : 8 1198.21/779.91 c (13,0) c Winner : 3 1198.21/779.91 c (13,0) c Conflicts_0 : 1302 1198.21/779.91 c (13,0) c Conflicts_1 : 1173 1198.21/779.91 c (13,0) c Conflicts_2 : 1378 1198.21/779.91 c (13,0) c Conflicts_3 : 1216 1198.21/779.91 c (13,0) c Conflicts_4 : 1665 1198.21/779.91 c (13,0) c Conflicts_5 : 1361 1198.21/779.91 c (13,0) c Conflicts_6 : 1221 1198.21/779.91 c (13,0) c Conflicts_7 : 1580 1198.21/779.91 c (13,0) c Conflicts_total : 10896 1198.21/779.91 c (13,0) c Conflicts_winner : 1216 1198.21/779.91 c (13,0) c Decisions_0 : 75511 1198.21/779.91 c (13,0) c Decisions_1 : 80453 1198.21/779.91 c (13,0) c Decisions_2 : 92199 1198.21/779.91 c (13,0) c Decisions_3 : 105173 1198.21/779.91 c (13,0) c Decisions_4 : 64601 1198.21/779.91 c (13,0) c Decisions_5 : 84382 1198.21/779.91 c (13,0) c Decisions_6 : 69823 1198.21/779.91 c (13,0) c Decisions_7 : 70854 1198.21/779.91 c (13,0) c Decisions_total : 642996 1198.21/779.91 c (13,0) c Decisions_winner : 105173 1198.21/779.91 c (13,0) c Propagations_0 : 12898850 1198.21/779.91 c (13,0) c Propagations_1 : 12893255 1198.21/779.91 c (13,0) c Propagations_2 : 12368579 1198.21/779.91 c (13,0) c Propagations_3 : 12617159 1198.21/779.91 c (13,0) c Propagations_4 : 11712930 1198.21/779.91 c (13,0) c Propagations_5 : 14685162 1198.21/779.91 c (13,0) c Propagations_6 : 15156534 1198.21/779.91 c (13,0) c Propagations_7 : 13971692 1198.21/779.91 c (13,0) c Propagations_total : 106304161 1198.21/779.91 c (13,0) c Propagations_winner : 12617159 1198.21/779.91 c (13,0) c ReduceDBs_0 : 0 1198.21/779.91 c (13,0) c ReduceDBs_1 : 0 1198.21/779.91 c (13,0) c ReduceDBs_2 : 0 1198.21/779.91 c (13,0) c ReduceDBs_3 : 0 1198.21/779.91 c (13,0) c ReduceDBs_4 : 0 1198.21/779.91 c (13,0) c ReduceDBs_5 : 0 1198.21/779.91 c (13,0) c ReduceDBs_6 : 0 1198.21/779.91 c (13,0) c ReduceDBs_7 : 0 1198.21/779.91 c (13,0) c ReduceDBs_total : 0 1198.21/779.91 c (13,0) c ReduceDBs_winner : 0 1198.21/779.91 c (13,0) c SimpDBs_0 : 1 1198.21/779.91 c (13,0) c SimpDBs_1 : 1 1198.21/779.92 c (13,0) c SimpDBs_2 : 1 1198.21/779.92 c (13,0) c SimpDBs_3 : 1 1198.21/779.92 c (13,0) c SimpDBs_4 : 1 1198.21/779.92 c (13,0) c SimpDBs_5 : 1 1198.21/779.92 c (13,0) c SimpDBs_6 : 1 1198.21/779.92 c (13,0) c SimpDBs_7 : 1 1198.21/779.92 c (13,0) c SimpDBs_total : 8 1198.21/779.92 c (13,0) c SimpDBs_winner : 1 1198.21/779.92 c (13,0) c Restarts_0 : 3 1198.21/779.92 c (13,0) c Restarts_1 : 1 1198.21/779.92 c (13,0) c Restarts_2 : 7 1198.21/779.92 c (13,0) c Restarts_3 : 4 1198.21/779.92 c (13,0) c Restarts_4 : 2 1198.21/779.92 c (13,0) c Restarts_5 : 6 1198.21/779.92 c (13,0) c Restarts_6 : 9 1198.21/779.92 c (13,0) c Restarts_7 : 4 1198.21/779.92 c (13,0) c Restarts_total : 36 1198.21/779.92 c (13,0) c Restarts_winner : 4 1198.21/779.92 c (13,0) c ForcedImports_0 : 0 1198.21/779.92 c (13,0) c ForcedImports_1 : 0 1198.21/779.92 c (13,0) c ForcedImports_2 : 0 1198.21/779.92 c (13,0) c ForcedImports_3 : 0 1198.21/779.92 c (13,0) c ForcedImports_4 : 0 1198.21/779.92 c (13,0) c ForcedImports_5 : 0 1198.21/779.92 c (13,0) c ForcedImports_6 : 0 1198.21/779.92 c (13,0) c ForcedImports_7 : 0 1198.21/779.92 c (13,0) c ForcedImports_total : 0 1198.21/779.92 c (13,0) c ForcedImports_winner : 0 1198.21/779.92 c (13,0) c PropsBinClauses_0 : 12134790 1198.21/779.92 c (13,0) c PropsBinClauses_1 : 12273796 1198.21/779.92 c (13,0) c PropsBinClauses_2 : 11909703 1198.21/779.92 c (13,0) c PropsBinClauses_3 : 11735205 1198.21/779.92 c (13,0) c PropsBinClauses_4 : 11521979 1198.21/779.92 c (13,0) c PropsBinClauses_5 : 13982623 1198.21/779.92 c (13,0) c PropsBinClauses_6 : 13222145 1198.21/779.92 c (13,0) c PropsBinClauses_7 : 14016268 1198.21/779.92 c (13,0) c PropsBinClauses_total : 100796509 1198.21/779.92 c (13,0) c PropsBinClauses_winner : 11735205 1198.21/779.92 c (13,0) c PropsPreBlocker_0 : 72546393 1198.21/779.92 c (13,0) c PropsPreBlocker_1 : 73015725 1198.21/779.92 c (13,0) c PropsPreBlocker_2 : 72364048 1198.21/779.92 c (13,0) c PropsPreBlocker_3 : 72918348 1198.21/779.92 c (13,0) c PropsPreBlocker_4 : 65242073 1198.21/779.92 c (13,0) c PropsPreBlocker_5 : 79965403 1198.21/779.92 c (13,0) c PropsPreBlocker_6 : 68960220 1198.21/779.92 c (13,0) c PropsPreBlocker_7 : 82340895 1198.21/779.92 c (13,0) c PropsPreBlocker_total : 587353105 1198.21/779.92 c (13,0) c PropsPreBlocker_winner : 72918348 1198.21/779.92 c (13,0) c PropsNotBlocker_0 : 24363507 1198.21/779.92 c (13,0) c PropsNotBlocker_1 : 25323223 1198.21/779.92 c (13,0) c PropsNotBlocker_2 : 25294646 1198.21/779.92 c (13,0) c PropsNotBlocker_3 : 24794656 1198.21/779.92 c (13,0) c PropsNotBlocker_4 : 24971332 1198.21/779.92 c (13,0) c PropsNotBlocker_5 : 26986600 1198.21/779.92 c (13,0) c PropsNotBlocker_6 : 26422694 1198.21/779.92 c (13,0) c PropsNotBlocker_7 : 28918182 1198.21/779.92 c (13,0) c PropsNotBlocker_total : 207074840 1198.21/779.92 c (13,0) c PropsNotBlocker_winner : 24794656 1198.21/779.92 c (13,0) c PropsLitFullScans_0 : 138034666 1198.21/779.92 c (13,0) c PropsLitFullScans_1 : 138036388 1198.21/779.92 c (13,0) c PropsLitFullScans_2 : 138257119 1198.21/779.92 c (13,0) c PropsLitFullScans_3 : 137259415 1198.21/779.92 c (13,0) c PropsLitFullScans_4 : 132083454 1198.21/779.92 c (13,0) c PropsLitFullScans_5 : 150061667 1198.21/779.92 c (13,0) c PropsLitFullScans_6 : 138068402 1198.21/779.92 c (13,0) c PropsLitFullScans_7 : 156120501 1198.21/779.92 c (13,0) c PropsLitFullScans_total : 1127921612 1198.21/779.92 c (13,0) c PropsLitFullScans_winner : 137259415 1198.21/779.92 c (13,0) c LitScanFractions_0 : 18099 1198.21/779.92 c (13,0) c LitScanFractions_1 : 18867 1198.21/779.92 c (13,0) c LitScanFractions_2 : 43645 1198.21/779.92 c (13,0) c LitScanFractions_3 : 43851 1198.21/779.92 c (13,0) c LitScanFractions_4 : 28107 1198.21/779.92 c (13,0) c LitScanFractions_5 : 56542 1198.21/779.92 c (13,0) c LitScanFractions_6 : 49317 1198.21/779.92 c (13,0) c LitScanFractions_7 : 53472 1198.21/779.92 c (13,0) c LitScanFractions_total : 311900 1198.21/779.92 c (13,0) c LitScanFractions_winner : 43851 1198.21/779.92 c (13,0) c DecisionLevel0_0 : 3 1198.21/779.92 c (13,0) c DecisionLevel0_1 : 1 1198.21/779.92 c (13,0) c DecisionLevel0_2 : 7 1198.21/779.92 c (13,0) c DecisionLevel0_3 : 4 1198.21/779.92 c (13,0) c DecisionLevel0_4 : 2 1198.21/779.92 c (13,0) c DecisionLevel0_5 : 6 1198.21/779.92 c (13,0) c DecisionLevel0_6 : 9 1198.21/779.92 c (13,0) c DecisionLevel0_7 : 4 1198.21/779.92 c (13,0) c DecisionLevel0_total : 36 1198.21/779.92 c (13,0) c DecisionLevel0_winner : 4 1198.21/779.92 c (13,0) c Periods_0 : 23 1198.21/779.92 c (13,0) c Periods_1 : 23 1198.21/779.92 c (13,0) c Periods_2 : 23 1198.21/779.92 c (13,0) c Periods_3 : 22 1198.21/779.92 c (13,0) c Periods_4 : 22 1198.21/779.92 c (13,0) c Periods_5 : 25 1198.21/779.92 c (13,0) c Periods_6 : 23 1198.21/779.92 c (13,0) c Periods_7 : 26 1198.21/779.92 c (13,0) c Periods_total : 187 1198.21/779.92 c (13,0) c Periods_winner : 22 1198.21/779.92 c (13,0) c Margin_0 : 20 1198.21/779.92 c (13,0) c Margin_1 : 20 1198.21/779.92 c (13,0) c Margin_2 : 20 1198.21/779.92 c (13,0) c Margin_3 : 20 1198.21/779.92 c (13,0) c Margin_4 : 20 1198.21/779.92 c (13,0) c Margin_5 : 20 1198.21/779.92 c (13,0) c Margin_6 : 20 1198.21/779.92 c (13,0) c Margin_7 : 20 1198.21/779.92 c (13,0) c Margin_total : 160 1198.21/779.92 c (13,0) c Margin_winner : 20 1198.21/779.92 c (13,0) c Exported_0 : 81 1198.21/779.92 c (13,0) c Exported_1 : 106 1198.21/779.92 c (13,0) c Exported_2 : 79 1198.21/779.92 c (13,0) c Exported_3 : 68 1198.21/779.92 c (13,0) c Exported_4 : 88 1198.21/779.92 c (13,0) c Exported_5 : 101 1198.21/779.92 c (13,0) c Exported_6 : 67 1198.21/779.92 c (13,0) c Exported_7 : 113 1198.21/779.92 c (13,0) c Exported_total : 703 1198.21/779.92 c (13,0) c Exported_winner : 68 1198.21/779.92 c (13,0) c Imported_0 : 0 1198.21/779.92 c (13,0) c Imported_1 : 0 1198.21/779.92 c (13,0) c Imported_2 : 29 1198.21/779.92 c (13,0) c Imported_3 : 0 1198.21/779.92 c (13,0) c Imported_4 : 0 1198.21/779.92 c (13,0) c Imported_5 : 0 1198.21/779.92 c (13,0) c Imported_6 : 29 1198.21/779.92 c (13,0) c Imported_7 : 86 1198.21/779.92 c (13,0) c Imported_total : 144 1198.21/779.92 c (13,0) c Imported_winner : 0 1198.21/779.92 c (13,0) c Good_0 : 0 1198.21/779.92 c (13,0) c Good_1 : 0 1198.21/779.92 c (13,0) c Good_2 : 28 1198.21/779.92 c (13,0) c Good_3 : 0 1198.21/779.92 c (13,0) c Good_4 : 0 1198.21/779.92 c (13,0) c Good_5 : 0 1198.21/779.92 c (13,0) c Good_6 : 28 1198.21/779.92 c (13,0) c Good_7 : 81 1198.21/779.92 c (13,0) c Good_total : 137 1198.21/779.92 c (13,0) c Good_winner : 0 1198.21/779.92 c (13,0) c Purge_0 : 0 1198.21/779.92 c (13,0) c Purge_1 : 0 1198.21/779.92 c (13,0) c Purge_2 : 1 1198.21/779.92 c (13,0) c Purge_3 : 0 1198.21/779.92 c (13,0) c Purge_4 : 0 1198.21/779.92 c (13,0) c Purge_5 : 0 1198.21/779.92 c (13,0) c Purge_6 : 1 1198.21/779.92 c (13,0) c Purge_7 : 5 1198.21/779.92 c (13,0) c Purge_total : 7 1198.21/779.92 c (13,0) c Purge_winner : 0 1198.21/779.92 c (13,0) c Promoted_0 : 0 1198.21/779.92 c (13,0) c Promoted_1 : 0 1198.21/779.92 c (13,0) c Promoted_2 : 0 1198.21/779.92 c (13,0) c Promoted_3 : 0 1198.21/779.92 c (13,0) c Promoted_4 : 0 1198.21/779.92 c (13,0) c Promoted_5 : 0 1198.21/779.92 c (13,0) c Promoted_6 : 0 1198.21/779.92 c (13,0) c Promoted_7 : 0 1198.21/779.92 c (13,0) c Promoted_total : 0 1198.21/779.92 c (13,0) c Promoted_winner : 0 1198.21/779.92 c (13,0) c Remove_Imp_0 : 0 1198.21/779.92 c (13,0) c Remove_Imp_1 : 0 1198.21/779.92 c (13,0) c Remove_Imp_2 : 0 1198.21/779.92 c (13,0) c Remove_Imp_3 : 0 1198.21/779.92 c (13,0) c Remove_Imp_4 : 0 1198.21/779.92 c (13,0) c Remove_Imp_5 : 0 1198.21/779.92 c (13,0) c Remove_Imp_6 : 0 1198.21/779.92 c (13,0) c Remove_Imp_7 : 0 1198.21/779.92 c (13,0) c Remove_Imp_total : 0 1198.21/779.92 c (13,0) c Remove_Imp_winner : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_0 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_1 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_2 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_3 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_4 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_5 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_6 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_7 : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_total : 0 1198.21/779.92 c (13,0) c Blocked_Reuse_winner : 0 1198.21/779.92 c (13,0) c Unaries_0 : 0 1198.21/779.92 c (13,0) c Unaries_1 : 0 1198.21/779.92 c (13,0) c Unaries_2 : 0 1198.21/779.92 c (13,0) c Unaries_3 : 0 1198.21/779.92 c (13,0) c Unaries_4 : 0 1198.21/779.92 c (13,0) c Unaries_5 : 0 1198.21/779.92 c (13,0) c Unaries_6 : 0 1198.21/779.92 c (13,0) c Unaries_7 : 0 1198.21/779.92 c (13,0) c Unaries_total : 0 1198.21/779.92 c (13,0) c Unaries_winner : 0 1198.21/779.92 c (13,0) c Binaries_0 : 58 1198.21/779.92 c (13,0) c Binaries_1 : 74 1198.21/779.92 c (13,0) c Binaries_2 : 59 1198.21/779.92 c (13,0) c Binaries_3 : 51 1198.21/779.92 c (13,0) c Binaries_4 : 31 1198.21/779.92 c (13,0) c Binaries_5 : 81 1198.21/779.92 c (13,0) c Binaries_6 : 53 1198.21/779.92 c (13,0) c Binaries_7 : 82 1198.21/779.92 c (13,0) c Binaries_total : 489 1198.21/779.92 c (13,0) c Binaries_winner : 51 1198.21/779.92 c (13,0) c Glues_0 : 81 1198.21/779.92 c (13,0) c Glues_1 : 106 1198.21/779.92 c (13,0) c Glues_2 : 79 1198.21/779.92 c (13,0) c Glues_3 : 68 1198.21/779.92 c (13,0) c Glues_4 : 88 1198.21/779.92 c (13,0) c Glues_5 : 101 1198.21/779.92 c (13,0) c Glues_6 : 67 1198.21/779.92 c (13,0) c Glues_7 : 113 1198.21/779.92 c (13,0) c Glues_total : 703 1198.21/779.92 c (13,0) c Glues_winner : 68 1198.21/779.92 c (13,0) c RunningTime_0 : 6.930440 1198.21/779.92 c (13,0) c RunningTime_1 : 6.925026 1198.21/779.92 c (13,0) c RunningTime_2 : 6.987468 1198.21/779.92 c (13,0) c RunningTime_3 : 6.854697 1198.21/779.92 c (13,0) c RunningTime_4 : 7.179727 1198.21/779.92 c (13,0) c RunningTime_5 : 6.950746 1198.21/779.92 c (13,0) c RunningTime_6 : 6.991652 1198.21/779.92 c (13,0) c RunningTime_7 : 6.992892 1198.21/779.92 c (13,0) c RunningTime_total : 55.812648 1198.21/779.92 c (13,0) c RunningTime_winner : 6.854697 1198.21/779.92 c (13,0) c WaitingTime_0 : 0.000005 1198.21/779.92 c (13,0) c WaitingTime_1 : 0.000010 1198.21/779.92 c (13,0) c WaitingTime_2 : 0.000004 1198.21/779.92 c (13,0) c WaitingTime_3 : 0.000003 1198.21/779.92 c (13,0) c WaitingTime_4 : 0.000004 1198.21/779.92 c (13,0) c WaitingTime_5 : 0.000007 1198.21/779.92 c (13,0) c WaitingTime_6 : 0.000006 1198.21/779.92 c (13,0) c WaitingTime_7 : 0.000032 1198.21/779.92 c (13,0) c WaitingTime_total : 0.000071 1198.21/779.92 c (13,0) c WaitingTime_winner : 0.000003 1198.21/779.92 c (13,0) c ExchangingTime_0 : 0.000705 1198.21/779.92 c (13,0) c ExchangingTime_1 : 0.000575 1198.21/779.92 c (13,0) c ExchangingTime_2 : 0.000570 1198.21/779.92 c (13,0) c ExchangingTime_3 : 0.000711 1198.21/779.92 c (13,0) c ExchangingTime_4 : 0.000570 1198.21/779.92 c (13,0) c ExchangingTime_5 : 0.000572 1198.21/779.92 c (13,0) c ExchangingTime_6 : 0.000508 1198.21/779.92 c (13,0) c ExchangingTime_7 : 0.000844 1198.21/779.92 c (13,0) c ExchangingTime_total : 0.005056 1198.21/779.92 c (13,0) c ExchangingTime_winner : 0.000711 1198.21/779.92 c (13,0) c PeriodProcTime_0 : 0.000255 1198.21/779.92 c (13,0) c PeriodProcTime_1 : 0.000243 1198.21/779.92 c (13,0) c PeriodProcTime_2 : 0.000253 1198.21/779.92 c (13,0) c PeriodProcTime_3 : 0.000261 1198.21/779.92 c (13,0) c PeriodProcTime_4 : 0.000255 1198.21/779.92 c (13,0) c PeriodProcTime_5 : 0.000260 1198.21/779.92 c (13,0) c PeriodProcTime_6 : 0.000282 1198.21/779.92 c (13,0) c PeriodProcTime_7 : 0.000258 1198.21/779.92 c (13,0) c PeriodProcTime_total : 0.002067 1198.21/779.92 c (13,0) c PeriodProcTime_winner : 0.000261 1198.21/779.92 c (13,0) c SolvingTime_0 : 6.931405 1198.21/779.92 c (13,0) c SolvingTime_1 : 6.925854 1198.21/779.92 c (13,0) c SolvingTime_2 : 6.988295 1198.21/779.92 c (13,0) c SolvingTime_3 : 6.855673 1198.21/779.92 c (13,0) c SolvingTime_4 : 7.180556 1198.21/779.92 c (13,0) c SolvingTime_5 : 6.951585 1198.21/779.92 c (13,0) c SolvingTime_6 : 6.992449 1198.21/779.92 c (13,0) c SolvingTime_7 : 6.994027 1198.21/779.92 c (13,0) c SolvingTime_total : 55.819843 1198.21/779.92 c (13,0) c SolvingTime_winner : 6.855673 1198.21/779.92 c (13,0) c PropagationTime_0 : 6.416697 1198.21/779.92 c (13,0) c PropagationTime_1 : 6.520554 1198.21/779.92 c (13,0) c PropagationTime_2 : 6.457850 1198.21/779.92 c (13,0) c PropagationTime_3 : 6.237815 1198.21/779.92 c (13,0) c PropagationTime_4 : 6.541203 1198.21/779.92 c (13,0) c PropagationTime_5 : 6.452954 1198.21/779.92 c (13,0) c PropagationTime_6 : 6.461882 1198.21/779.92 c (13,0) c PropagationTime_7 : 6.472496 1198.21/779.92 c (13,0) c PropagationTime_total : 51.561450 1198.21/779.92 c (13,0) c PropagationTime_winner : 6.237815 1198.21/779.92 c (13,0) c AnalysisTime_0 : 0.251234 1198.21/779.92 c (13,0) c AnalysisTime_1 : 0.149268 1198.21/779.92 c (13,0) c AnalysisTime_2 : 0.202102 1198.21/779.92 c (13,0) c AnalysisTime_3 : 0.218063 1198.21/779.92 c (13,0) c AnalysisTime_4 : 0.300066 1198.21/779.92 c (13,0) c AnalysisTime_5 : 0.160690 1198.21/779.92 c (13,0) c AnalysisTime_6 : 0.179182 1198.21/779.92 c (13,0) c AnalysisTime_7 : 0.203893 1198.21/779.92 c (13,0) c AnalysisTime_total : 1.664498 1198.21/779.92 c (13,0) c AnalysisTime_winner : 0.218063 1198.21/779.92 c (13,0) c ReductionTime_0 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_1 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_2 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_3 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_4 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_5 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_6 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_7 : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_total : 0.000000 1198.21/779.92 c (13,0) c ReductionTime_winner : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_0 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_1 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_2 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_3 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_4 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_5 : 0.000000 1198.21/779.92 c (13,0) c SimplifyTime_6 : 0.000001 1198.21/779.92 c (13,0) c SimplifyTime_7 : 0.000002 1198.21/779.92 c (13,0) c SimplifyTime_total : 0.000003 1198.21/779.92 c (13,0) c SimplifyTime_winner : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_0 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_1 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_2 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_3 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_4 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_5 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_6 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_7 : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_total : 0.000000 1198.21/779.92 c (13,0) c UsedRateTime_winner : 0.000000 1198.21/779.92 c (13,0) c OverlapRateTime_0 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_1 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_2 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_3 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_4 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_5 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_6 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_7 : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_total : 0.000000 1198.21/779.93 c (13,0) c OverlapRateTime_winner : 0.000000 1198.21/779.93 c (13,0) c 1198.21/779.93 c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1198.21/779.93 c (13,0) c 1198.21/779.93 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.93 c (13,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1198.21/779.93 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.93 c (13,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1198.21/779.93 c (13,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1198.21/779.93 c (13,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1198.21/779.93 c (13,0) c | Initial random_seed | 936029167 | 1617384112 | 598910630 | 253752209 | 594281020 | 340118744 | 1734404902 | 2138423831 | 1198.21/779.93 c (13,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1198.21/779.93 c (13,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1198.21/779.93 c (13,0) c | glureduce | True | True | True | True | True | True | True | True | 1198.21/779.93 c (13,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1198.21/779.93 c (13,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1198.21/779.93 c (13,0) c | luby_restart | False | False | False | False | False | False | False | False | 1198.21/779.93 c (13,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1198.21/779.93 c (13,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 1198.21/779.93 c (13,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1198.21/779.93 c (13,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1198.21/779.93 c (13,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1198.21/779.93 c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1198.21/779.93 c (13,0) 1198.21/779.93 c (13,0) s SATISFIABLE 1140.42/780.34 c (14,0) SatSolver.solve End 1140.42/780.34 c (14,0) Heap : 268 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1140.42/780.34 c (14,0) Show results Begin 1199.32/780.47 c (14,0) x[0][0] = 10 1199.32/780.47 c (14,0) x[0][1] = 20 1199.32/780.47 c (14,0) x[0][2] = 12 1199.32/780.47 c (14,0) x[0][3] = 1 1199.32/780.47 c (14,0) x[0][4] = 11 1199.32/780.47 c (14,0) x[0][5] = 11 1199.32/780.47 c (14,0) x[0][6] = 0 1199.32/780.47 c (14,0) x[0][8] = 5 1199.32/780.47 c (14,0) x[0][9] = 4 1199.32/780.47 c (14,0) x[0][10] = 20 1199.32/780.47 c (14,0) x[0][11] = 17 1199.32/780.47 c (14,0) x[0][12] = 0 1199.32/780.47 c (14,0) x[0][13] = 13 1199.32/780.47 c (14,0) x[0][14] = 25 1199.32/780.47 c (14,0) x[1][0] = 0 1199.32/780.47 c (14,0) x[1][1] = 1 1199.32/780.47 c (14,0) x[1][2] = 14 1199.32/780.47 c (14,0) x[1][3] = 17 1199.32/780.47 c (14,0) x[1][4] = 3 1199.32/780.47 c (14,0) x[1][5] = 4 1199.32/780.47 c (14,0) x[1][6] = 25 1199.32/780.47 c (14,0) x[1][8] = 4 1199.32/780.47 c (14,0) x[1][9] = 11 1199.32/780.47 c (14,0) x[1][10] = 1 1199.32/780.47 c (14,0) x[1][11] = 14 1199.32/780.47 c (14,0) x[1][12] = 17 1199.32/780.47 c (14,0) x[1][13] = 3 1199.32/780.47 c (14,0) x[1][14] = 14 1199.32/780.47 c (14,0) x[2][0] = 11 1199.32/780.47 c (14,0) x[2][1] = 0 1199.32/780.47 c (14,0) x[2][2] = 15 1199.32/780.47 c (14,0) x[2][3] = 0 1199.32/780.47 c (14,0) x[2][4] = 17 1199.32/780.47 c (14,0) x[2][5] = 21 1199.32/780.47 c (14,0) x[2][6] = 0 1199.32/780.47 c (14,0) x[2][8] = 18 1199.32/780.47 c (14,0) x[2][9] = 10 1199.32/780.47 c (14,0) x[2][10] = 4 1199.32/780.47 c (14,0) x[2][11] = 20 1199.32/780.47 c (14,0) x[2][12] = 21 1199.32/780.47 c (14,0) x[2][13] = 17 1199.32/780.47 c (14,0) x[2][14] = 4 1199.32/780.47 c (14,0) x[3][0] = 4 1199.32/780.47 c (14,0) x[3][1] = 2 1199.32/780.47 c (14,0) x[3][2] = 14 1199.32/780.47 c (14,0) x[3][3] = 18 1199.32/780.47 c (14,0) x[3][5] = 8 1199.32/780.47 c (14,0) x[3][6] = 14 1199.32/780.47 c (14,0) x[3][7] = 3 1199.32/780.47 c (14,0) x[3][8] = 4 1199.32/780.47 c (14,0) x[3][9] = 18 1199.32/780.47 c (14,0) x[3][11] = 12 1199.32/780.47 c (14,0) x[3][12] = 4 1199.32/780.47 c (14,0) x[3][13] = 4 1199.32/780.47 c (14,0) x[3][14] = 18 1199.32/780.47 c (14,0) x[4][3] = 7 1199.32/780.47 c (14,0) x[4][4] = 1 1199.32/780.47 c (14,0) x[4][5] = 6 1199.32/780.47 c (14,0) x[4][7] = 4 1199.32/780.47 c (14,0) x[4][8] = 11 1199.32/780.47 c (14,0) x[4][9] = 4 1199.32/780.47 c (14,0) x[4][10] = 21 1199.32/780.47 c (14,0) x[4][11] = 0 1199.32/780.47 c (14,0) x[5][0] = 0 1199.32/780.47 c (14,0) x[5][1] = 6 1199.32/780.47 c (14,0) x[5][2] = 8 1199.32/780.47 c (14,0) x[5][3] = 19 1199.32/780.47 c (14,0) x[5][4] = 0 1199.32/780.47 c (14,0) x[5][5] = 13 1199.32/780.47 c (14,0) x[5][6] = 19 1199.32/780.47 c (14,0) x[5][7] = 18 1199.32/780.47 c (14,0) x[5][9] = 1 1199.32/780.47 c (14,0) x[5][10] = 0 1199.32/780.47 c (14,0) x[5][11] = 3 1199.32/780.47 c (14,0) x[5][12] = 4 1199.32/780.47 c (14,0) x[5][13] = 12 1199.32/780.47 c (14,0) x[5][14] = 18 1199.32/780.47 c (14,0) x[6][0] = 2 1199.32/780.47 c (14,0) x[6][1] = 14 1199.32/780.47 c (14,0) x[6][2] = 11 1199.32/780.47 c (14,0) x[6][3] = 14 1199.32/780.47 c (14,0) x[6][4] = 2 1199.32/780.47 c (14,0) x[6][5] = 0 1199.32/780.47 c (14,0) x[6][6] = 18 1199.32/780.47 c (14,0) x[6][7] = 4 1199.32/780.48 c (14,0) x[6][8] = 18 1199.32/780.48 c (14,0) x[6][10] = 19 1199.32/780.48 c (14,0) x[6][11] = 0 1199.32/780.48 c (14,0) x[6][12] = 11 1199.32/780.48 c (14,0) x[6][13] = 0 1199.32/780.48 c (14,0) x[6][14] = 19 1199.32/780.48 c (14,0) x[7][0] = 7 1199.32/780.48 c (14,0) x[7][1] = 20 1199.32/780.48 c (14,0) x[7][2] = 8 1199.32/780.48 c (14,0) x[7][4] = 7 1199.32/780.48 c (14,0) x[7][5] = 20 1199.32/780.48 c (14,0) x[7][6] = 0 1199.32/780.48 c (14,0) x[7][7] = 13 1199.32/780.48 c (14,0) x[7][8] = 19 1199.32/780.48 c (14,0) x[7][9] = 4 1199.32/780.48 c (14,0) x[7][10] = 18 1199.32/780.48 c (14,0) x[7][12] = 10 1199.32/780.48 c (14,0) x[7][13] = 4 1199.32/780.48 c (14,0) x[7][14] = 0 1199.32/780.48 c (14,0) x[8][0] = 0 1199.32/780.48 c (14,0) x[8][1] = 17 1199.32/780.48 c (14,0) x[8][2] = 0 1199.32/780.48 c (14,0) x[8][3] = 2 1199.32/780.48 c (14,0) x[8][4] = 10 1199.32/780.48 c (14,0) x[8][6] = 18 1199.32/780.48 c (14,0) x[8][7] = 13 1199.32/780.48 c (14,0) x[8][8] = 0 1199.32/780.48 c (14,0) x[8][9] = 2 1199.32/780.48 c (14,0) x[8][10] = 10 1199.32/780.48 c (14,0) x[8][11] = 1 1199.32/780.48 c (14,0) x[8][12] = 0 1199.32/780.48 c (14,0) x[8][13] = 17 1199.32/780.48 c (14,0) x[8][14] = 18 1199.32/780.48 c (14,0) x[9][0] = 19 1199.32/780.48 c (14,0) x[9][1] = 0 1199.32/780.48 c (14,0) x[9][2] = 17 1199.32/780.48 c (14,0) x[9][3] = 0 1199.32/780.48 c (14,0) x[9][4] = 8 1199.32/780.48 c (14,0) x[9][5] = 19 1199.32/780.48 c (14,0) x[9][7] = 20 1199.32/780.48 c (14,0) x[9][8] = 11 1199.32/780.48 c (14,0) x[9][9] = 11 1199.32/780.48 c (14,0) x[9][10] = 4 1199.32/780.48 c (14,0) x[9][11] = 3 1199.32/780.48 c (14,0) x[9][12] = 0 1199.32/780.48 c (14,0) x[9][13] = 11 1199.32/780.48 c (14,0) x[9][14] = 4 1199.32/780.48 c (14,0) x[10][3] = 20 1199.32/780.48 c (14,0) x[10][4] = 17 1199.32/780.48 c (14,0) x[10][5] = 17 1199.32/780.48 c (14,0) x[10][6] = 0 1199.32/780.48 c (14,0) x[10][7] = 24 1199.32/780.48 c (14,0) x[10][9] = 0 1199.32/780.48 c (14,0) x[10][10] = 17 1199.32/780.48 c (14,0) x[10][11] = 4 1199.32/780.48 c (14,0) x[11][0] = 17 1199.32/780.48 c (14,0) x[11][1] = 20 1199.32/780.48 c (14,0) x[11][2] = 4 1199.32/780.48 c (14,0) x[11][3] = 17 1199.32/780.48 c (14,0) x[11][5] = 14 1199.32/780.48 c (14,0) x[11][6] = 8 1199.32/780.48 c (14,0) x[11][7] = 4 1199.32/780.48 c (14,0) x[11][8] = 13 1199.32/780.48 c (14,0) x[11][9] = 19 1199.32/780.48 c (14,0) x[11][11] = 12 1199.32/780.48 c (14,0) x[11][12] = 20 1199.32/780.48 c (14,0) x[11][13] = 11 1199.32/780.48 c (14,0) x[11][14] = 11 1199.32/780.48 c (14,0) x[12][0] = 0 1199.32/780.48 c (14,0) x[12][1] = 13 1199.32/780.48 c (14,0) x[12][2] = 3 1199.32/780.48 c (14,0) x[12][3] = 4 1199.32/780.48 c (14,0) x[12][4] = 4 1199.32/780.48 c (14,0) x[12][5] = 13 1199.32/780.48 c (14,0) x[12][6] = 18 1199.32/780.48 c (14,0) x[12][8] = 14 1199.32/780.48 c (14,0) x[12][9] = 14 1199.32/780.48 c (14,0) x[12][10] = 17 1199.32/780.48 c (14,0) x[12][11] = 0 1199.32/780.48 c (14,0) x[12][12] = 11 1199.32/780.48 c (14,0) x[12][13] = 4 1199.32/780.48 c (14,0) x[12][14] = 0 1199.32/780.48 c (14,0) x[13][0] = 13 1199.32/780.48 c (14,0) x[13][1] = 8 1199.32/780.48 c (14,0) x[13][2] = 4 1199.32/780.49 c (14,0) x[13][3] = 20 1199.32/780.49 c (14,0) x[13][4] = 3 1199.32/780.49 c (14,0) x[13][5] = 0 1199.32/780.49 c (14,0) x[13][6] = 13 1199.32/780.49 c (14,0) x[13][8] = 8 1199.32/780.49 c (14,0) x[13][9] = 13 1199.32/780.49 c (14,0) x[13][10] = 4 1199.32/780.49 c (14,0) x[13][11] = 24 1199.32/780.49 c (14,0) x[13][12] = 4 1199.32/780.49 c (14,0) x[13][13] = 13 1199.32/780.49 c (14,0) x[13][14] = 4 1199.32/780.49 c (14,0) x[14][0] = 8 1199.32/780.49 c (14,0) x[14][1] = 17 1199.32/780.49 c (14,0) x[14][2] = 17 1199.32/780.49 c (14,0) x[14][3] = 0 1199.32/780.49 c (14,0) x[14][4] = 3 1199.32/780.49 c (14,0) x[14][5] = 8 1199.32/780.49 c (14,0) x[14][6] = 4 1199.32/780.49 c (14,0) x[14][8] = 4 1199.32/780.49 c (14,0) x[14][9] = 18 1199.32/780.49 c (14,0) x[14][10] = 18 1199.32/780.49 c (14,0) x[14][11] = 14 1199.32/780.49 c (14,0) x[14][12] = 24 1199.32/780.49 c (14,0) x[14][13] = 4 1199.32/780.49 c (14,0) x[14][14] = 13 1199.32/780.49 s SATISFIABLE 1199.32/780.49 v <instantiation> 1199.32/780.49 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> 1199.32/780.49 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> 1199.32/780.49 v </instantiation> 1199.32/780.49 c (14,0) Show results End 1199.32/780.49 c (14,0) Heap : 289 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 1199.32/780.49 c (14,0) 14,14,STOP-AFTER(ALL) 1199.32/780.50 c END-Prog: Wed Sep 25 00:21:29 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 (13186 MiB free) memory of node 1: 16384 MiB (11615 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405402-1569362775/watcher-4405402-1569362775 -o /tmp/evaluation-result-4405402-1569362775/solver-4405402-1569362775 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405402-1569362775.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=22629, runsolver pid=22626 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 4.89 2.85 4.60 2/210 22652 /proc/meminfo: memFree=25302608/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512548320 115843072 348 33554432000 4194304 5098028 140731746454512 140731746451768 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 348 296 221 0 87 0 [pid=22632] ppid=22629 vsize=27314120 memory=108904 CPUtime=0.1 cores=0-7 /proc/22632/stat : 22632 (java) S 22629 22629 20843 0 -1 1077944320 6760 0 0 0 8 2 0 0 20 0 20 0 512548320 27969658880 27226 33554432000 4194304 4196468 140721476648656 140721476631200 140240451751671 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 /proc/22632/statm: 6828530 27226 2802 1 0 6790935 0 [pid=22632/tid=22633] ppid=22629 vsize=27314120 memory=8112842686382119834 CPUtime=0.08 cores=0-7 /proc/22632/task/22633/stat : 22633 (java) R 22629 22629 20843 0 -1 4202560 4883 0 0 0 7 1 0 0 20 0 20 0 512548321 27969658880 27226 33554432000 4194304 4196468 140721476648656 140240423570048 140240435832084 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22635] ppid=22629 vsize=27314120 memory=732370469103811557 CPUtime=0 cores=0-7 /proc/22632/task/22635/stat : 22635 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140240455994512 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22636] ppid=22629 vsize=27314120 memory=140330766358144 CPUtime=0 cores=0-7 /proc/22632/task/22636/stat : 22636 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140240280636432 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22637] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22637/stat : 22637 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239872621456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22638] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22638/stat : 22638 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239871568656 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22639] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22639/stat : 22639 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239870515856 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22640] ppid=22629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22632/task/22640/stat : 22640 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239869463056 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22641] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22641/stat : 22641 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239868410256 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22642] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22642/stat : 22642 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 27226 33554432000 4194304 4196468 140721476648656 140239867357456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22643] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22643/stat : 22643 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238570695536 140240451762818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22644] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22644/stat : 22644 (java) S 22629 22629 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238399727136 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22645] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22645/stat : 22645 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238131291504 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22646] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22646/stat : 22646 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140237756782928 140240451770267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22647] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22647/stat : 22647 (java) S 22629 22629 20843 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238569642352 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22648] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22648/stat : 22648 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238568589552 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22649] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22649/stat : 22649 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238567536752 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22650] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22650/stat : 22650 (java) S 22629 22629 20843 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238566483952 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22651] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22651/stat : 22651 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140237258878048 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22652] ppid=22629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22632/task/22652/stat : 22652 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 27226 33554432000 4194304 4196468 140721476648656 140238565432368 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 110296 KiB [startup+0.210552 s]* /proc/loadavg: 4.89 2.85 4.60 3/210 22652 /proc/meminfo: memFree=25279148/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512548320 115843072 348 33554432000 4194304 5098028 140731746454512 140731746451768 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 348 296 221 0 87 0 [pid=22632] ppid=22629 vsize=27314120 memory=128240 CPUtime=0.24 cores=0-7 /proc/22632/stat : 22632 (java) S 22629 22629 20843 0 -1 1077944320 12256 0 0 0 20 4 0 0 20 0 20 0 512548320 27969658880 32060 33554432000 4194304 4196468 140721476648656 140721476631200 140240451751671 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 /proc/22632/statm: 6828530 32060 2974 1 0 6790935 0 [pid=22632/tid=22633] ppid=22629 vsize=27314120 memory=576460756329955521 CPUtime=0.19 cores=0-7 /proc/22632/task/22633/stat : 22633 (java) R 22629 22629 20843 0 -1 4202560 10008 0 0 0 16 3 0 0 20 0 20 0 512548321 27969658880 32060 33554432000 4194304 4196468 140721476648656 140240423572640 140240432027001 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22635] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22635/stat : 22635 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140240455994512 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22636] ppid=22629 vsize=27314120 memory=140330766379440 CPUtime=0 cores=0-7 /proc/22632/task/22636/stat : 22636 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140240280636432 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22637] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22637/stat : 22637 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239872621456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22638] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22638/stat : 22638 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239871568656 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22639] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22639/stat : 22639 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239870515856 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22640] ppid=22629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22632/task/22640/stat : 22640 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239869463056 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22641] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22641/stat : 22641 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239868410256 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22642] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22642/stat : 22642 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32060 33554432000 4194304 4196468 140721476648656 140239867357456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22643] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22643/stat : 22643 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238570695536 140240451762818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22644] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22644/stat : 22644 (java) S 22629 22629 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238399727136 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22645] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22645/stat : 22645 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238131291504 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22646] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22646/stat : 22646 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140237756782928 140240451770267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22647] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22647/stat : 22647 (java) S 22629 22629 20843 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238569642352 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22648] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22648/stat : 22648 (java) S 22629 22629 20843 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238568589552 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22649] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22649/stat : 22649 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238567536752 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22650] ppid=22629 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/22632/task/22650/stat : 22650 (java) S 22629 22629 20843 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238566483952 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22651] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22651/stat : 22651 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140237258878048 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22652] ppid=22629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22632/task/22652/stat : 22652 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32060 33554432000 4194304 4196468 140721476648656 140238565432368 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129632 KiB [startup+0.310337 s]* /proc/loadavg: 4.89 2.85 4.60 2/210 22652 /proc/meminfo: memFree=25276480/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512548320 115843072 348 33554432000 4194304 5098028 140731746454512 140731746451768 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 348 296 221 0 87 0 [pid=22632] ppid=22629 vsize=27314120 memory=131876 CPUtime=0.42 cores=0-7 /proc/22632/stat : 22632 (java) S 22629 22629 20843 0 -1 1077944320 13283 0 0 0 37 5 0 0 20 0 20 0 512548320 27969658880 32969 33554432000 4194304 4196468 140721476648656 140721476631200 140240451751671 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 /proc/22632/statm: 6828530 32969 3025 1 0 6790935 0 [pid=22632/tid=22633] ppid=22629 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/22632/task/22633/stat : 22633 (java) R 22629 22629 20843 0 -1 4202560 10862 0 0 0 26 4 0 0 20 0 20 0 512548321 27969658880 32969 33554432000 4194304 4196468 140721476648656 140240423581744 140240436917257 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22635] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22635/stat : 22635 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140240455994512 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22636] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22636/stat : 22636 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140240280636432 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22637] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22637/stat : 22637 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239872621456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22638] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22638/stat : 22638 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239871568656 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22639] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22639/stat : 22639 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239870515856 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22640] ppid=22629 vsize=27314120 memory=140330607405743 CPUtime=0 cores=0-7 /proc/22632/task/22640/stat : 22640 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239869463056 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22641] ppid=22629 vsize=27314120 memory=140330607408048 CPUtime=0 cores=0-7 /proc/22632/task/22641/stat : 22641 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239868410256 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22642] ppid=22629 vsize=27314120 memory=140330607410352 CPUtime=0 cores=0-7 /proc/22632/task/22642/stat : 22642 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548323 27969658880 32969 33554432000 4194304 4196468 140721476648656 140239867357456 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22643] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22643/stat : 22643 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238570695536 140240451762818 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22644] ppid=22629 vsize=27314120 memory=280661214834576 CPUtime=0 cores=0-7 /proc/22632/task/22644/stat : 22644 (java) S 22629 22629 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238399727136 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22645] ppid=22629 vsize=27314120 memory=280661214832272 CPUtime=0 cores=0-7 /proc/22632/task/22645/stat : 22645 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548325 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238131291504 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22646] ppid=22629 vsize=27314120 memory=280661214839184 CPUtime=0 cores=0-7 /proc/22632/task/22646/stat : 22646 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140237756782928 140240451770267 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22647] ppid=22629 vsize=27314120 memory=280661214780464 CPUtime=0.01 cores=0-7 /proc/22632/task/22647/stat : 22647 (java) S 22629 22629 20843 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238569642352 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22648] ppid=22629 vsize=27314120 memory=280661214853008 CPUtime=0 cores=0-7 /proc/22632/task/22648/stat : 22648 (java) S 22629 22629 20843 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238568589552 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22649] ppid=22629 vsize=27314120 memory=280661214859920 CPUtime=0.02 cores=0-7 /proc/22632/task/22649/stat : 22649 (java) S 22629 22629 20843 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238567536752 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22650] ppid=22629 vsize=27314120 memory=280661214857616 CPUtime=0.06 cores=0-7 /proc/22632/task/22650/stat : 22650 (java) S 22629 22629 20843 0 -1 1077944384 472 0 0 0 6 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238566483952 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22651] ppid=22629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22651/stat : 22651 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140237258878048 140240451761877 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22652] ppid=22629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22632/task/22652/stat : 22652 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548328 27969658880 32969 33554432000 4194304 4196468 140721476648656 140238565432368 140240451762818 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 133268 KiB [startup+0.70096 s] /proc/loadavg: 4.89 2.85 4.60 2/210 22652 /proc/meminfo: memFree=25255696/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 512548320 115843072 348 33554432000 4194304 5098028 140731746454512 140731746451768 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 348 296 221 0 87 0 [pid=22632] ppid=22629 vsize=27320392 memory=166536 CPUtime=0.98 cores=0-7 /proc/22632/stat : 22632 (java) S 22629 22629 20843 0 -1 1077944320 20284 0 0 0 90 8 0 0 20 0 20 0 512548320 27976081408 41634 33554432000 4194304 4196468 140721476648656 140721476631200 140240451751671 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 /proc/22632/statm: 6830098 41634 3149 1 0 6791447 0 [pid=22632/tid=22633] ppid=22629 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/22632/task/22633/stat : 22633 (java) R 22629 22629 20843 0 -1 4202560 17428 0 0 0 61 6 0 0 20 0 20 0 512548321 27976081408 41634 33554432000 4194304 4196468 140721476648656 140240423587712 140240451773597 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22635] ppid=22629 vsize=27320392 memory=2353 CPUtime=0 cores=0-7 /proc/22632/task/22635/stat : 22635 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27976081408 41634 33554432000 4194304 4196468 140721476648656 140240455994512 140240451761877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22636] ppid=22629 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/22632/task/22636/stat : 22636 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512548323 27976081408 41634 33554432000 4194304 4196468 140721476648656 140240280636432 140240451761877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 [pid=22632/tid=22637] ppid=22629 vsize=27320392 memory=10728 CPUtime=0 cores=0-7 /proc/22632/task/22637/stat : 22637 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512548323 27976081408 41634 33554432000 4194304 4196468 140721476648656 140239872621456 140240451761877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16228352 140721476653803 140721476654230 140721476654230 140721476657103 0 ################ # More data... # ################ [pid=22719/tid=22720] ppid=22629 vsize=8414124 memory=8325365279090768782 CPUtime=0.78 cores=0-7 /proc/22719/task/22720/stat : 22720 (java) S 22629 22629 20843 0 -1 1077944384 17892 0 0 0 72 6 0 0 20 0 24 0 512624905 8616062976 35539 33554432000 4194304 4196468 140722108992176 140540478787488 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22721] ppid=22629 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/22719/task/22721/stat : 22721 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140540511189264 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22722] ppid=22629 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/22719/task/22722/stat : 22722 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140540325345680 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22723] ppid=22629 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/22719/task/22723/stat : 22723 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140540324293136 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22724] ppid=22629 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/22719/task/22724/stat : 22724 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539989752464 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22725] ppid=22629 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/22719/task/22725/stat : 22725 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539988699920 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22726] ppid=22629 vsize=8414124 memory=7686721470384544917 CPUtime=0 cores=0-7 /proc/22719/task/22726/stat : 22726 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539987647376 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22727] ppid=22629 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/22719/task/22727/stat : 22727 (java) S 22629 22629 20843 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539986594832 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22728] ppid=22629 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/22719/task/22728/stat : 22728 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512624906 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539985542288 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22729] ppid=22629 vsize=8414124 memory=33820 CPUtime=0 cores=0-7 /proc/22719/task/22729/stat : 22729 (java) S 22629 22629 20843 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512624908 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539935946736 140540506958466 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22730] ppid=22629 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/22719/task/22730/stat : 22730 (java) S 22629 22629 20843 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512624908 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539114546080 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22731] ppid=22629 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/22719/task/22731/stat : 22731 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512624909 8616062976 35539 33554432000 4194304 4196468 140722108992176 140538846110704 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22732] ppid=22629 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/22719/task/22732/stat : 22732 (java) S 22629 22629 20843 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512624911 8616062976 35539 33554432000 4194304 4196468 140722108992176 140538471602384 140540506965915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22733] ppid=22629 vsize=8414124 memory=500 CPUtime=0.11 cores=0-7 /proc/22719/task/22733/stat : 22733 (java) S 22629 22629 20843 0 -1 1077944384 725 0 0 0 11 0 0 0 20 0 24 0 512624911 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539934894576 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22734] ppid=22629 vsize=8414124 memory=928 CPUtime=0.09 cores=0-7 /proc/22719/task/22734/stat : 22734 (java) S 22629 22629 20843 0 -1 1077944384 284 0 0 0 9 0 0 0 20 0 24 0 512624911 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539933842032 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22735] ppid=22629 vsize=8414124 memory=1984 CPUtime=0.08 cores=0-7 /proc/22719/task/22735/stat : 22735 (java) S 22629 22629 20843 0 -1 1077944384 477 0 0 0 8 0 0 0 20 0 24 0 512624911 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539932789488 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22736] ppid=22629 vsize=8414124 memory=2364 CPUtime=0.25 cores=0-7 /proc/22719/task/22736/stat : 22736 (java) S 22629 22629 20843 0 -1 1077944384 1165 0 0 0 25 0 0 0 20 0 24 0 512624911 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539931736944 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22737] ppid=22629 vsize=8414124 memory=1744 CPUtime=0 cores=0-7 /proc/22719/task/22737/stat : 22737 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512624912 8616062976 35539 33554432000 4194304 4196468 140722108992176 140537973696736 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22738] ppid=22629 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/22719/task/22738/stat : 22738 (java) S 22629 22629 20843 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512624912 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539930683824 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22740] ppid=22629 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/22719/task/22740/stat : 22740 (java) S 22629 22629 20843 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512624981 8616062976 35539 33554432000 4194304 4196468 140722108992176 140539922650304 140540506971929 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22742] ppid=22629 vsize=8414124 memory=1748 CPUtime=0.05 cores=0-7 /proc/22719/task/22742/stat : 22742 (java) R 22629 22629 20843 0 -1 4202560 49 0 0 0 5 0 0 0 20 0 24 0 512624981 8616062976 35539 33554432000 4194304 4196468 140722108992176 140537571032832 140540506969245 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22743] ppid=22629 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/22719/task/22743/stat : 22743 (java) S 22629 22629 20843 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 512624981 8616062976 35539 33554432000 4194304 4196468 140722108992176 140537302597552 140540506969245 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22744] ppid=22629 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/22719/task/22744/stat : 22744 (java) S 22629 22629 20843 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 512624983 8616062976 35539 33554432000 4194304 4196468 140722108992176 140537034170032 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 Current children cumulated CPU time: 1198.48 s Current children cumulated vsize: 14682976 KiB Current children cumulated memory: 5925264 KiB [startup+780.401 s] /proc/loadavg: 1.67 1.63 2.79 2/217 22752 /proc/meminfo: memFree=19289424/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1472 CPUtime=1138.63 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 581 406756 0 0 0 0 109208 4655 20 0 1 0 512548320 115843072 368 33554432000 4194304 5098028 140731746454512 140731746451256 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 368 311 221 0 87 0 [pid=22719] ppid=22629 vsize=8283048 memory=280948 CPUtime=60.69 cores=0-7 /proc/22719/stat : 22719 (java) S 22629 22629 20843 0 -1 1077944320 22373 1463331 0 0 184 12 5274 599 20 0 22 0 512624904 8481841152 70237 33554432000 4194304 4196468 140722108992176 140722108974720 140540506947319 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 /proc/22719/statm: 2070762 70237 3230 1 0 2032106 0 [pid=22719/tid=22720] ppid=22629 vsize=8283048 memory=722800 CPUtime=59.57 cores=0-7 /proc/22719/task/22720/stat : 22720 (java) R 22629 22629 20843 0 -1 4202560 18037 1463331 0 0 78 6 5274 599 20 0 22 0 512624905 8481841152 70237 33554432000 4194304 4196468 140722108992176 140540478786544 140540491027806 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22721] ppid=22629 vsize=8283048 memory=6791534058613427641 CPUtime=58.73 cores=0-7 /proc/22719/task/22721/stat : 22721 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140540511189264 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22722] ppid=22629 vsize=8283048 memory=1560 CPUtime=58.73 cores=0-7 /proc/22719/task/22722/stat : 22722 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140540325345680 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22723] ppid=22629 vsize=8283048 memory=500 CPUtime=58.73 cores=0-7 /proc/22719/task/22723/stat : 22723 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140540324293136 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22724] ppid=22629 vsize=8283048 memory=928 CPUtime=58.73 cores=0-7 /proc/22719/task/22724/stat : 22724 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539989752464 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22725] ppid=22629 vsize=8283048 memory=1984 CPUtime=58.73 cores=0-7 /proc/22719/task/22725/stat : 22725 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539988699920 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22726] ppid=22629 vsize=8283048 memory=2364 CPUtime=58.73 cores=0-7 /proc/22719/task/22726/stat : 22726 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539987647376 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22727] ppid=22629 vsize=8283048 memory=1744 CPUtime=58.73 cores=0-7 /proc/22719/task/22727/stat : 22727 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539986594832 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22728] ppid=22629 vsize=8283048 memory=924 CPUtime=58.73 cores=0-7 /proc/22719/task/22728/stat : 22728 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539985542288 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22729] ppid=22629 vsize=8283048 memory=1448 CPUtime=58.73 cores=0-7 /proc/22719/task/22729/stat : 22729 (java) S 22629 22629 20843 0 -1 1077944384 6 1463331 0 0 0 0 5274 599 20 0 22 0 512624908 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539935946736 140540506958466 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22730] ppid=22629 vsize=8283048 memory=1748 CPUtime=58.73 cores=0-7 /proc/22719/task/22730/stat : 22730 (java) S 22629 22629 20843 0 -1 1077944384 13 1463331 0 0 0 0 5274 599 20 0 22 0 512624908 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539114546080 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22731] ppid=22629 vsize=8283048 memory=3620 CPUtime=58.73 cores=0-7 /proc/22719/task/22731/stat : 22731 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624909 8481841152 70237 33554432000 4194304 4196468 140722108992176 140538846110704 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22732] ppid=22629 vsize=8283048 memory=63576 CPUtime=58.73 cores=0-7 /proc/22719/task/22732/stat : 22732 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624911 8481841152 70237 33554432000 4194304 4196468 140722108992176 140538471602384 140540506965915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22733] ppid=22629 vsize=8283048 memory=988 CPUtime=58.88 cores=0-7 /proc/22719/task/22733/stat : 22733 (java) R 22629 22629 20843 0 -1 4202560 746 1463331 0 0 15 0 5274 599 20 0 22 0 512624911 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539934894576 140540488468150 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22734] ppid=22629 vsize=8283048 memory=2016 CPUtime=58.86 cores=0-7 /proc/22719/task/22734/stat : 22734 (java) S 22629 22629 20843 0 -1 1077944384 297 1463331 0 0 13 0 5274 599 20 0 22 0 512624911 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539933842032 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22735] ppid=22629 vsize=8283048 memory=1416 CPUtime=58.87 cores=0-7 /proc/22719/task/22735/stat : 22735 (java) S 22629 22629 20843 0 -1 1077944384 502 1463331 0 0 14 0 5274 599 20 0 22 0 512624911 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539932789488 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22736] ppid=22629 vsize=8283048 memory=10728 CPUtime=59.02 cores=0-7 /proc/22719/task/22736/stat : 22736 (java) S 22629 22629 20843 0 -1 1077944384 1256 1463331 0 0 29 0 5274 599 20 0 22 0 512624911 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539931736944 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22737] ppid=22629 vsize=8283048 memory=1552 CPUtime=58.73 cores=0-7 /proc/22719/task/22737/stat : 22737 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624912 8481841152 70237 33554432000 4194304 4196468 140722108992176 140537973696736 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22738] ppid=22629 vsize=8283048 memory=3984 CPUtime=58.73 cores=0-7 /proc/22719/task/22738/stat : 22738 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624912 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539930683824 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22740] ppid=22629 vsize=8283048 memory=2832 CPUtime=58.73 cores=0-7 /proc/22719/task/22740/stat : 22740 (java) S 22629 22629 20843 0 -1 1077944384 24 1463331 0 0 0 0 5274 599 20 0 22 0 512624981 8481841152 70237 33554432000 4194304 4196468 140722108992176 140539922649488 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22744] ppid=22629 vsize=8283048 memory=1724 CPUtime=58.73 cores=0-7 /proc/22719/task/22744/stat : 22744 (java) S 22629 22629 20843 0 -1 1077944384 10 1463331 0 0 0 0 5274 599 20 0 22 0 512624983 8481841152 70237 33554432000 4194304 4196468 140722108992176 140537034171824 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 Current children cumulated CPU time: 1199.32 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 282420 KiB [startup+780.508 s] /proc/loadavg: 1.67 1.63 2.79 2/217 22752 /proc/meminfo: memFree=19289424/32770624 swapFree=66941064/67108860 [pid=22629] ppid=22626 vsize=113128 memory=1472 CPUtime=1138.63 cores=0-7 /proc/22629/stat : 22629 (scop.sh) S 22626 22629 20843 0 -1 4202496 581 406756 0 0 0 0 109208 4655 20 0 1 0 512548320 115843072 368 33554432000 4194304 5098028 140731746454512 140731746451256 140402444817020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27111424 140731746460453 140731746460780 140731746460780 140731746463693 0 /proc/22629/statm: 28282 368 311 221 0 87 0 [pid=22719] ppid=22629 vsize=8283048 memory=286396 CPUtime=60.9 cores=0-7 /proc/22719/stat : 22719 (java) S 22629 22629 20843 0 -1 1077944320 23758 1463331 0 0 203 14 5274 599 20 0 22 0 512624904 8481841152 71599 33554432000 4194304 4196468 140722108992176 140722108974720 140540506947319 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 /proc/22719/statm: 2070762 71599 3232 1 0 2032106 0 [pid=22719/tid=22720] ppid=22629 vsize=8283048 memory=1472 CPUtime=59.66 cores=0-7 /proc/22719/task/22720/stat : 22720 (java) R 22629 22629 20843 0 -1 4202560 19228 1463331 0 0 86 7 5274 599 20 0 22 0 512624905 8481841152 71599 33554432000 4194304 4196468 140722108992176 140540478789096 140540499632951 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22721] ppid=22629 vsize=8283048 memory=780 CPUtime=58.73 cores=0-7 /proc/22719/task/22721/stat : 22721 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140540511189264 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22722] ppid=22629 vsize=8283048 memory=14008 CPUtime=58.73 cores=0-7 /proc/22719/task/22722/stat : 22722 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140540325345680 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22723] ppid=22629 vsize=8283048 memory=924 CPUtime=58.73 cores=0-7 /proc/22719/task/22723/stat : 22723 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140540324293136 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22724] ppid=22629 vsize=8283048 memory=1448 CPUtime=58.73 cores=0-7 /proc/22719/task/22724/stat : 22724 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539989752464 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22725] ppid=22629 vsize=8283048 memory=784 CPUtime=58.73 cores=0-7 /proc/22719/task/22725/stat : 22725 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539988699920 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22726] ppid=22629 vsize=8283048 memory=1060 CPUtime=58.73 cores=0-7 /proc/22719/task/22726/stat : 22726 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539987647376 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22727] ppid=22629 vsize=8283048 memory=10728 CPUtime=58.73 cores=0-7 /proc/22719/task/22727/stat : 22727 (java) S 22629 22629 20843 0 -1 1077944384 2 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539986594832 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22728] ppid=22629 vsize=8283048 memory=1552 CPUtime=58.73 cores=0-7 /proc/22719/task/22728/stat : 22728 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624906 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539985542288 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22729] ppid=22629 vsize=8283048 memory=1096 CPUtime=58.73 cores=0-7 /proc/22719/task/22729/stat : 22729 (java) S 22629 22629 20843 0 -1 1077944384 6 1463331 0 0 0 0 5274 599 20 0 22 0 512624908 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539935946736 140540506958466 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22730] ppid=22629 vsize=8283048 memory=1228 CPUtime=58.73 cores=0-7 /proc/22719/task/22730/stat : 22730 (java) S 22629 22629 20843 0 -1 1077944384 13 1463331 0 0 0 0 5274 599 20 0 22 0 512624908 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539114546080 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22731] ppid=22629 vsize=8283048 memory=1228 CPUtime=58.73 cores=0-7 /proc/22719/task/22731/stat : 22731 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624909 8481841152 71599 33554432000 4194304 4196468 140722108992176 140538846110704 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22732] ppid=22629 vsize=8283048 memory=6144 CPUtime=58.73 cores=0-7 /proc/22719/task/22732/stat : 22732 (java) S 22629 22629 20843 0 -1 1077944384 1 1463331 0 0 0 0 5274 599 20 0 22 0 512624911 8481841152 71599 33554432000 4194304 4196468 140722108992176 140538471602384 140540506965915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22733] ppid=22629 vsize=8283048 memory=1472 CPUtime=58.89 cores=0-7 /proc/22719/task/22733/stat : 22733 (java) S 22629 22629 20843 0 -1 1077944384 753 1463331 0 0 16 0 5274 599 20 0 22 0 512624911 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539934894576 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22734] ppid=22629 vsize=8283048 memory=120628 CPUtime=58.87 cores=0-7 /proc/22719/task/22734/stat : 22734 (java) S 22629 22629 20843 0 -1 1077944384 300 1463331 0 0 14 0 5274 599 20 0 22 0 512624911 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539933842032 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22735] ppid=22629 vsize=8283048 memory=5536660 CPUtime=58.89 cores=0-7 /proc/22719/task/22735/stat : 22735 (java) S 22629 22629 20843 0 -1 1077944384 517 1463331 0 0 16 0 5274 599 20 0 22 0 512624911 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539932789488 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22736] ppid=22629 vsize=8283048 memory=1472 CPUtime=59.08 cores=0-7 /proc/22719/task/22736/stat : 22736 (java) S 22629 22629 20843 0 -1 1077944384 1424 1463331 0 0 35 0 5274 599 20 0 22 0 512624911 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539931736944 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22737] ppid=22629 vsize=8283048 memory=120628 CPUtime=58.73 cores=0-7 /proc/22719/task/22737/stat : 22737 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624912 8481841152 71599 33554432000 4194304 4196468 140722108992176 140537973696736 140540506957525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22738] ppid=22629 vsize=8283048 memory=1472 CPUtime=58.73 cores=0-7 /proc/22719/task/22738/stat : 22738 (java) S 22629 22629 20843 0 -1 1077944384 3 1463331 0 0 0 0 5274 599 20 0 22 0 512624912 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539930683824 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22740] ppid=22629 vsize=8283048 memory=1472 CPUtime=58.73 cores=0-7 /proc/22719/task/22740/stat : 22740 (java) S 22629 22629 20843 0 -1 1077944384 24 1463331 0 0 0 0 5274 599 20 0 22 0 512624981 8481841152 71599 33554432000 4194304 4196468 140722108992176 140539922649488 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 [pid=22719/tid=22744] ppid=22629 vsize=8283048 memory=120628 CPUtime=58.73 cores=0-7 /proc/22719/task/22744/stat : 22744 (java) S 22629 22629 20843 0 -1 1077944384 10 1463331 0 0 0 0 5274 599 20 0 22 0 512624983 8481841152 71599 33554432000 4194304 4196468 140722108992176 140537034171824 140540506958466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15798272 140722108994551 140722108994710 140722108994710 140722108997583 0 Current children cumulated CPU time: 1199.53 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 287868 KiB Child status: 0 Real time (s): 780.538 CPU time (s): 1199.59 CPU user time (s): 1146.86 CPU system time (s): 52.7216 CPU usage (%): 153.687 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 22893824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1146.86 system time used= 52.7216 maximum resident set size= 22892656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1894463 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 482369 involuntary context switches= 4340 # summary of solver processes directly reported to runsolver: # pid: 22629 # total CPU time (s): 1199.59 # total CPU user time (s): 1146.86 # total CPU system time (s): 52.7216 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.40042 second user time and 9.4288 second system time The end
Begin job on node139 at 2019-09-25 00:08:28 IDJOB=4405402 IDBENCH=140060 IDSOLVER=2867 FILE ID=node139/4405402-1569362775 RUNJOBID= node139-1569356582-20870 PBS_JOBID= 21705103 Free space on /tmp= 5140 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1506.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4405402-1569362775/watcher-4405402-1569362775 -o /tmp/evaluation-result-4405402-1569362775/solver-4405402-1569362775 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569356582-20870 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405402-1569362775.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e5e1a5440f053ee6c87120c72693e04 RANDOM SEED=1779826368 node139.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.57 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.57 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.57 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.57 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: 25397212 kB MemAvailable: 31777300 kB Buffers: 114788 kB Cached: 6353292 kB SwapCached: 64808 kB Active: 3228196 kB Inactive: 3310012 kB Active(anon): 5000 kB Inactive(anon): 120880 kB Active(file): 3223196 kB Inactive(file): 3189132 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66941064 kB Dirty: 26592 kB Writeback: 0 kB AnonPages: 113416 kB Mapped: 57604 kB Shmem: 47400 kB Slab: 426032 kB SReclaimable: 396220 kB SUnreclaim: 29812 kB KernelStack: 3376 kB PageTables: 6016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5116 MiB End job on node139 at 2019-09-25 00:21:29