Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 94.2042 | 16.3832 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-183.xml |
MD5SUM | a94c8ce581cdc830ec36047aa81438de |
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 | 17.7062 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 53 |
Number of domains | 1 |
Minimum domain size | 556 |
Maximum domain size | 556 |
Distribution of domain sizes | [{"size":556,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 52 |
Distribution of constraint types | [{"type":"intension","count":52},{"type":"noOverlap","count":1}] |
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-6631-serial-file.bin HOME/instance-4392280-1568429543.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: Sat Sep 14 04:51:43 CEST 2019 0.65/0.57 c PID: 6634 0.65/0.57 c IP: 172.20.3.146 0.65/0.57 c HOST: node146.alineos.net 0.65/0.58 c (0,0) Parsing Begin 1.38/0.92 c (0,0) Parsing End 1.38/0.92 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 556 1.38/0.92 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.92 c (0,0) Constraint Name Generate Begin 1.38/0.93 c (0,0) Ctr:HOME/instance-4392280-1568429543.xml,Le:NoOverlap:Num:Var 1.38/0.93 c (0,0) Constraint Name Generate End 1.38/0.93 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.93 c (0,0) CSP to CSPinCNF Begin 1.55/1.01 c (0,0) translated 6 (10%) constraints 1.55/1.01 c (0,0) translated 11 (20%) constraints 1.55/1.01 c (0,0) translated 16 (30%) constraints 1.55/1.02 c (0,0) translated 22 (40%) constraints 1.55/1.02 c (0,0) translated 27 (50%) constraints 1.55/1.02 c (0,0) translated 32 (60%) constraints 1.55/1.03 c (0,0) translated 38 (70%) constraints 1.55/1.03 c (0,0) translated 43 (80%) constraints 1.55/1.03 c (0,0) translated 48 (90%) constraints 2.14/1.29 c (0,0) translated 53 (100%) constraints 2.14/1.29 c (0,0) =========================================== 2.14/1.29 c (0,0) Order 2.14/1.29 c (0,0) =========================================== 2.48/1.30 c (0,0) translated 36 (10%) constraints 2.48/1.31 c (0,0) translated 71 (20%) constraints 2.48/1.31 c (0,0) translated 106 (30%) constraints 2.48/1.32 c (0,0) translated 141 (40%) constraints 2.48/1.32 c (0,0) translated 176 (50%) constraints 2.48/1.33 c (0,0) translated 212 (60%) constraints 2.48/1.33 c (0,0) translated 247 (70%) constraints 2.48/1.34 c (0,0) translated 282 (80%) constraints 2.48/1.34 c (0,0) translated 317 (90%) constraints 2.48/1.34 c (0,0) translated 352 (100%) constraints 2.48/1.35 c (0,0) CSP to CSPinCNF End 2.48/1.35 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 554 2.48/1.35 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.48/1.35 c (0,0) CSPinCNF Propagation Begin 2.48/1.38 c (0,0) 0 values, 10 unsatisfiable literals, and 51 valid clauses are removed 2.48/1.38 c (0,0) CSPinCNF Propagation End 2.48/1.38 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 554 2.48/1.38 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.48/1.38 c (0,0) Simplify CSPinCNF Begin 2.86/1.47 c (0,0) Simplify CSPinCNF End 2.86/1.48 c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554 2.86/1.48 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.86/1.48 c (0,0) Calculate Precise Domain Begin 2.86/1.48 c (0,0) 0 values are removed by re-calculation 2.86/1.48 c (0,0) Calculate Precise Domain End 2.86/1.48 c (0,0) CSP: 50 int (0 aux), 1190 bool (1190 aux), 1491 ctr, max domain size 554 2.86/1.48 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.86/1.48 c (0,0) CSPinCNF to SatSolver Begin 4.93/2.04 c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 79386 SAT clauses) 5.15/2.25 c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 133838 SAT clauses) 5.38/2.45 c (1,1) 448 (30 %) CSP clauses are encoded (0 SAT variables, 183603 SAT clauses) 5.61/2.65 c (2,2) 597 (40 %) CSP clauses are encoded (0 SAT variables, 236106 SAT clauses) 5.83/2.83 c (2,2) 746 (50 %) CSP clauses are encoded (0 SAT variables, 283703 SAT clauses) 6.07/3.01 c (2,2) 895 (60 %) CSP clauses are encoded (0 SAT variables, 331125 SAT clauses) 6.17/3.18 c (2,2) 1044 (70 %) CSP clauses are encoded (0 SAT variables, 375558 SAT clauses) 6.38/3.34 c (2,2) 1193 (80 %) CSP clauses are encoded (0 SAT variables, 418263 SAT clauses) 6.49/3.48 c (2,2) 1342 (90 %) CSP clauses are encoded (0 SAT variables, 453615 SAT clauses) 6.60/3.57 c (3,3) 1491 (100 %) CSP clauses are encoded (0 SAT variables, 476690 SAT clauses) 6.60/3.57 c (3,3) CSPinCNF to SatSolver End 6.60/3.57 c (3,3) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.60/3.57 c (3,3) 24404 bool, 476854 clause 6.60/3.57 c (3,3) Export Begin 6.71/3.65 c (3,3) Export to HOME/scop-6631-serial-file.bin 6.71/3.65 c (3,3) Export End 6.71/3.65 c (3,3) Export File Size: 0.01 MB 6.71/3.65 c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS) 6.71/3.65 c END-Prog: Sat Sep 14 04:51:46 CEST 2019 6.71/3.67 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6631-serial-file.bin 7.41/4.12 c (0,0) Read Serial File Begin 7.41/4.12 c (0,0) HOME/scop-6631-serial-file.bin 7.67/4.32 c (0,0) Read Serial File End 7.67/4.33 7.67/4.33 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 7.67/4.33 (Solving Process) 7.67/4.33 7.67/4.35 c BEGIN-Prog: Sat Sep 14 04:51:47 CEST 2019 7.67/4.35 c PID: 6654 7.67/4.35 c IP: 172.20.3.146 7.67/4.35 c HOST: node146.alineos.net 7.67/4.36 c (0,0) SatSolver.solve Begin 7.67/4.36 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392280-1568429543.xml-scop-6634.cnf 7.67/4.38 c (0,0) c 7.67/4.38 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) 7.67/4.38 c (0,0) c 7.67/4.38 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.67/4.38 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.67/4.38 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.67/4.38 c (0,0) c | | 7.94/4.55 c (0,0) c | Number of variables: 24404 | 7.94/4.55 c (0,0) c | Number of clauses: 476854 | 7.94/4.55 c (0,0) c | Parse time: 0.15 s | 7.94/4.55 c (0,0) c | | 8.75/5.23 c (1,0) c | Simplification time: 0.67 s | 8.75/5.23 c (1,0) c | | 8.75/5.23 c (1,0) c | Generating clones | 8.86/5.36 c (1,0) c | all clones generated. Memory = 316.54Mb. | 8.86/5.36 c (1,0) c ========================================================================================================| 8.86/5.36 c (1,0) c 8.86/5.36 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 8.86/5.36 c (1,0) c 8.86/5.36 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.86/5.36 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8.86/5.36 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.86/5.36 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 8.86/5.36 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 8.86/5.36 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 8.86/5.36 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 8.86/5.36 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 8.86/5.36 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 8.86/5.36 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 8.86/5.36 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 8.86/5.36 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 8.86/5.36 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 8.86/5.36 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 8.86/5.36 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 8.86/5.36 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 8.86/5.36 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 8.86/5.36 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 8.86/5.36 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c real time : 11.8112 s 93.55/16.19 c (12,0) c cpu time : 85.0675 s 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | Conflicts | 160997 | 19845 | 20877 | 19409 | 19831 | 20106 | 20063 | 20734 | 20132 | 93.55/16.19 c (12,0) c | Decisions | 425824 | 52352 | 53101 | 49611 | 52920 | 53142 | 51760 | 56538 | 56400 | 93.55/16.19 c (12,0) c | Propagations | 143191797 | 17496168 | 17883689 | 17716345 | 18024451 | 17940938 | 18001419 | 18019835 | 18108952 | 93.55/16.19 c (12,0) c | ReduceDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 93.55/16.19 c (12,0) c | SimpDBs | 59 | 7 | 7 | 8 | 8 | 7 | 8 | 6 | 8 | 93.55/16.19 c (12,0) c | Restarts | 529 | 54 | 68 | 69 | 72 | 72 | 61 | 74 | 59 | 93.55/16.19 c (12,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 93.55/16.19 c (12,0) c | PropBinClauses| 186166276 | 23079984 | 23191616 | 23402194 | 23516984 | 23244159 | 23163931 | 23132437 | 23434971 | 93.55/16.19 c (12,0) c | PropPreBlocker| 1862151402 | 232657924 | 231443142 | 227498123 | 231687811 | 232059833 | 229010394 | 236600089 | 241194086 | 93.55/16.19 c (12,0) c | PropNotBlocker| 659405014 | 83134587 | 80888954 | 83283395 | 84081600 | 83704758 | 80916296 | 79942024 | 83453400 | 93.55/16.19 c (12,0) c | LitFullScans | 3568685428 | 444103098 | 444047961 | 444090469 | 444243076 | 444099947 | 444124379 | 447863503 | 456112995 | 93.55/16.19 c (12,0) c | LitScanFracts | 683958 | 85266 | 34834 | 85234 | 133148 | 83829 | 119306 | 40700 | 101641 | 93.55/16.19 c (12,0) c | DecisionLevel0| 565 | 56 | 71 | 74 | 76 | 77 | 66 | 81 | 64 | 93.55/16.19 c (12,0) c | Periods | 594 | 74 | 74 | 74 | 74 | 74 | 74 | 74 | 76 | 93.55/16.19 c (12,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 93.55/16.19 c (12,0) c | Avg_Trail | | 9547 | 9565 | 9354 | 9162 | 9468 | 9367 | 9917 | 9962 | 93.55/16.19 c (12,0) c | Avg_DL | | 23 | 21 | 23 | 23 | 23 | 22 | 23 | 24 | 93.55/16.19 c (12,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 93.55/16.19 c (12,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | Exported | 31893 | 3938 | 4140 | 3971 | 3895 | 3863 | 4051 | 4073 | 3962 | 93.55/16.19 c (12,0) c | Imported | 175115 | 21850 | 21630 | 21888 | 21451 | 21826 | 21712 | 21989 | 22769 | 93.55/16.19 c (12,0) c | Good | 593 | 78 | 73 | 74 | 65 | 76 | 68 | 69 | 90 | 93.55/16.19 c (12,0) c | Purge | 174522 | 21772 | 21557 | 21814 | 21386 | 21750 | 21644 | 21920 | 22679 | 93.55/16.19 c (12,0) c | Promoted | 10833 | 1283 | 1303 | 1388 | 1350 | 1317 | 1348 | 1367 | 1477 | 93.55/16.19 c (12,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 93.55/16.19 c (12,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | Unaries | | 2 | 3 | 5 | 4 | 5 | 5 | 7 | 5 | 93.55/16.19 c (12,0) c | Binaries | | 17 | 18 | 15 | 27 | 23 | 24 | 35 | 21 | 93.55/16.19 c (12,0) c | Glues | | 145 | 163 | 163 | 143 | 178 | 161 | 176 | 154 | 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | Orig_Seen | 10 % | 48221 | 47379 | 45104 | 45105 | 47759 | 44972 | 49929 | 48510 | 93.55/16.19 c (12,0) c | Diff Orig seen| | - 1708 | - 2550 | - 4825 | - 4824 | - 2170 | - 4957 | X | - 1419 | 93.55/16.19 c (12,0) c | Hamming | 18 % | 1811 | 2227 | 5205 | 4520 | 5858 | 4628 | X | 7060 | 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c | RunningTime | | 10.8 100%| 10.6 100%| 10.6 100%| 10.8 100%| 10.5 100%| 10.6 100%| 10.5 100%| 10.6 100%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,0) c | SolvingTime | | 10.8 | 10.6 | 10.6 | 10.8 | 10.5 | 10.6 | 10.5 | 10.6 | 93.55/16.19 c (12,0) c | PropagationTim| | 9.0 84%| 8.8 83%| 8.8 83%| 9.0 84%| 8.8 83%| 8.7 83%| 8.7 82%| 8.8 83%| 93.55/16.19 c (12,0) c | AnalysisTime | | 1.3 12%| 1.3 12%| 1.3 13%| 1.2 11%| 1.3 12%| 1.3 12%| 1.4 13%| 1.3 12%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,0) c | SimplifyTime | | 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 0.1 1%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,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%| 93.55/16.19 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c 93.55/16.19 c (12,0) c Threads : 8 93.55/16.19 c (12,0) c Winner : 6 93.55/16.19 c (12,0) c Conflicts_0 : 19845 93.55/16.20 c (12,0) c Conflicts_1 : 20877 93.55/16.20 c (12,0) c Conflicts_2 : 19409 93.55/16.20 c (12,0) c Conflicts_3 : 19831 93.55/16.20 c (12,0) c Conflicts_4 : 20106 93.55/16.20 c (12,0) c Conflicts_5 : 20063 93.55/16.20 c (12,0) c Conflicts_6 : 20734 93.55/16.20 c (12,0) c Conflicts_7 : 20132 93.55/16.20 c (12,0) c Conflicts_total : 160997 93.55/16.20 c (12,0) c Conflicts_winner : 20734 93.55/16.20 c (12,0) c Decisions_0 : 52352 93.55/16.20 c (12,0) c Decisions_1 : 53101 93.55/16.20 c (12,0) c Decisions_2 : 49611 93.55/16.20 c (12,0) c Decisions_3 : 52920 93.55/16.20 c (12,0) c Decisions_4 : 53142 93.55/16.20 c (12,0) c Decisions_5 : 51760 93.55/16.20 c (12,0) c Decisions_6 : 56538 93.55/16.20 c (12,0) c Decisions_7 : 56400 93.55/16.20 c (12,0) c Decisions_total : 425824 93.55/16.20 c (12,0) c Decisions_winner : 56538 93.55/16.20 c (12,0) c Propagations_0 : 17496168 93.55/16.20 c (12,0) c Propagations_1 : 17883689 93.55/16.20 c (12,0) c Propagations_2 : 17716345 93.55/16.20 c (12,0) c Propagations_3 : 18024451 93.55/16.20 c (12,0) c Propagations_4 : 17940938 93.55/16.20 c (12,0) c Propagations_5 : 18001419 93.55/16.20 c (12,0) c Propagations_6 : 18019835 93.55/16.20 c (12,0) c Propagations_7 : 18108952 93.55/16.20 c (12,0) c Propagations_total : 143191797 93.55/16.20 c (12,0) c Propagations_winner : 18019835 93.55/16.20 c (12,0) c ReduceDBs_0 : 3 93.55/16.20 c (12,0) c ReduceDBs_1 : 3 93.55/16.20 c (12,0) c ReduceDBs_2 : 3 93.55/16.20 c (12,0) c ReduceDBs_3 : 3 93.55/16.20 c (12,0) c ReduceDBs_4 : 3 93.55/16.20 c (12,0) c ReduceDBs_5 : 3 93.55/16.20 c (12,0) c ReduceDBs_6 : 3 93.55/16.20 c (12,0) c ReduceDBs_7 : 3 93.55/16.20 c (12,0) c ReduceDBs_total : 24 93.55/16.20 c (12,0) c ReduceDBs_winner : 3 93.55/16.20 c (12,0) c SimpDBs_0 : 7 93.55/16.20 c (12,0) c SimpDBs_1 : 7 93.55/16.20 c (12,0) c SimpDBs_2 : 8 93.55/16.20 c (12,0) c SimpDBs_3 : 8 93.55/16.20 c (12,0) c SimpDBs_4 : 7 93.55/16.20 c (12,0) c SimpDBs_5 : 8 93.55/16.20 c (12,0) c SimpDBs_6 : 6 93.55/16.20 c (12,0) c SimpDBs_7 : 8 93.55/16.20 c (12,0) c SimpDBs_total : 59 93.55/16.20 c (12,0) c SimpDBs_winner : 6 93.55/16.20 c (12,0) c Restarts_0 : 54 93.55/16.20 c (12,0) c Restarts_1 : 68 93.55/16.20 c (12,0) c Restarts_2 : 69 93.69/16.20 c (12,0) c Restarts_3 : 72 93.69/16.20 c (12,0) c Restarts_4 : 72 93.69/16.20 c (12,0) c Restarts_5 : 61 93.69/16.20 c (12,0) c Restarts_6 : 74 93.69/16.20 c (12,0) c Restarts_7 : 59 93.69/16.20 c (12,0) c Restarts_total : 529 93.69/16.20 c (12,0) c Restarts_winner : 74 93.69/16.20 c (12,0) c ForcedImports_0 : 0 93.69/16.20 c (12,0) c ForcedImports_1 : 0 93.69/16.20 c (12,0) c ForcedImports_2 : 0 93.69/16.20 c (12,0) c ForcedImports_3 : 0 93.69/16.20 c (12,0) c ForcedImports_4 : 0 93.69/16.20 c (12,0) c ForcedImports_5 : 0 93.69/16.20 c (12,0) c ForcedImports_6 : 0 93.69/16.20 c (12,0) c ForcedImports_7 : 0 93.69/16.20 c (12,0) c ForcedImports_total : 0 93.69/16.20 c (12,0) c ForcedImports_winner : 0 93.69/16.20 c (12,0) c PropsBinClauses_0 : 23079984 93.69/16.20 c (12,0) c PropsBinClauses_1 : 23191616 93.69/16.20 c (12,0) c PropsBinClauses_2 : 23402194 93.69/16.20 c (12,0) c PropsBinClauses_3 : 23516984 93.69/16.20 c (12,0) c PropsBinClauses_4 : 23244159 93.69/16.20 c (12,0) c PropsBinClauses_5 : 23163931 93.69/16.20 c (12,0) c PropsBinClauses_6 : 23132437 93.69/16.20 c (12,0) c PropsBinClauses_7 : 23434971 93.69/16.20 c (12,0) c PropsBinClauses_total : 186166276 93.69/16.20 c (12,0) c PropsBinClauses_winner : 23132437 93.69/16.20 c (12,0) c PropsPreBlocker_0 : 232657924 93.69/16.20 c (12,0) c PropsPreBlocker_1 : 231443142 93.69/16.20 c (12,0) c PropsPreBlocker_2 : 227498123 93.69/16.20 c (12,0) c PropsPreBlocker_3 : 231687811 93.69/16.20 c (12,0) c PropsPreBlocker_4 : 232059833 93.69/16.20 c (12,0) c PropsPreBlocker_5 : 229010394 93.69/16.20 c (12,0) c PropsPreBlocker_6 : 236600089 93.69/16.20 c (12,0) c PropsPreBlocker_7 : 241194086 93.69/16.20 c (12,0) c PropsPreBlocker_total : 1862151402 93.69/16.20 c (12,0) c PropsPreBlocker_winner : 236600089 93.69/16.20 c (12,0) c PropsNotBlocker_0 : 83134587 93.69/16.20 c (12,0) c PropsNotBlocker_1 : 80888954 93.69/16.20 c (12,0) c PropsNotBlocker_2 : 83283395 93.69/16.20 c (12,0) c PropsNotBlocker_3 : 84081600 93.69/16.20 c (12,0) c PropsNotBlocker_4 : 83704758 93.69/16.20 c (12,0) c PropsNotBlocker_5 : 80916296 93.69/16.20 c (12,0) c PropsNotBlocker_6 : 79942024 93.69/16.20 c (12,0) c PropsNotBlocker_7 : 83453400 93.69/16.20 c (12,0) c PropsNotBlocker_total : 659405014 93.69/16.20 c (12,0) c PropsNotBlocker_winner : 79942024 93.69/16.20 c (12,0) c PropsLitFullScans_0 : 444103098 93.69/16.20 c (12,0) c PropsLitFullScans_1 : 444047961 93.69/16.20 c (12,0) c PropsLitFullScans_2 : 444090469 93.69/16.20 c (12,0) c PropsLitFullScans_3 : 444243076 93.69/16.20 c (12,0) c PropsLitFullScans_4 : 444099947 93.69/16.20 c (12,0) c PropsLitFullScans_5 : 444124379 93.69/16.20 c (12,0) c PropsLitFullScans_6 : 447863503 93.69/16.20 c (12,0) c PropsLitFullScans_7 : 456112995 93.69/16.20 c (12,0) c PropsLitFullScans_total : 3568685428 93.69/16.20 c (12,0) c PropsLitFullScans_winner : 447863503 93.69/16.20 c (12,0) c LitScanFractions_0 : 85266 93.69/16.20 c (12,0) c LitScanFractions_1 : 34834 93.69/16.20 c (12,0) c LitScanFractions_2 : 85234 93.69/16.20 c (12,0) c LitScanFractions_3 : 133148 93.69/16.20 c (12,0) c LitScanFractions_4 : 83829 93.69/16.20 c (12,0) c LitScanFractions_5 : 119306 93.69/16.20 c (12,0) c LitScanFractions_6 : 40700 93.69/16.20 c (12,0) c LitScanFractions_7 : 101641 93.69/16.20 c (12,0) c LitScanFractions_total : 683958 93.69/16.20 c (12,0) c LitScanFractions_winner : 40700 93.69/16.20 c (12,0) c DecisionLevel0_0 : 56 93.69/16.20 c (12,0) c DecisionLevel0_1 : 71 93.69/16.20 c (12,0) c DecisionLevel0_2 : 74 93.69/16.20 c (12,0) c DecisionLevel0_3 : 76 93.69/16.20 c (12,0) c DecisionLevel0_4 : 77 93.69/16.20 c (12,0) c DecisionLevel0_5 : 66 93.69/16.20 c (12,0) c DecisionLevel0_6 : 81 93.69/16.20 c (12,0) c DecisionLevel0_7 : 64 93.69/16.20 c (12,0) c DecisionLevel0_total : 565 93.69/16.20 c (12,0) c DecisionLevel0_winner : 81 93.69/16.20 c (12,0) c Periods_0 : 74 93.69/16.20 c (12,0) c Periods_1 : 74 93.69/16.20 c (12,0) c Periods_2 : 74 93.69/16.20 c (12,0) c Periods_3 : 74 93.69/16.20 c (12,0) c Periods_4 : 74 93.69/16.20 c (12,0) c Periods_5 : 74 93.69/16.20 c (12,0) c Periods_6 : 74 93.69/16.20 c (12,0) c Periods_7 : 76 93.69/16.20 c (12,0) c Periods_total : 594 93.69/16.20 c (12,0) c Periods_winner : 74 93.69/16.20 c (12,0) c Margin_0 : 20 93.69/16.20 c (12,0) c Margin_1 : 20 93.69/16.20 c (12,0) c Margin_2 : 20 93.69/16.20 c (12,0) c Margin_3 : 20 93.69/16.20 c (12,0) c Margin_4 : 20 93.69/16.20 c (12,0) c Margin_5 : 20 93.69/16.20 c (12,0) c Margin_6 : 20 93.69/16.20 c (12,0) c Margin_7 : 20 93.69/16.20 c (12,0) c Margin_total : 160 93.69/16.20 c (12,0) c Margin_winner : 20 93.69/16.20 c (12,0) c Exported_0 : 3938 93.69/16.20 c (12,0) c Exported_1 : 4140 93.69/16.20 c (12,0) c Exported_2 : 3971 93.69/16.20 c (12,0) c Exported_3 : 3895 93.69/16.20 c (12,0) c Exported_4 : 3863 93.69/16.20 c (12,0) c Exported_5 : 4051 93.69/16.20 c (12,0) c Exported_6 : 4073 93.69/16.20 c (12,0) c Exported_7 : 3962 93.69/16.20 c (12,0) c Exported_total : 31893 93.69/16.20 c (12,0) c Exported_winner : 4073 93.69/16.20 c (12,0) c Imported_0 : 21850 93.69/16.20 c (12,0) c Imported_1 : 21630 93.69/16.20 c (12,0) c Imported_2 : 21888 93.69/16.20 c (12,0) c Imported_3 : 21451 93.69/16.20 c (12,0) c Imported_4 : 21826 93.69/16.20 c (12,0) c Imported_5 : 21712 93.69/16.20 c (12,0) c Imported_6 : 21989 93.69/16.20 c (12,0) c Imported_7 : 22769 93.69/16.20 c (12,0) c Imported_total : 175115 93.69/16.20 c (12,0) c Imported_winner : 21989 93.69/16.20 c (12,0) c Good_0 : 78 93.69/16.20 c (12,0) c Good_1 : 73 93.69/16.20 c (12,0) c Good_2 : 74 93.69/16.20 c (12,0) c Good_3 : 65 93.69/16.20 c (12,0) c Good_4 : 76 93.69/16.20 c (12,0) c Good_5 : 68 93.69/16.20 c (12,0) c Good_6 : 69 93.69/16.20 c (12,0) c Good_7 : 90 93.69/16.20 c (12,0) c Good_total : 593 93.69/16.20 c (12,0) c Good_winner : 69 93.69/16.20 c (12,0) c Purge_0 : 21772 93.69/16.20 c (12,0) c Purge_1 : 21557 93.69/16.20 c (12,0) c Purge_2 : 21814 93.69/16.20 c (12,0) c Purge_3 : 21386 93.69/16.20 c (12,0) c Purge_4 : 21750 93.69/16.20 c (12,0) c Purge_5 : 21644 93.69/16.20 c (12,0) c Purge_6 : 21920 93.69/16.20 c (12,0) c Purge_7 : 22679 93.69/16.20 c (12,0) c Purge_total : 174522 93.69/16.20 c (12,0) c Purge_winner : 21920 93.69/16.20 c (12,0) c Promoted_0 : 1283 93.69/16.20 c (12,0) c Promoted_1 : 1303 93.69/16.20 c (12,0) c Promoted_2 : 1388 93.69/16.20 c (12,0) c Promoted_3 : 1350 93.69/16.20 c (12,0) c Promoted_4 : 1317 93.69/16.20 c (12,0) c Promoted_5 : 1348 93.69/16.20 c (12,0) c Promoted_6 : 1367 93.69/16.20 c (12,0) c Promoted_7 : 1477 93.69/16.20 c (12,0) c Promoted_total : 10833 93.69/16.20 c (12,0) c Promoted_winner : 1367 93.69/16.20 c (12,0) c Remove_Imp_0 : 0 93.69/16.20 c (12,0) c Remove_Imp_1 : 0 93.69/16.20 c (12,0) c Remove_Imp_2 : 0 93.69/16.20 c (12,0) c Remove_Imp_3 : 0 93.69/16.20 c (12,0) c Remove_Imp_4 : 0 93.69/16.20 c (12,0) c Remove_Imp_5 : 0 93.69/16.20 c (12,0) c Remove_Imp_6 : 0 93.69/16.20 c (12,0) c Remove_Imp_7 : 0 93.69/16.20 c (12,0) c Remove_Imp_total : 0 93.69/16.20 c (12,0) c Remove_Imp_winner : 0 93.69/16.20 c (12,0) c Blocked_Reuse_0 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_1 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_2 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_3 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_4 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_5 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_6 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_7 : 0 93.69/16.20 c (12,0) c Blocked_Reuse_total : 0 93.69/16.20 c (12,0) c Blocked_Reuse_winner : 0 93.69/16.20 c (12,0) c Unaries_0 : 2 93.69/16.20 c (12,0) c Unaries_1 : 3 93.69/16.20 c (12,0) c Unaries_2 : 5 93.69/16.20 c (12,0) c Unaries_3 : 4 93.69/16.20 c (12,0) c Unaries_4 : 5 93.69/16.20 c (12,0) c Unaries_5 : 5 93.69/16.20 c (12,0) c Unaries_6 : 7 93.69/16.20 c (12,0) c Unaries_7 : 5 93.69/16.20 c (12,0) c Unaries_total : 36 93.69/16.20 c (12,0) c Unaries_winner : 7 93.69/16.20 c (12,0) c Binaries_0 : 17 93.69/16.20 c (12,0) c Binaries_1 : 18 93.69/16.20 c (12,0) c Binaries_2 : 15 93.69/16.20 c (12,0) c Binaries_3 : 27 93.69/16.20 c (12,0) c Binaries_4 : 23 93.69/16.20 c (12,0) c Binaries_5 : 24 93.69/16.20 c (12,0) c Binaries_6 : 35 93.69/16.20 c (12,0) c Binaries_7 : 21 93.69/16.20 c (12,0) c Binaries_total : 180 93.69/16.20 c (12,0) c Binaries_winner : 35 93.69/16.20 c (12,0) c Glues_0 : 145 93.69/16.20 c (12,0) c Glues_1 : 163 93.69/16.20 c (12,0) c Glues_2 : 163 93.69/16.20 c (12,0) c Glues_3 : 143 93.69/16.20 c (12,0) c Glues_4 : 178 93.69/16.20 c (12,0) c Glues_5 : 161 93.69/16.20 c (12,0) c Glues_6 : 176 93.69/16.20 c (12,0) c Glues_7 : 154 93.69/16.20 c (12,0) c Glues_total : 1283 93.69/16.20 c (12,0) c Glues_winner : 176 93.69/16.20 c (12,0) c RunningTime_0 : 10.813708 93.69/16.20 c (12,0) c RunningTime_1 : 10.596555 93.69/16.20 c (12,0) c RunningTime_2 : 10.617836 93.69/16.20 c (12,0) c RunningTime_3 : 10.768459 93.69/16.20 c (12,0) c RunningTime_4 : 10.538342 93.69/16.20 c (12,0) c RunningTime_5 : 10.554555 93.69/16.20 c (12,0) c RunningTime_6 : 10.518790 93.69/16.20 c (12,0) c RunningTime_7 : 10.583397 93.69/16.20 c (12,0) c RunningTime_total : 84.991642 93.69/16.20 c (12,0) c RunningTime_winner : 10.518790 93.69/16.20 c (12,0) c WaitingTime_0 : 0.000067 93.69/16.20 c (12,0) c WaitingTime_1 : 0.000098 93.69/16.20 c (12,0) c WaitingTime_2 : 0.000081 93.69/16.20 c (12,0) c WaitingTime_3 : 0.000088 93.69/16.21 c (12,0) c WaitingTime_4 : 0.000095 93.69/16.21 c (12,0) c WaitingTime_5 : 0.000084 93.69/16.21 c (12,0) c WaitingTime_6 : 0.000101 93.69/16.21 c (12,0) c WaitingTime_7 : 0.000131 93.69/16.21 c (12,0) c WaitingTime_total : 0.000746 93.69/16.21 c (12,0) c WaitingTime_winner : 0.000101 93.69/16.21 c (12,0) c ExchangingTime_0 : 0.010189 93.69/16.21 c (12,0) c ExchangingTime_1 : 0.009476 93.69/16.21 c (12,0) c ExchangingTime_2 : 0.009390 93.69/16.21 c (12,0) c ExchangingTime_3 : 0.009566 93.69/16.21 c (12,0) c ExchangingTime_4 : 0.009718 93.69/16.21 c (12,0) c ExchangingTime_5 : 0.010612 93.69/16.21 c (12,0) c ExchangingTime_6 : 0.009536 93.69/16.21 c (12,0) c ExchangingTime_7 : 0.010387 93.69/16.21 c (12,0) c ExchangingTime_total : 0.078874 93.69/16.21 c (12,0) c ExchangingTime_winner : 0.009536 93.69/16.21 c (12,0) c PeriodProcTime_0 : 0.000897 93.69/16.21 c (12,0) c PeriodProcTime_1 : 0.000854 93.69/16.21 c (12,0) c PeriodProcTime_2 : 0.000737 93.69/16.21 c (12,0) c PeriodProcTime_3 : 0.000943 93.69/16.21 c (12,0) c PeriodProcTime_4 : 0.000719 93.69/16.21 c (12,0) c PeriodProcTime_5 : 0.000943 93.69/16.21 c (12,0) c PeriodProcTime_6 : 0.000708 93.69/16.21 c (12,0) c PeriodProcTime_7 : 0.000740 93.69/16.21 c (12,0) c PeriodProcTime_total : 0.006541 93.69/16.21 c (12,0) c PeriodProcTime_winner : 0.000708 93.69/16.21 c (12,0) c SolvingTime_0 : 10.824861 93.69/16.21 c (12,0) c SolvingTime_1 : 10.606983 93.69/16.21 c (12,0) c SolvingTime_2 : 10.628045 93.69/16.21 c (12,0) c SolvingTime_3 : 10.779056 93.69/16.21 c (12,0) c SolvingTime_4 : 10.548874 93.69/16.21 c (12,0) c SolvingTime_5 : 10.566195 93.69/16.21 c (12,0) c SolvingTime_6 : 10.529135 93.69/16.21 c (12,0) c SolvingTime_7 : 10.594655 93.69/16.21 c (12,0) c SolvingTime_total : 85.077803 93.69/16.21 c (12,0) c SolvingTime_winner : 10.529135 93.69/16.21 c (12,0) c PropagationTime_0 : 9.039679 93.69/16.21 c (12,0) c PropagationTime_1 : 8.820570 93.69/16.21 c (12,0) c PropagationTime_2 : 8.794859 93.69/16.21 c (12,0) c PropagationTime_3 : 9.028306 93.69/16.21 c (12,0) c PropagationTime_4 : 8.798037 93.69/16.21 c (12,0) c PropagationTime_5 : 8.748848 93.69/16.21 c (12,0) c PropagationTime_6 : 8.660092 93.69/16.21 c (12,0) c PropagationTime_7 : 8.803041 93.69/16.21 c (12,0) c PropagationTime_total : 70.693434 93.69/16.21 c (12,0) c PropagationTime_winner : 8.660092 93.69/16.21 c (12,0) c AnalysisTime_0 : 1.286363 93.69/16.21 c (12,0) c AnalysisTime_1 : 1.308149 93.69/16.21 c (12,0) c AnalysisTime_2 : 1.347958 93.69/16.21 c (12,0) c AnalysisTime_3 : 1.233605 93.69/16.21 c (12,0) c AnalysisTime_4 : 1.267570 93.69/16.21 c (12,0) c AnalysisTime_5 : 1.318811 93.69/16.21 c (12,0) c AnalysisTime_6 : 1.392896 93.69/16.21 c (12,0) c AnalysisTime_7 : 1.286135 93.69/16.21 c (12,0) c AnalysisTime_total : 10.441488 93.69/16.21 c (12,0) c AnalysisTime_winner : 1.392896 93.69/16.21 c (12,0) c ReductionTime_0 : 0.003996 93.69/16.21 c (12,0) c ReductionTime_1 : 0.003909 93.69/16.21 c (12,0) c ReductionTime_2 : 0.003944 93.69/16.21 c (12,0) c ReductionTime_3 : 0.004174 93.69/16.21 c (12,0) c ReductionTime_4 : 0.003866 93.69/16.21 c (12,0) c ReductionTime_5 : 0.004098 93.69/16.21 c (12,0) c ReductionTime_6 : 0.003943 93.69/16.21 c (12,0) c ReductionTime_7 : 0.003937 93.69/16.21 c (12,0) c ReductionTime_total : 0.031867 93.69/16.21 c (12,0) c ReductionTime_winner : 0.003943 93.69/16.21 c (12,0) c SimplifyTime_0 : 0.083235 93.69/16.21 c (12,0) c SimplifyTime_1 : 0.083414 93.69/16.21 c (12,0) c SimplifyTime_2 : 0.095549 93.69/16.21 c (12,0) c SimplifyTime_3 : 0.098067 93.69/16.21 c (12,0) c SimplifyTime_4 : 0.081567 93.69/16.21 c (12,0) c SimplifyTime_5 : 0.098355 93.69/16.21 c (12,0) c SimplifyTime_6 : 0.067968 93.69/16.21 c (12,0) c SimplifyTime_7 : 0.099093 93.69/16.21 c (12,0) c SimplifyTime_total : 0.707247 93.69/16.21 c (12,0) c SimplifyTime_winner : 0.067968 93.69/16.21 c (12,0) c UsedRateTime_0 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_1 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_2 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_3 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_4 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_5 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_6 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_7 : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_total : 0.000000 93.69/16.21 c (12,0) c UsedRateTime_winner : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_0 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_1 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_2 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_3 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_4 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_5 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_6 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_7 : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_total : 0.000000 93.69/16.21 c (12,0) c OverlapRateTime_winner : 0.000000 93.69/16.21 c (12,0) c 93.69/16.21 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 93.69/16.21 c (12,0) c 93.69/16.21 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.69/16.21 c (12,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 93.69/16.21 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.69/16.21 c (12,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 93.69/16.21 c (12,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 93.69/16.21 c (12,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 93.69/16.21 c (12,0) c | Initial random_seed | 1582590290 | 1295543816 | 1401811505 | 311342987 | 1108276561 | 1876825477 | 1328521503 | 846027817 | 93.69/16.21 c (12,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 93.69/16.21 c (12,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 93.69/16.21 c (12,0) c | glureduce | True | True | True | True | True | True | True | True | 93.69/16.21 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 93.69/16.21 c (12,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 93.69/16.21 c (12,0) c | luby_restart | False | False | False | False | False | False | False | False | 93.69/16.21 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 93.69/16.21 c (12,0) c | var_decay | 0.8300 | 0.8400 | 0.8300 | 0.8300 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 93.69/16.21 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 93.69/16.21 c (12,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 93.69/16.21 c (12,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 93.69/16.21 c (12,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 93.69/16.21 c (12,0) 93.69/16.21 c (12,0) s SATISFIABLE 93.69/16.26 c (12,0) SatSolver.solve End 93.69/16.26 c (12,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 93.69/16.26 c (12,0) Show results Begin 93.96/16.36 c (12,0) x[0] = 348 93.96/16.36 c (12,0) x[1] = 351 93.96/16.36 c (12,0) x[2] = 158 93.96/16.36 c (12,0) x[3] = 348 93.96/16.36 c (12,0) x[4] = 348 93.96/16.36 c (12,0) x[5] = 367 93.96/16.36 c (12,0) x[6] = 363 93.96/16.36 c (12,0) x[7] = 314 93.96/16.36 c (12,0) x[8] = 355 93.96/16.36 c (12,0) x[9] = 351 93.96/16.36 c (12,0) x[10] = 348 93.96/16.36 c (12,0) x[11] = 303 93.96/16.36 c (12,0) x[12] = 303 93.96/16.36 c (12,0) x[13] = 303 93.96/16.36 c (12,0) x[14] = 314 93.96/16.36 c (12,0) x[15] = 227 93.96/16.36 c (12,0) x[16] = 227 93.96/16.36 c (12,0) x[17] = 158 93.96/16.36 c (12,0) x[18] = 0 93.96/16.36 c (12,0) x[19] = 390 93.96/16.36 c (12,0) x[20] = 0 93.96/16.36 c (12,0) x[21] = 171 93.96/16.36 c (12,0) x[22] = 367 93.96/16.36 c (12,0) x[23] = 355 93.96/16.36 c (12,0) x[24] = 0 93.96/16.36 c (12,0) y[0] = 275 93.96/16.36 c (12,0) y[1] = 227 93.96/16.36 c (12,0) y[2] = 372 93.96/16.36 c (12,0) y[3] = 212 93.96/16.36 c (12,0) y[4] = 193 93.96/16.36 c (12,0) y[5] = 189 93.96/16.36 c (12,0) y[6] = 212 93.96/16.36 c (12,0) y[7] = 193 93.96/16.36 c (12,0) y[8] = 320 93.96/16.36 c (12,0) y[9] = 239 93.96/16.36 c (12,0) y[10] = 278 93.96/16.36 c (12,0) y[11] = 275 93.96/16.36 c (12,0) y[12] = 227 93.96/16.36 c (12,0) y[13] = 320 93.96/16.36 c (12,0) y[14] = 140 93.96/16.36 c (12,0) y[15] = 140 93.96/16.36 c (12,0) y[16] = 0 93.96/16.36 c (12,0) y[17] = 227 93.96/16.36 c (12,0) y[18] = 227 93.96/16.36 c (12,0) y[19] = 189 93.96/16.36 c (12,0) y[20] = 385 93.96/16.36 c (12,0) y[21] = 372 93.96/16.36 c (12,0) y[22] = 0 93.96/16.36 c (12,0) y[23] = 355 93.96/16.36 c (12,0) y[24] = 0 93.96/16.36 s SATISFIABLE 93.96/16.36 v <instantiation> 93.96/16.36 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list> 93.96/16.36 v <values>348 351 158 348 348 367 363 314 355 351 348 303 303 303 314 227 227 158 0 390 0 171 367 355 0 275 227 372 212 193 189 212 193 320 239 278 275 227 320 140 140 0 227 227 189 385 372 0 355 0</values> 93.96/16.36 v </instantiation> 93.96/16.36 c (12,0) Show results End 93.96/16.36 c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 93.96/16.36 c (12,0) 12,12,STOP-AFTER(ALL) 93.96/16.36 c END-Prog: Sat Sep 14 04:51:59 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 (14938 MiB free) memory of node 1: 16384 MiB (15609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392280-1568429543/watcher-4392280-1568429543 -o /tmp/evaluation-result-4392280-1568429543/solver-4392280-1568429543 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392280-1568429543.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=6631, runsolver pid=6628 [startup+0.100091 s]* /proc/loadavg: 7.49 8.15 8.10 2/212 6653 /proc/meminfo: memFree=31186864/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418868296 115843072 349 33554432000 4194304 5098028 140730249684992 140730249682248 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 349 296 221 0 87 0 [pid=6634] ppid=6631 vsize=27314120 memory=106128 CPUtime=0.11 cores=0-7 /proc/6634/stat : 6634 (java) S 6631 6631 6587 0 -1 1077944320 6629 0 0 0 8 3 0 0 20 0 20 0 418868297 27969658880 26532 33554432000 4194304 4196468 140720924545568 140720924528112 140584689323767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 /proc/6634/statm: 6828530 26532 2800 1 0 6790935 0 [pid=6634/tid=6635] ppid=6631 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/6634/task/6635/stat : 6635 (java) R 6631 6631 6587 0 -1 4202560 4717 0 0 0 7 2 0 0 20 0 20 0 418868297 27969658880 26532 33554432000 4194304 4196468 140720924545568 140584661150480 140584675391886 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6636] ppid=6631 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/6634/task/6636/stat : 6636 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 26532 33554432000 4194304 4196468 140720924545568 140584693566352 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6637] ppid=6631 vsize=27314120 memory=140371848586880 CPUtime=0 cores=0-7 /proc/6634/task/6637/stat : 6637 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 26532 33554432000 4194304 4196468 140720924545568 140584507722512 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6638] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6638/stat : 6638 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584506670224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6639] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6639/stat : 6639 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584505617424 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6640] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6640/stat : 6640 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584504564112 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6641] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6641/stat : 6641 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584503511312 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6642] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6642/stat : 6642 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584502459024 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6643] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6643/stat : 6643 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 27044 33554432000 4194304 4196468 140720924545568 140584501406224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6644] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6644/stat : 6644 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583680526960 140584689334914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6645] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6645/stat : 6645 (java) S 6631 6631 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 27044 33554432000 4194304 4196468 140720924545568 140582601090336 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6646] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6646/stat : 6646 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868302 27969658880 27044 33554432000 4194304 4196468 140720924545568 140582332655216 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6647] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6647/stat : 6647 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140581958146640 140584689342363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6648] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6648/stat : 6648 (java) S 6631 6631 6587 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583679473776 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6649] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6649/stat : 6649 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583678420976 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6650] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6650/stat : 6650 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583677368688 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6651] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6651/stat : 6651 (java) S 6631 6631 6587 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583676315888 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6652] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6652/stat : 6652 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 27044 33554432000 4194304 4196468 140720924545568 140581460241248 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6653] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6653/stat : 6653 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868305 27969658880 27044 33554432000 4194304 4196468 140720924545568 140583607724848 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107524 KiB [startup+0.210223 s]* /proc/loadavg: 7.49 8.15 8.10 2/212 6653 /proc/meminfo: memFree=31165564/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418868296 115843072 349 33554432000 4194304 5098028 140730249684992 140730249682248 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 349 296 221 0 87 0 [pid=6634] ppid=6631 vsize=27314120 memory=125388 CPUtime=0.24 cores=0-7 /proc/6634/stat : 6634 (java) S 6631 6631 6587 0 -1 1077944320 12236 0 0 0 20 4 0 0 20 0 20 0 418868297 27969658880 31347 33554432000 4194304 4196468 140720924545568 140720924528112 140584689323767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 /proc/6634/statm: 6828530 31347 2937 1 0 6790935 0 [pid=6634/tid=6635] ppid=6631 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/6634/task/6635/stat : 6635 (java) R 6631 6631 6587 0 -1 4202560 9913 0 0 0 17 3 0 0 20 0 20 0 418868297 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584661123152 140584669599570 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6636] ppid=6631 vsize=27314120 memory=339 CPUtime=0 cores=0-7 /proc/6634/task/6636/stat : 6636 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584693566352 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6637] ppid=6631 vsize=27314120 memory=140371848596839 CPUtime=0 cores=0-7 /proc/6634/task/6637/stat : 6637 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584507722512 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6638] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6638/stat : 6638 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584506670224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6639] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6639/stat : 6639 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584505617424 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6640] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6640/stat : 6640 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584504564112 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6641] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6641/stat : 6641 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584503511312 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6642] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6642/stat : 6642 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584502459024 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6643] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6643/stat : 6643 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 31347 33554432000 4194304 4196468 140720924545568 140584501406224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6644] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6644/stat : 6644 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583680526960 140584689334914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6645] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6645/stat : 6645 (java) S 6631 6631 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 31347 33554432000 4194304 4196468 140720924545568 140582601090336 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6646] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6646/stat : 6646 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868302 27969658880 31347 33554432000 4194304 4196468 140720924545568 140582332655216 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6647] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6647/stat : 6647 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140581958146640 140584689342363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6648] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6648/stat : 6648 (java) S 6631 6631 6587 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583679473776 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6649] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6649/stat : 6649 (java) S 6631 6631 6587 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583678420976 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6650] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6650/stat : 6650 (java) S 6631 6631 6587 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583677368688 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6651] ppid=6631 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/6634/task/6651/stat : 6651 (java) S 6631 6631 6587 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583676315888 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6652] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6652/stat : 6652 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 31347 33554432000 4194304 4196468 140720924545568 140581460241248 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6653] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6653/stat : 6653 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868305 27969658880 31347 33554432000 4194304 4196468 140720924545568 140583607724848 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126784 KiB [startup+0.309539 s]* /proc/loadavg: 7.49 8.15 8.10 2/212 6653 /proc/meminfo: memFree=31161904/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418868296 115843072 349 33554432000 4194304 5098028 140730249684992 140730249682248 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 349 296 221 0 87 0 [pid=6634] ppid=6631 vsize=27314120 memory=129688 CPUtime=0.42 cores=0-7 /proc/6634/stat : 6634 (java) S 6631 6631 6587 0 -1 1077944320 12802 0 0 0 37 5 0 0 20 0 20 0 418868297 27969658880 32422 33554432000 4194304 4196468 140720924545568 140720924528112 140584689323767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 /proc/6634/statm: 6828530 32422 3050 1 0 6790935 0 [pid=6634/tid=6635] ppid=6631 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/6634/task/6635/stat : 6635 (java) R 6631 6631 6587 0 -1 4202560 10273 0 0 0 26 3 0 0 20 0 20 0 418868297 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584661117872 140584673404254 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6636] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6636/stat : 6636 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584693566352 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6637] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6637/stat : 6637 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584507722512 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6638] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6638/stat : 6638 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584506670224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6639] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6639/stat : 6639 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584505617424 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6640] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6640/stat : 6640 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584504564112 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6641] ppid=6631 vsize=27314120 memory=140371745139375 CPUtime=0 cores=0-7 /proc/6634/task/6641/stat : 6641 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584503511312 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6642] ppid=6631 vsize=27314120 memory=140371745141680 CPUtime=0 cores=0-7 /proc/6634/task/6642/stat : 6642 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584502459024 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6643] ppid=6631 vsize=27314120 memory=140371745143984 CPUtime=0 cores=0-7 /proc/6634/task/6643/stat : 6643 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27969658880 32422 33554432000 4194304 4196468 140720924545568 140584501406224 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6644] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6644/stat : 6644 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583680526960 140584689334914 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6645] ppid=6631 vsize=27314120 memory=280743490301840 CPUtime=0 cores=0-7 /proc/6634/task/6645/stat : 6645 (java) S 6631 6631 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418868301 27969658880 32422 33554432000 4194304 4196468 140720924545568 140582601090336 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6646] ppid=6631 vsize=27314120 memory=280743490299536 CPUtime=0 cores=0-7 /proc/6634/task/6646/stat : 6646 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868302 27969658880 32422 33554432000 4194304 4196468 140720924545568 140582332655216 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6647] ppid=6631 vsize=27314120 memory=280743490306448 CPUtime=0 cores=0-7 /proc/6634/task/6647/stat : 6647 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140581958146640 140584689342363 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6648] ppid=6631 vsize=27314120 memory=280743490247728 CPUtime=0.01 cores=0-7 /proc/6634/task/6648/stat : 6648 (java) S 6631 6631 6587 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583679473776 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6649] ppid=6631 vsize=27314120 memory=280743490320272 CPUtime=0.01 cores=0-7 /proc/6634/task/6649/stat : 6649 (java) R 6631 6631 6587 0 -1 4202560 214 0 0 0 1 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583678420976 140584670499656 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6650] ppid=6631 vsize=27314120 memory=280743490327184 CPUtime=0.01 cores=0-7 /proc/6634/task/6650/stat : 6650 (java) S 6631 6631 6587 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583677368688 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6651] ppid=6631 vsize=27314120 memory=280743490324880 CPUtime=0.07 cores=0-7 /proc/6634/task/6651/stat : 6651 (java) S 6631 6631 6587 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583676315888 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6652] ppid=6631 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6652/stat : 6652 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418868304 27969658880 32422 33554432000 4194304 4196468 140720924545568 140581460241248 140584689333973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6653] ppid=6631 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6634/task/6653/stat : 6653 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868305 27969658880 32422 33554432000 4194304 4196468 140720924545568 140583607724848 140584689334914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131084 KiB [startup+0.700924 s] /proc/loadavg: 7.49 8.15 8.10 2/212 6653 /proc/meminfo: memFree=31140696/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418868296 115843072 349 33554432000 4194304 5098028 140730249684992 140730249682248 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 349 296 221 0 87 0 [pid=6634] ppid=6631 vsize=27322440 memory=165772 CPUtime=0.99 cores=0-7 /proc/6634/stat : 6634 (java) S 6631 6631 6587 0 -1 1077944320 20546 0 0 0 92 7 0 0 20 0 20 0 418868297 27978178560 41420 33554432000 4194304 4196468 140720924545568 140720924528112 140584689323767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 /proc/6634/statm: 6830610 41420 3182 1 0 6791959 0 [pid=6634/tid=6635] ppid=6631 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7 /proc/6634/task/6635/stat : 6635 (java) R 6631 6631 6587 0 -1 4202560 17414 0 0 0 62 6 0 0 20 0 20 0 418868297 27978178560 41443 33554432000 4194304 4196468 140720924545568 140584661157232 140584673367397 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6636] ppid=6631 vsize=27322440 memory=140371745350512 CPUtime=0 cores=0-7 /proc/6634/task/6636/stat : 6636 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27978178560 41443 33554432000 4194304 4196468 140720924545568 140584693566352 140584689333973 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6637] ppid=6631 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/6634/task/6637/stat : 6637 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418868299 27978178560 41443 33554432000 4194304 4196468 140720924545568 140584507722512 140584689333973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 [pid=6634/tid=6638] ppid=6631 vsize=27322440 memory=1056 CPUtime=0 cores=0-7 /proc/6634/task/6638/stat : 6638 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418868299 27978178560 41443 33554432000 4194304 4196468 140720924545568 140584506670224 140584689333973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35598336 140720924553964 140720924554390 140720924554390 140720924557263 0 ################ # More data... # ################ /proc/6654/task/6658/stat : 6658 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675295410832 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6659] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6659/stat : 6659 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675294358032 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6660] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6660/stat : 6660 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675293305744 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6661] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6661/stat : 6661 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675292252944 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6662] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6662/stat : 6662 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675291200656 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6663] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6663/stat : 6663 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 29905 33554432000 4194304 4196468 140722134079680 140675290147856 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6664] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6664/stat : 6664 (java) S 6631 6631 6587 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418868666 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674719832176 140675492063874 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6665] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6665/stat : 6665 (java) S 6631 6631 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418868667 8616062976 29905 33554432000 4194304 4196468 140722134079680 140673802036000 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6666] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6666/stat : 6666 (java) S 6631 6631 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418868667 8616062976 29905 33554432000 4194304 4196468 140722134079680 140673667814512 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6667] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6667/stat : 6667 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868669 8616062976 29905 33554432000 4194304 4196468 140722134079680 140673293310032 140675492071323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6668] ppid=6631 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/6654/task/6668/stat : 6668 (java) S 6631 6631 6587 0 -1 1077944384 456 0 0 0 3 0 0 0 20 0 24 0 418868669 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674718780016 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6669] ppid=6631 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/6654/task/6669/stat : 6669 (java) S 6631 6631 6587 0 -1 1077944384 278 0 0 0 5 0 0 0 20 0 24 0 418868669 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674717727216 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6670] ppid=6631 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/6654/task/6670/stat : 6670 (java) S 6631 6631 6587 0 -1 1077944384 441 0 0 0 7 0 0 0 20 0 24 0 418868670 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674716674928 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6671] ppid=6631 vsize=8414124 memory=4420 CPUtime=0.18 cores=0-7 /proc/6654/task/6671/stat : 6671 (java) S 6631 6631 6587 0 -1 1077944384 493 0 0 0 18 0 0 0 20 0 24 0 418868670 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674715622128 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6672] ppid=6631 vsize=8414124 memory=6628 CPUtime=0 cores=0-7 /proc/6654/task/6672/stat : 6672 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868670 8616062976 29905 33554432000 4194304 4196468 140722134079680 140672795404640 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6673] ppid=6631 vsize=8414124 memory=8836 CPUtime=0 cores=0-7 /proc/6654/task/6673/stat : 6673 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868670 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674714569008 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6675] ppid=6631 vsize=8414124 memory=11044 CPUtime=0 cores=0-7 /proc/6654/task/6675/stat : 6675 (java) S 6631 6631 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 29905 33554432000 4194304 4196468 140722134079680 140674706535744 140675492077337 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6677] ppid=6631 vsize=8414124 memory=13252 CPUtime=0 cores=0-7 /proc/6654/task/6677/stat : 6677 (java) S 6631 6631 6587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 29905 33554432000 4194304 4196468 140722134079680 140672124305296 140675492074653 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6678] ppid=6631 vsize=8414124 memory=15460 CPUtime=0 cores=0-7 /proc/6654/task/6678/stat : 6678 (java) S 6631 6631 6587 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 29905 33554432000 4194304 4196468 140722134079680 140672392740624 140675492074653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6679] ppid=6631 vsize=8414124 memory=17668 CPUtime=0 cores=0-7 /proc/6654/task/6679/stat : 6679 (java) S 6631 6631 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418868737 8616062976 29905 33554432000 4194304 4196468 140722134079680 140671855877936 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 Current children cumulated CPU time: 93.35 s Current children cumulated vsize: 9456320 KiB Current children cumulated memory: 489660 KiB [startup+16.2013 s] /proc/loadavg: 7.21 8.05 8.07 3/219 6687 /proc/meminfo: memFree=30792928/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1476 CPUtime=6.83 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 583 27984 0 0 0 0 643 40 20 0 1 0 418868296 115843072 369 33554432000 4194304 5098028 140730249684992 140730249681736 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 369 311 221 0 87 0 [pid=6654] ppid=6631 vsize=8414124 memory=120404 CPUtime=1.15 cores=0-7 /proc/6654/stat : 6654 (java) S 6631 6631 6587 0 -1 1077944320 19647 0 0 0 106 9 0 0 20 0 24 0 418868663 8616062976 30101 33554432000 4194304 4196468 140722134079680 140722134062224 140675492052727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 /proc/6654/statm: 2103531 30101 3199 1 0 2064875 0 [pid=6674] ppid=6654 vsize=896416 memory=368664 CPUtime=85.71 cores=0-7 /proc/6674/stat : 6674 (manyglucose-4.1) R 6654 6631 6587 0 -1 4202496 253487 0 0 0 8507 64 0 0 20 0 1 0 418868735 917929984 92166 33554432000 4194304 4454172 140734601859072 140734601855792 139808596192912 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552832 6554400 26906624 140734601864042 140734601864240 140734601864240 140734601867194 0 /proc/6674/statm: 224104 92166 422 64 0 219772 0 [pid=6654/tid=6655] ppid=6631 vsize=8414124 memory=-7457052372387209120 CPUtime=0.74 cores=0-7 /proc/6654/task/6655/stat : 6655 (java) S 6631 6631 6587 0 -1 1077944384 16341 0 0 0 68 6 0 0 20 0 24 0 418868664 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675463892896 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6656] ppid=6631 vsize=8414124 memory=-8990767739041718176 CPUtime=0 cores=0-7 /proc/6654/task/6656/stat : 6656 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675496294800 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6657] ppid=6631 vsize=8414124 memory=-9181546050914066336 CPUtime=0 cores=0-7 /proc/6654/task/6657/stat : 6657 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675296463120 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6658] ppid=6631 vsize=8414124 memory=-7025448733113094249 CPUtime=0 cores=0-7 /proc/6654/task/6658/stat : 6658 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675295410832 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6659] ppid=6631 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/6654/task/6659/stat : 6659 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675294358032 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6660] ppid=6631 vsize=8414124 memory=119620 CPUtime=0 cores=0-7 /proc/6654/task/6660/stat : 6660 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675293305744 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6661] ppid=6631 vsize=8414124 memory=366368 CPUtime=0 cores=0-7 /proc/6654/task/6661/stat : 6661 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675292252944 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6662] ppid=6631 vsize=8414124 memory=280743490862752 CPUtime=0 cores=0-7 /proc/6654/task/6662/stat : 6662 (java) S 6631 6631 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675291200656 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6663] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6663/stat : 6663 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868665 8616062976 30101 33554432000 4194304 4196468 140722134079680 140675290147856 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6664] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6664/stat : 6664 (java) S 6631 6631 6587 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418868666 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674719832176 140675492063874 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6665] ppid=6631 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/6654/task/6665/stat : 6665 (java) S 6631 6631 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418868667 8616062976 30101 33554432000 4194304 4196468 140722134079680 140673802036000 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6666] ppid=6631 vsize=8414124 memory=-7029379521810568556 CPUtime=0 cores=0-7 /proc/6654/task/6666/stat : 6666 (java) S 6631 6631 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418868667 8616062976 30101 33554432000 4194304 4196468 140722134079680 140673667814512 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6667] ppid=6631 vsize=8414124 memory=-7737621075815351712 CPUtime=0 cores=0-7 /proc/6654/task/6667/stat : 6667 (java) S 6631 6631 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418868669 8616062976 30101 33554432000 4194304 4196468 140722134079680 140673293310032 140675492071323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6668] ppid=6631 vsize=8414124 memory=7679937479730885434 CPUtime=0.03 cores=0-7 /proc/6654/task/6668/stat : 6668 (java) R 6631 6631 6587 0 -1 4202560 459 0 0 0 3 0 0 0 20 0 24 0 418868669 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674718769808 140675492074074 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6669] ppid=6631 vsize=8414124 memory=8292088525465231505 CPUtime=0.05 cores=0-7 /proc/6654/task/6669/stat : 6669 (java) S 6631 6631 6587 0 -1 1077944384 278 0 0 0 5 0 0 0 20 0 24 0 418868669 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674717727216 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6670] ppid=6631 vsize=8414124 memory=590024537935931163 CPUtime=0.07 cores=0-7 /proc/6654/task/6670/stat : 6670 (java) S 6631 6631 6587 0 -1 1077944384 441 0 0 0 7 0 0 0 20 0 24 0 418868670 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674716674928 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6671] ppid=6631 vsize=8414124 memory=21314 CPUtime=0.19 cores=0-7 /proc/6654/task/6671/stat : 6671 (java) S 6631 6631 6587 0 -1 1077944384 706 0 0 0 19 0 0 0 20 0 24 0 418868670 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674715622128 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6672] ppid=6631 vsize=8414124 memory=3833748772035494177 CPUtime=0 cores=0-7 /proc/6654/task/6672/stat : 6672 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868670 8616062976 30101 33554432000 4194304 4196468 140722134079680 140672795404640 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6673] ppid=6631 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/6654/task/6673/stat : 6673 (java) S 6631 6631 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418868670 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674714569008 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6675] ppid=6631 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/6654/task/6675/stat : 6675 (java) S 6631 6631 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 30101 33554432000 4194304 4196468 140722134079680 140674706535744 140675492077337 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6677] ppid=6631 vsize=8414124 memory=15540704344541603 CPUtime=0 cores=0-7 /proc/6654/task/6677/stat : 6677 (java) R 6631 6631 6587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 30101 33554432000 4194304 4196468 140722134079680 140672124312464 140675492074557 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6678] ppid=6631 vsize=8414124 memory=168848049314279 CPUtime=0 cores=0-7 /proc/6654/task/6678/stat : 6678 (java) S 6631 6631 6587 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418868735 8616062976 30101 33554432000 4194304 4196468 140722134079680 140672392740624 140675492074653 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6679] ppid=6631 vsize=8414124 memory=168946833562087 CPUtime=0 cores=0-7 /proc/6654/task/6679/stat : 6679 (java) S 6631 6631 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418868737 8616062976 30101 33554432000 4194304 4196468 140722134079680 140671855877936 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 Current children cumulated CPU time: 93.69 s Current children cumulated vsize: 9423668 KiB Current children cumulated memory: 490544 KiB [startup+16.3012 s] /proc/loadavg: 7.21 8.05 8.07 3/219 6687 /proc/meminfo: memFree=30792928/32770624 swapFree=67000524/67108860 [pid=6631] ppid=6628 vsize=113128 memory=1476 CPUtime=6.83 cores=0-7 /proc/6631/stat : 6631 (scop.sh) S 6628 6631 6587 0 -1 4202496 583 27984 0 0 0 0 643 40 20 0 1 0 418868296 115843072 369 33554432000 4194304 5098028 140730249684992 140730249681736 140063668122236 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 15495168 140730249691941 140730249692268 140730249692268 140730249695181 0 /proc/6631/statm: 28282 369 311 221 0 87 0 [pid=6654] ppid=6631 vsize=8283048 memory=128540 CPUtime=87.13 cores=0-7 /proc/6654/stat : 6654 (java) S 6631 6631 6587 0 -1 1077944320 21130 253493 0 0 131 10 8507 65 20 0 22 0 418868663 8481841152 32135 33554432000 4194304 4196468 140722134079680 140722134062224 140675492052727 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 /proc/6654/statm: 2070762 32135 3224 1 0 2032106 0 [pid=6654/tid=6655] ppid=6631 vsize=8283048 memory=280743490233216 CPUtime=86.5 cores=0-7 /proc/6654/task/6655/stat : 6655 (java) R 6631 6631 6587 0 -1 4202560 16493 253493 0 0 72 6 8507 65 20 0 22 0 418868664 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675463890424 140675473616279 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6656] ppid=6631 vsize=8283048 memory=119620 CPUtime=85.72 cores=0-7 /proc/6654/task/6656/stat : 6656 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675496294800 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6657] ppid=6631 vsize=8283048 memory=370448 CPUtime=85.72 cores=0-7 /proc/6654/task/6657/stat : 6657 (java) S 6631 6631 6587 0 -1 1077944384 2 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675296463120 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6658] ppid=6631 vsize=8283048 memory=368564 CPUtime=85.72 cores=0-7 /proc/6654/task/6658/stat : 6658 (java) S 6631 6631 6587 0 -1 1077944384 3 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675295410832 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6659] ppid=6631 vsize=8283048 memory=370216 CPUtime=85.72 cores=0-7 /proc/6654/task/6659/stat : 6659 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675294358032 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6660] ppid=6631 vsize=8283048 memory=119620 CPUtime=85.72 cores=0-7 /proc/6654/task/6660/stat : 6660 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675293305744 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6661] ppid=6631 vsize=8283048 memory=370224 CPUtime=85.72 cores=0-7 /proc/6654/task/6661/stat : 6661 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675292252944 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6662] ppid=6631 vsize=8283048 memory=119620 CPUtime=85.72 cores=0-7 /proc/6654/task/6662/stat : 6662 (java) S 6631 6631 6587 0 -1 1077944384 2 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675291200656 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6663] ppid=6631 vsize=8283048 memory=370252 CPUtime=85.72 cores=0-7 /proc/6654/task/6663/stat : 6663 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868665 8481841152 32135 33554432000 4194304 4196468 140722134079680 140675290147856 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6664] ppid=6631 vsize=8283048 memory=5916 CPUtime=85.72 cores=0-7 /proc/6654/task/6664/stat : 6664 (java) S 6631 6631 6587 0 -1 1077944384 7 253493 0 0 0 0 8507 65 20 0 22 0 418868666 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674719832176 140675492063874 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6665] ppid=6631 vsize=8283048 memory=772 CPUtime=85.72 cores=0-7 /proc/6654/task/6665/stat : 6665 (java) S 6631 6631 6587 0 -1 1077944384 13 253493 0 0 0 0 8507 65 20 0 22 0 418868667 8481841152 32135 33554432000 4194304 4196468 140722134079680 140673802036000 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6666] ppid=6631 vsize=8283048 memory=1556 CPUtime=85.72 cores=0-7 /proc/6654/task/6666/stat : 6666 (java) S 6631 6631 6587 0 -1 1077944384 21 253493 0 0 0 0 8507 65 20 0 22 0 418868667 8481841152 32135 33554432000 4194304 4196468 140722134079680 140673667814512 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6667] ppid=6631 vsize=8283048 memory=1056 CPUtime=85.72 cores=0-7 /proc/6654/task/6667/stat : 6667 (java) S 6631 6631 6587 0 -1 1077944384 1 253493 0 0 0 0 8507 65 20 0 22 0 418868669 8481841152 32135 33554432000 4194304 4196468 140722134079680 140673293310032 140675492071323 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6668] ppid=6631 vsize=8283048 memory=24292 CPUtime=85.79 cores=0-7 /proc/6654/task/6668/stat : 6668 (java) S 6631 6631 6587 0 -1 1077944384 650 253493 0 0 7 0 8507 65 20 0 22 0 418868669 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674718780016 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6669] ppid=6631 vsize=8283048 memory=26500 CPUtime=85.82 cores=0-7 /proc/6654/task/6669/stat : 6669 (java) S 6631 6631 6587 0 -1 1077944384 496 253493 0 0 9 1 8507 65 20 0 22 0 418868669 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674717727216 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6670] ppid=6631 vsize=8283048 memory=28708 CPUtime=85.82 cores=0-7 /proc/6654/task/6670/stat : 6670 (java) S 6631 6631 6587 0 -1 1077944384 470 253493 0 0 10 0 8507 65 20 0 22 0 418868670 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674716674928 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6671] ppid=6631 vsize=8283048 memory=30916 CPUtime=85.96 cores=0-7 /proc/6654/task/6671/stat : 6671 (java) R 6631 6631 6587 0 -1 4202560 1046 253493 0 0 24 0 8507 65 20 0 22 0 418868670 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674715620528 140675492074074 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6672] ppid=6631 vsize=8283048 memory=119620 CPUtime=85.72 cores=0-7 /proc/6654/task/6672/stat : 6672 (java) S 6631 6631 6587 0 -1 1077944384 3 253493 0 0 0 0 8507 65 20 0 22 0 418868670 8481841152 32135 33554432000 4194304 4196468 140722134079680 140672795404640 140675492062933 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6673] ppid=6631 vsize=8283048 memory=365624 CPUtime=85.72 cores=0-7 /proc/6654/task/6673/stat : 6673 (java) S 6631 6631 6587 0 -1 1077944384 3 253493 0 0 0 0 8507 65 20 0 22 0 418868670 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674714569008 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6675] ppid=6631 vsize=8283048 memory=56 CPUtime=85.72 cores=0-7 /proc/6654/task/6675/stat : 6675 (java) S 6631 6631 6587 0 -1 1077944384 25 253493 0 0 0 0 8507 65 20 0 22 0 418868735 8481841152 32135 33554432000 4194304 4196468 140722134079680 140674706534928 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 [pid=6654/tid=6679] ppid=6631 vsize=8283048 memory=37160 CPUtime=85.72 cores=0-7 /proc/6654/task/6679/stat : 6679 (java) S 6631 6631 6587 0 -1 1077944384 14 253493 0 0 0 0 8507 65 20 0 22 0 418868737 8481841152 32135 33554432000 4194304 4196468 140722134079680 140671855879728 140675492063874 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27529216 140722134082552 140722134082710 140722134082710 140722134085583 0 Current children cumulated CPU time: 93.96 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130016 KiB Child status: 0 Real time (s): 16.3832 CPU time (s): 94.2042 CPU user time (s): 93.0229 CPU system time (s): 1.18135 CPU usage (%): 575.007 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1892752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 93.0229 system time used= 1.18135 maximum resident set size= 1896856 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 303496 page faults= 0 swaps= 0 block input operations= 0 block output operations= 19552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17845 involuntary context switches= 933 # summary of solver processes directly reported to runsolver: # pid: 6631 # total CPU time (s): 94.2042 # total CPU user time (s): 93.0229 # total CPU system time (s): 1.18135 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.170941 second user time and 0.25422 second system time The end
Begin job on node146 at 2019-09-14 04:51:42 IDJOB=4392280 IDBENCH=127807 IDSOLVER=2838 FILE ID=node146/4392280-1568429543 RUNJOBID= node146-1568429502-6614 PBS_JOBID= 21702307 Free space on /tmp= 59032 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-183.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-4392280-1568429543/watcher-4392280-1568429543 -o /tmp/evaluation-result-4392280-1568429543/solver-4392280-1568429543 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392280-1568429543.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a94c8ce581cdc830ec36047aa81438de RANDOM SEED=1516828654 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 31280708 kB MemAvailable: 31883252 kB Buffers: 185544 kB Cached: 682460 kB SwapCached: 4736 kB Active: 496620 kB Inactive: 376404 kB Active(anon): 21324 kB Inactive(anon): 22172 kB Active(file): 475296 kB Inactive(file): 354232 kB Unevictable: 110324 kB Mlocked: 110324 kB SwapTotal: 67108860 kB SwapFree: 67000524 kB Dirty: 20312 kB Writeback: 0 kB AnonPages: 111912 kB Mapped: 41944 kB Shmem: 29872 kB Slab: 207820 kB SReclaimable: 177704 kB SUnreclaim: 30116 kB KernelStack: 3296 kB PageTables: 5268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498740 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 59012 MiB End job on node146 at 2019-09-14 04:51:59