Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 89.1743 | 51.6748 |
Name | Primes/ Primes-m1-p10/Primes-10-40-2-7.xml |
MD5SUM | c03c7f5b7c3afa870e2bbdca7571e3a2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.264843 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":88}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12591-serial-file.bin HOME/instance-4405245-1569341054.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 18:03:32 CEST 2019 0.65/0.56 c PID: 12594 0.65/0.56 c IP: 172.20.3.121 0.65/0.56 c HOST: node121.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.19/0.90 c (0,0) Parsing End 1.41/0.90 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28 1.41/0.90 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.41/0.90 c (0,0) Constraint Name Generate Begin 1.41/0.91 c (0,0) Ctr:HOME/instance-4405245-1569341054.xml,Num:Var:WeightedSum 1.41/0.91 c (0,0) Constraint Name Generate End 1.41/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.41/0.91 c (0,0) CSP to CSPinCNF Begin 1.41/1.01 c (0,0) translated 4 (10%) constraints 1.57/1.02 c (0,0) translated 8 (20%) constraints 1.57/1.03 c (0,0) translated 12 (30%) constraints 1.57/1.04 c (0,0) translated 16 (40%) constraints 1.57/1.05 c (0,0) translated 20 (50%) constraints 1.57/1.05 c (0,0) translated 24 (60%) constraints 1.57/1.06 c (0,0) translated 28 (70%) constraints 1.57/1.06 c (0,0) translated 32 (80%) constraints 1.57/1.07 c (0,0) translated 36 (90%) constraints 1.57/1.07 c (0,0) translated 40 (100%) constraints 1.57/1.07 c (0,0) =========================================== 1.57/1.08 c (0,0) Order 1.57/1.08 c (0,0) =========================================== 1.83/1.12 c (0,0) translated 4 (10%) constraints 1.83/1.14 c (0,0) translated 8 (20%) constraints 1.83/1.15 c (0,0) translated 12 (30%) constraints 1.83/1.17 c (0,0) translated 16 (40%) constraints 1.83/1.18 c (0,0) translated 20 (50%) constraints 1.83/1.20 c (0,0) translated 24 (60%) constraints 2.06/1.21 c (0,0) translated 28 (70%) constraints 2.06/1.22 c (0,0) translated 32 (80%) constraints 2.06/1.22 c (0,0) translated 36 (90%) constraints 2.06/1.23 c (0,0) translated 40 (100%) constraints 2.06/1.23 c (0,0) CSP to CSPinCNF End 2.06/1.23 c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838 2.06/1.23 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.06/1.23 c (0,0) CSPinCNF Propagation Begin 2.06/1.25 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.06/1.25 c (0,0) CSPinCNF Propagation End 2.06/1.25 c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838 2.06/1.25 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.06/1.25 c (0,0) Simplify CSPinCNF Begin 2.06/1.26 c (0,0) Simplify CSPinCNF End 2.06/1.26 c (0,0) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1838 2.06/1.26 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.06/1.26 c (0,0) Calculate Precise Domain Begin 3.15/1.61 c (1,1) 7777 values are removed by re-calculation 3.15/1.61 c (1,1) Calculate Precise Domain End 3.15/1.61 c (1,1) CSP: 214 int (126 aux), 0 bool (0 aux), 332 ctr, max domain size 1495 3.15/1.61 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.15/1.61 c (1,1) CSPinCNF to SatSolver Begin 11.98/9.14 c (8,8) 34 (10 %) CSP clauses are encoded (0 SAT variables, 3703050 SAT clauses) 18.04/12.08 c (11,10) 67 (20 %) CSP clauses are encoded (0 SAT variables, 5146010 SAT clauses) 22.91/17.21 c (16,15) 100 (30 %) CSP clauses are encoded (0 SAT variables, 7803231 SAT clauses) 30.77/21.17 c (20,17) 133 (40 %) CSP clauses are encoded (0 SAT variables, 9437795 SAT clauses) 33.57/24.50 c (23,20) 166 (50 %) CSP clauses are encoded (0 SAT variables, 10886420 SAT clauses) 35.99/26.90 c (26,22) 200 (60 %) CSP clauses are encoded (0 SAT variables, 12171813 SAT clauses) 37.60/29.02 c (28,24) 233 (70 %) CSP clauses are encoded (0 SAT variables, 13145134 SAT clauses) 40.94/32.13 c (31,27) 266 (80 %) CSP clauses are encoded (0 SAT variables, 15072831 SAT clauses) 43.95/35.18 c (34,30) 299 (90 %) CSP clauses are encoded (0 SAT variables, 16904977 SAT clauses) 44.44/35.65 c (35,31) 332 (100 %) CSP clauses are encoded (0 SAT variables, 17180790 SAT clauses) 44.44/35.65 c (35,31) CSPinCNF to SatSolver End 44.44/35.65 c (35,31) Heap : 4727 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 44.44/35.65 c (35,31) 83220 bool, 17180797 clause 44.44/35.65 c (35,31) Export Begin 44.56/35.74 c (35,31) Export to HOME/scop-12591-serial-file.bin 44.56/35.74 c (35,31) Export End 44.56/35.74 c (35,31) Export File Size: 0.02 MB 44.56/35.74 c (35,31) 0,0,0,0,0,1,35,STOP-AFTER(DIMACS) 44.56/35.74 c END-Prog: Tue Sep 24 18:04:07 CEST 2019 44.56/35.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12591-serial-file.bin 45.23/36.24 c (0,0) Read Serial File Begin 45.23/36.24 c (0,0) HOME/scop-12591-serial-file.bin 45.49/36.45 c (0,0) Read Serial File End 45.49/36.46 45.49/36.46 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 45.49/36.46 (Solving Process) 45.49/36.46 45.49/36.49 c BEGIN-Prog: Tue Sep 24 18:04:08 CEST 2019 45.49/36.49 c PID: 12617 45.49/36.49 c IP: 172.20.3.121 45.49/36.49 c HOST: node121.alineos.net 45.49/36.49 c (0,0) SatSolver.solve Begin 45.49/36.49 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405245-1569341054.xml-scop-12594.cnf 45.67/36.52 c (0,0) c 45.67/36.52 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) 45.67/36.52 c (0,0) c 45.67/36.52 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 45.67/36.52 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 45.67/36.52 c (0,0) c ========================================[ Problem Statistics ]=========================================== 45.67/36.52 c (0,0) c | | 50.31/41.08 c (4,0) c | Number of variables: 83220 | 50.31/41.08 c (4,0) c | Number of clauses: 17179102 | 50.31/41.08 c (4,0) c | Parse time: 4.14 s | 50.31/41.08 c (4,0) c | | 51.51/42.24 c (6,0) c | Too many clauses... No preprocessing | 51.51/42.24 c (6,0) c | Simplification time: 0.98 s | 51.51/42.24 c (6,0) c | | 51.51/42.24 c (6,0) c | One Solver is taking 1247.53Mb... Let's take 6 solvers for this run (max 40% of the maxmemory). | 51.51/42.24 c (6,0) c | Generating clones | 53.33/44.01 c (7,0) c | all clones generated. Memory = 5919.81Mb. | 53.33/44.01 c (7,0) c ========================================================================================================| 53.33/44.01 c (7,0) c 53.33/44.01 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 53.33/44.01 c (7,0) c 53.33/44.01 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 53.33/44.01 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 53.33/44.01 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 53.33/44.01 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | 53.33/44.01 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | 53.33/44.01 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | 53.33/44.01 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 53.33/44.01 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | 53.33/44.01 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 53.33/44.01 c (7,0) c | glureduce | True | True | True | True | True | True | 53.33/44.01 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 53.33/44.01 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 53.33/44.01 c (7,0) c | luby_restart | False | False | False | False | False | False | 53.33/44.01 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 53.33/44.01 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 53.33/44.01 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 53.33/44.01 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | 53.33/44.01 c (7,0) c | remove_satisfied | True | True | True | True | True | True | 53.33/44.01 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c real time : 14.68 s 88.21/51.19 c (15,0) c cpu time : 37.4418 s 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | Conflicts | 3255 | 530 | 477 | 618 | 466 | 600 | 564 | 88.21/51.19 c (15,0) c | Decisions | 8967 | 1865 | 789 | 1172 | 2579 | 1000 | 1562 | 88.21/51.19 c (15,0) c | Propagations | 16781638 | 2834606 | 2857328 | 2366686 | 3000944 | 2942562 | 2779512 | 88.21/51.19 c (15,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c | SimpDBs | 6 | 1 | 1 | 1 | 1 | 1 | 1 | 88.21/51.19 c (15,0) c | Restarts | 12 | 2 | 2 | 1 | 3 | 2 | 2 | 88.21/51.19 c (15,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c | PropBinClauses| 36880529 | 6058032 | 6452110 | 5111971 | 6666458 | 6418296 | 6173662 | 88.21/51.19 c (15,0) c | PropPreBlocker| 2812414536 | 471409875 | 451266984 | 472113050 | 466693676 | 476330557 | 474600394 | 88.21/51.19 c (15,0) c | PropNotBlocker| 301406071 | 49567889 | 63498789 | 48336752 | 48427639 | 45058500 | 46516502 | 88.21/51.19 c (15,0) c | LitFullScans | 3164129248 | 529289490 | 523417748 | 527619182 | 524067698 | 530181524 | 529553606 | 88.21/51.19 c (15,0) c | LitScanFracts | 823214 | 132760 | 136880 | 157321 | 109788 | 142306 | 144159 | 88.21/51.19 c (15,0) c | DecisionLevel0| 21 | 4 | 4 | 1 | 5 | 3 | 4 | 88.21/51.19 c (15,0) c | Periods | 525 | 88 | 87 | 87 | 87 | 88 | 88 | 88.21/51.19 c (15,0) c | Margin | 120 | 20 | 20 | 20 | 20 | 20 | 20 | 88.21/51.19 c (15,0) c | Avg_Trail | | 55933 | 51550 | 64628 | 49816 | 50808 | 57320 | 88.21/51.19 c (15,0) c | Avg_DL | | 477 | 18 | 24 | 26 | 22 | 40 | 88.21/51.19 c (15,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | Exported | 103 | 31 | 9 | 4 | 17 | 23 | 19 | 88.21/51.19 c (15,0) c | Imported | 196 | 56 | 15 | 0 | 52 | 32 | 41 | 88.21/51.19 c (15,0) c | Good | 42 | 13 | 2 | 0 | 12 | 6 | 9 | 88.21/51.19 c (15,0) c | Purge | 154 | 43 | 13 | 0 | 40 | 26 | 32 | 88.21/51.19 c (15,0) c | Promoted | 4 | 1 | 0 | 0 | 0 | 3 | 0 | 88.21/51.19 c (15,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | Unaries | | 2 | 2 | 0 | 2 | 1 | 2 | 88.21/51.19 c (15,0) c | Binaries | | 4 | 4 | 1 | 2 | 4 | 3 | 88.21/51.19 c (15,0) c | Glues | | 31 | 9 | 4 | 17 | 23 | 19 | 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | Orig_Seen | 0 % | 13894 | 10839 | 11419 | 10741 | 13286 | 13410 | 88.21/51.19 c (15,0) c | Diff Orig seen| | 2475 | - 580 | X | - 678 | 1867 | 1991 | 88.21/51.19 c (15,0) c | Hamming | 18 % | 18579 | 14908 | X | 17211 | 13869 | 13085 | 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c | RunningTime | | 6.0 95%| 7.2 100%| 5.9 94%| 6.5 100%| 5.5 89%| 6.1 97%| 88.21/51.19 c (15,0) c | WaitingTime | | 0.3 5%| 0.0 0%| 0.4 6%| 0.0 0%| 0.7 11%| 0.2 3%| 88.21/51.19 c (15,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | SolvingTime | | 6.2 | 7.2 | 6.2 | 6.5 | 6.2 | 6.2 | 88.21/51.19 c (15,0) c | PropagationTim| | 6.2 99%| 7.1 99%| 6.2 99%| 6.4 99%| 6.2 99%| 6.2 99%| 88.21/51.19 c (15,0) c | AnalysisTime | | 0.0 1%| 0.0 0%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 88.21/51.19 c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------| 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c 88.21/51.19 c (15,0) c Threads : 6 88.21/51.19 c (15,0) c Winner : 2 88.21/51.19 c (15,0) c Conflicts_0 : 530 88.21/51.20 c (15,0) c Conflicts_1 : 477 88.21/51.20 c (15,0) c Conflicts_2 : 618 88.21/51.20 c (15,0) c Conflicts_3 : 466 88.21/51.20 c (15,0) c Conflicts_4 : 600 88.21/51.20 c (15,0) c Conflicts_5 : 564 88.21/51.20 c (15,0) c Conflicts_total : 3255 88.21/51.20 c (15,0) c Conflicts_winner : 618 88.21/51.20 c (15,0) c Decisions_0 : 1865 88.21/51.20 c (15,0) c Decisions_1 : 789 88.21/51.20 c (15,0) c Decisions_2 : 1172 88.21/51.20 c (15,0) c Decisions_3 : 2579 88.21/51.20 c (15,0) c Decisions_4 : 1000 88.21/51.20 c (15,0) c Decisions_5 : 1562 88.21/51.20 c (15,0) c Decisions_total : 8967 88.21/51.20 c (15,0) c Decisions_winner : 1172 88.21/51.20 c (15,0) c Propagations_0 : 2834606 88.21/51.20 c (15,0) c Propagations_1 : 2857328 88.21/51.20 c (15,0) c Propagations_2 : 2366686 88.21/51.20 c (15,0) c Propagations_3 : 3000944 88.21/51.20 c (15,0) c Propagations_4 : 2942562 88.21/51.20 c (15,0) c Propagations_5 : 2779512 88.21/51.20 c (15,0) c Propagations_total : 16781638 88.21/51.20 c (15,0) c Propagations_winner : 2366686 88.21/51.20 c (15,0) c ReduceDBs_0 : 0 88.21/51.20 c (15,0) c ReduceDBs_1 : 0 88.21/51.20 c (15,0) c ReduceDBs_2 : 0 88.21/51.20 c (15,0) c ReduceDBs_3 : 0 88.21/51.20 c (15,0) c ReduceDBs_4 : 0 88.21/51.20 c (15,0) c ReduceDBs_5 : 0 88.21/51.20 c (15,0) c ReduceDBs_total : 0 88.21/51.20 c (15,0) c ReduceDBs_winner : 0 88.21/51.20 c (15,0) c SimpDBs_0 : 1 88.21/51.20 c (15,0) c SimpDBs_1 : 1 88.21/51.20 c (15,0) c SimpDBs_2 : 1 88.21/51.20 c (15,0) c SimpDBs_3 : 1 88.21/51.20 c (15,0) c SimpDBs_4 : 1 88.21/51.20 c (15,0) c SimpDBs_5 : 1 88.21/51.20 c (15,0) c SimpDBs_total : 6 88.21/51.20 c (15,0) c SimpDBs_winner : 1 88.21/51.20 c (15,0) c Restarts_0 : 2 88.21/51.20 c (15,0) c Restarts_1 : 2 88.21/51.20 c (15,0) c Restarts_2 : 1 88.21/51.20 c (15,0) c Restarts_3 : 3 88.21/51.20 c (15,0) c Restarts_4 : 2 88.21/51.20 c (15,0) c Restarts_5 : 2 88.21/51.20 c (15,0) c Restarts_total : 12 88.21/51.20 c (15,0) c Restarts_winner : 1 88.21/51.20 c (15,0) c ForcedImports_0 : 0 88.21/51.20 c (15,0) c ForcedImports_1 : 0 88.21/51.20 c (15,0) c ForcedImports_2 : 0 88.21/51.20 c (15,0) c ForcedImports_3 : 0 88.21/51.20 c (15,0) c ForcedImports_4 : 0 88.21/51.20 c (15,0) c ForcedImports_5 : 0 88.21/51.20 c (15,0) c ForcedImports_total : 0 88.21/51.20 c (15,0) c ForcedImports_winner : 0 88.21/51.20 c (15,0) c PropsBinClauses_0 : 6058032 88.21/51.20 c (15,0) c PropsBinClauses_1 : 6452110 88.21/51.20 c (15,0) c PropsBinClauses_2 : 5111971 88.21/51.20 c (15,0) c PropsBinClauses_3 : 6666458 88.21/51.20 c (15,0) c PropsBinClauses_4 : 6418296 88.21/51.20 c (15,0) c PropsBinClauses_5 : 6173662 88.21/51.20 c (15,0) c PropsBinClauses_total : 36880529 88.21/51.20 c (15,0) c PropsBinClauses_winner : 5111971 88.21/51.20 c (15,0) c PropsPreBlocker_0 : 471409875 88.21/51.20 c (15,0) c PropsPreBlocker_1 : 451266984 88.21/51.20 c (15,0) c PropsPreBlocker_2 : 472113050 88.21/51.20 c (15,0) c PropsPreBlocker_3 : 466693676 88.30/51.20 c (15,0) c PropsPreBlocker_4 : 476330557 88.30/51.20 c (15,0) c PropsPreBlocker_5 : 474600394 88.30/51.20 c (15,0) c PropsPreBlocker_total : 2812414536 88.30/51.20 c (15,0) c PropsPreBlocker_winner : 472113050 88.30/51.20 c (15,0) c PropsNotBlocker_0 : 49567889 88.30/51.20 c (15,0) c PropsNotBlocker_1 : 63498789 88.30/51.20 c (15,0) c PropsNotBlocker_2 : 48336752 88.30/51.20 c (15,0) c PropsNotBlocker_3 : 48427639 88.30/51.20 c (15,0) c PropsNotBlocker_4 : 45058500 88.30/51.20 c (15,0) c PropsNotBlocker_5 : 46516502 88.30/51.20 c (15,0) c PropsNotBlocker_total : 301406071 88.30/51.20 c (15,0) c PropsNotBlocker_winner : 48336752 88.30/51.20 c (15,0) c PropsLitFullScans_0 : 529289490 88.30/51.20 c (15,0) c PropsLitFullScans_1 : 523417748 88.30/51.20 c (15,0) c PropsLitFullScans_2 : 527619182 88.30/51.20 c (15,0) c PropsLitFullScans_3 : 524067698 88.30/51.20 c (15,0) c PropsLitFullScans_4 : 530181524 88.30/51.20 c (15,0) c PropsLitFullScans_5 : 529553606 88.30/51.20 c (15,0) c PropsLitFullScans_total : 3164129248 88.30/51.20 c (15,0) c PropsLitFullScans_winner : 527619182 88.30/51.20 c (15,0) c LitScanFractions_0 : 132760 88.30/51.20 c (15,0) c LitScanFractions_1 : 136880 88.30/51.20 c (15,0) c LitScanFractions_2 : 157321 88.30/51.20 c (15,0) c LitScanFractions_3 : 109788 88.30/51.20 c (15,0) c LitScanFractions_4 : 142306 88.30/51.20 c (15,0) c LitScanFractions_5 : 144159 88.30/51.20 c (15,0) c LitScanFractions_total : 823214 88.30/51.20 c (15,0) c LitScanFractions_winner : 157321 88.30/51.20 c (15,0) c DecisionLevel0_0 : 4 88.30/51.20 c (15,0) c DecisionLevel0_1 : 4 88.30/51.20 c (15,0) c DecisionLevel0_2 : 1 88.30/51.20 c (15,0) c DecisionLevel0_3 : 5 88.30/51.20 c (15,0) c DecisionLevel0_4 : 3 88.30/51.20 c (15,0) c DecisionLevel0_5 : 4 88.30/51.20 c (15,0) c DecisionLevel0_total : 21 88.30/51.20 c (15,0) c DecisionLevel0_winner : 1 88.30/51.20 c (15,0) c Periods_0 : 88 88.30/51.20 c (15,0) c Periods_1 : 87 88.30/51.20 c (15,0) c Periods_2 : 87 88.30/51.20 c (15,0) c Periods_3 : 87 88.30/51.20 c (15,0) c Periods_4 : 88 88.30/51.20 c (15,0) c Periods_5 : 88 88.30/51.20 c (15,0) c Periods_total : 525 88.30/51.20 c (15,0) c Periods_winner : 87 88.30/51.20 c (15,0) c Margin_0 : 20 88.30/51.20 c (15,0) c Margin_1 : 20 88.30/51.20 c (15,0) c Margin_2 : 20 88.30/51.20 c (15,0) c Margin_3 : 20 88.30/51.20 c (15,0) c Margin_4 : 20 88.30/51.20 c (15,0) c Margin_5 : 20 88.30/51.20 c (15,0) c Margin_total : 120 88.30/51.20 c (15,0) c Margin_winner : 20 88.30/51.20 c (15,0) c Exported_0 : 31 88.30/51.20 c (15,0) c Exported_1 : 9 88.30/51.20 c (15,0) c Exported_2 : 4 88.30/51.20 c (15,0) c Exported_3 : 17 88.30/51.20 c (15,0) c Exported_4 : 23 88.30/51.20 c (15,0) c Exported_5 : 19 88.30/51.20 c (15,0) c Exported_total : 103 88.30/51.20 c (15,0) c Exported_winner : 4 88.30/51.20 c (15,0) c Imported_0 : 56 88.30/51.20 c (15,0) c Imported_1 : 15 88.30/51.20 c (15,0) c Imported_2 : 0 88.30/51.20 c (15,0) c Imported_3 : 52 88.30/51.20 c (15,0) c Imported_4 : 32 88.30/51.20 c (15,0) c Imported_5 : 41 88.30/51.20 c (15,0) c Imported_total : 196 88.30/51.20 c (15,0) c Imported_winner : 0 88.30/51.20 c (15,0) c Good_0 : 13 88.30/51.20 c (15,0) c Good_1 : 2 88.30/51.20 c (15,0) c Good_2 : 0 88.30/51.20 c (15,0) c Good_3 : 12 88.30/51.20 c (15,0) c Good_4 : 6 88.30/51.20 c (15,0) c Good_5 : 9 88.30/51.20 c (15,0) c Good_total : 42 88.30/51.20 c (15,0) c Good_winner : 0 88.30/51.20 c (15,0) c Purge_0 : 43 88.30/51.20 c (15,0) c Purge_1 : 13 88.30/51.20 c (15,0) c Purge_2 : 0 88.30/51.20 c (15,0) c Purge_3 : 40 88.30/51.20 c (15,0) c Purge_4 : 26 88.30/51.20 c (15,0) c Purge_5 : 32 88.30/51.20 c (15,0) c Purge_total : 154 88.30/51.20 c (15,0) c Purge_winner : 0 88.30/51.20 c (15,0) c Promoted_0 : 1 88.30/51.20 c (15,0) c Promoted_1 : 0 88.30/51.20 c (15,0) c Promoted_2 : 0 88.30/51.20 c (15,0) c Promoted_3 : 0 88.30/51.20 c (15,0) c Promoted_4 : 3 88.30/51.20 c (15,0) c Promoted_5 : 0 88.30/51.20 c (15,0) c Promoted_total : 4 88.30/51.20 c (15,0) c Promoted_winner : 0 88.30/51.20 c (15,0) c Remove_Imp_0 : 0 88.30/51.20 c (15,0) c Remove_Imp_1 : 0 88.30/51.20 c (15,0) c Remove_Imp_2 : 0 88.30/51.20 c (15,0) c Remove_Imp_3 : 0 88.30/51.20 c (15,0) c Remove_Imp_4 : 0 88.30/51.20 c (15,0) c Remove_Imp_5 : 0 88.30/51.20 c (15,0) c Remove_Imp_total : 0 88.30/51.20 c (15,0) c Remove_Imp_winner : 0 88.30/51.20 c (15,0) c Blocked_Reuse_0 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_1 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_2 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_3 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_4 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_5 : 0 88.30/51.20 c (15,0) c Blocked_Reuse_total : 0 88.30/51.20 c (15,0) c Blocked_Reuse_winner : 0 88.30/51.20 c (15,0) c Unaries_0 : 2 88.30/51.20 c (15,0) c Unaries_1 : 2 88.30/51.20 c (15,0) c Unaries_2 : 0 88.30/51.20 c (15,0) c Unaries_3 : 2 88.30/51.20 c (15,0) c Unaries_4 : 1 88.30/51.20 c (15,0) c Unaries_5 : 2 88.30/51.20 c (15,0) c Unaries_total : 9 88.30/51.20 c (15,0) c Unaries_winner : 0 88.30/51.20 c (15,0) c Binaries_0 : 4 88.30/51.20 c (15,0) c Binaries_1 : 4 88.30/51.20 c (15,0) c Binaries_2 : 1 88.30/51.20 c (15,0) c Binaries_3 : 2 88.30/51.20 c (15,0) c Binaries_4 : 4 88.30/51.20 c (15,0) c Binaries_5 : 3 88.30/51.20 c (15,0) c Binaries_total : 18 88.30/51.20 c (15,0) c Binaries_winner : 1 88.30/51.20 c (15,0) c Glues_0 : 31 88.30/51.20 c (15,0) c Glues_1 : 9 88.30/51.20 c (15,0) c Glues_2 : 4 88.30/51.20 c (15,0) c Glues_3 : 17 88.30/51.20 c (15,0) c Glues_4 : 23 88.30/51.20 c (15,0) c Glues_5 : 19 88.30/51.20 c (15,0) c Glues_total : 103 88.30/51.20 c (15,0) c Glues_winner : 4 88.30/51.20 c (15,0) c RunningTime_0 : 5.953346 88.30/51.20 c (15,0) c RunningTime_1 : 7.172743 88.30/51.20 c (15,0) c RunningTime_2 : 5.869274 88.30/51.20 c (15,0) c RunningTime_3 : 6.518466 88.30/51.20 c (15,0) c RunningTime_4 : 5.542271 88.30/51.20 c (15,0) c RunningTime_5 : 6.067749 88.30/51.20 c (15,0) c RunningTime_total : 37.123849 88.30/51.20 c (15,0) c RunningTime_winner : 5.869274 88.30/51.20 c (15,0) c WaitingTime_0 : 0.292260 88.30/51.20 c (15,0) c WaitingTime_1 : 0.000091 88.30/51.20 c (15,0) c WaitingTime_2 : 0.358370 88.30/51.20 c (15,0) c WaitingTime_3 : 0.000097 88.30/51.20 c (15,0) c WaitingTime_4 : 0.703043 88.30/51.20 c (15,0) c WaitingTime_5 : 0.173589 88.30/51.20 c (15,0) c WaitingTime_total : 1.527450 88.30/51.20 c (15,0) c WaitingTime_winner : 0.358370 88.30/51.20 c (15,0) c ExchangingTime_0 : 0.000676 88.30/51.20 c (15,0) c ExchangingTime_1 : 0.000621 88.30/51.20 c (15,0) c ExchangingTime_2 : 0.000751 88.30/51.20 c (15,0) c ExchangingTime_3 : 0.000732 88.30/51.20 c (15,0) c ExchangingTime_4 : 0.000723 88.30/51.20 c (15,0) c ExchangingTime_5 : 0.000618 88.30/51.20 c (15,0) c ExchangingTime_total : 0.004122 88.30/51.20 c (15,0) c ExchangingTime_winner : 0.000751 88.30/51.20 c (15,0) c PeriodProcTime_0 : 0.000931 88.30/51.20 c (15,0) c PeriodProcTime_1 : 0.001194 88.30/51.20 c (15,0) c PeriodProcTime_2 : 0.001124 88.30/51.20 c (15,0) c PeriodProcTime_3 : 0.000928 88.30/51.20 c (15,0) c PeriodProcTime_4 : 0.000896 88.30/51.20 c (15,0) c PeriodProcTime_5 : 0.001004 88.30/51.20 c (15,0) c PeriodProcTime_total : 0.006076 88.30/51.20 c (15,0) c PeriodProcTime_winner : 0.001124 88.30/51.20 c (15,0) c SolvingTime_0 : 6.247214 88.30/51.20 c (15,0) c SolvingTime_1 : 7.174649 88.30/51.20 c (15,0) c SolvingTime_2 : 6.229519 88.30/51.20 c (15,0) c SolvingTime_3 : 6.520223 88.30/51.20 c (15,0) c SolvingTime_4 : 6.246933 88.30/51.20 c (15,0) c SolvingTime_5 : 6.242960 88.30/51.20 c (15,0) c SolvingTime_total : 38.661496 88.30/51.20 c (15,0) c SolvingTime_winner : 6.229519 88.30/51.20 c (15,0) c PropagationTime_0 : 6.182667 88.30/51.20 c (15,0) c PropagationTime_1 : 7.105596 88.30/51.20 c (15,0) c PropagationTime_2 : 6.160774 88.30/51.20 c (15,0) c PropagationTime_3 : 6.446800 88.30/51.20 c (15,0) c PropagationTime_4 : 6.183498 88.30/51.20 c (15,0) c PropagationTime_5 : 6.178748 88.30/51.20 c (15,0) c PropagationTime_total : 38.258083 88.30/51.20 c (15,0) c PropagationTime_winner : 6.160774 88.30/51.20 c (15,0) c AnalysisTime_0 : 0.032156 88.30/51.20 c (15,0) c AnalysisTime_1 : 0.034919 88.30/51.20 c (15,0) c AnalysisTime_2 : 0.035615 88.30/51.20 c (15,0) c AnalysisTime_3 : 0.036243 88.30/51.20 c (15,0) c AnalysisTime_4 : 0.029861 88.30/51.20 c (15,0) c AnalysisTime_5 : 0.029219 88.30/51.20 c (15,0) c AnalysisTime_total : 0.198012 88.30/51.20 c (15,0) c AnalysisTime_winner : 0.035615 88.30/51.20 c (15,0) c ReductionTime_0 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_1 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_2 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_3 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_4 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_5 : 0.000000 88.30/51.20 c (15,0) c ReductionTime_total : 0.000000 88.30/51.20 c (15,0) c ReductionTime_winner : 0.000000 88.30/51.20 c (15,0) c SimplifyTime_0 : 0.000000 88.30/51.20 c (15,0) c SimplifyTime_1 : 0.000000 88.30/51.20 c (15,0) c SimplifyTime_2 : 0.000000 88.30/51.21 c (15,0) c SimplifyTime_3 : 0.000001 88.30/51.21 c (15,0) c SimplifyTime_4 : 0.000000 88.30/51.21 c (15,0) c SimplifyTime_5 : 0.000000 88.30/51.21 c (15,0) c SimplifyTime_total : 0.000001 88.30/51.21 c (15,0) c SimplifyTime_winner : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_0 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_1 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_2 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_3 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_4 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_5 : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_total : 0.000000 88.30/51.21 c (15,0) c UsedRateTime_winner : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_0 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_1 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_2 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_3 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_4 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_5 : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_total : 0.000000 88.30/51.21 c (15,0) c OverlapRateTime_winner : 0.000000 88.30/51.21 c (15,0) c 88.30/51.21 c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 88.30/51.21 c (15,0) c 88.30/51.21 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 88.30/51.21 c (15,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 88.30/51.21 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 88.30/51.21 c (15,0) c | randomizeFirstDescent | False | True | True | True | True | True | 88.30/51.21 c (15,0) c | adaptStrategeis | True | False | True | False | True | False | 88.30/51.21 c (15,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | 88.30/51.21 c (15,0) c | Initial random_seed | 538793079 | 1612956142 | 1770345484 | 430167216 | 1337108122 | 742674107 | 88.30/51.21 c (15,0) c | chanseokStrategy | False | False | False | False | False | False | 88.30/51.21 c (15,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 88.30/51.21 c (15,0) c | glureduce | True | True | True | True | True | True | 88.30/51.21 c (15,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 88.30/51.21 c (15,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 88.30/51.21 c (15,0) c | luby_restart | False | False | False | False | False | False | 88.30/51.21 c (15,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 88.30/51.21 c (15,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 88.30/51.21 c (15,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 88.30/51.21 c (15,0) c | randomize_on_restarts | False | False | False | False | False | False | 88.30/51.21 c (15,0) c | remove_satisfied | True | True | True | True | True | True | 88.30/51.21 c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------| 88.30/51.21 c (15,0) 88.30/51.21 c (15,0) s SATISFIABLE 46.11/51.48 c (15,0) SatSolver.solve End 46.11/51.48 c (15,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 46.11/51.48 c (15,0) Show results Begin 88.85/51.59 c (15,0) x[0] = 2 88.85/51.59 c (15,0) x[2] = 6 88.85/51.59 c (15,0) x[3] = 7 88.85/51.59 c (15,0) x[4] = 11 88.85/51.59 c (15,0) x[5] = 13 88.85/51.59 c (15,0) x[6] = 19 88.85/51.59 c (15,0) x[7] = 7 88.85/51.59 c (15,0) x[8] = 29 88.85/51.59 c (15,0) x[9] = 3 88.85/51.59 c (15,0) x[10] = 18 88.85/51.59 c (15,0) x[11] = 29 88.85/51.59 c (15,0) x[12] = 2 88.85/51.59 c (15,0) x[13] = 8 88.85/51.59 c (15,0) x[14] = 8 88.85/51.59 c (15,0) x[15] = 18 88.85/51.59 c (15,0) x[17] = 13 88.85/51.59 c (15,0) x[18] = 26 88.85/51.59 c (15,0) x[19] = 28 88.85/51.59 c (15,0) x[20] = 8 88.85/51.59 c (15,0) x[21] = 13 88.85/51.59 c (15,0) x[23] = 28 88.85/51.59 c (15,0) x[24] = 8 88.85/51.59 c (15,0) x[25] = 4 88.85/51.59 c (15,0) x[26] = 5 88.85/51.59 c (15,0) x[27] = 15 88.85/51.59 c (15,0) x[28] = 21 88.85/51.59 c (15,0) x[29] = 22 88.85/51.59 c (15,0) x[30] = 25 89.06/51.60 c (15,0) x[31] = 10 89.06/51.60 c (15,0) x[32] = 7 89.06/51.60 c (15,0) x[33] = 23 89.06/51.60 c (15,0) x[34] = 27 89.06/51.60 c (15,0) x[35] = 6 89.06/51.60 c (15,0) x[36] = 12 89.06/51.60 c (15,0) x[37] = 11 89.06/51.60 c (15,0) x[38] = 19 89.06/51.60 c (15,0) x[39] = 12 89.06/51.60 c (15,0) x[40] = 24 89.06/51.60 c (15,0) x[41] = 21 89.06/51.60 c (15,0) x[42] = 13 89.06/51.60 c (15,0) x[43] = 13 89.06/51.60 c (15,0) x[44] = 16 89.06/51.60 c (15,0) x[45] = 2 89.06/51.60 c (15,0) x[46] = 21 89.06/51.60 c (15,0) x[47] = 6 89.06/51.60 c (15,0) x[48] = 7 89.06/51.60 c (15,0) x[49] = 9 89.06/51.60 c (15,0) x[50] = 4 89.06/51.60 c (15,0) x[51] = 4 89.06/51.60 c (15,0) x[53] = 28 89.06/51.60 c (15,0) x[54] = 10 89.06/51.60 c (15,0) x[55] = 10 89.06/51.60 c (15,0) x[56] = 10 89.06/51.60 c (15,0) x[57] = 4 89.06/51.60 c (15,0) x[59] = 29 89.06/51.60 c (15,0) x[60] = 5 89.06/51.60 c (15,0) x[61] = 4 89.06/51.60 c (15,0) x[63] = 21 89.06/51.60 c (15,0) x[64] = 20 89.06/51.60 c (15,0) x[65] = 27 89.06/51.60 c (15,0) x[66] = 15 89.06/51.60 c (15,0) x[67] = 12 89.06/51.60 c (15,0) x[68] = 10 89.06/51.60 c (15,0) x[69] = 25 89.06/51.60 c (15,0) x[71] = 19 89.06/51.60 c (15,0) x[72] = 24 89.06/51.60 c (15,0) x[73] = 23 89.06/51.60 c (15,0) x[74] = 2 89.06/51.60 c (15,0) x[75] = 9 89.06/51.60 c (15,0) x[79] = 29 89.06/51.60 c (15,0) x[81] = 20 89.06/51.60 c (15,0) x[82] = 24 89.06/51.60 c (15,0) x[83] = 26 89.06/51.60 c (15,0) x[84] = 9 89.06/51.60 c (15,0) x[85] = 27 89.06/51.60 c (15,0) x[86] = 10 89.06/51.60 c (15,0) x[87] = 6 89.06/51.60 c (15,0) x[88] = 8 89.06/51.60 c (15,0) x[89] = 24 89.06/51.60 c (15,0) x[90] = 20 89.06/51.60 c (15,0) x[91] = 11 89.06/51.60 c (15,0) x[92] = 17 89.06/51.60 c (15,0) x[93] = 26 89.06/51.60 c (15,0) x[94] = 27 89.06/51.60 c (15,0) x[95] = 3 89.06/51.60 c (15,0) x[97] = 14 89.06/51.60 c (15,0) x[98] = 11 89.06/51.60 c (15,0) x[99] = 14 89.06/51.60 s SATISFIABLE 89.06/51.61 v <instantiation> 89.06/51.61 v <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[17] x[18] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list> 89.06/51.61 v <values>2 6 7 11 13 19 7 29 3 18 29 2 8 8 18 13 26 28 8 13 28 8 4 5 15 21 22 25 10 7 23 27 6 12 11 19 12 24 21 13 13 16 2 21 6 7 9 4 4 28 10 10 10 4 29 5 4 21 20 27 15 12 10 25 19 24 23 2 9 29 20 24 26 9 27 10 6 8 24 20 11 17 26 27 3 14 11 14</values> 89.06/51.61 v </instantiation> 89.06/51.61 c (15,0) Show results End 89.06/51.61 c (15,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 89.06/51.61 c (15,0) 15,15,STOP-AFTER(ALL) 89.06/51.61 c END-Prog: Tue Sep 24 18:04:23 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11859 MiB free) memory of node 1: 16384 MiB (13085 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405245-1569341054/watcher-4405245-1569341054 -o /var/tmp/evaluation-result-4405245-1569341054/solver-4405245-1569341054 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405245-1569341054.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12591, runsolver pid=12588 [startup+0.100158 s]* /proc/loadavg: 6.91 6.24 5.16 3/212 12613 /proc/meminfo: memFree=25448624/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510368010 115843072 349 33554432000 4194304 5098028 140725902709008 140725902706264 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 349 296 221 0 87 0 [pid=12594] ppid=12591 vsize=27314120 memory=107656 CPUtime=0.11 cores=0-7 /proc/12594/stat : 12594 (java) S 12591 12591 11698 0 -1 1077944320 6464 0 0 0 8 3 0 0 20 0 20 0 510368010 27969658880 26914 33554432000 4194304 4196468 140722223429120 140722223411664 140473872117495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 /proc/12594/statm: 6828530 26914 2800 1 0 6790935 0 [pid=12594/tid=12595] ppid=12591 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/12594/task/12595/stat : 12595 (java) R 12591 12591 11698 0 -1 4202560 4578 0 0 0 7 2 0 0 20 0 20 0 510368010 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473843940544 140473872139421 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12596] ppid=12591 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/12594/task/12596/stat : 12596 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473876360080 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12597] ppid=12591 vsize=27314120 memory=140253148153472 CPUtime=0 cores=0-7 /proc/12594/task/12597/stat : 12597 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473690516240 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12598] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12598/stat : 12598 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473689463952 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12599] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12599/stat : 12599 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473688411152 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12600] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12600/stat : 12600 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473687357840 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12601] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12601/stat : 12601 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473686305040 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12602] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12602/stat : 12602 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473685252752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12603] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12603/stat : 12603 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 26914 33554432000 4194304 4196468 140722223429120 140473287735824 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12604] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12604/stat : 12604 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368014 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471923837552 140473872128642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12605] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12605/stat : 12605 (java) S 12591 12591 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471804355872 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12606] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12606/stat : 12606 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471535920752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12607] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12607/stat : 12607 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471161412176 140473872136091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12608] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12608/stat : 12608 (java) S 12591 12591 11698 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471922784368 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12609] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12609/stat : 12609 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471921731568 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12610] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12610/stat : 12610 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471920679280 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12611] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12611/stat : 12611 (java) S 12591 12591 11698 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471919626480 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12612] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12612/stat : 12612 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 26914 33554432000 4194304 4196468 140722223429120 140470663506784 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12613] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12613/stat : 12613 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 26914 33554432000 4194304 4196468 140722223429120 140471918574384 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109052 KiB [startup+0.210191 s]* /proc/loadavg: 6.91 6.24 5.16 2/212 12613 /proc/meminfo: memFree=25430172/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510368010 115843072 349 33554432000 4194304 5098028 140725902709008 140725902706264 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 349 296 221 0 87 0 [pid=12594] ppid=12591 vsize=27314120 memory=124500 CPUtime=0.25 cores=0-7 /proc/12594/stat : 12594 (java) S 12591 12591 11698 0 -1 1077944320 11476 0 0 0 21 4 0 0 20 0 20 0 510368010 27969658880 31125 33554432000 4194304 4196468 140722223429120 140722223411664 140473872117495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 /proc/12594/statm: 6828530 31125 2956 1 0 6790935 0 [pid=12594/tid=12595] ppid=12591 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/12594/task/12595/stat : 12595 (java) R 12591 12591 11698 0 -1 4202560 9190 0 0 0 16 3 0 0 20 0 20 0 510368010 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473843916880 140473852393282 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12596] ppid=12591 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/12594/task/12596/stat : 12596 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473876360080 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12597] ppid=12591 vsize=27314120 memory=288370629299865216 CPUtime=0 cores=0-7 /proc/12594/task/12597/stat : 12597 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473690516240 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12598] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12598/stat : 12598 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473689463952 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12599] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12599/stat : 12599 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473688411152 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12600] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12600/stat : 12600 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473687357840 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12601] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12601/stat : 12601 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473686305040 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12602] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12602/stat : 12602 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473685252752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12603] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12603/stat : 12603 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 31125 33554432000 4194304 4196468 140722223429120 140473287735824 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12604] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12604/stat : 12604 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368014 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471923837552 140473872128642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12605] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12605/stat : 12605 (java) S 12591 12591 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471804355872 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12606] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12606/stat : 12606 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471535920752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12607] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12607/stat : 12607 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471161412176 140473872136091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12608] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12608/stat : 12608 (java) S 12591 12591 11698 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471922784368 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12609] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12609/stat : 12609 (java) S 12591 12591 11698 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471921731568 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12610] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12610/stat : 12610 (java) S 12591 12591 11698 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471920679280 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12611] ppid=12591 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/12594/task/12611/stat : 12611 (java) S 12591 12591 11698 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 510368017 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471919626480 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12612] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12612/stat : 12612 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 31125 33554432000 4194304 4196468 140722223429120 140470663506784 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12613] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12613/stat : 12613 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 31125 33554432000 4194304 4196468 140722223429120 140471918574384 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125896 KiB [startup+0.309493 s]* /proc/loadavg: 6.91 6.24 5.16 2/212 12613 /proc/meminfo: memFree=25427408/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510368010 115843072 349 33554432000 4194304 5098028 140725902709008 140725902706264 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 349 296 221 0 87 0 [pid=12594] ppid=12591 vsize=27314120 memory=128180 CPUtime=0.42 cores=0-7 /proc/12594/stat : 12594 (java) S 12591 12591 11698 0 -1 1077944320 12402 0 0 0 37 5 0 0 20 0 20 0 510368010 27969658880 32045 33554432000 4194304 4196468 140722223429120 140722223411664 140473872117495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 /proc/12594/statm: 6828530 32045 3061 1 0 6790935 0 [pid=12594/tid=12595] ppid=12591 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/12594/task/12595/stat : 12595 (java) R 12591 12591 11698 0 -1 4202560 9955 0 0 0 26 4 0 0 20 0 20 0 510368010 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473843915608 140473856197982 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12596] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12596/stat : 12596 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473876360080 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12597] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12597/stat : 12597 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473690516240 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12598] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12598/stat : 12598 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473689463952 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12599] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12599/stat : 12599 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473688411152 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12600] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12600/stat : 12600 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473687357840 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12601] ppid=12591 vsize=27314120 memory=140253029558959 CPUtime=0 cores=0-7 /proc/12594/task/12601/stat : 12601 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473686305040 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12602] ppid=12591 vsize=27314120 memory=140253029561264 CPUtime=0 cores=0-7 /proc/12594/task/12602/stat : 12602 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473685252752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12603] ppid=12591 vsize=27314120 memory=140253029563568 CPUtime=0 cores=0-7 /proc/12594/task/12603/stat : 12603 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27969658880 32045 33554432000 4194304 4196468 140722223429120 140473287735824 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12604] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12604/stat : 12604 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368014 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471923837552 140473872128642 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12605] ppid=12591 vsize=27314120 memory=280506059141008 CPUtime=0 cores=0-7 /proc/12594/task/12605/stat : 12605 (java) S 12591 12591 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471804355872 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12606] ppid=12591 vsize=27314120 memory=280506059138704 CPUtime=0 cores=0-7 /proc/12594/task/12606/stat : 12606 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368015 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471535920752 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12607] ppid=12591 vsize=27314120 memory=280506059145616 CPUtime=0 cores=0-7 /proc/12594/task/12607/stat : 12607 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471161412176 140473872136091 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12608] ppid=12591 vsize=27314120 memory=280506059086864 CPUtime=0 cores=0-7 /proc/12594/task/12608/stat : 12608 (java) S 12591 12591 11698 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471922784368 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12609] ppid=12591 vsize=27314120 memory=280506059159440 CPUtime=0 cores=0-7 /proc/12594/task/12609/stat : 12609 (java) S 12591 12591 11698 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 510368017 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471921731568 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12610] ppid=12591 vsize=27314120 memory=280506059166352 CPUtime=0.02 cores=0-7 /proc/12594/task/12610/stat : 12610 (java) R 12591 12591 11698 0 -1 4202560 266 0 0 0 2 0 0 0 20 0 20 0 510368017 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471920679280 140473855649055 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12611] ppid=12591 vsize=27314120 memory=280506059164048 CPUtime=0.07 cores=0-7 /proc/12594/task/12611/stat : 12611 (java) S 12591 12591 11698 0 -1 1077944384 505 0 0 0 7 0 0 0 20 0 20 0 510368017 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471919626480 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12612] ppid=12591 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12612/stat : 12612 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 32045 33554432000 4194304 4196468 140722223429120 140470663506784 140473872127701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12613] ppid=12591 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/12594/task/12613/stat : 12613 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368018 27969658880 32045 33554432000 4194304 4196468 140722223429120 140471918574384 140473872128642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129576 KiB [startup+0.70086 s] /proc/loadavg: 6.44 6.15 5.13 3/212 12613 /proc/meminfo: memFree=25404628/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510368010 115843072 349 33554432000 4194304 5098028 140725902709008 140725902706264 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 349 296 221 0 87 0 [pid=12594] ppid=12591 vsize=27322440 memory=166100 CPUtime=1.01 cores=0-7 /proc/12594/stat : 12594 (java) S 12591 12591 11698 0 -1 1077944320 20103 0 0 0 94 7 0 0 20 0 20 0 510368010 27978178560 41525 33554432000 4194304 4196468 140722223429120 140722223411664 140473872117495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 /proc/12594/statm: 6830610 41525 3192 1 0 6791959 0 [pid=12594/tid=12595] ppid=12591 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7 /proc/12594/task/12595/stat : 12595 (java) R 12591 12591 11698 0 -1 4202560 17008 0 0 0 62 6 0 0 20 0 20 0 510368010 27978178560 41525 33554432000 4194304 4196468 140722223429120 140473843946832 140473856197982 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12596] ppid=12591 vsize=27322440 memory=140253029770096 CPUtime=0 cores=0-7 /proc/12594/task/12596/stat : 12596 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27978178560 41525 33554432000 4194304 4196468 140722223429120 140473876360080 140473872127701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12597] ppid=12591 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/12594/task/12597/stat : 12597 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510368013 27978178560 41525 33554432000 4194304 4196468 140722223429120 140473690516240 140473872127701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 [pid=12594/tid=12598] ppid=12591 vsize=27322440 memory=1164 CPUtime=0 cores=0-7 /proc/12594/task/12598/stat : 12598 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510368013 27978178560 41525 33554432000 4194304 4196468 140722223429120 140473689463952 140473872127701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140722223436487 140722223436934 140722223436934 140722223439823 0 ################ # More data... # ################ /proc/12617/task/12625/stat : 12625 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201683618064 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12626] ppid=12591 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12617/task/12626/stat : 12626 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201682565520 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12627] ppid=12591 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/12617/task/12627/stat : 12627 (java) S 12591 12591 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201498753776 140202203884162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12628] ppid=12591 vsize=8414124 memory=6281916 CPUtime=0 cores=0-7 /proc/12617/task/12628/stat : 12628 (java) S 12591 12591 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30470 33554432000 4194304 4196468 140723087178960 140200885872288 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12629] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12629/stat : 12629 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30470 33554432000 4194304 4196468 140723087178960 140200617436400 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12630] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12630/stat : 12630 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140200242928080 140202203891611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12631] ppid=12591 vsize=8414124 memory=2427 CPUtime=0.07 cores=0-7 /proc/12617/task/12631/stat : 12631 (java) S 12591 12591 11698 0 -1 1077944384 546 0 0 0 7 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201497700592 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12632] ppid=12591 vsize=8414124 memory=1548 CPUtime=0.03 cores=0-7 /proc/12617/task/12632/stat : 12632 (java) S 12591 12591 11698 0 -1 1077944384 128 0 0 0 3 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201496648048 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12633] ppid=12591 vsize=8414124 memory=8248 CPUtime=0.06 cores=0-7 /proc/12617/task/12633/stat : 12633 (java) S 12591 12591 11698 0 -1 1077944384 416 0 0 0 6 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201495594992 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12634] ppid=12591 vsize=8414124 memory=1396 CPUtime=0.19 cores=0-7 /proc/12617/task/12634/stat : 12634 (java) S 12591 12591 11698 0 -1 1077944384 518 0 0 0 19 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201494542448 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12635] ppid=12591 vsize=8414124 memory=289 CPUtime=0 cores=0-7 /proc/12617/task/12635/stat : 12635 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140199745022944 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12636] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12636/stat : 12636 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201493490864 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12638] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12638/stat : 12638 (java) S 12591 12591 11698 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510371661 8616062976 30470 33554432000 4194304 4196468 140723087178960 140201491879360 140202203897625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12640] ppid=12591 vsize=8414124 memory=56 CPUtime=0 cores=0-7 /proc/12617/task/12640/stat : 12640 (java) S 12591 12591 11698 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510371662 8616062976 30470 33554432000 4194304 4196468 140723087178960 140199073922576 140202203894941 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12641] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12641/stat : 12641 (java) S 12591 12591 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510371662 8616062976 30470 33554432000 4194304 4196468 140723087178960 140199342358160 140202203894941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12642] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12642/stat : 12642 (java) S 12591 12591 11698 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510371664 8616062976 30470 33554432000 4194304 4196468 140723087178960 140198805494704 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 Current children cumulated CPU time: 88.21 s Current children cumulated vsize: 15430752 KiB Current children cumulated memory: 6726804 KiB [startup+51.6748 s] # the end of solver process 12591 was just reported to runsolver # cumulated CPU time of all completed processes: user=80.8596 s, system=8.31469 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2015 s] /proc/loadavg: 3.97 5.53 4.98 2/218 12648 /proc/meminfo: memFree=18464288/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1476 CPUtime=44.69 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 582 38603 0 0 0 0 4182 287 20 0 1 0 510368010 115843072 369 33554432000 4194304 5098028 140725902709008 140725902705752 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 369 311 221 0 87 0 [pid=12617] ppid=12591 vsize=8414124 memory=122728 CPUtime=1.17 cores=0-7 /proc/12617/stat : 12617 (java) S 12591 12591 11698 0 -1 1077944320 20131 0 0 0 109 8 0 0 20 0 24 0 510371588 8616062976 30682 33554432000 4194304 4196468 140723087178960 140723087161504 140202203873015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 /proc/12617/statm: 2103531 30682 3209 1 0 2064875 0 [pid=12637] ppid=12617 vsize=6887308 memory=6603572 CPUtime=42.44 cores=0-7 /proc/12637/stat : 12637 (manyglucose-4.1) S 12617 12591 11698 0 -1 4202496 1686171 0 0 0 3744 500 0 0 20 0 1 0 510371661 7052603392 1650893 33554432000 4194304 4454172 140735260404112 140735260400832 140616585751677 0 4 0 8388610 18446744071580971376 0 0 17 0 0 0 0 0 0 6552832 6554400 10858496 140735260406605 140735260406812 140735260406812 140735260409782 0 /proc/12637/statm: 1721827 1650893 418 64 0 1717495 0 [pid=12617/tid=12618] ppid=12591 vsize=8414124 memory=6791534058613427641 CPUtime=0.75 cores=0-7 /proc/12617/task/12618/stat : 12618 (java) S 12591 12591 11698 0 -1 1077944384 16887 0 0 0 70 5 0 0 20 0 24 0 510371589 8616062976 30682 33554432000 4194304 4196468 140723087178960 140202175713184 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12619] ppid=12591 vsize=8414124 memory=1028 CPUtime=0 cores=0-7 /proc/12617/task/12619/stat : 12619 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140202208115728 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12620] ppid=12591 vsize=8414124 memory=1060 CPUtime=0 cores=0-7 /proc/12617/task/12620/stat : 12620 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140202028412048 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12621] ppid=12591 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/12617/task/12621/stat : 12621 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201687829264 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12622] ppid=12591 vsize=8414124 memory=7686721470350990229 CPUtime=0 cores=0-7 /proc/12617/task/12622/stat : 12622 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201686776720 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12623] ppid=12591 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/12617/task/12623/stat : 12623 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201685723664 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12624] ppid=12591 vsize=8414124 memory=194330090300010 CPUtime=0 cores=0-7 /proc/12617/task/12624/stat : 12624 (java) S 12591 12591 11698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201684671120 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12625] ppid=12591 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/12617/task/12625/stat : 12625 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201683618064 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12626] ppid=12591 vsize=8414124 memory=121880 CPUtime=0 cores=0-7 /proc/12617/task/12626/stat : 12626 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371590 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201682565520 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12627] ppid=12591 vsize=8414124 memory=49288 CPUtime=0 cores=0-7 /proc/12617/task/12627/stat : 12627 (java) S 12591 12591 11698 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201498753776 140202203884162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12628] ppid=12591 vsize=8414124 memory=2004 CPUtime=0 cores=0-7 /proc/12617/task/12628/stat : 12628 (java) S 12591 12591 11698 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30682 33554432000 4194304 4196468 140723087178960 140200885872288 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12629] ppid=12591 vsize=8414124 memory=984 CPUtime=0 cores=0-7 /proc/12617/task/12629/stat : 12629 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371592 8616062976 30682 33554432000 4194304 4196468 140723087178960 140200617436400 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12630] ppid=12591 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12617/task/12630/stat : 12630 (java) S 12591 12591 11698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140200242928080 140202203891611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12631] ppid=12591 vsize=8414124 memory=49288 CPUtime=0.07 cores=0-7 /proc/12617/task/12631/stat : 12631 (java) R 12591 12591 11698 0 -1 1077944384 546 0 0 0 7 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201497700592 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12632] ppid=12591 vsize=8414124 memory=2004 CPUtime=0.03 cores=0-7 /proc/12617/task/12632/stat : 12632 (java) S 12591 12591 11698 0 -1 1077944384 208 0 0 0 3 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201496648048 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12633] ppid=12591 vsize=8414124 memory=984 CPUtime=0.06 cores=0-7 /proc/12617/task/12633/stat : 12633 (java) S 12591 12591 11698 0 -1 1077944384 416 0 0 0 6 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201495594992 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12634] ppid=12591 vsize=8414124 memory=56 CPUtime=0.2 cores=0-7 /proc/12617/task/12634/stat : 12634 (java) R 12591 12591 11698 0 -1 4202560 668 0 0 0 20 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201494542448 140202182500225 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12635] ppid=12591 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/12617/task/12635/stat : 12635 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140199745022944 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12636] ppid=12591 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/12617/task/12636/stat : 12636 (java) S 12591 12591 11698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510371595 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201493490864 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12638] ppid=12591 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/12617/task/12638/stat : 12638 (java) S 12591 12591 11698 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510371661 8616062976 30682 33554432000 4194304 4196468 140723087178960 140201491879360 140202203897625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12640] ppid=12591 vsize=8414124 memory=3620 CPUtime=0 cores=0-7 /proc/12617/task/12640/stat : 12640 (java) R 12591 12591 11698 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510371662 8616062976 30682 33554432000 4194304 4196468 140723087178960 140199073922576 140202203894845 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12641] ppid=12591 vsize=8414124 memory=49288 CPUtime=0 cores=0-7 /proc/12617/task/12641/stat : 12641 (java) S 12591 12591 11698 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510371662 8616062976 30682 33554432000 4194304 4196468 140723087178960 140199342358160 140202203894941 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12642] ppid=12591 vsize=8414124 memory=2004 CPUtime=0 cores=0-7 /proc/12617/task/12642/stat : 12642 (java) S 12591 12591 11698 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510371664 8616062976 30682 33554432000 4194304 4196468 140723087178960 140198805494704 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 Current children cumulated CPU time: 88.3 s Current children cumulated vsize: 15414560 KiB Current children cumulated memory: 6727776 KiB [startup+51.601 s] /proc/loadavg: 3.97 5.53 4.98 2/218 12648 /proc/meminfo: memFree=18464288/32770624 swapFree=66992400/67108860 [pid=12591] ppid=12588 vsize=113128 memory=1476 CPUtime=44.69 cores=0-7 /proc/12591/stat : 12591 (scop.sh) S 12588 12591 11698 0 -1 4202496 582 38603 0 0 0 0 4182 287 20 0 1 0 510368010 115843072 369 33554432000 4194304 5098028 140725902709008 140725902705752 139958958162556 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10620928 140725902713597 140725902713944 140725902713944 140725902716873 0 /proc/12591/statm: 28282 369 311 221 0 87 0 [pid=12617] ppid=12591 vsize=8284072 memory=147404 CPUtime=44.37 cores=0-7 /proc/12617/stat : 12617 (java) S 12591 12591 11698 0 -1 1077944320 22529 1686178 0 0 155 10 3746 526 20 0 22 0 510371588 8482889728 36851 33554432000 4194304 4196468 140723087178960 140723087161504 140202203873015 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 /proc/12617/statm: 2071018 36851 3224 1 0 2032362 0 [pid=12617/tid=12618] ppid=12591 vsize=8284072 memory=0 CPUtime=43.58 cores=0-7 /proc/12617/task/12618/stat : 12618 (java) R 12591 12591 11698 0 -1 4202560 17686 1686178 0 0 81 5 3746 526 20 0 22 0 510371589 8482889728 36851 33554432000 4194304 4196468 140723087178960 140202175699744 140202196552733 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12619] ppid=12591 vsize=8284072 memory=128 CPUtime=42.72 cores=0-7 /proc/12617/task/12619/stat : 12619 (java) S 12591 12591 11698 0 -1 1077944384 2 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140202208115728 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12620] ppid=12591 vsize=8284072 memory=0 CPUtime=42.72 cores=0-7 /proc/12617/task/12620/stat : 12620 (java) S 12591 12591 11698 0 -1 1077944384 2 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140202028412048 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12621] ppid=12591 vsize=8284072 memory=0 CPUtime=42.72 cores=0-7 /proc/12617/task/12621/stat : 12621 (java) S 12591 12591 11698 0 -1 1077944384 2 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201687829264 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12622] ppid=12591 vsize=8284072 memory=0 CPUtime=42.72 cores=0-7 /proc/12617/task/12622/stat : 12622 (java) S 12591 12591 11698 0 -1 1077944384 1 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201686776720 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12623] ppid=12591 vsize=8284072 memory=1 CPUtime=42.72 cores=0-7 /proc/12617/task/12623/stat : 12623 (java) S 12591 12591 11698 0 -1 1077944384 1 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201685723664 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12624] ppid=12591 vsize=8284072 memory=1476 CPUtime=42.72 cores=0-7 /proc/12617/task/12624/stat : 12624 (java) S 12591 12591 11698 0 -1 1077944384 2 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201684671120 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12625] ppid=12591 vsize=8284072 memory=121880 CPUtime=42.72 cores=0-7 /proc/12617/task/12625/stat : 12625 (java) S 12591 12591 11698 0 -1 1077944384 1 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201683618064 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12626] ppid=12591 vsize=8284072 memory=909376 CPUtime=42.72 cores=0-7 /proc/12617/task/12626/stat : 12626 (java) S 12591 12591 11698 0 -1 1077944384 3 1686178 0 0 0 0 3746 526 20 0 22 0 510371590 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201682565520 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12627] ppid=12591 vsize=8284072 memory=20972 CPUtime=42.72 cores=0-7 /proc/12617/task/12627/stat : 12627 (java) S 12591 12591 11698 0 -1 1077944384 7 1686178 0 0 0 0 3746 526 20 0 22 0 510371592 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201498753776 140202203884162 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12628] ppid=12591 vsize=8284072 memory=512 CPUtime=42.72 cores=0-7 /proc/12617/task/12628/stat : 12628 (java) S 12591 12591 11698 0 -1 1077944384 13 1686178 0 0 0 0 3746 526 20 0 22 0 510371592 8482889728 36851 33554432000 4194304 4196468 140723087178960 140200885872288 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12629] ppid=12591 vsize=8284072 memory=1564 CPUtime=42.72 cores=0-7 /proc/12617/task/12629/stat : 12629 (java) S 12591 12591 11698 0 -1 1077944384 1 1686178 0 0 0 0 3746 526 20 0 22 0 510371592 8482889728 36851 33554432000 4194304 4196468 140723087178960 140200617436400 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12630] ppid=12591 vsize=8284072 memory=928 CPUtime=42.72 cores=0-7 /proc/12617/task/12630/stat : 12630 (java) S 12591 12591 11698 0 -1 1077944384 1 1686178 0 0 0 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140200242928080 140202203891611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12631] ppid=12591 vsize=8284072 memory=2120 CPUtime=42.84 cores=0-7 /proc/12617/task/12631/stat : 12631 (java) R 12591 12591 11698 0 -1 4202560 705 1686178 0 0 12 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201497700592 140202187257794 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12632] ppid=12591 vsize=8284072 memory=12028 CPUtime=42.82 cores=0-7 /proc/12617/task/12632/stat : 12632 (java) S 12591 12591 11698 0 -1 1077944384 583 1686178 0 0 10 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201496648048 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12633] ppid=12591 vsize=8284072 memory=20972 CPUtime=42.82 cores=0-7 /proc/12617/task/12633/stat : 12633 (java) R 12591 12591 11698 0 -1 4202560 448 1686178 0 0 10 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201495595088 140202185396689 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12634] ppid=12591 vsize=8284072 memory=512 CPUtime=43.01 cores=0-7 /proc/12617/task/12634/stat : 12634 (java) S 12591 12591 11698 0 -1 1077944384 1143 1686178 0 0 29 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201494542448 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12635] ppid=12591 vsize=8284072 memory=1564 CPUtime=42.72 cores=0-7 /proc/12617/task/12635/stat : 12635 (java) S 12591 12591 11698 0 -1 1077944384 3 1686178 0 0 0 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140199745022944 140202203883221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12636] ppid=12591 vsize=8284072 memory=928 CPUtime=42.72 cores=0-7 /proc/12617/task/12636/stat : 12636 (java) S 12591 12591 11698 0 -1 1077944384 3 1686178 0 0 0 0 3746 526 20 0 22 0 510371595 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201493490864 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12638] ppid=12591 vsize=8284072 memory=3784 CPUtime=42.72 cores=0-7 /proc/12617/task/12638/stat : 12638 (java) S 12591 12591 11698 0 -1 1077944384 25 1686178 0 0 0 0 3746 526 20 0 22 0 510371661 8482889728 36851 33554432000 4194304 4196468 140723087178960 140201491878544 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 [pid=12617/tid=12642] ppid=12591 vsize=8284072 memory=164 CPUtime=42.72 cores=0-7 /proc/12617/task/12642/stat : 12642 (java) S 12591 12591 11698 0 -1 1077944384 14 1686178 0 0 0 0 3746 526 20 0 22 0 510371664 8482889728 36851 33554432000 4194304 4196468 140723087178960 140198805496496 140202203884162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33112064 140723087184863 140723087185030 140723087185030 140723087187919 0 Current children cumulated CPU time: 89.06 s Current children cumulated vsize: 8397200 KiB Current children cumulated memory: 148880 KiB Child status: 0 Real time (s): 51.6748 CPU time (s): 89.1743 CPU user time (s): 80.8596 CPU system time (s): 8.31469 CPU usage (%): 172.568 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 6727776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 80.8597 system time used= 8.31469 maximum resident set size= 6603608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1748464 page faults= 0 swaps= 0 block input operations= 24 block output operations= 701928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 296889 involuntary context switches= 309 # summary of solver processes directly reported to runsolver: # pid: 12591 # total CPU time (s): 89.1743 # total CPU user time (s): 80.8596 # total CPU system time (s): 8.31469 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.390596 second user time and 0.587864 second system time The end
Begin job on node121 at 2019-09-24 18:03:31 IDJOB=4405245 IDBENCH=133410 IDSOLVER=2867 FILE ID=node121/4405245-1569341054 RUNJOBID= node121-1569335936-11725 PBS_JOBID= 21705063 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405245-1569341054/watcher-4405245-1569341054 -o /var/tmp/evaluation-result-4405245-1569341054/solver-4405245-1569341054 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569335936-11725 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405245-1569341054.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2 RANDOM SEED=1435980845 node121.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25544232 kB MemAvailable: 31848860 kB Buffers: 140844 kB Cached: 6254656 kB SwapCached: 4600 kB Active: 3174032 kB Inactive: 3228852 kB Active(anon): 3640 kB Inactive(anon): 53840 kB Active(file): 3170392 kB Inactive(file): 3175012 kB Unevictable: 109072 kB Mlocked: 109072 kB SwapTotal: 67108860 kB SwapFree: 66992400 kB Dirty: 20768 kB Writeback: 24 kB AnonPages: 113168 kB Mapped: 53252 kB Shmem: 41088 kB Slab: 416848 kB SReclaimable: 387684 kB SUnreclaim: 29164 kB KernelStack: 3392 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13492 MiB End job on node121 at 2019-09-24 18:04:23