Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 193.722 | 27.8066 |
Name | Langford/Langford-m1-k4/ Langford-4-15.xml |
MD5SUM | bb1ed06e96cb498235a61544b90f533b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 22.3936 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 46 |
Number of domains | 1 |
Minimum domain size | 60 |
Maximum domain size | 60 |
Distribution of domain sizes | [{"size":60,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":2,"count":45},{"arity":60,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29152-serial-file.bin HOME/instance-4392671-1568424544.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 03:28:23 CEST 2019 0.65/0.56 c PID: 29155 0.65/0.56 c IP: 172.20.3.134 0.65/0.56 c HOST: node134.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.19/0.89 c (0,0) Parsing End 1.19/0.89 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 46 ctr, max domain size 60 1.19/0.90 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.19/0.90 c (0,0) Constraint Name Generate Begin 1.19/0.90 c (0,0) Ctr:HOME/instance-4392671-1568424544.xml,Add:AllDifferent:Eq:Num:Var 1.19/0.90 c (0,0) Constraint Name Generate End 1.19/0.90 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.19/0.90 c (0,0) CSP to CSPinCNF Begin 2.52/1.39 c (0,0) translated 5 (10%) constraints 2.52/1.39 c (0,0) translated 10 (20%) constraints 2.52/1.39 c (0,0) translated 14 (30%) constraints 2.52/1.39 c (0,0) translated 19 (40%) constraints 2.52/1.39 c (0,0) translated 23 (50%) constraints 2.52/1.39 c (0,0) translated 28 (60%) constraints 2.52/1.39 c (0,0) translated 33 (70%) constraints 2.52/1.39 c (0,0) translated 37 (80%) constraints 2.52/1.39 c (0,0) translated 42 (90%) constraints 2.52/1.39 c (0,0) translated 46 (100%) constraints 2.52/1.39 c (0,0) =========================================== 2.86/1.42 c (0,0) Hybrid: #OE=60, #LE=0 2.86/1.42 c (0,0) Hybrid 2.86/1.42 c (0,0) =========================================== 2.86/1.45 c (0,0) translated 188 (10%) constraints 2.86/1.47 c (0,0) translated 376 (20%) constraints 2.86/1.49 c (0,0) translated 564 (30%) constraints 3.28/1.50 c (0,0) translated 751 (40%) constraints 3.28/1.52 c (0,0) translated 939 (50%) constraints 3.28/1.53 c (0,0) translated 1127 (60%) constraints 3.28/1.54 c (1,0) translated 1314 (70%) constraints 3.28/1.55 c (1,1) translated 1502 (80%) constraints 3.28/1.56 c (1,1) translated 1690 (90%) constraints 4.80/1.90 c (1,1) translated 1877 (100%) constraints 4.80/1.91 c (1,1) CSP to CSPinCNF End 4.80/1.92 c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 9122 ctr, max domain size 56 4.80/1.92 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 4.80/1.92 c (1,1) CSPinCNF Propagation Begin 5.25/2.10 c (1,1) 1485 values, 3177 unsatisfiable literals, and 3197 valid clauses are removed 5.25/2.10 c (1,1) CSPinCNF Propagation End 5.25/2.11 c (1,1) CSP: 60 int (0 aux), 3600 bool (3600 aux), 5925 ctr, max domain size 56 5.25/2.11 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 5.67/2.12 c (1,1) Hybrid: #OE=3660, #LE=0 5.67/2.12 c (1,1) Simplify CSPinCNF Begin 6.05/2.26 c (1,1) Simplify CSPinCNF End 6.05/2.26 c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56 6.05/2.26 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.05/2.26 c (1,1) Calculate Precise Domain Begin 6.05/2.26 c (1,1) 0 values are removed by re-calculation 6.05/2.26 c (1,1) Calculate Precise Domain End 6.05/2.27 c (1,1) CSP: 60 int (0 aux), 6906 bool (6906 aux), 9231 ctr, max domain size 56 6.05/2.27 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 6.05/2.27 c (1,1) CSPinCNF to SatSolver Begin 7.82/2.73 c (2,2) 924 (10 %) CSP clauses are encoded (0 SAT variables, 21889 SAT clauses) 8.24/2.83 c (2,2) 1847 (20 %) CSP clauses are encoded (0 SAT variables, 36906 SAT clauses) 8.59/2.91 c (2,2) 2770 (30 %) CSP clauses are encoded (0 SAT variables, 52317 SAT clauses) 8.59/2.97 c (2,2) 3693 (40 %) CSP clauses are encoded (0 SAT variables, 63859 SAT clauses) 8.79/3.04 c (2,2) 4616 (50 %) CSP clauses are encoded (0 SAT variables, 78586 SAT clauses) 8.79/3.07 c (2,2) 5539 (60 %) CSP clauses are encoded (0 SAT variables, 84791 SAT clauses) 8.79/3.08 c (2,2) 6462 (70 %) CSP clauses are encoded (0 SAT variables, 85714 SAT clauses) 8.79/3.09 c (2,2) 7385 (80 %) CSP clauses are encoded (0 SAT variables, 86637 SAT clauses) 8.79/3.10 c (2,2) 8308 (90 %) CSP clauses are encoded (0 SAT variables, 87560 SAT clauses) 8.99/3.12 c (2,2) 9231 (100 %) CSP clauses are encoded (0 SAT variables, 91278 SAT clauses) 8.99/3.12 c (2,2) CSPinCNF to SatSolver End 8.99/3.12 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.99/3.12 c (2,2) 7476 bool, 91289 clause 8.99/3.12 c (2,2) Export Begin 9.16/3.20 c (2,2) Export to HOME/scop-29152-serial-file.bin 9.16/3.20 c (2,2) Export End 9.16/3.20 c (2,2) Export File Size: 0.01 MB 9.16/3.20 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS) 9.16/3.20 c END-Prog: Sat Sep 14 03:28:26 CEST 2019 9.16/3.22 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29152-serial-file.bin 9.19/3.68 c (0,0) Read Serial File Begin 9.19/3.68 c (0,0) HOME/scop-29152-serial-file.bin 9.19/3.88 c (0,0) Read Serial File End 9.19/3.89 9.19/3.89 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 9.19/3.89 (Solving Process) 9.19/3.89 9.19/3.92 c BEGIN-Prog: Sat Sep 14 03:28:26 CEST 2019 9.19/3.92 c PID: 29175 9.19/3.92 c IP: 172.20.3.134 9.19/3.92 c HOST: node134.alineos.net 9.19/3.92 c (0,0) SatSolver.solve Begin 9.19/3.92 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392671-1568424544.xml-scop-29155.cnf 9.19/3.95 c (0,0) c 9.19/3.95 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) 9.19/3.95 c (0,0) c 9.19/3.95 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 9.19/3.95 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 9.19/3.95 c (0,0) c ========================================[ Problem Statistics ]=========================================== 9.19/3.95 c (0,0) c | | 9.19/3.97 c (0,0) c | Number of variables: 7476 | 9.19/3.97 c (0,0) c | Number of clauses: 91274 | 9.19/3.97 c (0,0) c | Parse time: 0.03 s | 9.19/3.97 c (0,0) c | | 10.38/4.06 c (0,0) c | Simplification time: 0.08 s | 10.38/4.06 c (0,0) c | | 10.38/4.06 c (0,0) c | Generating clones | 10.38/4.09 c (0,0) c | all clones generated. Memory = 76.40Mb. | 10.38/4.09 c (0,0) c ========================================================================================================| 10.38/4.09 c (0,0) c 10.38/4.09 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 10.38/4.09 c (0,0) c 10.38/4.09 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.38/4.09 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 10.38/4.09 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 10.38/4.09 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 10.38/4.09 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 10.38/4.09 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 10.38/4.09 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 10.38/4.09 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 10.38/4.09 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 10.38/4.09 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 10.38/4.09 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 10.38/4.09 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 10.38/4.09 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 10.38/4.09 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 10.38/4.09 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 10.38/4.09 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 10.38/4.09 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 10.38/4.09 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 10.38/4.09 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c real time : 23.8298 s 193.51/27.77 c (24,0) c cpu time : 182.931 s 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | Conflicts | 516022 | 64526 | 64487 | 64045 | 64075 | 64268 | 64907 | 65556 | 64158 | 193.51/27.77 c (24,0) c | Decisions | 968794 | 120442 | 121076 | 118708 | 122247 | 120631 | 120538 | 122562 | 122590 | 193.51/27.77 c (24,0) c | Propagations | 306287477 | 38262607 | 38333785 | 38042652 | 38513849 | 38019430 | 38269278 | 38415516 | 38430360 | 193.51/27.77 c (24,0) c | ReduceDBs | 48 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 193.51/27.77 c (24,0) c | SimpDBs | 172 | 23 | 22 | 20 | 21 | 21 | 23 | 21 | 21 | 193.51/27.77 c (24,0) c | Restarts | 1377 | 157 | 148 | 180 | 187 | 151 | 187 | 194 | 173 | 193.51/27.77 c (24,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 193.51/27.77 c (24,0) c | PropBinClauses| 968024674 | 122062066 | 120737898 | 121487589 | 120758926 | 120505055 | 120352661 | 121135580 | 120984899 | 193.51/27.77 c (24,0) c | PropPreBlocker| 4934222596 | 615675595 | 614260697 | 619192781 | 616051975 | 613107727 | 618979712 | 617276110 | 619677999 | 193.51/27.77 c (24,0) c | PropNotBlocker| 1376958315 | 172069410 | 172727927 | 173839065 | 173752338 | 173685325 | 171374819 | 170252813 | 169256618 | 193.51/27.77 c (24,0) c | LitFullScans | 9133256402 | 1134167127 | 1134463366 | 1146065153 | 1139238238 | 1140075597 | 1151994913 | 1146199106 | 1141052902 | 193.51/27.77 c (24,0) c | LitScanFracts | 1322570 | 141633 | 432397 | 38101 | 201300 | 45351 | 239002 | 166716 | 58070 | 193.51/27.77 c (24,0) c | DecisionLevel0| 1538 | 177 | 166 | 201 | 204 | 168 | 210 | 211 | 201 | 193.51/27.77 c (24,0) c | Periods | 1520 | 189 | 189 | 191 | 189 | 190 | 191 | 191 | 190 | 193.51/27.77 c (24,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 193.51/27.77 c (24,0) c | Avg_Trail | | 3325 | 3331 | 3296 | 3281 | 3326 | 3320 | 3367 | 3340 | 193.51/27.77 c (24,0) c | Avg_DL | | 16 | 16 | 17 | 17 | 17 | 15 | 17 | 17 | 193.51/27.77 c (24,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 193.51/27.77 c (24,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | Exported | 85555 | 10238 | 10947 | 11120 | 10551 | 10209 | 10981 | 10257 | 11252 | 193.51/27.77 c (24,0) c | Imported | 544195 | 67964 | 67232 | 67974 | 68052 | 68260 | 68435 | 68569 | 67709 | 193.51/27.77 c (24,0) c | Good | 47684 | 5904 | 6001 | 5976 | 5981 | 5988 | 5909 | 5989 | 5936 | 193.51/27.77 c (24,0) c | Purge | 496511 | 62060 | 61231 | 61998 | 62071 | 62272 | 62526 | 62580 | 61773 | 193.51/27.77 c (24,0) c | Promoted | 62705 | 8019 | 8210 | 7078 | 8157 | 7853 | 7553 | 8103 | 7732 | 193.51/27.77 c (24,0) c | Remove_Imp | 239888 | 31826 | 28395 | 27201 | 30131 | 29598 | 32022 | 31417 | 29298 | 193.51/27.77 c (24,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | Unaries | | 20 | 18 | 21 | 17 | 17 | 23 | 17 | 28 | 193.51/27.77 c (24,0) c | Binaries | | 924 | 824 | 920 | 888 | 886 | 1039 | 917 | 960 | 193.51/27.77 c (24,0) c | Glues | | 3104 | 3225 | 3008 | 3037 | 3023 | 3251 | 2954 | 3099 | 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | Orig_Seen | 71 % | 59327 | 59364 | 57105 | 58625 | 59840 | 54229 | 58807 | 57674 | 193.51/27.77 c (24,0) c | Diff Orig seen| | 702 | 739 | - 1520 | X | 1215 | - 4396 | 182 | - 951 | 193.51/27.77 c (24,0) c | Hamming | 12 % | 1199 | 860 | 715 | X | 924 | 1213 | 637 | 998 | 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c | RunningTime | | 23.6 100%| 23.6 100%| 22.7 100%| 22.8 100%| 22.8 100%| 22.5 100%| 22.6 100%| 22.8 100%| 193.51/27.77 c (24,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%| 193.51/27.77 c (24,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%| 193.51/27.77 c (24,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%| 193.51/27.77 c (24,0) c | SolvingTime | | 23.7 | 23.6 | 22.7 | 22.8 | 22.9 | 22.5 | 22.6 | 22.8 | 193.51/27.77 c (24,0) c | PropagationTim| | 21.5 91%| 21.5 91%| 20.4 90%| 20.7 91%| 20.8 91%| 20.4 91%| 20.5 91%| 20.6 90%| 193.51/27.77 c (24,0) c | AnalysisTime | | 1.4 6%| 1.4 6%| 1.6 7%| 1.4 6%| 1.4 6%| 1.4 6%| 1.5 6%| 1.5 7%| 193.51/27.77 c (24,0) c | ReductionTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 193.51/27.77 c (24,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 193.51/27.77 c (24,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%| 193.51/27.77 c (24,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%| 193.51/27.77 c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.77 c (24,0) c 193.51/27.77 c (24,0) c 193.51/27.78 c (24,0) c Threads : 8 193.51/27.78 c (24,0) c Winner : 3 193.51/27.78 c (24,0) c Conflicts_0 : 64526 193.51/27.78 c (24,0) c Conflicts_1 : 64487 193.51/27.78 c (24,0) c Conflicts_2 : 64045 193.51/27.78 c (24,0) c Conflicts_3 : 64075 193.51/27.78 c (24,0) c Conflicts_4 : 64268 193.51/27.78 c (24,0) c Conflicts_5 : 64907 193.51/27.78 c (24,0) c Conflicts_6 : 65556 193.51/27.78 c (24,0) c Conflicts_7 : 64158 193.51/27.78 c (24,0) c Conflicts_total : 516022 193.51/27.78 c (24,0) c Conflicts_winner : 64075 193.51/27.78 c (24,0) c Decisions_0 : 120442 193.51/27.78 c (24,0) c Decisions_1 : 121076 193.51/27.78 c (24,0) c Decisions_2 : 118708 193.51/27.78 c (24,0) c Decisions_3 : 122247 193.51/27.78 c (24,0) c Decisions_4 : 120631 193.51/27.78 c (24,0) c Decisions_5 : 120538 193.51/27.78 c (24,0) c Decisions_6 : 122562 193.51/27.78 c (24,0) c Decisions_7 : 122590 193.51/27.78 c (24,0) c Decisions_total : 968794 193.51/27.78 c (24,0) c Decisions_winner : 122247 193.51/27.78 c (24,0) c Propagations_0 : 38262607 193.51/27.78 c (24,0) c Propagations_1 : 38333785 193.51/27.78 c (24,0) c Propagations_2 : 38042652 193.51/27.78 c (24,0) c Propagations_3 : 38513849 193.51/27.78 c (24,0) c Propagations_4 : 38019430 193.51/27.78 c (24,0) c Propagations_5 : 38269278 193.51/27.78 c (24,0) c Propagations_6 : 38415516 193.51/27.78 c (24,0) c Propagations_7 : 38430360 193.51/27.78 c (24,0) c Propagations_total : 306287477 193.51/27.78 c (24,0) c Propagations_winner : 38513849 193.51/27.78 c (24,0) c ReduceDBs_0 : 6 193.51/27.78 c (24,0) c ReduceDBs_1 : 6 193.51/27.78 c (24,0) c ReduceDBs_2 : 6 193.51/27.78 c (24,0) c ReduceDBs_3 : 6 193.51/27.78 c (24,0) c ReduceDBs_4 : 6 193.51/27.78 c (24,0) c ReduceDBs_5 : 6 193.51/27.78 c (24,0) c ReduceDBs_6 : 6 193.51/27.78 c (24,0) c ReduceDBs_7 : 6 193.51/27.78 c (24,0) c ReduceDBs_total : 48 193.51/27.78 c (24,0) c ReduceDBs_winner : 6 193.51/27.78 c (24,0) c SimpDBs_0 : 23 193.51/27.78 c (24,0) c SimpDBs_1 : 22 193.51/27.78 c (24,0) c SimpDBs_2 : 20 193.51/27.78 c (24,0) c SimpDBs_3 : 21 193.51/27.78 c (24,0) c SimpDBs_4 : 21 193.51/27.78 c (24,0) c SimpDBs_5 : 23 193.51/27.78 c (24,0) c SimpDBs_6 : 21 193.51/27.78 c (24,0) c SimpDBs_7 : 21 193.51/27.78 c (24,0) c SimpDBs_total : 172 193.51/27.78 c (24,0) c SimpDBs_winner : 21 193.51/27.78 c (24,0) c Restarts_0 : 157 193.51/27.78 c (24,0) c Restarts_1 : 148 193.51/27.78 c (24,0) c Restarts_2 : 180 193.51/27.78 c (24,0) c Restarts_3 : 187 193.51/27.78 c (24,0) c Restarts_4 : 151 193.51/27.78 c (24,0) c Restarts_5 : 187 193.51/27.78 c (24,0) c Restarts_6 : 194 193.51/27.78 c (24,0) c Restarts_7 : 173 193.51/27.78 c (24,0) c Restarts_total : 1377 193.51/27.78 c (24,0) c Restarts_winner : 187 193.51/27.78 c (24,0) c ForcedImports_0 : 0 193.51/27.78 c (24,0) c ForcedImports_1 : 0 193.51/27.78 c (24,0) c ForcedImports_2 : 0 193.51/27.78 c (24,0) c ForcedImports_3 : 0 193.51/27.78 c (24,0) c ForcedImports_4 : 0 193.51/27.78 c (24,0) c ForcedImports_5 : 0 193.51/27.78 c (24,0) c ForcedImports_6 : 0 193.51/27.78 c (24,0) c ForcedImports_7 : 0 193.51/27.78 c (24,0) c ForcedImports_total : 0 193.51/27.78 c (24,0) c ForcedImports_winner : 0 193.51/27.78 c (24,0) c PropsBinClauses_0 : 122062066 193.51/27.78 c (24,0) c PropsBinClauses_1 : 120737898 193.51/27.78 c (24,0) c PropsBinClauses_2 : 121487589 193.51/27.78 c (24,0) c PropsBinClauses_3 : 120758926 193.51/27.78 c (24,0) c PropsBinClauses_4 : 120505055 193.51/27.78 c (24,0) c PropsBinClauses_5 : 120352661 193.51/27.78 c (24,0) c PropsBinClauses_6 : 121135580 193.51/27.78 c (24,0) c PropsBinClauses_7 : 120984899 193.51/27.78 c (24,0) c PropsBinClauses_total : 968024674 193.51/27.78 c (24,0) c PropsBinClauses_winner : 120758926 193.51/27.78 c (24,0) c PropsPreBlocker_0 : 615675595 193.51/27.78 c (24,0) c PropsPreBlocker_1 : 614260697 193.51/27.78 c (24,0) c PropsPreBlocker_2 : 619192781 193.51/27.78 c (24,0) c PropsPreBlocker_3 : 616051975 193.51/27.78 c (24,0) c PropsPreBlocker_4 : 613107727 193.51/27.78 c (24,0) c PropsPreBlocker_5 : 618979712 193.51/27.78 c (24,0) c PropsPreBlocker_6 : 617276110 193.51/27.78 c (24,0) c PropsPreBlocker_7 : 619677999 193.51/27.78 c (24,0) c PropsPreBlocker_total : 4934222596 193.51/27.78 c (24,0) c PropsPreBlocker_winner : 616051975 193.51/27.78 c (24,0) c PropsNotBlocker_0 : 172069410 193.51/27.78 c (24,0) c PropsNotBlocker_1 : 172727927 193.51/27.78 c (24,0) c PropsNotBlocker_2 : 173839065 193.51/27.78 c (24,0) c PropsNotBlocker_3 : 173752338 193.51/27.78 c (24,0) c PropsNotBlocker_4 : 173685325 193.51/27.78 c (24,0) c PropsNotBlocker_5 : 171374819 193.51/27.78 c (24,0) c PropsNotBlocker_6 : 170252813 193.51/27.78 c (24,0) c PropsNotBlocker_7 : 169256618 193.51/27.78 c (24,0) c PropsNotBlocker_total : 1376958315 193.51/27.78 c (24,0) c PropsNotBlocker_winner : 173752338 193.51/27.78 c (24,0) c PropsLitFullScans_0 : 1134167127 193.51/27.78 c (24,0) c PropsLitFullScans_1 : 1134463366 193.51/27.78 c (24,0) c PropsLitFullScans_2 : 1146065153 193.51/27.78 c (24,0) c PropsLitFullScans_3 : 1139238238 193.51/27.78 c (24,0) c PropsLitFullScans_4 : 1140075597 193.51/27.78 c (24,0) c PropsLitFullScans_5 : 1151994913 193.51/27.78 c (24,0) c PropsLitFullScans_6 : 1146199106 193.51/27.78 c (24,0) c PropsLitFullScans_7 : 1141052902 193.51/27.78 c (24,0) c PropsLitFullScans_total : 9133256402 193.51/27.78 c (24,0) c PropsLitFullScans_winner : 1139238238 193.51/27.78 c (24,0) c LitScanFractions_0 : 141633 193.51/27.78 c (24,0) c LitScanFractions_1 : 432397 193.51/27.78 c (24,0) c LitScanFractions_2 : 38101 193.51/27.78 c (24,0) c LitScanFractions_3 : 201300 193.51/27.78 c (24,0) c LitScanFractions_4 : 45351 193.51/27.78 c (24,0) c LitScanFractions_5 : 239002 193.51/27.78 c (24,0) c LitScanFractions_6 : 166716 193.51/27.78 c (24,0) c LitScanFractions_7 : 58070 193.51/27.78 c (24,0) c LitScanFractions_total : 1322570 193.51/27.78 c (24,0) c LitScanFractions_winner : 201300 193.51/27.78 c (24,0) c DecisionLevel0_0 : 177 193.51/27.78 c (24,0) c DecisionLevel0_1 : 166 193.51/27.78 c (24,0) c DecisionLevel0_2 : 201 193.51/27.78 c (24,0) c DecisionLevel0_3 : 204 193.51/27.78 c (24,0) c DecisionLevel0_4 : 168 193.51/27.78 c (24,0) c DecisionLevel0_5 : 210 193.51/27.78 c (24,0) c DecisionLevel0_6 : 211 193.51/27.78 c (24,0) c DecisionLevel0_7 : 201 193.51/27.78 c (24,0) c DecisionLevel0_total : 1538 193.51/27.78 c (24,0) c DecisionLevel0_winner : 204 193.51/27.78 c (24,0) c Periods_0 : 189 193.51/27.78 c (24,0) c Periods_1 : 189 193.51/27.78 c (24,0) c Periods_2 : 191 193.51/27.78 c (24,0) c Periods_3 : 189 193.51/27.78 c (24,0) c Periods_4 : 190 193.51/27.78 c (24,0) c Periods_5 : 191 193.51/27.78 c (24,0) c Periods_6 : 191 193.51/27.78 c (24,0) c Periods_7 : 190 193.51/27.78 c (24,0) c Periods_total : 1520 193.51/27.78 c (24,0) c Periods_winner : 189 193.51/27.78 c (24,0) c Margin_0 : 20 193.51/27.78 c (24,0) c Margin_1 : 20 193.51/27.78 c (24,0) c Margin_2 : 20 193.51/27.78 c (24,0) c Margin_3 : 20 193.51/27.78 c (24,0) c Margin_4 : 20 193.51/27.78 c (24,0) c Margin_5 : 20 193.51/27.78 c (24,0) c Margin_6 : 20 193.51/27.78 c (24,0) c Margin_7 : 20 193.51/27.78 c (24,0) c Margin_total : 160 193.51/27.78 c (24,0) c Margin_winner : 20 193.51/27.78 c (24,0) c Exported_0 : 10238 193.51/27.78 c (24,0) c Exported_1 : 10947 193.51/27.78 c (24,0) c Exported_2 : 11120 193.51/27.78 c (24,0) c Exported_3 : 10551 193.51/27.78 c (24,0) c Exported_4 : 10209 193.51/27.78 c (24,0) c Exported_5 : 10981 193.51/27.78 c (24,0) c Exported_6 : 10257 193.51/27.78 c (24,0) c Exported_7 : 11252 193.51/27.78 c (24,0) c Exported_total : 85555 193.51/27.78 c (24,0) c Exported_winner : 10551 193.51/27.78 c (24,0) c Imported_0 : 67964 193.51/27.78 c (24,0) c Imported_1 : 67232 193.51/27.78 c (24,0) c Imported_2 : 67974 193.51/27.78 c (24,0) c Imported_3 : 68052 193.51/27.78 c (24,0) c Imported_4 : 68260 193.51/27.78 c (24,0) c Imported_5 : 68435 193.51/27.78 c (24,0) c Imported_6 : 68569 193.51/27.78 c (24,0) c Imported_7 : 67709 193.51/27.78 c (24,0) c Imported_total : 544195 193.51/27.78 c (24,0) c Imported_winner : 68052 193.51/27.78 c (24,0) c Good_0 : 5904 193.51/27.78 c (24,0) c Good_1 : 6001 193.51/27.78 c (24,0) c Good_2 : 5976 193.51/27.78 c (24,0) c Good_3 : 5981 193.51/27.78 c (24,0) c Good_4 : 5988 193.51/27.78 c (24,0) c Good_5 : 5909 193.51/27.78 c (24,0) c Good_6 : 5989 193.51/27.78 c (24,0) c Good_7 : 5936 193.51/27.78 c (24,0) c Good_total : 47684 193.51/27.78 c (24,0) c Good_winner : 5981 193.51/27.78 c (24,0) c Purge_0 : 62060 193.51/27.78 c (24,0) c Purge_1 : 61231 193.51/27.78 c (24,0) c Purge_2 : 61998 193.51/27.78 c (24,0) c Purge_3 : 62071 193.51/27.78 c (24,0) c Purge_4 : 62272 193.51/27.78 c (24,0) c Purge_5 : 62526 193.51/27.78 c (24,0) c Purge_6 : 62580 193.51/27.78 c (24,0) c Purge_7 : 61773 193.51/27.78 c (24,0) c Purge_total : 496511 193.51/27.78 c (24,0) c Purge_winner : 62071 193.51/27.78 c (24,0) c Promoted_0 : 8019 193.51/27.78 c (24,0) c Promoted_1 : 8210 193.51/27.78 c (24,0) c Promoted_2 : 7078 193.51/27.78 c (24,0) c Promoted_3 : 8157 193.51/27.78 c (24,0) c Promoted_4 : 7853 193.51/27.78 c (24,0) c Promoted_5 : 7553 193.51/27.78 c (24,0) c Promoted_6 : 8103 193.51/27.78 c (24,0) c Promoted_7 : 7732 193.51/27.78 c (24,0) c Promoted_total : 62705 193.51/27.78 c (24,0) c Promoted_winner : 8157 193.51/27.78 c (24,0) c Remove_Imp_0 : 31826 193.51/27.78 c (24,0) c Remove_Imp_1 : 28395 193.51/27.78 c (24,0) c Remove_Imp_2 : 27201 193.51/27.78 c (24,0) c Remove_Imp_3 : 30131 193.51/27.78 c (24,0) c Remove_Imp_4 : 29598 193.51/27.78 c (24,0) c Remove_Imp_5 : 32022 193.51/27.78 c (24,0) c Remove_Imp_6 : 31417 193.51/27.78 c (24,0) c Remove_Imp_7 : 29298 193.51/27.78 c (24,0) c Remove_Imp_total : 239888 193.51/27.78 c (24,0) c Remove_Imp_winner : 30131 193.51/27.78 c (24,0) c Blocked_Reuse_0 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_1 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_2 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_3 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_4 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_5 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_6 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_7 : 0 193.51/27.78 c (24,0) c Blocked_Reuse_total : 0 193.51/27.78 c (24,0) c Blocked_Reuse_winner : 0 193.51/27.78 c (24,0) c Unaries_0 : 20 193.51/27.78 c (24,0) c Unaries_1 : 18 193.51/27.78 c (24,0) c Unaries_2 : 21 193.51/27.78 c (24,0) c Unaries_3 : 17 193.51/27.78 c (24,0) c Unaries_4 : 17 193.51/27.78 c (24,0) c Unaries_5 : 23 193.51/27.78 c (24,0) c Unaries_6 : 17 193.51/27.78 c (24,0) c Unaries_7 : 28 193.51/27.78 c (24,0) c Unaries_total : 161 193.51/27.78 c (24,0) c Unaries_winner : 17 193.51/27.78 c (24,0) c Binaries_0 : 924 193.51/27.79 c (24,0) c Binaries_1 : 824 193.51/27.79 c (24,0) c Binaries_2 : 920 193.51/27.79 c (24,0) c Binaries_3 : 888 193.51/27.79 c (24,0) c Binaries_4 : 886 193.51/27.79 c (24,0) c Binaries_5 : 1039 193.51/27.79 c (24,0) c Binaries_6 : 917 193.51/27.79 c (24,0) c Binaries_7 : 960 193.51/27.79 c (24,0) c Binaries_total : 7358 193.51/27.79 c (24,0) c Binaries_winner : 888 193.51/27.79 c (24,0) c Glues_0 : 3104 193.51/27.79 c (24,0) c Glues_1 : 3225 193.51/27.79 c (24,0) c Glues_2 : 3008 193.51/27.79 c (24,0) c Glues_3 : 3037 193.51/27.79 c (24,0) c Glues_4 : 3023 193.51/27.79 c (24,0) c Glues_5 : 3251 193.51/27.79 c (24,0) c Glues_6 : 2954 193.51/27.79 c (24,0) c Glues_7 : 3099 193.51/27.79 c (24,0) c Glues_total : 24701 193.51/27.79 c (24,0) c Glues_winner : 3037 193.51/27.79 c (24,0) c RunningTime_0 : 23.643009 193.51/27.79 c (24,0) c RunningTime_1 : 23.588454 193.51/27.79 c (24,0) c RunningTime_2 : 22.712320 193.51/27.79 c (24,0) c RunningTime_3 : 22.782488 193.51/27.79 c (24,0) c RunningTime_4 : 22.845540 193.51/27.79 c (24,0) c RunningTime_5 : 22.462086 193.51/27.79 c (24,0) c RunningTime_6 : 22.608943 193.51/27.79 c (24,0) c RunningTime_7 : 22.787782 193.51/27.79 c (24,0) c RunningTime_total : 183.430622 193.51/27.79 c (24,0) c RunningTime_winner : 22.782488 193.51/27.79 c (24,0) c WaitingTime_0 : 0.000199 193.51/27.79 c (24,0) c WaitingTime_1 : 0.000176 193.51/27.79 c (24,0) c WaitingTime_2 : 0.000256 193.51/27.79 c (24,0) c WaitingTime_3 : 0.000249 193.51/27.79 c (24,0) c WaitingTime_4 : 0.000248 193.51/27.79 c (24,0) c WaitingTime_5 : 0.000255 193.51/27.79 c (24,0) c WaitingTime_6 : 0.000269 193.51/27.79 c (24,0) c WaitingTime_7 : 0.000290 193.51/27.79 c (24,0) c WaitingTime_total : 0.001942 193.51/27.79 c (24,0) c WaitingTime_winner : 0.000249 193.51/27.79 c (24,0) c ExchangingTime_0 : 0.031971 193.51/27.79 c (24,0) c ExchangingTime_1 : 0.030475 193.51/27.79 c (24,0) c ExchangingTime_2 : 0.032318 193.51/27.79 c (24,0) c ExchangingTime_3 : 0.028867 193.51/27.79 c (24,0) c ExchangingTime_4 : 0.032043 193.51/27.79 c (24,0) c ExchangingTime_5 : 0.033383 193.51/27.79 c (24,0) c ExchangingTime_6 : 0.032265 193.51/27.79 c (24,0) c ExchangingTime_7 : 0.032696 193.51/27.79 c (24,0) c ExchangingTime_total : 0.254018 193.51/27.79 c (24,0) c ExchangingTime_winner : 0.028867 193.51/27.79 c (24,0) c PeriodProcTime_0 : 0.001855 193.51/27.79 c (24,0) c PeriodProcTime_1 : 0.001605 193.51/27.79 c (24,0) c PeriodProcTime_2 : 0.001701 193.51/27.79 c (24,0) c PeriodProcTime_3 : 0.001669 193.51/27.79 c (24,0) c PeriodProcTime_4 : 0.001400 193.51/27.79 c (24,0) c PeriodProcTime_5 : 0.001412 193.51/27.79 c (24,0) c PeriodProcTime_6 : 0.001692 193.51/27.79 c (24,0) c PeriodProcTime_7 : 0.001747 193.51/27.79 c (24,0) c PeriodProcTime_total : 0.013082 193.51/27.79 c (24,0) c PeriodProcTime_winner : 0.001669 193.51/27.79 c (24,0) c SolvingTime_0 : 23.677034 193.51/27.79 c (24,0) c SolvingTime_1 : 23.620709 193.51/27.79 c (24,0) c SolvingTime_2 : 22.746595 193.51/27.79 c (24,0) c SolvingTime_3 : 22.813273 193.51/27.79 c (24,0) c SolvingTime_4 : 22.879231 193.51/27.79 c (24,0) c SolvingTime_5 : 22.497137 193.51/27.79 c (24,0) c SolvingTime_6 : 22.643170 193.51/27.79 c (24,0) c SolvingTime_7 : 22.822514 193.51/27.79 c (24,0) c SolvingTime_total : 183.699664 193.51/27.79 c (24,0) c SolvingTime_winner : 22.813273 193.51/27.79 c (24,0) c PropagationTime_0 : 21.531513 193.51/27.79 c (24,0) c PropagationTime_1 : 21.468558 193.51/27.79 c (24,0) c PropagationTime_2 : 20.444842 193.51/27.79 c (24,0) c PropagationTime_3 : 20.689103 193.51/27.79 c (24,0) c PropagationTime_4 : 20.797964 193.51/27.79 c (24,0) c PropagationTime_5 : 20.397083 193.51/27.79 c (24,0) c PropagationTime_6 : 20.496092 193.51/27.79 c (24,0) c PropagationTime_7 : 20.630069 193.51/27.79 c (24,0) c PropagationTime_total : 166.455224 193.51/27.79 c (24,0) c PropagationTime_winner : 20.689103 193.51/27.79 c (24,0) c AnalysisTime_0 : 1.436670 193.51/27.79 c (24,0) c AnalysisTime_1 : 1.447702 193.51/27.79 c (24,0) c AnalysisTime_2 : 1.604843 193.51/27.79 c (24,0) c AnalysisTime_3 : 1.415978 193.51/27.79 c (24,0) c AnalysisTime_4 : 1.402205 193.51/27.79 c (24,0) c AnalysisTime_5 : 1.410021 193.51/27.79 c (24,0) c AnalysisTime_6 : 1.461253 193.51/27.79 c (24,0) c AnalysisTime_7 : 1.496906 193.51/27.79 c (24,0) c AnalysisTime_total : 11.675579 193.51/27.79 c (24,0) c AnalysisTime_winner : 1.415978 193.51/27.79 c (24,0) c ReductionTime_0 : 0.095376 193.51/27.79 c (24,0) c ReductionTime_1 : 0.104133 193.51/27.79 c (24,0) c ReductionTime_2 : 0.101280 193.51/27.79 c (24,0) c ReductionTime_3 : 0.099136 193.51/27.79 c (24,0) c ReductionTime_4 : 0.101709 193.51/27.79 c (24,0) c ReductionTime_5 : 0.098744 193.51/27.79 c (24,0) c ReductionTime_6 : 0.099260 193.51/27.79 c (24,0) c ReductionTime_7 : 0.101801 193.51/27.79 c (24,0) c ReductionTime_total : 0.801439 193.51/27.79 c (24,0) c ReductionTime_winner : 0.099136 193.51/27.79 c (24,0) c SimplifyTime_0 : 0.088515 193.51/27.79 c (24,0) c SimplifyTime_1 : 0.091118 193.51/27.79 c (24,0) c SimplifyTime_2 : 0.087692 193.51/27.79 c (24,0) c SimplifyTime_3 : 0.091555 193.51/27.79 c (24,0) c SimplifyTime_4 : 0.089695 193.51/27.79 c (24,0) c SimplifyTime_5 : 0.094916 193.51/27.79 c (24,0) c SimplifyTime_6 : 0.090497 193.51/27.79 c (24,0) c SimplifyTime_7 : 0.091009 193.51/27.79 c (24,0) c SimplifyTime_total : 0.724997 193.51/27.79 c (24,0) c SimplifyTime_winner : 0.091555 193.51/27.79 c (24,0) c UsedRateTime_0 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_1 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_2 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_3 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_4 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_5 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_6 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_7 : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_total : 0.000000 193.51/27.79 c (24,0) c UsedRateTime_winner : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_0 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_1 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_2 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_3 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_4 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_5 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_6 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_7 : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_total : 0.000000 193.51/27.79 c (24,0) c OverlapRateTime_winner : 0.000000 193.51/27.79 c (24,0) c 193.51/27.79 c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 193.51/27.79 c (24,0) c 193.51/27.79 c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.79 c (24,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 193.51/27.79 c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.79 c (24,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 193.51/27.79 c (24,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 193.51/27.79 c (24,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 193.51/27.79 c (24,0) c | Initial random_seed | 302885059 | 518612122 | 1108691201 | 1321125556 | 1178429485 | 697861537 | 752186079 | 2004282717 | 193.51/27.79 c (24,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 193.51/27.79 c (24,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 193.51/27.79 c (24,0) c | glureduce | True | True | True | True | True | True | True | True | 193.51/27.79 c (24,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 193.51/27.79 c (24,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 193.51/27.79 c (24,0) c | luby_restart | False | False | False | False | False | False | False | False | 193.51/27.79 c (24,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 193.51/27.79 c (24,0) c | var_decay | 0.9200 | 0.9200 | 0.9200 | 0.9200 | 0.9200 | 0.9200 | 0.9300 | 0.9200 | 193.51/27.79 c (24,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 193.51/27.79 c (24,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 193.51/27.79 c (24,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 193.51/27.79 c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 193.51/27.79 c (24,0) 193.51/27.79 c (24,0) s UNSATISFIABLE 193.51/27.79 c (24,0) SatSolver.solve End 193.51/27.79 c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 193.51/27.79 c (24,0) Show results Begin 193.51/27.79 s UNSATISFIABLE 193.51/27.79 c (24,0) Show results End 193.51/27.79 c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 193.51/27.79 c (24,0) 24,24,STOP-AFTER(ALL) 193.51/27.79 c END-Prog: Sat Sep 14 03:28:50 CEST 2019
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 (14384 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392671-1568424544/watcher-4392671-1568424544 -o /tmp/evaluation-result-4392671-1568424544/solver-4392671-1568424544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392671-1568424544.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29152, runsolver pid=29149 Current StackSize limit: 8192 KiB [startup+0.100091 s]* /proc/loadavg: 8.00 8.17 8.13 3/218 29174 /proc/meminfo: memFree=30172932/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418704916 115843072 349 33554432000 4194304 5098028 140729094597808 140729094595064 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 349 296 221 0 87 0 [pid=29155] ppid=29152 vsize=27314120 memory=104128 CPUtime=0.1 cores=0-7 /proc/29155/stat : 29155 (java) S 29152 29152 24366 0 -1 1077944320 6624 0 0 0 8 2 0 0 20 0 20 0 418704916 27969658880 26032 33554432000 4194304 4196468 140735157725648 140735157708192 140006137622263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 /proc/29155/statm: 6828530 26032 2794 1 0 6790935 0 [pid=29155/tid=29156] ppid=29152 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/29155/task/29156/stat : 29156 (java) R 29152 29152 24366 0 -1 4202560 4723 0 0 0 7 2 0 0 20 0 20 0 418704916 27969658880 26032 33554432000 4194304 4196468 140735157725648 140006109436624 140006121665893 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29157] ppid=29152 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29155/task/29157/stat : 29157 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140006141864720 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29158] ppid=29152 vsize=27314120 memory=140361633314432 CPUtime=0 cores=0-7 /proc/29155/task/29158/stat : 29158 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005956021136 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29159] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29159/stat : 29159 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005954968592 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29160] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29160/stat : 29160 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005953916048 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29161] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29161/stat : 29161 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005952862480 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29162] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29162/stat : 29162 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005951809936 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29163] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29163/stat : 29163 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005950757392 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29164] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29164/stat : 29164 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 26032 33554432000 4194304 4196468 140735157725648 140005949704848 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29165] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29165/stat : 29165 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704920 27969658880 26032 33554432000 4194304 4196468 140735157725648 140004457175536 140006137633410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29166] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29166/stat : 29166 (java) S 29152 29152 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 26032 33554432000 4194304 4196468 140735157725648 140003921356192 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29167] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29167/stat : 29167 (java) S 29152 29152 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 26032 33554432000 4194304 4196468 140735157725648 140003787134448 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29168] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29168/stat : 29168 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704923 27969658880 26032 33554432000 4194304 4196468 140735157725648 140003412630224 140006137640859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29169] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29169/stat : 29169 (java) S 29152 29152 24366 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 418704923 27969658880 26544 33554432000 4194304 4196468 140735157725648 140004456122352 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29170] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29170/stat : 29170 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 26544 33554432000 4194304 4196468 140735157725648 140004455069808 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29171] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29171/stat : 29171 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 26544 33554432000 4194304 4196468 140735157725648 140004454017264 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29172] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29172/stat : 29172 (java) S 29152 29152 24366 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 26544 33554432000 4194304 4196468 140735157725648 140004452964720 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29173] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29173/stat : 29173 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 26544 33554432000 4194304 4196468 140735157725648 140002914724576 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29174] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29174/stat : 29174 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 26544 33554432000 4194304 4196468 140735157725648 140004451912624 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105524 KiB [startup+0.210787 s]* /proc/loadavg: 8.00 8.17 8.13 2/218 29174 /proc/meminfo: memFree=30149364/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418704916 115843072 349 33554432000 4194304 5098028 140729094597808 140729094595064 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 349 296 221 0 87 0 [pid=29155] ppid=29152 vsize=27314120 memory=123224 CPUtime=0.24 cores=0-7 /proc/29155/stat : 29155 (java) S 29152 29152 24366 0 -1 1077944320 12252 0 0 0 20 4 0 0 20 0 20 0 418704916 27969658880 30806 33554432000 4194304 4196468 140735157725648 140735157708192 140006137622263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 /proc/29155/statm: 6828530 30806 2934 1 0 6790935 0 [pid=29155/tid=29156] ppid=29152 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29155/task/29156/stat : 29156 (java) R 29152 29152 24366 0 -1 4202560 9949 0 0 0 16 3 0 0 20 0 20 0 418704916 27969658880 30806 33554432000 4194304 4196468 140735157725648 140006109421648 140006119185815 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29157] ppid=29152 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/29155/task/29157/stat : 29157 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140006141864720 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29158] ppid=29152 vsize=27314120 memory=140361636480271 CPUtime=0 cores=0-7 /proc/29155/task/29158/stat : 29158 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005956021136 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29159] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29159/stat : 29159 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005954968592 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29160] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29160/stat : 29160 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005953916048 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29161] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29161/stat : 29161 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005952862480 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29162] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29162/stat : 29162 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005951809936 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29163] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29163/stat : 29163 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005950757392 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29164] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29164/stat : 29164 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 30806 33554432000 4194304 4196468 140735157725648 140005949704848 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29165] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29165/stat : 29165 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704920 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004457175536 140006137633410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29166] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29166/stat : 29166 (java) S 29152 29152 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 30806 33554432000 4194304 4196468 140735157725648 140003921356192 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29167] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29167/stat : 29167 (java) S 29152 29152 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 30806 33554432000 4194304 4196468 140735157725648 140003787134448 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29168] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29168/stat : 29168 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704923 27969658880 30806 33554432000 4194304 4196468 140735157725648 140003412630224 140006137640859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29169] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29169/stat : 29169 (java) S 29152 29152 24366 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 418704923 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004456122352 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29170] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29170/stat : 29170 (java) S 29152 29152 24366 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004455069808 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29171] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29171/stat : 29171 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004454017264 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29172] ppid=29152 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/29155/task/29172/stat : 29172 (java) S 29152 29152 24366 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 418704924 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004452964720 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29173] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29173/stat : 29173 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 30806 33554432000 4194304 4196468 140735157725648 140002914724576 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29174] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29174/stat : 29174 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 30806 33554432000 4194304 4196468 140735157725648 140004451912624 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124620 KiB [startup+0.310669 s]* /proc/loadavg: 8.00 8.17 8.13 2/218 29174 /proc/meminfo: memFree=30146076/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418704916 115843072 349 33554432000 4194304 5098028 140729094597808 140729094595064 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 349 296 221 0 87 0 [pid=29155] ppid=29152 vsize=27314120 memory=127532 CPUtime=0.43 cores=0-7 /proc/29155/stat : 29155 (java) S 29152 29152 24366 0 -1 1077944320 13312 0 0 0 38 5 0 0 20 0 20 0 418704916 27969658880 31883 33554432000 4194304 4196468 140735157725648 140735157708192 140006137622263 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 /proc/29155/statm: 6828530 31883 3022 1 0 6790935 0 [pid=29155/tid=29156] ppid=29152 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/29155/task/29156/stat : 29156 (java) R 29152 29152 24366 0 -1 4202560 10808 0 0 0 26 4 0 0 20 0 20 0 418704916 27969658880 31883 33554432000 4194304 4196468 140735157725648 140006109452336 140006120809072 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29157] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29157/stat : 29157 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140006141864720 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29158] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29158/stat : 29158 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005956021136 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29159] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29159/stat : 29159 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005954968592 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29160] ppid=29152 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/29155/task/29160/stat : 29160 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005953916048 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29161] ppid=29152 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/29155/task/29161/stat : 29161 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005952862480 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29162] ppid=29152 vsize=27314120 memory=140361477487791 CPUtime=0 cores=0-7 /proc/29155/task/29162/stat : 29162 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005951809936 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29163] ppid=29152 vsize=27314120 memory=140361477490096 CPUtime=0 cores=0-7 /proc/29155/task/29163/stat : 29163 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005950757392 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29164] ppid=29152 vsize=27314120 memory=140361477492400 CPUtime=0 cores=0-7 /proc/29155/task/29164/stat : 29164 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27969658880 31883 33554432000 4194304 4196468 140735157725648 140005949704848 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29165] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29165/stat : 29165 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704920 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004457175536 140006137633410 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29166] ppid=29152 vsize=27314120 memory=280722954994064 CPUtime=0 cores=0-7 /proc/29155/task/29166/stat : 29166 (java) S 29152 29152 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 31883 33554432000 4194304 4196468 140735157725648 140003921356192 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29167] ppid=29152 vsize=27314120 memory=280722954935216 CPUtime=0 cores=0-7 /proc/29155/task/29167/stat : 29167 (java) S 29152 29152 24366 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418704921 27969658880 31883 33554432000 4194304 4196468 140735157725648 140003787134448 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29168] ppid=29152 vsize=27314120 memory=280722955007888 CPUtime=0 cores=0-7 /proc/29155/task/29168/stat : 29168 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704923 27969658880 31883 33554432000 4194304 4196468 140735157725648 140003412630224 140006137640859 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29169] ppid=29152 vsize=27314120 memory=280722955014800 CPUtime=0.02 cores=0-7 /proc/29155/task/29169/stat : 29169 (java) S 29152 29152 24366 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 418704923 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004456122352 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29170] ppid=29152 vsize=27314120 memory=280722955012496 CPUtime=0.01 cores=0-7 /proc/29155/task/29170/stat : 29170 (java) S 29152 29152 24366 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 418704924 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004455069808 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29171] ppid=29152 vsize=27314120 memory=280722955028624 CPUtime=0 cores=0-7 /proc/29155/task/29171/stat : 29171 (java) S 29152 29152 24366 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004454017264 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29172] ppid=29152 vsize=27314120 memory=280722955026320 CPUtime=0.07 cores=0-7 /proc/29155/task/29172/stat : 29172 (java) S 29152 29152 24366 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 418704924 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004452964720 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29173] ppid=29152 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29173/stat : 29173 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 31883 33554432000 4194304 4196468 140735157725648 140002914724576 140006137632469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29174] ppid=29152 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29155/task/29174/stat : 29174 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418704924 27969658880 31883 33554432000 4194304 4196468 140735157725648 140004451912624 140006137633410 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128928 KiB [startup+0.700979 s] /proc/loadavg: 8.00 8.17 8.13 3/218 29174 /proc/meminfo: memFree=30124352/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418704916 115843072 349 33554432000 4194304 5098028 140729094597808 140729094595064 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 349 296 221 0 87 0 [pid=29155] ppid=29152 vsize=27322516 memory=164492 CPUtime=1 cores=0-7 /proc/29155/stat : 29155 (java) S 29152 29152 24366 0 -1 1077944320 20692 0 0 0 93 7 0 0 20 0 20 0 418704916 27978256384 41123 33554432000 4194304 4196468 140735157725648 140735157708192 140006137622263 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 /proc/29155/statm: 6830629 41123 3202 1 0 6791959 0 [pid=29155/tid=29156] ppid=29152 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7 /proc/29155/task/29156/stat : 29156 (java) R 29152 29152 24366 0 -1 4202560 17553 0 0 0 62 6 0 0 20 0 20 0 418704916 27978256384 41123 33554432000 4194304 4196468 140735157725648 140006109454000 140006129859390 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29157] ppid=29152 vsize=27322516 memory=140361477698928 CPUtime=0 cores=0-7 /proc/29155/task/29157/stat : 29157 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27978256384 41123 33554432000 4194304 4196468 140735157725648 140006141864720 140006137632469 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29158] ppid=29152 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/29155/task/29158/stat : 29158 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418704919 27978256384 41123 33554432000 4194304 4196468 140735157725648 140005956021136 140006137632469 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 [pid=29155/tid=29159] ppid=29152 vsize=27322516 memory=5996 CPUtime=0 cores=0-7 /proc/29155/task/29159/stat : 29159 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418704919 27978256384 41123 33554432000 4194304 4196468 140735157725648 140005954968592 140006137632469 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23379968 140735157727978 140735157728406 140735157728406 140735157731279 0 ################ # More data... # ################ [pid=29175/tid=29192] ppid=29152 vsize=8414124 memory=792 CPUtime=0.19 cores=0-7 /proc/29175/task/29192/stat : 29192 (java) S 29152 29152 24366 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144802638704 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29193] ppid=29152 vsize=8414124 memory=1640 CPUtime=0 cores=0-7 /proc/29175/task/29193/stat : 29193 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143507794144 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29194] ppid=29152 vsize=8414124 memory=1804 CPUtime=0.01 cores=0-7 /proc/29175/task/29194/stat : 29194 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418705246 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144801585584 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29196] ppid=29152 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29175/task/29196/stat : 29196 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144793552064 140145981804313 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29198] ppid=29152 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29175/task/29198/stat : 29198 (java) S 29152 29152 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142836694800 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29199] ppid=29152 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29175/task/29199/stat : 29199 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143105130384 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29200] ppid=29152 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29175/task/29200/stat : 29200 (java) S 29152 29152 24366 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418705313 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142568267440 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 Current children cumulated CPU time: 181.96 s Current children cumulated vsize: 9193852 KiB Current children cumulated memory: 301284 KiB [startup+27.2012 s] /proc/loadavg: 7.60 8.05 8.09 3/224 29208 /proc/meminfo: memFree=29976524/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1476 CPUtime=9.19 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 583 30272 0 0 0 0 895 24 20 0 1 0 418704916 115843072 369 33554432000 4194304 5098028 140729094597808 140729094594552 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 369 311 221 0 87 0 [pid=29175] ppid=29152 vsize=8414124 memory=119816 CPUtime=1.15 cores=0-7 /proc/29175/stat : 29175 (java) S 29152 29152 24366 0 -1 1077944320 19774 0 0 0 108 7 0 0 20 0 24 0 418705239 8616062976 29954 33554432000 4194304 4196468 140725105508400 140725105490944 140145981779703 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 /proc/29175/statm: 2103531 29954 3209 1 0 2064875 0 [pid=29195] ppid=29175 vsize=666600 memory=180044 CPUtime=182.17 cores=0-7 /proc/29195/stat : 29195 (manyglucose-4.1) S 29175 29152 24366 0 -1 1077944320 159047 0 0 0 18183 34 0 0 20 0 3 0 418705310 682598400 45011 33554432000 4194304 4454172 140735585982912 140735585981296 140056033070839 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 /proc/29195/statm: 166650 45011 417 64 0 162318 0 [pid=29195/tid=29201] ppid=29175 vsize=666600 memory=7686721470317827740 CPUtime=22.68 cores=0-7 /proc/29195/task/29201/stat : 29201 (manyglucose-4.1) R 29175 29152 24366 0 -1 4202560 19250 0 0 0 2264 4 0 0 20 0 3 0 418705325 682598400 45011 33554432000 4194304 4454172 140735585982912 140056009534568 4349826 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 [pid=29195/tid=29202] ppid=29175 vsize=666600 memory=127480870472426 CPUtime=23.09 cores=0-7 /proc/29195/task/29202/stat : 29202 (manyglucose-4.1) R 29175 29152 24366 0 -1 4202560 17789 0 0 0 2305 4 0 0 20 0 3 0 418705325 682598400 45011 33554432000 4194304 4454172 140735585982912 140056001141864 4351800 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 [pid=29175/tid=29176] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0.74 cores=0-7 /proc/29175/task/29176/stat : 29176 (java) S 29152 29152 24366 0 -1 1077944384 16768 0 0 0 69 5 0 0 20 0 24 0 418705239 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145953619872 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29177] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29177/stat : 29177 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145986021648 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29178] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29178/stat : 29178 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145791785360 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29179] ppid=29152 vsize=8414124 memory=127480870472170 CPUtime=0 cores=0-7 /proc/29175/task/29179/stat : 29179 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145790732816 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29180] ppid=29152 vsize=8414124 memory=127480870472170 CPUtime=0 cores=0-7 /proc/29175/task/29180/stat : 29180 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145465133712 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29181] ppid=29152 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/29175/task/29181/stat : 29181 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145464081168 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29182] ppid=29152 vsize=8414124 memory=119816 CPUtime=0 cores=0-7 /proc/29175/task/29182/stat : 29182 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145463028624 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29183] ppid=29152 vsize=8414124 memory=180044 CPUtime=0 cores=0-7 /proc/29175/task/29183/stat : 29183 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145461976080 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29184] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29184/stat : 29184 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145460923536 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29185] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29185/stat : 29185 (java) S 29152 29152 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418705242 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144806848496 140145981790850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29186] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29186/stat : 29186 (java) S 29152 29152 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418705243 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144648643488 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29187] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29187/stat : 29187 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705243 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144380208112 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29188] ppid=29152 vsize=8414124 memory=127480870472426 CPUtime=0 cores=0-7 /proc/29175/task/29188/stat : 29188 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144005699792 140145981798299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29189] ppid=29152 vsize=8414124 memory=3540032547687833173 CPUtime=0.06 cores=0-7 /proc/29175/task/29189/stat : 29189 (java) S 29152 29152 24366 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144805796336 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29190] ppid=29152 vsize=8414124 memory=3471342757798819168 CPUtime=0.02 cores=0-7 /proc/29175/task/29190/stat : 29190 (java) S 29152 29152 24366 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144804743792 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29191] ppid=29152 vsize=8414124 memory=140361477982444 CPUtime=0.08 cores=0-7 /proc/29175/task/29191/stat : 29191 (java) S 29152 29152 24366 0 -1 1077944384 283 0 0 0 8 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144803691248 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29192] ppid=29152 vsize=8414124 memory=140361477981712 CPUtime=0.19 cores=0-7 /proc/29175/task/29192/stat : 29192 (java) S 29152 29152 24366 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144802638704 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29193] ppid=29152 vsize=8414124 memory=140361477981808 CPUtime=0 cores=0-7 /proc/29175/task/29193/stat : 29193 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143507794144 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29194] ppid=29152 vsize=8414124 memory=140361477981616 CPUtime=0.01 cores=0-7 /proc/29175/task/29194/stat : 29194 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418705246 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144801585584 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29196] ppid=29152 vsize=8414124 memory=140361477981904 CPUtime=0 cores=0-7 /proc/29175/task/29196/stat : 29196 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144793552064 140145981804313 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29198] ppid=29152 vsize=8414124 memory=140361477708528 CPUtime=0 cores=0-7 /proc/29175/task/29198/stat : 29198 (java) S 29152 29152 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142836694800 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29199] ppid=29152 vsize=8414124 memory=140361477708624 CPUtime=0 cores=0-7 /proc/29175/task/29199/stat : 29199 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143105130384 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29200] ppid=29152 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/29175/task/29200/stat : 29200 (java) S 29152 29152 24366 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418705313 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142568267440 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 Current children cumulated CPU time: 192.51 s Current children cumulated vsize: 9193852 KiB Current children cumulated memory: 301336 KiB [startup+27.6012 s] /proc/loadavg: 7.60 8.05 8.09 3/224 29208 /proc/meminfo: memFree=29976524/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1476 CPUtime=9.19 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 583 30272 0 0 0 0 895 24 20 0 1 0 418704916 115843072 369 33554432000 4194304 5098028 140729094597808 140729094594552 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 369 311 221 0 87 0 [pid=29175] ppid=29152 vsize=8414124 memory=119816 CPUtime=1.15 cores=0-7 /proc/29175/stat : 29175 (java) S 29152 29152 24366 0 -1 1077944320 19774 0 0 0 108 7 0 0 20 0 24 0 418705239 8616062976 29954 33554432000 4194304 4196468 140725105508400 140725105490944 140145981779703 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 /proc/29175/statm: 2103531 29954 3209 1 0 2064875 0 [pid=29195] ppid=29175 vsize=666600 memory=180044 CPUtime=182.97 cores=0-7 /proc/29195/stat : 29195 (manyglucose-4.1) S 29175 29152 24366 0 -1 1077944320 159091 0 0 0 18263 34 0 0 20 0 3 0 418705310 682598400 45011 33554432000 4194304 4454172 140735585982912 140735585981296 140056033070839 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 /proc/29195/statm: 166650 45011 417 64 0 162318 0 [pid=29195/tid=29201] ppid=29175 vsize=666600 memory=0 CPUtime=23.08 cores=0-7 /proc/29195/task/29201/stat : 29201 (manyglucose-4.1) R 29175 29152 24366 0 -1 4202560 19276 0 0 0 2304 4 0 0 20 0 3 0 418705325 682598400 45011 33554432000 4194304 4454172 140735585982912 140056009534568 4351564 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 [pid=29195/tid=29202] ppid=29175 vsize=666600 memory=0 CPUtime=23.49 cores=0-7 /proc/29195/task/29202/stat : 29202 (manyglucose-4.1) R 29175 29152 24366 0 -1 4202560 17807 0 0 0 2345 4 0 0 20 0 3 0 418705325 682598400 45011 33554432000 4194304 4454172 140735585982912 140056001141864 4351289 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29663232 140735585989481 140735585989680 140735585989680 140735585992634 0 [pid=29175/tid=29176] ppid=29152 vsize=8414124 memory=280722954780912 CPUtime=0.74 cores=0-7 /proc/29175/task/29176/stat : 29176 (java) S 29152 29152 24366 0 -1 1077944384 16768 0 0 0 69 5 0 0 20 0 24 0 418705239 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145953619872 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29177] ppid=29152 vsize=8414124 memory=7813290616985839980 CPUtime=0 cores=0-7 /proc/29175/task/29177/stat : 29177 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145986021648 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29178] ppid=29152 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/29175/task/29178/stat : 29178 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145791785360 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29179] ppid=29152 vsize=8414124 memory=119816 CPUtime=0 cores=0-7 /proc/29175/task/29179/stat : 29179 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145790732816 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29180] ppid=29152 vsize=8414124 memory=179992 CPUtime=0 cores=0-7 /proc/29175/task/29180/stat : 29180 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145465133712 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29181] ppid=29152 vsize=8414124 memory=119816 CPUtime=0 cores=0-7 /proc/29175/task/29181/stat : 29181 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145464081168 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29182] ppid=29152 vsize=8414124 memory=179880 CPUtime=0 cores=0-7 /proc/29175/task/29182/stat : 29182 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145463028624 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29183] ppid=29152 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29175/task/29183/stat : 29183 (java) S 29152 29152 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145461976080 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29184] ppid=29152 vsize=8414124 memory=3760962847657866018 CPUtime=0 cores=0-7 /proc/29175/task/29184/stat : 29184 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418705241 8616062976 29954 33554432000 4194304 4196468 140725105508400 140145460923536 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29185] ppid=29152 vsize=8414124 memory=-7023579799431922829 CPUtime=0 cores=0-7 /proc/29175/task/29185/stat : 29185 (java) S 29152 29152 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 418705242 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144806848496 140145981790850 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29186] ppid=29152 vsize=8414124 memory=-7666414585839465563 CPUtime=0 cores=0-7 /proc/29175/task/29186/stat : 29186 (java) S 29152 29152 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418705243 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144648643488 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29187] ppid=29152 vsize=8414124 memory=-6520478321162704286 CPUtime=0 cores=0-7 /proc/29175/task/29187/stat : 29187 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705243 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144380208112 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29188] ppid=29152 vsize=8414124 memory=-7521736447810188379 CPUtime=0 cores=0-7 /proc/29175/task/29188/stat : 29188 (java) S 29152 29152 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144005699792 140145981798299 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29189] ppid=29152 vsize=8414124 memory=-8412652160765825907 CPUtime=0.06 cores=0-7 /proc/29175/task/29189/stat : 29189 (java) S 29152 29152 24366 0 -1 1077944384 555 0 0 0 6 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144805796336 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29190] ppid=29152 vsize=8414124 memory=0 CPUtime=0.02 cores=0-7 /proc/29175/task/29190/stat : 29190 (java) S 29152 29152 24366 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144804743792 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29191] ppid=29152 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7 /proc/29175/task/29191/stat : 29191 (java) S 29152 29152 24366 0 -1 1077944384 283 0 0 0 8 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144803691248 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29192] ppid=29152 vsize=8414124 memory=5996 CPUtime=0.19 cores=0-7 /proc/29175/task/29192/stat : 29192 (java) S 29152 29152 24366 0 -1 1077944384 541 0 0 0 19 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144802638704 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29193] ppid=29152 vsize=8414124 memory=8300 CPUtime=0 cores=0-7 /proc/29175/task/29193/stat : 29193 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418705245 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143507794144 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29194] ppid=29152 vsize=8414124 memory=776 CPUtime=0.01 cores=0-7 /proc/29175/task/29194/stat : 29194 (java) S 29152 29152 24366 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 418705246 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144801585584 140145981790850 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29196] ppid=29152 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/29175/task/29196/stat : 29196 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140144793552064 140145981804313 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29198] ppid=29152 vsize=8414124 memory=20652 CPUtime=0 cores=0-7 /proc/29175/task/29198/stat : 29198 (java) S 29152 29152 24366 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142836694800 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29199] ppid=29152 vsize=8414124 memory=12036 CPUtime=0 cores=0-7 /proc/29175/task/29199/stat : 29199 (java) S 29152 29152 24366 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 418705311 8616062976 29954 33554432000 4194304 4196468 140725105508400 140143105130384 140145981801629 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 [pid=29175/tid=29200] ppid=29152 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/29175/task/29200/stat : 29200 (java) S 29152 29152 24366 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418705313 8616062976 29954 33554432000 4194304 4196468 140725105508400 140142568267440 140145981789909 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38219776 140725105513463 140725105513622 140725105513622 140725105516495 0 Current children cumulated CPU time: 193.31 s Current children cumulated vsize: 9193852 KiB Current children cumulated memory: 301336 KiB [startup+27.8012 s] /proc/loadavg: 7.60 8.05 8.09 3/224 29208 /proc/meminfo: memFree=29976524/32770624 swapFree=66916620/67108860 [pid=29152] ppid=29149 vsize=113128 memory=1476 CPUtime=9.19 cores=0-7 /proc/29152/stat : 29152 (scop.sh) S 29149 29152 24366 0 -1 4202496 583 30272 0 0 0 0 895 24 20 0 1 0 418704916 115843072 369 33554432000 4194304 5098028 140729094597808 140729094594552 140514567762556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30085120 140729094603556 140729094603884 140729094603884 140729094606797 0 /proc/29152/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 9.19 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 27.8066 CPU time (s): 193.722 CPU user time (s): 193.035 CPU system time (s): 0.686989 CPU usage (%): 696.676 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 793700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 193.035 system time used= 0.686989 maximum resident set size= 795148 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 210056 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9265 involuntary context switches= 2176 # summary of solver processes directly reported to runsolver: # pid: 29152 # total CPU time (s): 193.722 # total CPU user time (s): 193.035 # total CPU system time (s): 0.686989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.279652 second user time and 0.41053 second system time The end
Begin job on node134 at 2019-09-14 03:28:22 IDJOB=4392671 IDBENCH=124317 IDSOLVER=2839 FILE ID=node134/4392671-1568424544 RUNJOBID= node134-1568416726-24393 PBS_JOBID= 21702257 Free space on /tmp= 59576 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-15.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392671-1568424544/watcher-4392671-1568424544 -o /tmp/evaluation-result-4392671-1568424544/solver-4392671-1568424544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392671-1568424544.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb1ed06e96cb498235a61544b90f533b RANDOM SEED=942673330 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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: 30264860 kB MemAvailable: 31794528 kB Buffers: 194532 kB Cached: 1602060 kB SwapCached: 90608 kB Active: 494552 kB Inactive: 1395220 kB Active(anon): 26192 kB Inactive(anon): 106580 kB Active(file): 468360 kB Inactive(file): 1288640 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916620 kB Dirty: 20072 kB Writeback: 0 kB AnonPages: 236388 kB Mapped: 43804 kB Shmem: 31096 kB Slab: 206908 kB SReclaimable: 177008 kB SUnreclaim: 29900 kB KernelStack: 3968 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 499256 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 190464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59556 MiB End job on node134 at 2019-09-14 03:28:50