Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 10.6698 | 3.71652 |
Name | PigeonsPlus/PigeonsPlus-m1-s1/ pigeonsPlus-10-05.xml |
MD5SUM | 11198b79b59252262e805adcf565fb89 |
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 | 9.06146 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 65 |
Number of domains | 2 |
Minimum domain size | 9 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":9,"count":10},{"size":10,"count":50}] |
Minimum variable degree | 1 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":1,"count":40},{"degree":2,"count":10},{"degree":10,"count":10}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":2,"count":55},{"arity":5,"count":10}] |
Number of extensional constraints | 65 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":65}] |
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-22287-serial-file.bin HOME/instance-4392629-1568435965.xml 0.65/0.53 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 06:38:46 CEST 2019 0.65/0.56 c PID: 22290 0.65/0.56 c IP: 172.20.3.151 0.65/0.56 c HOST: node151.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.38/1.12 c (0,0) Parsing End 2.38/1.13 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 65 ctr, max domain size 10 2.38/1.13 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.38/1.13 c (0,0) Constraint Name Generate Begin 2.38/1.13 c (0,0) Ctr:HOME/instance-4392629-1568435965.xml,ExtensionSupport:Var 2.38/1.13 c (0,0) Constraint Name Generate End 2.38/1.13 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.38/1.13 c (0,0) CSP to CSPinCNF Begin 3.28/1.48 c (0,0) translated 7 (10%) constraints 3.53/1.56 c (1,1) translated 13 (20%) constraints 3.82/1.61 c (1,1) translated 20 (30%) constraints 3.82/1.65 c (1,1) translated 26 (40%) constraints 3.82/1.69 c (1,1) translated 33 (50%) constraints 4.14/1.72 c (1,1) translated 39 (60%) constraints 4.14/1.75 c (1,1) translated 46 (70%) constraints 6.17/2.24 c (1,1) translated 52 (80%) constraints 6.58/2.32 c (1,1) translated 59 (90%) constraints 6.58/2.35 c (1,1) translated 65 (100%) constraints 6.58/2.35 c (1,1) =========================================== 6.58/2.36 c (1,1) Hybrid: #OE=635, #LE=0 6.58/2.36 c (1,1) Hybrid 6.58/2.36 c (1,1) =========================================== 6.58/2.38 c (1,1) translated 232 (10%) constraints 7.01/2.40 c (1,1) translated 463 (20%) constraints 7.01/2.41 c (1,1) translated 695 (30%) constraints 7.01/2.42 c (1,1) translated 926 (40%) constraints 7.01/2.43 c (1,1) translated 1158 (50%) constraints 7.01/2.44 c (1,1) translated 1389 (60%) constraints 7.01/2.45 c (1,1) translated 1621 (70%) constraints 7.01/2.47 c (1,1) translated 1852 (80%) constraints 7.01/2.48 c (1,1) translated 2084 (90%) constraints 7.01/2.49 c (1,1) translated 2315 (100%) constraints 7.01/2.49 c (1,1) CSP to CSPinCNF End 7.01/2.49 c (1,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.01/2.49 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 7.01/2.49 c (1,1) CSPinCNF Propagation Begin 7.42/2.54 c (2,1) 0 values, 65 unsatisfiable literals, and 0 valid clauses are removed 7.42/2.54 c (2,1) CSPinCNF Propagation End 7.42/2.54 c (2,1) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.42/2.54 c (2,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.42/2.55 c (2,2) Hybrid: #OE=635, #LE=0 7.42/2.55 c (2,2) Simplify CSPinCNF Begin 7.42/2.56 c (2,2) Simplify CSPinCNF End 7.42/2.56 c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.42/2.56 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.42/2.56 c (2,2) Calculate Precise Domain Begin 7.42/2.56 c (2,2) 0 values are removed by re-calculation 7.42/2.56 c (2,2) Calculate Precise Domain End 7.42/2.56 c (2,2) CSP: 60 int (0 aux), 575 bool (575 aux), 2315 ctr, max domain size 10 7.42/2.56 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.42/2.56 c (2,2) CSPinCNF to SatSolver Begin 7.86/2.65 c (2,2) 232 (10 %) CSP clauses are encoded (0 SAT variables, 701 SAT clauses) 7.86/2.66 c (2,2) 463 (20 %) CSP clauses are encoded (0 SAT variables, 932 SAT clauses) 7.86/2.67 c (2,2) 695 (30 %) CSP clauses are encoded (0 SAT variables, 1164 SAT clauses) 7.86/2.67 c (2,2) 926 (40 %) CSP clauses are encoded (0 SAT variables, 1395 SAT clauses) 7.86/2.68 c (2,2) 1158 (50 %) CSP clauses are encoded (0 SAT variables, 1627 SAT clauses) 7.86/2.69 c (2,2) 1389 (60 %) CSP clauses are encoded (0 SAT variables, 1858 SAT clauses) 7.86/2.69 c (2,2) 1621 (70 %) CSP clauses are encoded (0 SAT variables, 2090 SAT clauses) 8.32/2.70 c (2,2) 1852 (80 %) CSP clauses are encoded (0 SAT variables, 2321 SAT clauses) 8.32/2.71 c (2,2) 2084 (90 %) CSP clauses are encoded (0 SAT variables, 2553 SAT clauses) 8.32/2.71 c (2,2) 2315 (100 %) CSP clauses are encoded (0 SAT variables, 2784 SAT clauses) 8.32/2.71 c (2,2) CSPinCNF to SatSolver End 8.32/2.71 c (2,2) Heap : 450 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.32/2.71 c (2,2) 1105 bool, 2785 clause 8.32/2.71 c (2,2) Export Begin 8.75/2.80 c (2,2) Export to HOME/scop-22287-serial-file.bin 8.75/2.80 c (2,2) Export End 8.75/2.80 c (2,2) Export File Size: 0.01 MB 8.75/2.80 c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS) 8.75/2.80 c END-Prog: Sat Sep 14 06:38:48 CEST 2019 8.75/2.83 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22287-serial-file.bin 9.29/3.28 c (0,0) Read Serial File Begin 9.29/3.28 c (0,0) HOME/scop-22287-serial-file.bin 9.57/3.49 c (0,0) Read Serial File End 9.72/3.51 9.72/3.51 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 9.72/3.51 (Solving Process) 9.72/3.51 9.72/3.53 c BEGIN-Prog: Sat Sep 14 06:38:49 CEST 2019 9.72/3.53 c PID: 22310 9.72/3.53 c IP: 172.20.3.151 9.72/3.53 c HOST: node151.alineos.net 9.72/3.53 c (0,0) SatSolver.solve Begin 9.72/3.53 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392629-1568435965.xml-scop-22290.cnf 9.72/3.56 c (0,0) c 9.72/3.56 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.72/3.56 c (0,0) c 9.72/3.56 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 9.72/3.56 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 9.72/3.56 c (0,0) c ========================================[ Problem Statistics ]=========================================== 9.72/3.56 c (0,0) c | | 9.72/3.56 c (0,0) c | Number of variables: 1105 | 9.72/3.56 c (0,0) c | Number of clauses: 2785 | 9.72/3.56 c (0,0) c | Parse time: 0.00 s | 9.72/3.56 c (0,0) c | | 9.72/3.56 c (0,0) c | Simplification time: 0.00 s | 9.72/3.56 c (0,0) c | | 9.72/3.56 c (0,0) c | Generating clones | 9.72/3.56 c (0,0) c | all clones generated. Memory = 25.09Mb. | 9.72/3.56 c (0,0) c ========================================================================================================| 9.72/3.56 c (0,0) c 9.72/3.56 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 9.72/3.56 c (0,0) c 9.72/3.56 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.72/3.56 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 9.72/3.56 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.72/3.56 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 9.72/3.56 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 9.72/3.56 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 9.72/3.56 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 9.72/3.56 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 9.72/3.56 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 9.72/3.56 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 9.72/3.56 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 9.72/3.56 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 9.72/3.56 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 9.72/3.56 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 9.72/3.56 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 9.72/3.56 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 9.72/3.56 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 9.72/3.56 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 9.72/3.56 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c 9.95/3.67 c (0,0) c real time : 0.116908 s 9.95/3.67 c (0,0) c cpu time : 0.604754 s 9.95/3.67 c (0,0) c 9.95/3.67 c (0,0) c 9.95/3.67 c (0,0) c 9.95/3.67 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 9.95/3.67 c (0,0) c 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c | Conflicts | 80209 | 10758 | 8403 | 10249 | 11385 | 11246 | 10211 | 8411 | 9546 | 9.95/3.67 c (0,0) c | Decisions | 103580 | 14077 | 11070 | 13287 | 14310 | 13925 | 13452 | 10995 | 12464 | 9.95/3.67 c (0,0) c | Propagations | 905495 | 120620 | 96418 | 118347 | 127860 | 126908 | 113846 | 91216 | 110280 | 9.95/3.67 c (0,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 9.95/3.67 c (0,0) c | SimpDBs | 24 | 5 | 2 | 3 | 3 | 3 | 2 | 3 | 3 | 9.95/3.67 c (0,0) c | Restarts | 51 | 15 | 3 | 5 | 6 | 3 | 12 | 4 | 3 | 9.95/3.67 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | PropBinClauses| 908444 | 114210 | 99784 | 122875 | 133175 | 119419 | 110145 | 99207 | 109629 | 9.95/3.67 c (0,0) c | PropPreBlocker| 38772598 | 4649281 | 3761893 | 4857723 | 5952297 | 6443413 | 5227021 | 3497501 | 4383469 | 9.95/3.67 c (0,0) c | PropNotBlocker| 9536618 | 1162269 | 825086 | 1202536 | 1406410 | 1654486 | 1349765 | 918596 | 1017470 | 9.95/3.67 c (0,0) c | LitFullScans | 63878009 | 7701559 | 6000316 | 7937470 | 9586438 | 10959383 | 8703056 | 6000723 | 6989064 | 9.95/3.67 c (0,0) c | LitScanFracts | 1910 | 348 | 170 | 99 | 92 | 87 | 824 | 280 | 10 | 9.95/3.67 c (0,0) c | DecisionLevel0| 108 | 28 | 4 | 12 | 17 | 10 | 19 | 6 | 12 | 9.95/3.67 c (0,0) c | Periods | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 9.95/3.67 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 9.95/3.67 c (0,0) c | Avg_Trail | | 66 | 68 | 67 | 66 | 67 | 67 | 69 | 66 | 9.95/3.67 c (0,0) c | Avg_DL | | 9 | 10 | 9 | 9 | 9 | 10 | 9 | 9 | 9.95/3.67 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c | Exported | 15033 | 1971 | 1534 | 2037 | 2306 | 2051 | 2053 | 1173 | 1908 | 9.95/3.67 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c | Unaries | | 13 | 1 | 7 | 11 | 7 | 7 | 2 | 9 | 9.95/3.67 c (0,0) c | Binaries | | 50 | 10 | 37 | 50 | 34 | 23 | 11 | 44 | 9.95/3.67 c (0,0) c | Glues | | 291 | 216 | 271 | 307 | 144 | 207 | 177 | 294 | 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.67 c (0,0) c | Orig_Seen | 179 % | 463 | 467 | 467 | 466 | 461 | 466 | 467 | 467 | 9.95/3.67 c (0,0) c | Diff Orig seen| | X | 4 | 4 | 3 | - 2 | 3 | 4 | 4 | 9.95/3.67 c (0,0) c | Hamming | 2 % | X | 31 | 24 | 27 | 25 | 32 | 30 | 27 | 9.95/3.67 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.68 c (0,0) c | RunningTime | | 0.1 98%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 0.1 99%| 9.95/3.68 c (0,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%| 9.95/3.68 c (0,0) c | ExchangingTime| | 0.0 2%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 9.95/3.68 c (0,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%| 9.95/3.68 c (0,0) c | SolvingTime | | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 0.1 | 9.95/3.68 c (0,0) c | PropagationTim| | 0.1 66%| 0.1 73%| 0.1 68%| 0.1 69%| 0.1 74%| 0.1 70%| 0.0 60%| 0.0 67%| 9.95/3.68 c (0,0) c | AnalysisTime | | 0.0 18%| 0.0 14%| 0.0 18%| 0.0 19%| 0.0 16%| 0.0 18%| 0.0 17%| 0.0 20%| 9.95/3.68 c (0,0) c | ReductionTime | | 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 1%| 0.0 2%| 0.0 2%| 0.0 3%| 9.95/3.68 c (0,0) c | SimplifyTime | | 0.0 1%| 0.0 0%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 9.95/3.68 c (0,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%| 9.95/3.68 c (0,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%| 9.95/3.68 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.68 c (0,0) c 9.95/3.68 c (0,0) c 9.95/3.68 c (0,0) c Threads : 8 9.95/3.68 c (0,0) c Winner : 0 9.95/3.68 c (0,0) c Conflicts_0 : 10758 9.95/3.68 c (0,0) c Conflicts_1 : 8403 9.95/3.68 c (0,0) c Conflicts_2 : 10249 9.95/3.68 c (0,0) c Conflicts_3 : 11385 9.95/3.68 c (0,0) c Conflicts_4 : 11246 9.95/3.68 c (0,0) c Conflicts_5 : 10211 9.95/3.68 c (0,0) c Conflicts_6 : 8411 9.95/3.68 c (0,0) c Conflicts_7 : 9546 9.95/3.68 c (0,0) c Conflicts_total : 80209 9.95/3.68 c (0,0) c Conflicts_winner : 10758 9.95/3.68 c (0,0) c Decisions_0 : 14077 9.95/3.68 c (0,0) c Decisions_1 : 11070 9.95/3.68 c (0,0) c Decisions_2 : 13287 9.95/3.68 c (0,0) c Decisions_3 : 14310 9.95/3.68 c (0,0) c Decisions_4 : 13925 9.95/3.68 c (0,0) c Decisions_5 : 13452 9.95/3.68 c (0,0) c Decisions_6 : 10995 9.95/3.68 c (0,0) c Decisions_7 : 12464 9.95/3.68 c (0,0) c Decisions_total : 103580 9.95/3.68 c (0,0) c Decisions_winner : 14077 9.95/3.68 c (0,0) c Propagations_0 : 120620 9.95/3.68 c (0,0) c Propagations_1 : 96418 9.95/3.68 c (0,0) c Propagations_2 : 118347 9.95/3.68 c (0,0) c Propagations_3 : 127860 9.95/3.68 c (0,0) c Propagations_4 : 126908 9.95/3.68 c (0,0) c Propagations_5 : 113846 9.95/3.68 c (0,0) c Propagations_6 : 91216 9.95/3.68 c (0,0) c Propagations_7 : 110280 9.95/3.68 c (0,0) c Propagations_total : 905495 9.95/3.68 c (0,0) c Propagations_winner : 120620 9.95/3.68 c (0,0) c ReduceDBs_0 : 2 9.95/3.68 c (0,0) c ReduceDBs_1 : 2 9.95/3.68 c (0,0) c ReduceDBs_2 : 2 9.95/3.68 c (0,0) c ReduceDBs_3 : 2 9.95/3.68 c (0,0) c ReduceDBs_4 : 2 9.95/3.68 c (0,0) c ReduceDBs_5 : 2 9.95/3.68 c (0,0) c ReduceDBs_6 : 2 9.95/3.68 c (0,0) c ReduceDBs_7 : 2 9.95/3.68 c (0,0) c ReduceDBs_total : 16 9.95/3.68 c (0,0) c ReduceDBs_winner : 2 9.95/3.68 c (0,0) c SimpDBs_0 : 5 9.95/3.68 c (0,0) c SimpDBs_1 : 2 9.95/3.68 c (0,0) c SimpDBs_2 : 3 9.95/3.68 c (0,0) c SimpDBs_3 : 3 9.95/3.68 c (0,0) c SimpDBs_4 : 3 9.95/3.68 c (0,0) c SimpDBs_5 : 2 9.95/3.68 c (0,0) c SimpDBs_6 : 3 9.95/3.68 c (0,0) c SimpDBs_7 : 3 9.95/3.68 c (0,0) c SimpDBs_total : 24 9.95/3.68 c (0,0) c SimpDBs_winner : 5 9.95/3.68 c (0,0) c Restarts_0 : 15 9.95/3.68 c (0,0) c Restarts_1 : 3 9.95/3.68 c (0,0) c Restarts_2 : 5 9.95/3.68 c (0,0) c Restarts_3 : 6 9.95/3.68 c (0,0) c Restarts_4 : 3 9.95/3.68 c (0,0) c Restarts_5 : 12 9.95/3.68 c (0,0) c Restarts_6 : 4 9.95/3.68 c (0,0) c Restarts_7 : 3 9.95/3.68 c (0,0) c Restarts_total : 51 9.95/3.68 c (0,0) c Restarts_winner : 15 9.95/3.68 c (0,0) c ForcedImports_0 : 0 9.95/3.68 c (0,0) c ForcedImports_1 : 0 9.95/3.68 c (0,0) c ForcedImports_2 : 0 9.95/3.68 c (0,0) c ForcedImports_3 : 0 9.95/3.68 c (0,0) c ForcedImports_4 : 0 9.95/3.68 c (0,0) c ForcedImports_5 : 0 9.95/3.68 c (0,0) c ForcedImports_6 : 0 9.95/3.68 c (0,0) c ForcedImports_7 : 0 9.95/3.68 c (0,0) c ForcedImports_total : 0 9.95/3.68 c (0,0) c ForcedImports_winner : 0 9.95/3.68 c (0,0) c PropsBinClauses_0 : 114210 9.95/3.68 c (0,0) c PropsBinClauses_1 : 99784 9.95/3.68 c (0,0) c PropsBinClauses_2 : 122875 9.95/3.68 c (0,0) c PropsBinClauses_3 : 133175 9.95/3.68 c (0,0) c PropsBinClauses_4 : 119419 9.95/3.68 c (0,0) c PropsBinClauses_5 : 110145 9.95/3.68 c (0,0) c PropsBinClauses_6 : 99207 9.95/3.68 c (0,0) c PropsBinClauses_7 : 109629 9.95/3.68 c (0,0) c PropsBinClauses_total : 908444 9.95/3.68 c (0,0) c PropsBinClauses_winner : 114210 9.95/3.68 c (0,0) c PropsPreBlocker_0 : 4649281 9.95/3.68 c (0,0) c PropsPreBlocker_1 : 3761893 9.95/3.68 c (0,0) c PropsPreBlocker_2 : 4857723 9.95/3.68 c (0,0) c PropsPreBlocker_3 : 5952297 9.95/3.68 c (0,0) c PropsPreBlocker_4 : 6443413 9.95/3.68 c (0,0) c PropsPreBlocker_5 : 5227021 9.95/3.68 c (0,0) c PropsPreBlocker_6 : 3497501 9.95/3.68 c (0,0) c PropsPreBlocker_7 : 4383469 9.95/3.68 c (0,0) c PropsPreBlocker_total : 38772598 9.95/3.68 c (0,0) c PropsPreBlocker_winner : 4649281 9.95/3.68 c (0,0) c PropsNotBlocker_0 : 1162269 9.95/3.68 c (0,0) c PropsNotBlocker_1 : 825086 9.95/3.68 c (0,0) c PropsNotBlocker_2 : 1202536 9.95/3.68 c (0,0) c PropsNotBlocker_3 : 1406410 9.95/3.68 c (0,0) c PropsNotBlocker_4 : 1654486 9.95/3.68 c (0,0) c PropsNotBlocker_5 : 1349765 9.95/3.68 c (0,0) c PropsNotBlocker_6 : 918596 9.95/3.68 c (0,0) c PropsNotBlocker_7 : 1017470 9.95/3.68 c (0,0) c PropsNotBlocker_total : 9536618 9.95/3.68 c (0,0) c PropsNotBlocker_winner : 1162269 9.95/3.68 c (0,0) c PropsLitFullScans_0 : 7701559 9.95/3.68 c (0,0) c PropsLitFullScans_1 : 6000316 9.95/3.68 c (0,0) c PropsLitFullScans_2 : 7937470 9.95/3.68 c (0,0) c PropsLitFullScans_3 : 9586438 9.95/3.68 c (0,0) c PropsLitFullScans_4 : 10959383 9.95/3.68 c (0,0) c PropsLitFullScans_5 : 8703056 9.95/3.68 c (0,0) c PropsLitFullScans_6 : 6000723 9.95/3.68 c (0,0) c PropsLitFullScans_7 : 6989064 9.95/3.68 c (0,0) c PropsLitFullScans_total : 63878009 9.95/3.68 c (0,0) c PropsLitFullScans_winner : 7701559 9.95/3.68 c (0,0) c LitScanFractions_0 : 348 9.95/3.68 c (0,0) c LitScanFractions_1 : 170 9.95/3.68 c (0,0) c LitScanFractions_2 : 99 9.95/3.68 c (0,0) c LitScanFractions_3 : 92 9.95/3.68 c (0,0) c LitScanFractions_4 : 87 9.95/3.68 c (0,0) c LitScanFractions_5 : 824 9.95/3.68 c (0,0) c LitScanFractions_6 : 280 9.95/3.68 c (0,0) c LitScanFractions_7 : 10 9.95/3.68 c (0,0) c LitScanFractions_total : 1910 9.95/3.68 c (0,0) c LitScanFractions_winner : 348 9.95/3.68 c (0,0) c DecisionLevel0_0 : 28 9.95/3.68 c (0,0) c DecisionLevel0_1 : 4 9.95/3.68 c (0,0) c DecisionLevel0_2 : 12 9.95/3.68 c (0,0) c DecisionLevel0_3 : 17 9.95/3.68 c (0,0) c DecisionLevel0_4 : 10 9.95/3.68 c (0,0) c DecisionLevel0_5 : 19 9.95/3.68 c (0,0) c DecisionLevel0_6 : 6 9.95/3.68 c (0,0) c DecisionLevel0_7 : 12 9.95/3.68 c (0,0) c DecisionLevel0_total : 108 9.95/3.68 c (0,0) c DecisionLevel0_winner : 28 9.95/3.68 c (0,0) c Periods_0 : 1 9.95/3.68 c (0,0) c Periods_1 : 1 9.95/3.68 c (0,0) c Periods_2 : 1 9.95/3.68 c (0,0) c Periods_3 : 1 9.95/3.68 c (0,0) c Periods_4 : 1 9.95/3.68 c (0,0) c Periods_5 : 1 9.95/3.68 c (0,0) c Periods_6 : 1 9.95/3.68 c (0,0) c Periods_7 : 1 9.95/3.68 c (0,0) c Periods_total : 8 9.95/3.68 c (0,0) c Periods_winner : 1 9.95/3.68 c (0,0) c Margin_0 : 20 9.95/3.68 c (0,0) c Margin_1 : 20 9.95/3.68 c (0,0) c Margin_2 : 20 9.95/3.68 c (0,0) c Margin_3 : 20 9.95/3.68 c (0,0) c Margin_4 : 20 9.95/3.68 c (0,0) c Margin_5 : 20 9.95/3.68 c (0,0) c Margin_6 : 20 9.95/3.68 c (0,0) c Margin_7 : 20 9.95/3.68 c (0,0) c Margin_total : 160 9.95/3.68 c (0,0) c Margin_winner : 20 9.95/3.68 c (0,0) c Exported_0 : 1971 9.95/3.68 c (0,0) c Exported_1 : 1534 9.95/3.68 c (0,0) c Exported_2 : 2037 9.95/3.68 c (0,0) c Exported_3 : 2306 9.95/3.68 c (0,0) c Exported_4 : 2051 9.95/3.68 c (0,0) c Exported_5 : 2053 9.95/3.68 c (0,0) c Exported_6 : 1173 9.95/3.68 c (0,0) c Exported_7 : 1908 9.95/3.68 c (0,0) c Exported_total : 15033 9.95/3.68 c (0,0) c Exported_winner : 1971 9.95/3.68 c (0,0) c Imported_0 : 0 9.95/3.68 c (0,0) c Imported_1 : 0 9.95/3.68 c (0,0) c Imported_2 : 0 9.95/3.68 c (0,0) c Imported_3 : 0 9.95/3.68 c (0,0) c Imported_4 : 0 9.95/3.68 c (0,0) c Imported_5 : 0 9.95/3.68 c (0,0) c Imported_6 : 0 9.95/3.68 c (0,0) c Imported_7 : 0 9.95/3.68 c (0,0) c Imported_total : 0 9.95/3.68 c (0,0) c Imported_winner : 0 9.95/3.68 c (0,0) c Good_0 : 0 9.95/3.68 c (0,0) c Good_1 : 0 9.95/3.68 c (0,0) c Good_2 : 0 9.95/3.68 c (0,0) c Good_3 : 0 9.95/3.68 c (0,0) c Good_4 : 0 9.95/3.68 c (0,0) c Good_5 : 0 9.95/3.68 c (0,0) c Good_6 : 0 9.95/3.68 c (0,0) c Good_7 : 0 9.95/3.68 c (0,0) c Good_total : 0 9.95/3.68 c (0,0) c Good_winner : 0 9.95/3.68 c (0,0) c Purge_0 : 0 9.95/3.68 c (0,0) c Purge_1 : 0 9.95/3.68 c (0,0) c Purge_2 : 0 9.95/3.68 c (0,0) c Purge_3 : 0 9.95/3.68 c (0,0) c Purge_4 : 0 9.95/3.68 c (0,0) c Purge_5 : 0 9.95/3.68 c (0,0) c Purge_6 : 0 9.95/3.68 c (0,0) c Purge_7 : 0 9.95/3.68 c (0,0) c Purge_total : 0 9.95/3.68 c (0,0) c Purge_winner : 0 9.95/3.68 c (0,0) c Promoted_0 : 0 9.95/3.68 c (0,0) c Promoted_1 : 0 9.95/3.68 c (0,0) c Promoted_2 : 0 9.95/3.68 c (0,0) c Promoted_3 : 0 9.95/3.68 c (0,0) c Promoted_4 : 0 9.95/3.68 c (0,0) c Promoted_5 : 0 9.95/3.68 c (0,0) c Promoted_6 : 0 9.95/3.68 c (0,0) c Promoted_7 : 0 9.95/3.68 c (0,0) c Promoted_total : 0 9.95/3.68 c (0,0) c Promoted_winner : 0 9.95/3.68 c (0,0) c Remove_Imp_0 : 0 9.95/3.68 c (0,0) c Remove_Imp_1 : 0 9.95/3.68 c (0,0) c Remove_Imp_2 : 0 9.95/3.68 c (0,0) c Remove_Imp_3 : 0 9.95/3.68 c (0,0) c Remove_Imp_4 : 0 9.95/3.68 c (0,0) c Remove_Imp_5 : 0 9.95/3.68 c (0,0) c Remove_Imp_6 : 0 9.95/3.68 c (0,0) c Remove_Imp_7 : 0 9.95/3.68 c (0,0) c Remove_Imp_total : 0 9.95/3.68 c (0,0) c Remove_Imp_winner : 0 9.95/3.68 c (0,0) c Blocked_Reuse_0 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_1 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_2 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_3 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_4 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_5 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_6 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_7 : 0 9.95/3.68 c (0,0) c Blocked_Reuse_total : 0 9.95/3.68 c (0,0) c Blocked_Reuse_winner : 0 9.95/3.68 c (0,0) c Unaries_0 : 13 9.95/3.68 c (0,0) c Unaries_1 : 1 9.95/3.68 c (0,0) c Unaries_2 : 7 9.95/3.68 c (0,0) c Unaries_3 : 11 9.95/3.69 c (0,0) c Unaries_4 : 7 9.95/3.69 c (0,0) c Unaries_5 : 7 9.95/3.69 c (0,0) c Unaries_6 : 2 9.95/3.69 c (0,0) c Unaries_7 : 9 9.95/3.69 c (0,0) c Unaries_total : 57 9.95/3.69 c (0,0) c Unaries_winner : 13 9.95/3.69 c (0,0) c Binaries_0 : 50 9.95/3.69 c (0,0) c Binaries_1 : 10 9.95/3.69 c (0,0) c Binaries_2 : 37 9.95/3.69 c (0,0) c Binaries_3 : 50 9.95/3.69 c (0,0) c Binaries_4 : 34 9.95/3.69 c (0,0) c Binaries_5 : 23 9.95/3.69 c (0,0) c Binaries_6 : 11 9.95/3.69 c (0,0) c Binaries_7 : 44 9.95/3.69 c (0,0) c Binaries_total : 259 9.95/3.69 c (0,0) c Binaries_winner : 50 9.95/3.69 c (0,0) c Glues_0 : 291 9.95/3.69 c (0,0) c Glues_1 : 216 9.95/3.69 c (0,0) c Glues_2 : 271 9.95/3.69 c (0,0) c Glues_3 : 307 9.95/3.69 c (0,0) c Glues_4 : 144 9.95/3.69 c (0,0) c Glues_5 : 207 9.95/3.69 c (0,0) c Glues_6 : 177 9.95/3.69 c (0,0) c Glues_7 : 294 9.95/3.69 c (0,0) c Glues_total : 1907 9.95/3.69 c (0,0) c Glues_winner : 291 9.95/3.69 c (0,0) c RunningTime_0 : 0.083651 9.95/3.69 c (0,0) c RunningTime_1 : 0.086586 9.95/3.69 c (0,0) c RunningTime_2 : 0.081610 9.95/3.69 c (0,0) c RunningTime_3 : 0.090047 9.95/3.69 c (0,0) c RunningTime_4 : 0.107841 9.95/3.69 c (0,0) c RunningTime_5 : 0.080489 9.95/3.69 c (0,0) c RunningTime_6 : 0.072324 9.95/3.69 c (0,0) c RunningTime_7 : 0.066620 9.95/3.69 c (0,0) c RunningTime_total : 0.669168 9.95/3.69 c (0,0) c RunningTime_winner : 0.083651 9.95/3.69 c (0,0) c WaitingTime_0 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_1 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_2 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_3 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_4 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_5 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_6 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_7 : 0.000000 9.95/3.69 c (0,0) c WaitingTime_total : 0.000000 9.95/3.69 c (0,0) c WaitingTime_winner : 0.000000 9.95/3.69 c (0,0) c ExchangingTime_0 : 0.001530 9.95/3.69 c (0,0) c ExchangingTime_1 : 0.000454 9.95/3.69 c (0,0) c ExchangingTime_2 : 0.000863 9.95/3.69 c (0,0) c ExchangingTime_3 : 0.000611 9.95/3.69 c (0,0) c ExchangingTime_4 : 0.000565 9.95/3.69 c (0,0) c ExchangingTime_5 : 0.000493 9.95/3.69 c (0,0) c ExchangingTime_6 : 0.000425 9.95/3.69 c (0,0) c ExchangingTime_7 : 0.000479 9.95/3.69 c (0,0) c ExchangingTime_total : 0.005420 9.95/3.69 c (0,0) c ExchangingTime_winner : 0.001530 9.95/3.69 c (0,0) c PeriodProcTime_0 : 0.000004 9.95/3.69 c (0,0) c PeriodProcTime_1 : 0.000004 9.95/3.69 c (0,0) c PeriodProcTime_2 : 0.000004 9.95/3.69 c (0,0) c PeriodProcTime_3 : 0.000023 9.95/3.69 c (0,0) c PeriodProcTime_4 : 0.000004 9.95/3.69 c (0,0) c PeriodProcTime_5 : 0.000005 9.95/3.69 c (0,0) c PeriodProcTime_6 : 0.000005 9.95/3.69 c (0,0) c PeriodProcTime_7 : 0.000004 9.95/3.69 c (0,0) c PeriodProcTime_total : 0.000053 9.95/3.69 c (0,0) c PeriodProcTime_winner : 0.000004 9.95/3.69 c (0,0) c SolvingTime_0 : 0.085185 9.95/3.69 c (0,0) c SolvingTime_1 : 0.087044 9.95/3.69 c (0,0) c SolvingTime_2 : 0.082477 9.95/3.69 c (0,0) c SolvingTime_3 : 0.090681 9.95/3.69 c (0,0) c SolvingTime_4 : 0.108409 9.95/3.69 c (0,0) c SolvingTime_5 : 0.080987 9.95/3.69 c (0,0) c SolvingTime_6 : 0.072754 9.95/3.69 c (0,0) c SolvingTime_7 : 0.067103 9.95/3.69 c (0,0) c SolvingTime_total : 0.674641 9.95/3.69 c (0,0) c SolvingTime_winner : 0.085185 9.95/3.69 c (0,0) c PropagationTime_0 : 0.056099 9.95/3.69 c (0,0) c PropagationTime_1 : 0.063522 9.95/3.69 c (0,0) c PropagationTime_2 : 0.056268 9.95/3.69 c (0,0) c PropagationTime_3 : 0.062931 9.95/3.69 c (0,0) c PropagationTime_4 : 0.080739 9.95/3.69 c (0,0) c PropagationTime_5 : 0.056640 9.95/3.69 c (0,0) c PropagationTime_6 : 0.043666 9.95/3.69 c (0,0) c PropagationTime_7 : 0.045017 9.95/3.69 c (0,0) c PropagationTime_total : 0.464883 9.95/3.69 c (0,0) c PropagationTime_winner : 0.056099 9.95/3.69 c (0,0) c AnalysisTime_0 : 0.014920 9.95/3.69 c (0,0) c AnalysisTime_1 : 0.012283 9.95/3.69 c (0,0) c AnalysisTime_2 : 0.014896 9.95/3.69 c (0,0) c AnalysisTime_3 : 0.016788 9.95/3.69 c (0,0) c AnalysisTime_4 : 0.017261 9.95/3.69 c (0,0) c AnalysisTime_5 : 0.014751 9.95/3.69 c (0,0) c AnalysisTime_6 : 0.012470 9.95/3.69 c (0,0) c AnalysisTime_7 : 0.013696 9.95/3.69 c (0,0) c AnalysisTime_total : 0.117065 9.95/3.69 c (0,0) c AnalysisTime_winner : 0.014920 9.95/3.69 c (0,0) c ReductionTime_0 : 0.001374 9.95/3.69 c (0,0) c ReductionTime_1 : 0.001698 9.95/3.69 c (0,0) c ReductionTime_2 : 0.001706 9.95/3.69 c (0,0) c ReductionTime_3 : 0.001742 9.95/3.69 c (0,0) c ReductionTime_4 : 0.001399 9.95/3.69 c (0,0) c ReductionTime_5 : 0.001732 9.95/3.69 c (0,0) c ReductionTime_6 : 0.001401 9.95/3.69 c (0,0) c ReductionTime_7 : 0.001694 9.95/3.69 c (0,0) c ReductionTime_total : 0.012746 9.95/3.69 c (0,0) c ReductionTime_winner : 0.001374 9.95/3.69 c (0,0) c SimplifyTime_0 : 0.001273 9.95/3.69 c (0,0) c SimplifyTime_1 : 0.000330 9.95/3.69 c (0,0) c SimplifyTime_2 : 0.000652 9.95/3.69 c (0,0) c SimplifyTime_3 : 0.000744 9.95/3.69 c (0,0) c SimplifyTime_4 : 0.000970 9.95/3.69 c (0,0) c SimplifyTime_5 : 0.000410 9.95/3.69 c (0,0) c SimplifyTime_6 : 0.000719 9.95/3.69 c (0,0) c SimplifyTime_7 : 0.000630 9.95/3.69 c (0,0) c SimplifyTime_total : 0.005728 9.95/3.69 c (0,0) c SimplifyTime_winner : 0.001273 9.95/3.69 c (0,0) c UsedRateTime_0 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_1 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_2 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_3 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_4 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_5 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_6 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_7 : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_total : 0.000000 9.95/3.69 c (0,0) c UsedRateTime_winner : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_0 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_1 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_2 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_3 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_4 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_5 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_6 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_7 : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_total : 0.000000 9.95/3.69 c (0,0) c OverlapRateTime_winner : 0.000000 9.95/3.69 c (0,0) c 9.95/3.69 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 9.95/3.69 c (0,0) c 9.95/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.69 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 9.95/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.69 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 9.95/3.69 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 9.95/3.69 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 9.95/3.69 c (0,0) c | Initial random_seed | 551224591 | 881899057 | 2126149319 | 1786140253 | 199652060 | 1971524100 | 420939606 | 613521216 | 9.95/3.69 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 9.95/3.69 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 9.95/3.69 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 9.95/3.69 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 9.95/3.69 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 9.95/3.69 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 9.95/3.69 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 9.95/3.69 c (0,0) c | var_decay | 0.8200 | 0.8100 | 0.8200 | 0.8200 | 0.8200 | 0.8200 | 0.8100 | 0.8100 | 9.95/3.69 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 9.95/3.69 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 9.95/3.69 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 9.95/3.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 9.95/3.69 c (0,0) 9.95/3.69 c (0,0) s UNSATISFIABLE 9.95/3.69 c (0,0) SatSolver.solve End 9.95/3.69 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 9.95/3.69 c (0,0) Show results Begin 9.95/3.69 s UNSATISFIABLE 9.95/3.69 c (0,0) Show results End 9.95/3.69 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 9.95/3.69 c (0,0) 0,0,STOP-AFTER(ALL) 9.95/3.70 c END-Prog: Sat Sep 14 06:38:49 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 (14843 MiB free) memory of node 1: 16384 MiB (15398 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392629-1568435965/watcher-4392629-1568435965 -o /tmp/evaluation-result-4392629-1568435965/solver-4392629-1568435965 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392629-1568435965.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=22287, runsolver pid=22284 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 0.10 0.04 0.26 4/211 22309 /proc/meminfo: memFree=30872644/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419867931 115843072 348 33554432000 4194304 5098028 140724020182032 140724020179288 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 348 296 221 0 87 0 [pid=22290] ppid=22287 vsize=27314120 memory=106324 CPUtime=0.1 cores=0-7 /proc/22290/stat : 22290 (java) S 22287 22287 19225 0 -1 1077944320 6656 0 0 0 8 2 0 0 20 0 20 0 419867931 27969658880 26581 33554432000 4194304 4196468 140726690493664 140726690476208 139933740736247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 /proc/22290/statm: 6828530 26581 2800 1 0 6790935 0 [pid=22290/tid=22291] ppid=22287 vsize=27314120 memory=7824612310230407584 CPUtime=0.08 cores=0-7 /proc/22290/task/22291/stat : 22291 (java) R 22287 22287 19225 0 -1 4202560 4748 0 0 0 7 1 0 0 20 0 20 0 419867932 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933712562576 139933724816734 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22292] ppid=22287 vsize=27314120 memory=732369974605069285 CPUtime=0 cores=0-7 /proc/22290/task/22292/stat : 22292 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933744978832 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22293] ppid=22287 vsize=27314120 memory=139836267615872 CPUtime=0 cores=0-7 /proc/22290/task/22293/stat : 22293 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933528374032 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22294] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22294/stat : 22294 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933527321744 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22295] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22295/stat : 22295 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933526268944 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22296] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22296/stat : 22296 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933525215632 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22297] ppid=22287 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22290/task/22297/stat : 22297 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933159250192 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22298] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22298/stat : 22298 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933158197904 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22299] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22299/stat : 22299 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 26581 33554432000 4194304 4196468 140726690493664 139933157145104 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22300] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22300/stat : 22300 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867935 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931993205360 139933740747394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22301] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22301/stat : 22301 (java) S 22287 22287 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931645109536 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22302] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22302/stat : 22302 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931376674416 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22303] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22303/stat : 22303 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931002165840 139933740754843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22304] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22304/stat : 22304 (java) S 22287 22287 19225 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931992152176 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22305] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22305/stat : 22305 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931991099376 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22306] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22306/stat : 22306 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931990047088 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22307] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22307/stat : 22307 (java) S 22287 22287 19225 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931988994288 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22308] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22308/stat : 22308 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139930504260448 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22309] ppid=22287 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22290/task/22309/stat : 22309 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 26581 33554432000 4194304 4196468 140726690493664 139931987942192 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107716 KiB [startup+0.209964 s]* /proc/loadavg: 0.10 0.04 0.26 3/211 22309 /proc/meminfo: memFree=30853752/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419867931 115843072 348 33554432000 4194304 5098028 140724020182032 140724020179288 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 348 296 221 0 87 0 [pid=22290] ppid=22287 vsize=27314120 memory=123128 CPUtime=0.25 cores=0-7 /proc/22290/stat : 22290 (java) S 22287 22287 19225 0 -1 1077944320 11664 0 0 0 21 4 0 0 20 0 20 0 419867931 27969658880 30782 33554432000 4194304 4196468 140726690493664 140726690476208 139933740736247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 /proc/22290/statm: 6828530 30782 2915 1 0 6790935 0 [pid=22290/tid=22291] ppid=22287 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7 /proc/22290/task/22291/stat : 22291 (java) R 22287 22287 19225 0 -1 4202560 9357 0 0 0 16 3 0 0 20 0 20 0 419867932 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933712535632 139933725901833 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22292] ppid=22287 vsize=27314120 memory=732369974605069285 CPUtime=0 cores=0-7 /proc/22290/task/22292/stat : 22292 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933744978832 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22293] ppid=22287 vsize=27314120 memory=139836267615872 CPUtime=0 cores=0-7 /proc/22290/task/22293/stat : 22293 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933528374032 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22294] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22294/stat : 22294 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933527321744 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22295] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22295/stat : 22295 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933526268944 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22296] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22296/stat : 22296 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933525215632 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22297] ppid=22287 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22290/task/22297/stat : 22297 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933159250192 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22298] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22298/stat : 22298 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933158197904 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22299] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22299/stat : 22299 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 30782 33554432000 4194304 4196468 140726690493664 139933157145104 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22300] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22300/stat : 22300 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867935 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931993205360 139933740747394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22301] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22301/stat : 22301 (java) S 22287 22287 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931645109536 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22302] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22302/stat : 22302 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931376674416 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22303] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22303/stat : 22303 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931002165840 139933740754843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22304] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22304/stat : 22304 (java) S 22287 22287 19225 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931992152176 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22305] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22305/stat : 22305 (java) S 22287 22287 19225 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931991099376 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22306] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22306/stat : 22306 (java) S 22287 22287 19225 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931990047088 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22307] ppid=22287 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/22290/task/22307/stat : 22307 (java) S 22287 22287 19225 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931988994288 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22308] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22308/stat : 22308 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139930504260448 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22309] ppid=22287 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22290/task/22309/stat : 22309 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 30782 33554432000 4194304 4196468 140726690493664 139931987942192 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124520 KiB [startup+0.309608 s]* /proc/loadavg: 0.26 0.07 0.27 2/211 22309 /proc/meminfo: memFree=30849844/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419867931 115843072 348 33554432000 4194304 5098028 140724020182032 140724020179288 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 348 296 221 0 87 0 [pid=22290] ppid=22287 vsize=27314120 memory=127584 CPUtime=0.42 cores=0-7 /proc/22290/stat : 22290 (java) S 22287 22287 19225 0 -1 1077944320 12752 0 0 0 38 4 0 0 20 0 20 0 419867931 27969658880 31896 33554432000 4194304 4196468 140726690493664 140726690476208 139933740736247 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 /proc/22290/statm: 6828530 31896 3026 1 0 6790935 0 [pid=22290/tid=22291] ppid=22287 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22290/task/22291/stat : 22291 (java) R 22287 22287 19225 0 -1 4202560 10254 0 0 0 26 3 0 0 20 0 20 0 419867932 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933712553744 139933722299803 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22292] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22292/stat : 22292 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933744978832 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22293] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22293/stat : 22293 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933528374032 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22294] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22294/stat : 22294 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933527321744 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22295] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22295/stat : 22295 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933526268944 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22296] ppid=22287 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/22290/task/22296/stat : 22296 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933525215632 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22297] ppid=22287 vsize=27314120 memory=139836149298095 CPUtime=0 cores=0-7 /proc/22290/task/22297/stat : 22297 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933159250192 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22298] ppid=22287 vsize=27314120 memory=139836149300400 CPUtime=0 cores=0-7 /proc/22290/task/22298/stat : 22298 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933158197904 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22299] ppid=22287 vsize=27314120 memory=139836149302704 CPUtime=0 cores=0-7 /proc/22290/task/22299/stat : 22299 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27969658880 31896 33554432000 4194304 4196468 140726690493664 139933157145104 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22300] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22300/stat : 22300 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867935 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931993205360 139933740747394 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22301] ppid=22287 vsize=27314120 memory=279672298612368 CPUtime=0 cores=0-7 /proc/22290/task/22301/stat : 22301 (java) S 22287 22287 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931645109536 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22302] ppid=22287 vsize=27314120 memory=279672298619280 CPUtime=0 cores=0-7 /proc/22290/task/22302/stat : 22302 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867936 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931376674416 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22303] ppid=22287 vsize=27314120 memory=279672298560560 CPUtime=0 cores=0-7 /proc/22290/task/22303/stat : 22303 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931002165840 139933740754843 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22304] ppid=22287 vsize=27314120 memory=279672298633104 CPUtime=0 cores=0-7 /proc/22290/task/22304/stat : 22304 (java) R 22287 22287 19225 0 -1 4202560 369 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931992152176 139933721436544 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22305] ppid=22287 vsize=27314120 memory=279672298640016 CPUtime=0.02 cores=0-7 /proc/22290/task/22305/stat : 22305 (java) S 22287 22287 19225 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931991099376 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22306] ppid=22287 vsize=27314120 memory=279672298637712 CPUtime=0 cores=0-7 /proc/22290/task/22306/stat : 22306 (java) S 22287 22287 19225 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931990047088 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22307] ppid=22287 vsize=27314120 memory=279672298653872 CPUtime=0.07 cores=0-7 /proc/22290/task/22307/stat : 22307 (java) S 22287 22287 19225 0 -1 1077944384 540 0 0 0 7 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931988994288 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22308] ppid=22287 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/22290/task/22308/stat : 22308 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139930504260448 139933740746453 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22309] ppid=22287 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/22290/task/22309/stat : 22309 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419867939 27969658880 31896 33554432000 4194304 4196468 140726690493664 139931987942192 139933740747394 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128976 KiB [startup+0.70088 s] /proc/loadavg: 0.26 0.07 0.27 2/211 22309 /proc/meminfo: memFree=30827452/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 419867931 115843072 348 33554432000 4194304 5098028 140724020182032 140724020179288 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 348 296 221 0 87 0 [pid=22290] ppid=22287 vsize=27320392 memory=167520 CPUtime=1 cores=0-7 /proc/22290/stat : 22290 (java) S 22287 22287 19225 0 -1 1077944320 20451 0 0 0 93 7 0 0 20 0 20 0 419867931 27976081408 41880 33554432000 4194304 4196468 140726690493664 140726690476208 139933740736247 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 /proc/22290/statm: 6830098 41880 3192 1 0 6791447 0 [pid=22290/tid=22291] ppid=22287 vsize=27320392 memory=279672298948800 CPUtime=0.68 cores=0-7 /proc/22290/task/22291/stat : 22291 (java) R 22287 22287 19225 0 -1 4202560 17365 0 0 0 62 6 0 0 20 0 20 0 419867932 27976081408 41880 33554432000 4194304 4196468 140726690493664 139933712573680 139933724816734 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22292] ppid=22287 vsize=27320392 memory=1564 CPUtime=0 cores=0-7 /proc/22290/task/22292/stat : 22292 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27976081408 41880 33554432000 4194304 4196468 140726690493664 139933744978832 139933740746453 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22293] ppid=22287 vsize=27320392 memory=976 CPUtime=0 cores=0-7 /proc/22290/task/22293/stat : 22293 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419867934 27976081408 41880 33554432000 4194304 4196468 140726690493664 139933528374032 139933740746453 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 [pid=22290/tid=22294] ppid=22287 vsize=27320392 memory=772 CPUtime=0 cores=0-7 /proc/22290/task/22294/stat : 22294 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419867934 27976081408 41880 33554432000 4194304 4196468 140726690493664 139933527321744 139933740746453 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31895552 140726690501354 140726690501782 140726690501782 140726690504655 0 ################ # More data... # ################ Current children cumulated vsize: 7863312 KiB Current children cumulated memory: 64496 KiB [startup+3.71648 s] # the end of solver process 22287 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.3947 s, system=0.275066 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20107 s] /proc/loadavg: 0.26 0.07 0.27 2/211 22329 /proc/meminfo: memFree=30922760/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1472 CPUtime=8.81 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 581 35307 0 0 0 0 863 18 20 0 1 0 419867931 115843072 368 33554432000 4194304 5098028 140724020182032 140724020178776 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 368 311 221 0 87 0 [pid=22310] ppid=22287 vsize=7750184 memory=67408 CPUtime=0.48 cores=0-7 /proc/22310/stat : 22310 (java) S 22287 22287 19225 0 -1 1077944320 12108 0 0 0 45 3 0 0 20 0 20 0 419868214 7936188416 16852 33554432000 4194304 4196468 140722282329168 140722282311712 139690869657335 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 /proc/22310/statm: 1937546 16852 3006 1 0 1899951 0 [pid=22310/tid=22311] ppid=22287 vsize=7750184 memory=6791534058613427641 CPUtime=0.35 cores=0-7 /proc/22310/task/22311/stat : 22311 (java) R 22287 22287 19225 0 -1 4202560 9815 0 0 0 32 3 0 0 20 0 20 0 419868214 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690841478336 139690853737822 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22312] ppid=22287 vsize=7750184 memory=1564 CPUtime=0 cores=0-7 /proc/22310/task/22312/stat : 22312 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690873899408 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22313] ppid=22287 vsize=7750184 memory=976 CPUtime=0 cores=0-7 /proc/22310/task/22313/stat : 22313 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690674067728 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22314] ppid=22287 vsize=7750184 memory=772 CPUtime=0 cores=0-7 /proc/22310/task/22314/stat : 22314 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690673015440 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22315] ppid=22287 vsize=7750184 memory=3932 CPUtime=0 cores=0-7 /proc/22310/task/22315/stat : 22315 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690671962640 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22316] ppid=22287 vsize=7750184 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22316/stat : 22316 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690670910352 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22317] ppid=22287 vsize=7750184 memory=13412 CPUtime=0 cores=0-7 /proc/22310/task/22317/stat : 22317 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690669857552 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22318] ppid=22287 vsize=7750184 memory=7739529780737568101 CPUtime=0 cores=0-7 /proc/22310/task/22318/stat : 22318 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690668805264 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22319] ppid=22287 vsize=7750184 memory=744 CPUtime=0 cores=0-7 /proc/22310/task/22319/stat : 22319 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868216 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690667752464 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22320] ppid=22287 vsize=7750184 memory=8296 CPUtime=0 cores=0-7 /proc/22310/task/22320/stat : 22320 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419868217 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690097391728 139690869668482 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22321] ppid=22287 vsize=7750184 memory=5964 CPUtime=0 cores=0-7 /proc/22310/task/22321/stat : 22321 (java) S 22287 22287 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419868218 7936188416 16852 33554432000 4194304 4196468 140722282329168 139689180783392 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22322] ppid=22287 vsize=7750184 memory=1124 CPUtime=0 cores=0-7 /proc/22310/task/22322/stat : 22322 (java) S 22287 22287 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419868218 7936188416 16852 33554432000 4194304 4196468 140722282329168 139689046561904 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22323] ppid=22287 vsize=7750184 memory=14008 CPUtime=0 cores=0-7 /proc/22310/task/22323/stat : 22323 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139688672057424 139690869675931 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22324] ppid=22287 vsize=7750184 memory=12024 CPUtime=0.02 cores=0-7 /proc/22310/task/22324/stat : 22324 (java) R 22287 22287 19225 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690096339568 139690869668482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22325] ppid=22287 vsize=7750184 memory=2124 CPUtime=0.01 cores=0-7 /proc/22310/task/22325/stat : 22325 (java) S 22287 22287 19225 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690095286768 139690869668482 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22326] ppid=22287 vsize=7750184 memory=7960 CPUtime=0 cores=0-7 /proc/22310/task/22326/stat : 22326 (java) S 22287 22287 19225 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690094234480 139690869668482 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22327] ppid=22287 vsize=7750184 memory=504 CPUtime=0.07 cores=0-7 /proc/22310/task/22327/stat : 22327 (java) S 22287 22287 19225 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690093181680 139690869668482 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22328] ppid=22287 vsize=7750184 memory=1564 CPUtime=0 cores=0-7 /proc/22310/task/22328/stat : 22328 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419868220 7936188416 16852 33554432000 4194304 4196468 140722282329168 139688174152032 139690869667541 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22329] ppid=22287 vsize=7750184 memory=924 CPUtime=0 cores=0-7 /proc/22310/task/22329/stat : 22329 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419868221 7936188416 16852 33554432000 4194304 4196468 140722282329168 139690092128560 139690869668482 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 Current children cumulated CPU time: 9.29 s Current children cumulated vsize: 7863312 KiB Current children cumulated memory: 68880 KiB [startup+3.60571 s] /proc/loadavg: 0.26 0.07 0.27 2/211 22329 /proc/meminfo: memFree=30922760/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1472 CPUtime=8.81 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 581 35307 0 0 0 0 863 18 20 0 1 0 419867931 115843072 368 33554432000 4194304 5098028 140724020182032 140724020178776 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 368 311 221 0 87 0 [pid=22310] ppid=22287 vsize=8414124 memory=118044 CPUtime=1.14 cores=0-7 /proc/22310/stat : 22310 (java) S 22287 22287 19225 0 -1 1077944320 20545 0 0 0 107 7 0 0 20 0 24 0 419868214 8616062976 29511 33554432000 4194304 4196468 140722282329168 140722282311712 139690869657335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 /proc/22310/statm: 2103531 29511 3198 1 0 2064875 0 [pid=22310/tid=22311] ppid=22287 vsize=8414124 memory=0 CPUtime=0.75 cores=0-7 /proc/22310/task/22311/stat : 22311 (java) R 22287 22287 19225 0 -1 4202560 17438 0 0 0 70 5 0 0 20 0 24 0 419868214 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690841473024 139690853737822 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22312] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22312/stat : 22312 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690873899408 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22313] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22313/stat : 22313 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690674067728 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22314] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22314/stat : 22314 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690673015440 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22315] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22315/stat : 22315 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690671962640 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22316] ppid=22287 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/22310/task/22316/stat : 22316 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690670910352 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22317] ppid=22287 vsize=8414124 memory=279672299005808 CPUtime=0 cores=0-7 /proc/22310/task/22317/stat : 22317 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690669857552 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22318] ppid=22287 vsize=8414124 memory=139836149560016 CPUtime=0 cores=0-7 /proc/22310/task/22318/stat : 22318 (java) S 22287 22287 19225 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690668805264 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22319] ppid=22287 vsize=8414124 memory=7380671248541445222 CPUtime=0 cores=0-7 /proc/22310/task/22319/stat : 22319 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868216 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690667752464 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22320] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22320/stat : 22320 (java) S 22287 22287 19225 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419868217 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690097391728 139690869668482 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22321] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22321/stat : 22321 (java) S 22287 22287 19225 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419868218 8616062976 29511 33554432000 4194304 4196468 140722282329168 139689180783392 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22322] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22322/stat : 22322 (java) S 22287 22287 19225 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419868218 8616062976 29511 33554432000 4194304 4196468 140722282329168 139689046561904 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22323] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22323/stat : 22323 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139688672057424 139690869675931 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22324] ppid=22287 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/22310/task/22324/stat : 22324 (java) S 22287 22287 19225 0 -1 1077944384 632 0 0 0 6 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690096339568 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22325] ppid=22287 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/22310/task/22325/stat : 22325 (java) R 22287 22287 19225 0 -1 4202560 194 0 0 0 4 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690095286768 139690869678682 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22326] ppid=22287 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/22310/task/22326/stat : 22326 (java) R 22287 22287 19225 0 -1 1077944384 345 0 0 0 5 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690094234480 139690869668482 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22327] ppid=22287 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7 /proc/22310/task/22327/stat : 22327 (java) S 22287 22287 19225 0 -1 1077944384 520 0 0 0 19 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690093181680 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22328] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22328/stat : 22328 (java) S 22287 22287 19225 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419868220 8616062976 29511 33554432000 4194304 4196468 140722282329168 139688174152032 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22329] ppid=22287 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/22310/task/22329/stat : 22329 (java) S 22287 22287 19225 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419868221 8616062976 29511 33554432000 4194304 4196468 140722282329168 139690092128560 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 Current children cumulated CPU time: 9.95 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 119516 KiB [startup+3.70085 s] /proc/loadavg: 0.26 0.07 0.27 2/211 22329 /proc/meminfo: memFree=30922760/32770624 swapFree=66935336/67108860 [pid=22287] ppid=22284 vsize=113128 memory=1472 CPUtime=8.81 cores=0-7 /proc/22287/stat : 22287 (scop.sh) S 22284 22287 19225 0 -1 4202496 581 35307 0 0 0 0 863 18 20 0 1 0 419867931 115843072 368 33554432000 4194304 5098028 140724020182032 140724020178776 139721270145660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11956224 140724020187940 140724020188268 140724020188268 140724020191181 0 /proc/22287/statm: 28282 368 311 221 0 87 0 [pid=22310] ppid=22287 vsize=8150944 memory=120772 CPUtime=1.82 cores=0-7 /proc/22310/stat : 22310 (java) S 22287 22287 19225 0 -1 1077944320 20665 2635 0 0 115 7 60 0 20 0 20 0 419868214 8346566656 30193 33554432000 4194304 4196468 140722282329168 140722282311712 139690869657335 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 /proc/22310/statm: 2037736 30193 3213 1 0 1999080 0 [pid=22310/tid=22311] ppid=22287 vsize=8150944 memory=98536 CPUtime=1.35 cores=0-7 /proc/22310/task/22311/stat : 22311 (java) S 22287 22287 19225 0 -1 1077944384 17457 2635 0 0 70 5 60 0 20 0 20 0 419868214 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690841500816 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22312] ppid=22287 vsize=8150944 memory=504052 CPUtime=0.6 cores=0-7 /proc/22310/task/22312/stat : 22312 (java) S 22287 22287 19225 0 -1 1077944384 1 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690873899408 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22313] ppid=22287 vsize=8150944 memory=1392 CPUtime=0.6 cores=0-7 /proc/22310/task/22313/stat : 22313 (java) S 22287 22287 19225 0 -1 1077944384 1 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690674067728 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22314] ppid=22287 vsize=8150944 memory=180880 CPUtime=0.6 cores=0-7 /proc/22310/task/22314/stat : 22314 (java) S 22287 22287 19225 0 -1 1077944384 3 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690673015440 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22315] ppid=22287 vsize=8150944 memory=56 CPUtime=0.6 cores=0-7 /proc/22310/task/22315/stat : 22315 (java) S 22287 22287 19225 0 -1 1077944384 1 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690671962640 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22316] ppid=22287 vsize=8150944 memory=2958597 CPUtime=0.6 cores=0-7 /proc/22310/task/22316/stat : 22316 (java) S 22287 22287 19225 0 -1 1077944384 2 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690670910352 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22317] ppid=22287 vsize=8150944 memory=0 CPUtime=0.6 cores=0-7 /proc/22310/task/22317/stat : 22317 (java) S 22287 22287 19225 0 -1 1077944384 1 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690669857552 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22318] ppid=22287 vsize=8150944 memory=6943526294502006880 CPUtime=0.6 cores=0-7 /proc/22310/task/22318/stat : 22318 (java) S 22287 22287 19225 0 -1 1077944384 2 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690668805264 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22319] ppid=22287 vsize=8150944 memory=6656426216303648864 CPUtime=0.6 cores=0-7 /proc/22310/task/22319/stat : 22319 (java) S 22287 22287 19225 0 -1 1077944384 1 2635 0 0 0 0 60 0 20 0 20 0 419868216 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690667752464 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22320] ppid=22287 vsize=8150944 memory=4206468019014099040 CPUtime=0.6 cores=0-7 /proc/22310/task/22320/stat : 22320 (java) S 22287 22287 19225 0 -1 1077944384 5 2635 0 0 0 0 60 0 20 0 20 0 419868217 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690097391936 139690869668482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22321] ppid=22287 vsize=8150944 memory=0 CPUtime=0.6 cores=0-7 /proc/22310/task/22321/stat : 22321 (java) S 22287 22287 19225 0 -1 1077944384 13 2635 0 0 0 0 60 0 20 0 20 0 419868218 8346566656 30193 33554432000 4194304 4196468 140722282329168 139689180783392 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22322] ppid=22287 vsize=8150944 memory=0 CPUtime=0.6 cores=0-7 /proc/22310/task/22322/stat : 22322 (java) S 22287 22287 19225 0 -1 1077944384 21 2635 0 0 0 0 60 0 20 0 20 0 419868218 8346566656 30193 33554432000 4194304 4196468 140722282329168 139689046561904 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22324] ppid=22287 vsize=8150944 memory=0 CPUtime=0.67 cores=0-7 /proc/22310/task/22324/stat : 22324 (java) S 22287 22287 19225 0 -1 1077944384 640 2635 0 0 7 0 60 0 20 0 20 0 419868220 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690096324112 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22325] ppid=22287 vsize=8150944 memory=1472 CPUtime=0.66 cores=0-7 /proc/22310/task/22325/stat : 22325 (java) S 22287 22287 19225 0 -1 1077944384 204 2635 0 0 6 0 60 0 20 0 20 0 419868220 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690095286768 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22326] ppid=22287 vsize=8150944 memory=63024 CPUtime=0.66 cores=0-7 /proc/22310/task/22326/stat : 22326 (java) S 22287 22287 19225 0 -1 1077944384 351 2635 0 0 6 0 60 0 20 0 20 0 419868220 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690094234480 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22327] ppid=22287 vsize=8150944 memory=3620 CPUtime=0.81 cores=0-7 /proc/22310/task/22327/stat : 22327 (java) S 22287 22287 19225 0 -1 1077944384 559 2635 0 0 21 0 60 0 20 0 20 0 419868220 8346566656 30193 33554432000 4194304 4196468 140722282329168 139690093181680 139690869668482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 [pid=22310/tid=22328] ppid=22287 vsize=8150944 memory=24480 CPUtime=0.6 cores=0-7 /proc/22310/task/22328/stat : 22328 (java) S 22287 22287 19225 0 -1 1077944384 3 2635 0 0 0 0 60 0 20 0 20 0 419868220 8346566656 30193 33554432000 4194304 4196468 140722282329168 139688174152032 139690869667541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140722282337271 140722282337430 140722282337430 140722282340303 0 Current children cumulated CPU time: 10.63 s Current children cumulated vsize: 8264072 KiB Current children cumulated memory: 122244 KiB Child status: 0 Real time (s): 3.71652 CPU time (s): 10.6698 CPU user time (s): 10.3947 CPU system time (s): 0.275066 CPU usage (%): 287.09 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 516064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.3947 system time used= 0.275066 maximum resident set size= 517572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59204 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7087 involuntary context switches= 34 # summary of solver processes directly reported to runsolver: # pid: 22287 # total CPU time (s): 10.6698 # total CPU user time (s): 10.3947 # total CPU system time (s): 0.275066 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.042854 second user time and 0.08787 second system time The end
Begin job on node151 at 2019-09-14 06:38:46 IDJOB=4392629 IDBENCH=134301 IDSOLVER=2839 FILE ID=node151/4392629-1568435965 RUNJOBID= node151-1568430672-19252 PBS_JOBID= 21702312 Free space on /tmp= 59308 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-10-05.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-4392629-1568435965/watcher-4392629-1568435965 -o /tmp/evaluation-result-4392629-1568435965/solver-4392629-1568435965 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568430672-19252 --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-4392629-1568435965.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 11198b79b59252262e805adcf565fb89 RANDOM SEED=1958145520 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30968284 kB MemAvailable: 31849456 kB Buffers: 192516 kB Cached: 978048 kB SwapCached: 70988 kB Active: 644388 kB Inactive: 600416 kB Active(anon): 9568 kB Inactive(anon): 97908 kB Active(file): 634820 kB Inactive(file): 502508 kB Unevictable: 109892 kB Mlocked: 109892 kB SwapTotal: 67108860 kB SwapFree: 66935336 kB Dirty: 20712 kB Writeback: 0 kB AnonPages: 112956 kB Mapped: 36888 kB Shmem: 24568 kB Slab: 148164 kB SReclaimable: 119360 kB SUnreclaim: 28804 kB KernelStack: 3392 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 59288 MiB End job on node151 at 2019-09-14 06:38:49