Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 823.773 | 577.83 |
Name | Crossword/Crossword-m1c-ogd2008-herald/ Crossword-m1c-ogd2008-h1905.xml |
MD5SUM | b304f6c83ea7150e2963a619c79f8da9 |
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.587835 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 361 |
Number of constraints | 126 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":291}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":70},{"degree":2,"count":291}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}] |
Number of extensional constraints | 126 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":126}] |
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-27847-serial-file.bin HOME/instance-4392308-1568446866.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 09:40:27 CEST 2019 0.66/0.56 c PID: 27850 0.66/0.56 c IP: 172.20.3.133 0.66/0.56 c HOST: node133.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.19/1.46 c (0,0) Parsing End 3.19/1.47 c (0,0) CSP: 291 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 26 3.19/1.47 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.19/1.47 c (0,0) Constraint Name Generate Begin 3.19/1.48 c (0,0) Ctr:HOME/instance-4392308-1568446866.xml,ExtensionSupport:Var 3.19/1.48 c (0,0) Constraint Name Generate End 3.19/1.48 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.19/1.48 c (0,0) CSP to CSPinCNF Begin 21.65/12.41 c (11,11) translated 13 (10%) constraints 33.80/22.25 c (21,20) translated 26 (20%) constraints 42.40/30.73 c (30,29) translated 38 (30%) constraints 55.41/40.41 c (39,38) translated 51 (40%) constraints 68.41/49.43 c (48,47) translated 63 (50%) constraints 70.51/51.41 c (50,48) translated 76 (60%) constraints 99.74/75.17 c (74,72) translated 89 (70%) constraints 314.25/230.40 c (229,218) translated 101 (80%) constraints 395.20/294.54 c (294,280) translated 114 (90%) constraints 430.90/323.84 c (323,308) translated 126 (100%) constraints 450.28/338.77 c (338,323) =========================================== 450.39/338.81 c (338,323) Order 450.39/338.81 c (338,323) =========================================== 465.27/350.70 c (350,334) translated 585457 (10%) constraints 477.07/362.51 c (361,346) translated 1170914 (20%) constraints 494.45/375.39 c (374,358) translated 1756371 (30%) constraints 506.65/387.51 c (386,370) translated 2341828 (40%) constraints 524.44/400.36 c (399,382) translated 2927285 (50%) constraints 541.65/412.47 c (411,394) translated 3512742 (60%) constraints 553.26/424.10 c (423,405) translated 4098199 (70%) constraints 571.17/437.01 c (436,418) translated 4683656 (80%) constraints 583.36/449.18 c (448,430) translated 5269113 (90%) constraints 601.07/461.76 c (461,442) translated 5854569 (100%) constraints 601.07/461.76 c (461,442) CSP to CSPinCNF End 601.30/461.95 c (461,442) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 601.30/461.95 c (461,442) Heap : 9239 MiB used (max 21744 MiB), NonHeap : 27 MiB used (max 0 MiB) 601.30/461.95 c (461,442) CSPinCNF Propagation Begin 666.63/493.02 c (492,468) 0 values, 126 unsatisfiable literals, and 0 valid clauses are removed 666.63/493.02 c (492,468) CSPinCNF Propagation End 666.83/493.20 c (492,468) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 666.83/493.20 c (492,468) Heap : 13521 MiB used (max 21826 MiB), NonHeap : 27 MiB used (max 0 MiB) 666.83/493.24 c (492,468) Simplify CSPinCNF Begin 690.83/505.54 c (504,479) Simplify CSPinCNF End 691.03/505.72 c (505,479) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 691.03/505.72 c (505,479) Heap : 14343 MiB used (max 20747 MiB), NonHeap : 27 MiB used (max 0 MiB) 691.03/505.72 c (505,479) Calculate Precise Domain Begin 691.03/505.72 c (505,479) 0 values are removed by re-calculation 691.03/505.72 c (505,479) Calculate Precise Domain End 691.23/505.90 c (505,479) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26 691.23/505.90 c (505,479) Heap : 14343 MiB used (max 20747 MiB), NonHeap : 27 MiB used (max 0 MiB) 691.23/505.90 c (505,479) CSPinCNF to SatSolver Begin 708.90/513.73 c (513,486) 585457 (10 %) CSP clauses are encoded (0 SAT variables, 592434 SAT clauses) 719.07/519.82 c (519,491) 1170914 (20 %) CSP clauses are encoded (0 SAT variables, 1177891 SAT clauses) 727.36/525.93 c (525,497) 1756371 (30 %) CSP clauses are encoded (0 SAT variables, 1763348 SAT clauses) 735.65/531.97 c (531,503) 2341828 (40 %) CSP clauses are encoded (0 SAT variables, 2348805 SAT clauses) 743.94/538.00 c (537,509) 2927285 (50 %) CSP clauses are encoded (0 SAT variables, 2934262 SAT clauses) 751.75/543.49 c (542,514) 3512742 (60 %) CSP clauses are encoded (0 SAT variables, 3519719 SAT clauses) 759.82/549.15 c (548,519) 4098199 (70 %) CSP clauses are encoded (0 SAT variables, 4105176 SAT clauses) 768.16/555.18 c (554,525) 4683656 (80 %) CSP clauses are encoded (0 SAT variables, 4690633 SAT clauses) 776.61/561.23 c (560,530) 5269113 (90 %) CSP clauses are encoded (0 SAT variables, 5276090 SAT clauses) 784.69/566.97 c (566,536) 5854569 (100 %) CSP clauses are encoded (0 SAT variables, 5861546 SAT clauses) 784.69/566.97 c (566,536) CSPinCNF to SatSolver End 784.69/566.97 c (566,536) Heap : 14779 MiB used (max 21510 MiB), NonHeap : 29 MiB used (max 0 MiB) 784.69/566.97 c (566,536) 619855 bool, 5861547 clause 784.69/566.97 c (566,536) Export Begin 784.81/567.10 c (566,536) Export to HOME/scop-27847-serial-file.bin 784.81/567.10 c (566,536) Export End 784.81/567.10 c (566,536) Export File Size: 0.06 MB 784.81/567.10 c (566,536) 0,0,461,492,505,505,566,STOP-AFTER(DIMACS) 784.81/567.10 c END-Prog: Sat Sep 14 09:49:54 CEST 2019 0.00/567.22 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27847-serial-file.bin 785.12/567.69 c (0,0) Read Serial File Begin 785.12/567.69 c (0,0) HOME/scop-27847-serial-file.bin 785.12/567.94 c (0,0) Read Serial File End 785.12/567.95 785.12/567.95 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 785.12/567.95 (Solving Process) 785.12/567.95 785.12/567.97 c BEGIN-Prog: Sat Sep 14 09:49:55 CEST 2019 785.12/567.97 c PID: 27908 785.12/567.97 c IP: 172.20.3.133 785.12/567.97 c HOST: node133.alineos.net 785.12/567.98 c (0,0) SatSolver.solve Begin 785.12/567.98 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392308-1568446866.xml-scop-27850.cnf 786.39/568.01 c (0,0) c 786.39/568.01 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) 786.39/568.01 c (0,0) c 786.39/568.01 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 786.39/568.01 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 786.39/568.01 c (0,0) c ========================================[ Problem Statistics ]=========================================== 786.39/568.01 c (0,0) c | | 788.65/570.27 c (2,0) c | Number of variables: 619855 | 788.65/570.27 c (2,0) c | Number of clauses: 5861454 | 788.65/570.27 c (2,0) c | Parse time: 2.09 s | 788.65/570.27 c (2,0) c | | 789.16/570.79 c (3,0) c | Too many clauses... No preprocessing | 789.16/570.79 c (3,0) c | Simplification time: 0.46 s | 789.16/570.79 c (3,0) c | | 789.26/570.81 c (3,0) c | Generating clones | 791.05/572.66 c (5,0) c | all clones generated. Memory = 3622.59Mb. | 791.05/572.66 c (5,0) c ========================================================================================================| 791.05/572.66 c (5,0) c 791.05/572.66 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 791.05/572.66 c (5,0) c 791.05/572.66 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 791.05/572.66 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 791.05/572.66 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 791.05/572.66 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 791.05/572.66 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 791.05/572.66 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 791.05/572.66 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 791.05/572.66 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 791.05/572.66 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 791.05/572.66 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 791.05/572.66 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 791.05/572.66 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 791.05/572.66 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 791.05/572.66 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 791.05/572.66 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 791.05/572.66 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 791.05/572.66 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 791.05/572.66 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 791.05/572.66 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.26 c (9,0) c 822.45/577.26 c (9,0) c real time : 9.26154 s 822.45/577.26 c (9,0) c cpu time : 32.4233 s 822.45/577.26 c (9,0) c 822.45/577.27 c (9,0) c 822.45/577.27 c (9,0) c 822.45/577.27 c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 822.45/577.27 c (9,0) c 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | Conflicts | 9679 | 1332 | 1121 | 1610 | 1106 | 1078 | 1147 | 1311 | 974 | 822.45/577.27 c (9,0) c | Decisions | 698768 | 102008 | 82548 | 74431 | 126285 | 82208 | 81886 | 64686 | 84716 | 822.45/577.27 c (9,0) c | Propagations | 75474471 | 9091066 | 9463557 | 9380333 | 8411488 | 10443303 | 9364659 | 10253894 | 9066171 | 822.45/577.27 c (9,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 822.45/577.27 c (9,0) c | Restarts | 33 | 4 | 5 | 5 | 3 | 4 | 5 | 6 | 1 | 822.45/577.27 c (9,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | PropBinClauses| 86815928 | 10509022 | 10894957 | 10793769 | 9779811 | 11736002 | 10746952 | 12102696 | 10252719 | 822.45/577.27 c (9,0) c | PropPreBlocker| 388888243 | 49936736 | 47638408 | 48895710 | 47033583 | 54344424 | 47585669 | 44466852 | 48986861 | 822.45/577.27 c (9,0) c | PropNotBlocker| 111695393 | 14278911 | 13918648 | 15150395 | 13366290 | 14017272 | 14352416 | 13591404 | 13020057 | 822.45/577.27 c (9,0) c | LitFullScans | 707002629 | 90271797 | 86081139 | 90006376 | 84357270 | 96071012 | 90031160 | 84065462 | 86118413 | 822.45/577.27 c (9,0) c | LitScanFracts | 144037 | 24830 | 16243 | 5371 | 24201 | 13020 | 12317 | 31723 | 16332 | 822.45/577.27 c (9,0) c | DecisionLevel0| 33 | 4 | 5 | 5 | 3 | 4 | 5 | 6 | 1 | 822.45/577.27 c (9,0) c | Periods | 117 | 15 | 14 | 15 | 14 | 16 | 15 | 14 | 14 | 822.45/577.27 c (9,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 822.45/577.27 c (9,0) c | Avg_Trail | | 360074 | 228437 | 248199 | 346461 | 296763 | 261868 | 240146 | 439128 | 822.45/577.27 c (9,0) c | Avg_DL | | 3763 | 893 | 765 | 2810 | 1118 | 1498 | 1414 | 2024 | 822.45/577.27 c (9,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | Exported | 597 | 69 | 77 | 101 | 70 | 79 | 65 | 70 | 66 | 822.45/577.27 c (9,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 822.45/577.27 c (9,0) c | Binaries | | 55 | 54 | 79 | 53 | 47 | 50 | 50 | 58 | 822.45/577.27 c (9,0) c | Glues | | 69 | 77 | 101 | 70 | 79 | 65 | 70 | 66 | 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | Orig_Seen | 0 % | 43822 | 23707 | 34451 | 52896 | 34034 | 38465 | 37209 | 29330 | 822.45/577.27 c (9,0) c | Diff Orig seen| | 14492 | - 5623 | 5121 | 23566 | 4704 | 9135 | 7879 | X | 822.45/577.27 c (9,0) c | Hamming | 7 % | 44240 | 43494 | 44232 | 48026 | 42425 | 41526 | 41475 | X | 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c | RunningTime | | 4.2 100%| 4.1 100%| 4.2 100%| 4.3 100%| 4.2 100%| 4.3 100%| 4.6 100%| 4.1 100%| 822.45/577.27 c (9,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | SolvingTime | | 4.2 | 4.1 | 4.2 | 4.3 | 4.2 | 4.3 | 4.6 | 4.1 | 822.45/577.27 c (9,0) c | PropagationTim| | 3.9 92%| 3.8 93%| 3.9 93%| 3.9 91%| 3.8 92%| 3.9 91%| 4.2 93%| 3.8 93%| 822.45/577.27 c (9,0) c | AnalysisTime | | 0.1 2%| 0.1 1%| 0.1 2%| 0.1 2%| 0.1 1%| 0.1 3%| 0.1 2%| 0.1 1%| 822.45/577.27 c (9,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 822.45/577.27 c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.27 c (9,0) c 822.45/577.27 c (9,0) c 822.45/577.27 c (9,0) c Threads : 8 822.45/577.27 c (9,0) c Winner : 7 822.45/577.27 c (9,0) c Conflicts_0 : 1332 822.45/577.27 c (9,0) c Conflicts_1 : 1121 822.45/577.27 c (9,0) c Conflicts_2 : 1610 822.45/577.27 c (9,0) c Conflicts_3 : 1106 822.45/577.27 c (9,0) c Conflicts_4 : 1078 822.45/577.27 c (9,0) c Conflicts_5 : 1147 822.45/577.27 c (9,0) c Conflicts_6 : 1311 822.45/577.27 c (9,0) c Conflicts_7 : 974 822.45/577.27 c (9,0) c Conflicts_total : 9679 822.45/577.27 c (9,0) c Conflicts_winner : 974 822.45/577.27 c (9,0) c Decisions_0 : 102008 822.45/577.27 c (9,0) c Decisions_1 : 82548 822.45/577.27 c (9,0) c Decisions_2 : 74431 822.45/577.27 c (9,0) c Decisions_3 : 126285 822.45/577.27 c (9,0) c Decisions_4 : 82208 822.45/577.27 c (9,0) c Decisions_5 : 81886 822.45/577.27 c (9,0) c Decisions_6 : 64686 822.45/577.27 c (9,0) c Decisions_7 : 84716 822.45/577.27 c (9,0) c Decisions_total : 698768 822.45/577.27 c (9,0) c Decisions_winner : 84716 822.45/577.27 c (9,0) c Propagations_0 : 9091066 822.45/577.27 c (9,0) c Propagations_1 : 9463557 822.45/577.27 c (9,0) c Propagations_2 : 9380333 822.45/577.27 c (9,0) c Propagations_3 : 8411488 822.45/577.27 c (9,0) c Propagations_4 : 10443303 822.45/577.27 c (9,0) c Propagations_5 : 9364659 822.45/577.27 c (9,0) c Propagations_6 : 10253894 822.45/577.27 c (9,0) c Propagations_7 : 9066171 822.45/577.27 c (9,0) c Propagations_total : 75474471 822.45/577.27 c (9,0) c Propagations_winner : 9066171 822.45/577.27 c (9,0) c ReduceDBs_0 : 0 822.45/577.27 c (9,0) c ReduceDBs_1 : 0 822.45/577.27 c (9,0) c ReduceDBs_2 : 0 822.45/577.27 c (9,0) c ReduceDBs_3 : 0 822.45/577.27 c (9,0) c ReduceDBs_4 : 0 822.45/577.27 c (9,0) c ReduceDBs_5 : 0 822.45/577.27 c (9,0) c ReduceDBs_6 : 0 822.45/577.27 c (9,0) c ReduceDBs_7 : 0 822.45/577.27 c (9,0) c ReduceDBs_total : 0 822.45/577.27 c (9,0) c ReduceDBs_winner : 0 822.45/577.27 c (9,0) c SimpDBs_0 : 1 822.45/577.27 c (9,0) c SimpDBs_1 : 1 822.45/577.27 c (9,0) c SimpDBs_2 : 1 822.45/577.27 c (9,0) c SimpDBs_3 : 1 822.45/577.27 c (9,0) c SimpDBs_4 : 1 822.45/577.27 c (9,0) c SimpDBs_5 : 1 822.45/577.27 c (9,0) c SimpDBs_6 : 1 822.45/577.27 c (9,0) c SimpDBs_7 : 1 822.45/577.27 c (9,0) c SimpDBs_total : 8 822.45/577.27 c (9,0) c SimpDBs_winner : 1 822.45/577.27 c (9,0) c Restarts_0 : 4 822.45/577.27 c (9,0) c Restarts_1 : 5 822.45/577.27 c (9,0) c Restarts_2 : 5 822.45/577.27 c (9,0) c Restarts_3 : 3 822.45/577.27 c (9,0) c Restarts_4 : 4 822.45/577.27 c (9,0) c Restarts_5 : 5 822.45/577.27 c (9,0) c Restarts_6 : 6 822.45/577.27 c (9,0) c Restarts_7 : 1 822.45/577.27 c (9,0) c Restarts_total : 33 822.45/577.27 c (9,0) c Restarts_winner : 1 822.45/577.27 c (9,0) c ForcedImports_0 : 0 822.45/577.27 c (9,0) c ForcedImports_1 : 0 822.45/577.27 c (9,0) c ForcedImports_2 : 0 822.45/577.27 c (9,0) c ForcedImports_3 : 0 822.45/577.27 c (9,0) c ForcedImports_4 : 0 822.45/577.27 c (9,0) c ForcedImports_5 : 0 822.45/577.27 c (9,0) c ForcedImports_6 : 0 822.45/577.27 c (9,0) c ForcedImports_7 : 0 822.45/577.27 c (9,0) c ForcedImports_total : 0 822.45/577.27 c (9,0) c ForcedImports_winner : 0 822.45/577.27 c (9,0) c PropsBinClauses_0 : 10509022 822.45/577.27 c (9,0) c PropsBinClauses_1 : 10894957 822.45/577.27 c (9,0) c PropsBinClauses_2 : 10793769 822.45/577.27 c (9,0) c PropsBinClauses_3 : 9779811 822.45/577.27 c (9,0) c PropsBinClauses_4 : 11736002 822.45/577.27 c (9,0) c PropsBinClauses_5 : 10746952 822.45/577.27 c (9,0) c PropsBinClauses_6 : 12102696 822.45/577.27 c (9,0) c PropsBinClauses_7 : 10252719 822.45/577.27 c (9,0) c PropsBinClauses_total : 86815928 822.45/577.27 c (9,0) c PropsBinClauses_winner : 10252719 822.45/577.27 c (9,0) c PropsPreBlocker_0 : 49936736 822.45/577.27 c (9,0) c PropsPreBlocker_1 : 47638408 822.45/577.27 c (9,0) c PropsPreBlocker_2 : 48895710 822.45/577.27 c (9,0) c PropsPreBlocker_3 : 47033583 822.45/577.27 c (9,0) c PropsPreBlocker_4 : 54344424 822.45/577.27 c (9,0) c PropsPreBlocker_5 : 47585669 822.45/577.27 c (9,0) c PropsPreBlocker_6 : 44466852 822.45/577.27 c (9,0) c PropsPreBlocker_7 : 48986861 822.45/577.27 c (9,0) c PropsPreBlocker_total : 388888243 822.45/577.27 c (9,0) c PropsPreBlocker_winner : 48986861 822.45/577.27 c (9,0) c PropsNotBlocker_0 : 14278911 822.45/577.27 c (9,0) c PropsNotBlocker_1 : 13918648 822.45/577.27 c (9,0) c PropsNotBlocker_2 : 15150395 822.45/577.27 c (9,0) c PropsNotBlocker_3 : 13366290 822.45/577.27 c (9,0) c PropsNotBlocker_4 : 14017272 822.45/577.27 c (9,0) c PropsNotBlocker_5 : 14352416 822.45/577.27 c (9,0) c PropsNotBlocker_6 : 13591404 822.45/577.27 c (9,0) c PropsNotBlocker_7 : 13020057 822.45/577.27 c (9,0) c PropsNotBlocker_total : 111695393 822.45/577.27 c (9,0) c PropsNotBlocker_winner : 13020057 822.45/577.27 c (9,0) c PropsLitFullScans_0 : 90271797 822.45/577.27 c (9,0) c PropsLitFullScans_1 : 86081139 822.45/577.27 c (9,0) c PropsLitFullScans_2 : 90006376 822.45/577.27 c (9,0) c PropsLitFullScans_3 : 84357270 822.45/577.27 c (9,0) c PropsLitFullScans_4 : 96071012 822.45/577.27 c (9,0) c PropsLitFullScans_5 : 90031160 822.45/577.27 c (9,0) c PropsLitFullScans_6 : 84065462 822.45/577.27 c (9,0) c PropsLitFullScans_7 : 86118413 822.45/577.27 c (9,0) c PropsLitFullScans_total : 707002629 822.45/577.27 c (9,0) c PropsLitFullScans_winner : 86118413 822.45/577.27 c (9,0) c LitScanFractions_0 : 24830 822.45/577.27 c (9,0) c LitScanFractions_1 : 16243 822.45/577.27 c (9,0) c LitScanFractions_2 : 5371 822.45/577.27 c (9,0) c LitScanFractions_3 : 24201 822.45/577.27 c (9,0) c LitScanFractions_4 : 13020 822.45/577.27 c (9,0) c LitScanFractions_5 : 12317 822.45/577.27 c (9,0) c LitScanFractions_6 : 31723 822.45/577.27 c (9,0) c LitScanFractions_7 : 16332 822.45/577.27 c (9,0) c LitScanFractions_total : 144037 822.45/577.27 c (9,0) c LitScanFractions_winner : 16332 822.45/577.27 c (9,0) c DecisionLevel0_0 : 4 822.45/577.27 c (9,0) c DecisionLevel0_1 : 5 822.45/577.27 c (9,0) c DecisionLevel0_2 : 5 822.45/577.27 c (9,0) c DecisionLevel0_3 : 3 822.45/577.27 c (9,0) c DecisionLevel0_4 : 4 822.45/577.27 c (9,0) c DecisionLevel0_5 : 5 822.45/577.27 c (9,0) c DecisionLevel0_6 : 6 822.45/577.27 c (9,0) c DecisionLevel0_7 : 1 822.45/577.27 c (9,0) c DecisionLevel0_total : 33 822.45/577.27 c (9,0) c DecisionLevel0_winner : 1 822.45/577.27 c (9,0) c Periods_0 : 15 822.45/577.27 c (9,0) c Periods_1 : 14 822.45/577.27 c (9,0) c Periods_2 : 15 822.45/577.27 c (9,0) c Periods_3 : 14 822.45/577.27 c (9,0) c Periods_4 : 16 822.45/577.27 c (9,0) c Periods_5 : 15 822.45/577.27 c (9,0) c Periods_6 : 14 822.45/577.27 c (9,0) c Periods_7 : 14 822.45/577.27 c (9,0) c Periods_total : 117 822.45/577.27 c (9,0) c Periods_winner : 14 822.45/577.27 c (9,0) c Margin_0 : 20 822.45/577.27 c (9,0) c Margin_1 : 20 822.45/577.27 c (9,0) c Margin_2 : 20 822.45/577.27 c (9,0) c Margin_3 : 20 822.45/577.27 c (9,0) c Margin_4 : 20 822.45/577.27 c (9,0) c Margin_5 : 20 822.45/577.27 c (9,0) c Margin_6 : 20 822.45/577.27 c (9,0) c Margin_7 : 20 822.45/577.27 c (9,0) c Margin_total : 160 822.45/577.27 c (9,0) c Margin_winner : 20 822.45/577.27 c (9,0) c Exported_0 : 69 822.45/577.27 c (9,0) c Exported_1 : 77 822.45/577.27 c (9,0) c Exported_2 : 101 822.45/577.27 c (9,0) c Exported_3 : 70 822.45/577.27 c (9,0) c Exported_4 : 79 822.45/577.27 c (9,0) c Exported_5 : 65 822.45/577.27 c (9,0) c Exported_6 : 70 822.45/577.27 c (9,0) c Exported_7 : 66 822.45/577.27 c (9,0) c Exported_total : 597 822.45/577.27 c (9,0) c Exported_winner : 66 822.45/577.27 c (9,0) c Imported_0 : 0 822.45/577.27 c (9,0) c Imported_1 : 0 822.45/577.27 c (9,0) c Imported_2 : 0 822.45/577.27 c (9,0) c Imported_3 : 0 822.45/577.27 c (9,0) c Imported_4 : 0 822.45/577.27 c (9,0) c Imported_5 : 0 822.45/577.27 c (9,0) c Imported_6 : 0 822.45/577.27 c (9,0) c Imported_7 : 0 822.45/577.27 c (9,0) c Imported_total : 0 822.45/577.27 c (9,0) c Imported_winner : 0 822.45/577.27 c (9,0) c Good_0 : 0 822.45/577.27 c (9,0) c Good_1 : 0 822.45/577.27 c (9,0) c Good_2 : 0 822.45/577.28 c (9,0) c Good_3 : 0 822.45/577.28 c (9,0) c Good_4 : 0 822.45/577.28 c (9,0) c Good_5 : 0 822.45/577.28 c (9,0) c Good_6 : 0 822.45/577.28 c (9,0) c Good_7 : 0 822.45/577.28 c (9,0) c Good_total : 0 822.45/577.28 c (9,0) c Good_winner : 0 822.45/577.28 c (9,0) c Purge_0 : 0 822.45/577.28 c (9,0) c Purge_1 : 0 822.45/577.28 c (9,0) c Purge_2 : 0 822.45/577.28 c (9,0) c Purge_3 : 0 822.45/577.28 c (9,0) c Purge_4 : 0 822.45/577.28 c (9,0) c Purge_5 : 0 822.45/577.28 c (9,0) c Purge_6 : 0 822.45/577.28 c (9,0) c Purge_7 : 0 822.45/577.28 c (9,0) c Purge_total : 0 822.45/577.28 c (9,0) c Purge_winner : 0 822.45/577.28 c (9,0) c Promoted_0 : 0 822.45/577.28 c (9,0) c Promoted_1 : 0 822.45/577.28 c (9,0) c Promoted_2 : 0 822.45/577.28 c (9,0) c Promoted_3 : 0 822.45/577.28 c (9,0) c Promoted_4 : 0 822.45/577.28 c (9,0) c Promoted_5 : 0 822.45/577.28 c (9,0) c Promoted_6 : 0 822.45/577.28 c (9,0) c Promoted_7 : 0 822.45/577.28 c (9,0) c Promoted_total : 0 822.45/577.28 c (9,0) c Promoted_winner : 0 822.45/577.28 c (9,0) c Remove_Imp_0 : 0 822.45/577.28 c (9,0) c Remove_Imp_1 : 0 822.45/577.28 c (9,0) c Remove_Imp_2 : 0 822.45/577.28 c (9,0) c Remove_Imp_3 : 0 822.45/577.28 c (9,0) c Remove_Imp_4 : 0 822.45/577.28 c (9,0) c Remove_Imp_5 : 0 822.45/577.28 c (9,0) c Remove_Imp_6 : 0 822.45/577.28 c (9,0) c Remove_Imp_7 : 0 822.45/577.28 c (9,0) c Remove_Imp_total : 0 822.45/577.28 c (9,0) c Remove_Imp_winner : 0 822.45/577.28 c (9,0) c Blocked_Reuse_0 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_1 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_2 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_3 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_4 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_5 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_6 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_7 : 0 822.45/577.28 c (9,0) c Blocked_Reuse_total : 0 822.45/577.28 c (9,0) c Blocked_Reuse_winner : 0 822.45/577.28 c (9,0) c Unaries_0 : 0 822.45/577.28 c (9,0) c Unaries_1 : 0 822.45/577.28 c (9,0) c Unaries_2 : 0 822.45/577.28 c (9,0) c Unaries_3 : 0 822.45/577.28 c (9,0) c Unaries_4 : 0 822.45/577.28 c (9,0) c Unaries_5 : 0 822.45/577.28 c (9,0) c Unaries_6 : 0 822.45/577.28 c (9,0) c Unaries_7 : 0 822.45/577.28 c (9,0) c Unaries_total : 0 822.45/577.28 c (9,0) c Unaries_winner : 0 822.45/577.28 c (9,0) c Binaries_0 : 55 822.45/577.28 c (9,0) c Binaries_1 : 54 822.45/577.28 c (9,0) c Binaries_2 : 79 822.45/577.28 c (9,0) c Binaries_3 : 53 822.45/577.28 c (9,0) c Binaries_4 : 47 822.45/577.28 c (9,0) c Binaries_5 : 50 822.45/577.28 c (9,0) c Binaries_6 : 50 822.45/577.28 c (9,0) c Binaries_7 : 58 822.45/577.28 c (9,0) c Binaries_total : 446 822.45/577.28 c (9,0) c Binaries_winner : 58 822.45/577.28 c (9,0) c Glues_0 : 69 822.45/577.28 c (9,0) c Glues_1 : 77 822.45/577.28 c (9,0) c Glues_2 : 101 822.45/577.28 c (9,0) c Glues_3 : 70 822.45/577.28 c (9,0) c Glues_4 : 79 822.45/577.28 c (9,0) c Glues_5 : 65 822.45/577.28 c (9,0) c Glues_6 : 70 822.45/577.28 c (9,0) c Glues_7 : 66 822.45/577.28 c (9,0) c Glues_total : 597 822.45/577.28 c (9,0) c Glues_winner : 66 822.45/577.28 c (9,0) c RunningTime_0 : 4.229636 822.45/577.28 c (9,0) c RunningTime_1 : 4.116699 822.45/577.28 c (9,0) c RunningTime_2 : 4.171658 822.45/577.28 c (9,0) c RunningTime_3 : 4.289679 822.45/577.28 c (9,0) c RunningTime_4 : 4.166479 822.45/577.28 c (9,0) c RunningTime_5 : 4.252784 822.45/577.28 c (9,0) c RunningTime_6 : 4.552115 822.45/577.28 c (9,0) c RunningTime_7 : 4.106665 822.45/577.28 c (9,0) c RunningTime_total : 33.885713 822.45/577.28 c (9,0) c RunningTime_winner : 4.106665 822.45/577.28 c (9,0) c WaitingTime_0 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_1 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_2 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_3 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_4 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_5 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_6 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_7 : 0.000000 822.45/577.28 c (9,0) c WaitingTime_total : 0.000000 822.45/577.28 c (9,0) c WaitingTime_winner : 0.000000 822.45/577.28 c (9,0) c ExchangingTime_0 : 0.000323 822.45/577.28 c (9,0) c ExchangingTime_1 : 0.000313 822.45/577.28 c (9,0) c ExchangingTime_2 : 0.000418 822.45/577.28 c (9,0) c ExchangingTime_3 : 0.000372 822.45/577.28 c (9,0) c ExchangingTime_4 : 0.000333 822.45/577.28 c (9,0) c ExchangingTime_5 : 0.000518 822.45/577.28 c (9,0) c ExchangingTime_6 : 0.000407 822.45/577.28 c (9,0) c ExchangingTime_7 : 0.000335 822.45/577.28 c (9,0) c ExchangingTime_total : 0.003019 822.45/577.28 c (9,0) c ExchangingTime_winner : 0.000335 822.45/577.28 c (9,0) c PeriodProcTime_0 : 0.000155 822.45/577.28 c (9,0) c PeriodProcTime_1 : 0.000208 822.45/577.28 c (9,0) c PeriodProcTime_2 : 0.000183 822.45/577.28 c (9,0) c PeriodProcTime_3 : 0.000192 822.45/577.28 c (9,0) c PeriodProcTime_4 : 0.000159 822.45/577.28 c (9,0) c PeriodProcTime_5 : 0.000213 822.45/577.28 c (9,0) c PeriodProcTime_6 : 0.000175 822.45/577.28 c (9,0) c PeriodProcTime_7 : 0.000189 822.45/577.28 c (9,0) c PeriodProcTime_total : 0.001475 822.45/577.28 c (9,0) c PeriodProcTime_winner : 0.000189 822.45/577.28 c (9,0) c SolvingTime_0 : 4.230114 822.45/577.28 c (9,0) c SolvingTime_1 : 4.117220 822.45/577.28 c (9,0) c SolvingTime_2 : 4.172259 822.45/577.28 c (9,0) c SolvingTime_3 : 4.290243 822.45/577.28 c (9,0) c SolvingTime_4 : 4.166971 822.45/577.28 c (9,0) c SolvingTime_5 : 4.253514 822.45/577.28 c (9,0) c SolvingTime_6 : 4.552697 822.45/577.28 c (9,0) c SolvingTime_7 : 4.107189 822.45/577.28 c (9,0) c SolvingTime_total : 33.890207 822.45/577.28 c (9,0) c SolvingTime_winner : 4.107189 822.45/577.28 c (9,0) c PropagationTime_0 : 3.877923 822.45/577.28 c (9,0) c PropagationTime_1 : 3.842865 822.45/577.28 c (9,0) c PropagationTime_2 : 3.864435 822.45/577.28 c (9,0) c PropagationTime_3 : 3.915988 822.45/577.28 c (9,0) c PropagationTime_4 : 3.829834 822.45/577.28 c (9,0) c PropagationTime_5 : 3.864020 822.45/577.28 c (9,0) c PropagationTime_6 : 4.236576 822.45/577.28 c (9,0) c PropagationTime_7 : 3.802108 822.45/577.28 c (9,0) c PropagationTime_total : 31.233750 822.45/577.28 c (9,0) c PropagationTime_winner : 3.802108 822.45/577.28 c (9,0) c AnalysisTime_0 : 0.083335 822.45/577.28 c (9,0) c AnalysisTime_1 : 0.053467 822.45/577.28 c (9,0) c AnalysisTime_2 : 0.091862 822.45/577.28 c (9,0) c AnalysisTime_3 : 0.091969 822.45/577.28 c (9,0) c AnalysisTime_4 : 0.062500 822.45/577.28 c (9,0) c AnalysisTime_5 : 0.134836 822.45/577.28 c (9,0) c AnalysisTime_6 : 0.082153 822.45/577.28 c (9,0) c AnalysisTime_7 : 0.057843 822.45/577.28 c (9,0) c AnalysisTime_total : 0.657965 822.45/577.28 c (9,0) c AnalysisTime_winner : 0.057843 822.45/577.28 c (9,0) c ReductionTime_0 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_1 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_2 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_3 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_4 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_5 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_6 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_7 : 0.000000 822.45/577.28 c (9,0) c ReductionTime_total : 0.000000 822.45/577.28 c (9,0) c ReductionTime_winner : 0.000000 822.45/577.28 c (9,0) c SimplifyTime_0 : 0.000001 822.45/577.28 c (9,0) c SimplifyTime_1 : 0.000001 822.45/577.28 c (9,0) c SimplifyTime_2 : 0.000002 822.45/577.28 c (9,0) c SimplifyTime_3 : 0.000001 822.45/577.28 c (9,0) c SimplifyTime_4 : 0.000000 822.45/577.28 c (9,0) c SimplifyTime_5 : 0.000001 822.45/577.28 c (9,0) c SimplifyTime_6 : 0.000000 822.45/577.28 c (9,0) c SimplifyTime_7 : 0.000000 822.45/577.28 c (9,0) c SimplifyTime_total : 0.000006 822.45/577.28 c (9,0) c SimplifyTime_winner : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_0 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_1 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_2 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_3 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_4 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_5 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_6 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_7 : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_total : 0.000000 822.45/577.28 c (9,0) c UsedRateTime_winner : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_0 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_1 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_2 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_3 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_4 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_5 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_6 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_7 : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_total : 0.000000 822.45/577.28 c (9,0) c OverlapRateTime_winner : 0.000000 822.45/577.28 c (9,0) c 822.45/577.28 c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 822.45/577.28 c (9,0) c 822.45/577.28 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.28 c (9,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 822.45/577.28 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.28 c (9,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 822.45/577.28 c (9,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 822.45/577.28 c (9,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 822.45/577.28 c (9,0) c | Initial random_seed | 1373710713 | 785443090 | 1126056153 | 374329080 | 812896277 | 1623805156 | 1399776415 | 1887885804 | 822.45/577.28 c (9,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 822.45/577.28 c (9,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 822.45/577.28 c (9,0) c | glureduce | True | True | True | True | True | True | True | True | 822.45/577.28 c (9,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 822.45/577.28 c (9,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 822.45/577.28 c (9,0) c | luby_restart | False | False | False | False | False | False | False | False | 822.45/577.28 c (9,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 822.45/577.28 c (9,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 822.45/577.28 c (9,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 822.45/577.28 c (9,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 822.45/577.28 c (9,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 822.45/577.28 c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 822.45/577.28 c (9,0) 822.45/577.28 c (9,0) s SATISFIABLE 823.32/577.63 c (10,0) SatSolver.solve End 823.32/577.63 c (10,0) Heap : 221 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 823.32/577.64 c (10,0) Show results Begin 823.50/577.77 c (10,0) x[0][0] = 0 823.50/577.77 c (10,0) x[0][1] = 17 823.50/577.77 c (10,0) x[0][2] = 19 823.50/577.77 c (10,0) x[0][3] = 15 823.50/577.77 c (10,0) x[0][6] = 0 823.50/577.77 c (10,0) x[0][7] = 1 823.50/577.77 c (10,0) x[0][8] = 18 823.50/577.77 c (10,0) x[0][10] = 10 823.50/577.77 c (10,0) x[0][11] = 17 823.50/577.77 c (10,0) x[0][12] = 0 823.50/577.77 c (10,0) x[0][13] = 4 823.50/577.77 c (10,0) x[0][15] = 1 823.50/577.77 c (10,0) x[0][16] = 0 823.50/577.77 c (10,0) x[0][17] = 2 823.50/577.77 c (10,0) x[0][18] = 18 823.50/577.77 c (10,0) x[1][0] = 15 823.50/577.77 c (10,0) x[1][1] = 8 823.50/577.77 c (10,0) x[1][2] = 17 823.50/577.77 c (10,0) x[1][3] = 0 823.50/577.77 c (10,0) x[1][5] = 0 823.50/577.77 c (10,0) x[1][6] = 2 823.50/577.77 c (10,0) x[1][7] = 19 823.50/577.77 c (10,0) x[1][8] = 0 823.50/577.77 c (10,0) x[1][10] = 7 823.50/577.77 c (10,0) x[1][11] = 14 823.50/577.77 c (10,0) x[1][12] = 8 823.50/577.77 c (10,0) x[1][13] = 11 823.50/577.77 c (10,0) x[1][15] = 14 823.50/577.77 c (10,0) x[1][16] = 2 823.50/577.77 c (10,0) x[1][17] = 0 823.50/577.77 c (10,0) x[1][18] = 20 823.50/577.77 c (10,0) x[2][0] = 14 823.50/577.77 c (10,0) x[2][1] = 15 823.50/577.77 c (10,0) x[2][2] = 0 823.50/577.77 c (10,0) x[2][3] = 7 823.50/577.77 c (10,0) x[2][5] = 17 823.50/577.77 c (10,0) x[2][6] = 7 823.50/577.77 c (10,0) x[2][7] = 20 823.50/577.77 c (10,0) x[2][8] = 12 823.50/577.77 c (10,0) x[2][10] = 0 823.50/577.77 c (10,0) x[2][11] = 6 823.50/577.77 c (10,0) x[2][12] = 18 823.50/577.77 c (10,0) x[2][13] = 20 823.50/577.77 c (10,0) x[2][15] = 18 823.50/577.77 c (10,0) x[2][16] = 19 823.50/577.77 c (10,0) x[2][17] = 14 823.50/577.77 c (10,0) x[2][18] = 11 823.50/577.77 c (10,0) x[3][0] = 18 823.50/577.77 c (10,0) x[3][1] = 0 823.50/577.77 c (10,0) x[3][2] = 12 823.50/577.77 c (10,0) x[3][3] = 0 823.50/577.77 c (10,0) x[3][4] = 8 823.50/577.77 c (10,0) x[3][5] = 6 823.50/577.77 c (10,0) x[3][6] = 4 823.50/577.77 c (10,0) x[3][8] = 15 823.50/577.77 c (10,0) x[3][9] = 20 823.50/577.77 c (10,0) x[3][10] = 18 823.50/577.77 c (10,0) x[3][12] = 18 823.50/577.77 c (10,0) x[3][13] = 4 823.50/577.77 c (10,0) x[3][14] = 19 823.50/577.77 c (10,0) x[3][15] = 18 823.50/577.77 c (10,0) x[4][3] = 10 823.50/577.77 c (10,0) x[4][4] = 14 823.50/577.77 c (10,0) x[4][5] = 20 823.50/577.77 c (10,0) x[4][6] = 1 823.50/577.77 c (10,0) x[4][7] = 1 823.50/577.77 c (10,0) x[4][8] = 0 823.50/577.77 c (10,0) x[4][9] = 18 823.50/577.77 c (10,0) x[4][10] = 8 823.50/577.77 c (10,0) x[4][11] = 3 823.50/577.77 c (10,0) x[4][12] = 8 823.50/577.77 c (10,0) x[4][13] = 17 823.50/577.77 c (10,0) x[4][14] = 0 823.50/577.77 c (10,0) x[4][15] = 2 823.50/577.77 c (10,0) x[4][16] = 7 823.50/577.77 c (10,0) x[4][17] = 0 823.50/577.77 c (10,0) x[4][18] = 20 823.50/577.77 c (10,0) x[5][0] = 4 823.50/577.77 c (10,0) x[5][1] = 11 823.50/577.77 c (10,0) x[5][2] = 14 823.50/577.77 c (10,0) x[5][3] = 13 823.50/577.77 c (10,0) x[5][4] = 2 823.50/577.77 c (10,0) x[5][5] = 4 823.50/577.77 c (10,0) x[5][7] = 8 823.50/577.77 c (10,0) x[5][8] = 13 823.50/577.78 c (10,0) x[5][9] = 20 823.50/577.78 c (10,0) x[5][10] = 11 823.50/577.78 c (10,0) x[5][11] = 4 823.50/577.78 c (10,0) x[5][14] = 18 823.50/577.78 c (10,0) x[5][15] = 7 823.50/577.78 c (10,0) x[5][16] = 0 823.50/577.78 c (10,0) x[5][17] = 0 823.50/577.78 c (10,0) x[5][18] = 1 823.50/577.78 c (10,0) x[6][0] = 18 823.50/577.78 c (10,0) x[6][1] = 8 823.50/577.78 c (10,0) x[6][2] = 12 823.50/577.78 c (10,0) x[6][4] = 10 823.50/577.78 c (10,0) x[6][5] = 8 823.50/577.78 c (10,0) x[6][6] = 12 823.50/577.78 c (10,0) x[6][7] = 25 823.50/577.78 c (10,0) x[6][9] = 18 823.50/577.78 c (10,0) x[6][10] = 8 823.50/577.78 c (10,0) x[6][11] = 4 823.50/577.78 c (10,0) x[6][12] = 2 823.50/577.78 c (10,0) x[6][15] = 4 823.50/577.78 c (10,0) x[6][16] = 17 823.50/577.78 c (10,0) x[6][17] = 17 823.50/577.78 c (10,0) x[6][18] = 0 823.50/577.78 c (10,0) x[7][0] = 18 823.50/577.78 c (10,0) x[7][1] = 19 823.50/577.78 c (10,0) x[7][2] = 0 823.50/577.78 c (10,0) x[7][3] = 17 823.50/577.78 c (10,0) x[7][5] = 11 823.50/577.78 c (10,0) x[7][6] = 0 823.50/577.78 c (10,0) x[7][7] = 13 823.50/577.78 c (10,0) x[7][8] = 3 823.50/577.78 c (10,0) x[7][11] = 15 823.50/577.78 c (10,0) x[7][12] = 17 823.50/577.78 c (10,0) x[7][13] = 0 823.50/577.78 c (10,0) x[7][14] = 12 823.50/577.78 c (10,0) x[7][16] = 3 823.50/577.78 c (10,0) x[7][17] = 19 823.50/577.78 c (10,0) x[7][18] = 2 823.50/577.78 c (10,0) x[8][0] = 4 823.50/577.78 c (10,0) x[8][1] = 8 823.50/577.78 c (10,0) x[8][2] = 6 823.50/577.78 c (10,0) x[8][3] = 4 823.50/577.78 c (10,0) x[8][6] = 11 823.50/577.78 c (10,0) x[8][7] = 0 823.50/577.78 c (10,0) x[8][8] = 4 823.50/577.78 c (10,0) x[8][9] = 12 823.50/577.78 c (10,0) x[8][10] = 0 823.50/577.78 c (10,0) x[8][12] = 0 823.50/577.78 c (10,0) x[8][13] = 3 823.50/577.78 c (10,0) x[8][14] = 0 823.50/577.78 c (10,0) x[8][15] = 5 823.50/577.78 c (10,0) x[9][0] = 18 823.50/577.78 c (10,0) x[9][1] = 2 823.50/577.78 c (10,0) x[9][2] = 7 823.50/577.78 c (10,0) x[9][3] = 11 823.50/577.78 c (10,0) x[9][4] = 8 823.50/577.78 c (10,0) x[9][5] = 19 823.50/577.78 c (10,0) x[9][6] = 4 823.50/577.78 c (10,0) x[9][7] = 13 823.50/577.78 c (10,0) x[9][8] = 1 823.50/577.78 c (10,0) x[9][9] = 4 823.50/577.78 c (10,0) x[9][10] = 17 823.50/577.78 c (10,0) x[9][11] = 6 823.50/577.78 c (10,0) x[9][12] = 1 823.50/577.78 c (10,0) x[9][13] = 4 823.50/577.78 c (10,0) x[9][14] = 8 823.50/577.78 c (10,0) x[9][15] = 11 823.50/577.78 c (10,0) x[9][16] = 8 823.50/577.78 c (10,0) x[9][17] = 13 823.50/577.78 c (10,0) x[9][18] = 25 823.50/577.78 c (10,0) x[10][3] = 20 823.50/577.78 c (10,0) x[10][4] = 2 823.50/577.78 c (10,0) x[10][5] = 20 823.50/577.78 c (10,0) x[10][6] = 0 823.50/577.78 c (10,0) x[10][8] = 18 823.50/577.78 c (10,0) x[10][9] = 14 823.50/577.78 c (10,0) x[10][10] = 7 823.50/577.78 c (10,0) x[10][11] = 20 823.50/577.78 c (10,0) x[10][12] = 1 823.50/577.78 c (10,0) x[10][15] = 0 823.50/577.78 c (10,0) x[10][16] = 12 823.50/577.78 c (10,0) x[10][17] = 14 823.50/577.78 c (10,0) x[10][18] = 17 823.50/577.78 c (10,0) x[11][0] = 15 823.50/577.78 c (10,0) x[11][1] = 12 823.50/577.78 c (10,0) x[11][2] = 0 823.50/577.78 c (10,0) x[11][4] = 7 823.50/577.78 c (10,0) x[11][5] = 8 823.50/577.78 c (10,0) x[11][6] = 11 823.50/577.78 c (10,0) x[11][7] = 12 823.50/577.78 c (10,0) x[11][10] = 0 823.50/577.78 c (10,0) x[11][11] = 24 823.50/577.78 c (10,0) x[11][12] = 0 823.50/577.78 c (10,0) x[11][13] = 3 823.50/577.78 c (10,0) x[11][15] = 2 823.50/577.78 c (10,0) x[11][16] = 15 823.50/577.78 c (10,0) x[11][17] = 17 823.50/577.78 c (10,0) x[11][18] = 4 823.50/577.78 c (10,0) x[12][0] = 18 823.50/577.78 c (10,0) x[12][1] = 0 823.50/577.78 c (10,0) x[12][2] = 11 823.50/577.78 c (10,0) x[12][3] = 11 823.50/577.78 c (10,0) x[12][6] = 12 823.50/577.78 c (10,0) x[12][7] = 0 823.50/577.78 c (10,0) x[12][8] = 14 823.50/577.78 c (10,0) x[12][9] = 1 823.50/577.78 c (10,0) x[12][11] = 0 823.50/577.78 c (10,0) x[12][12] = 24 823.50/577.78 c (10,0) x[12][13] = 4 823.50/577.78 c (10,0) x[12][14] = 17 823.50/577.78 c (10,0) x[12][16] = 4 823.50/577.78 c (10,0) x[12][17] = 3 823.50/577.78 c (10,0) x[12][18] = 4 823.50/577.78 c (10,0) x[13][0] = 14 823.50/577.78 c (10,0) x[13][1] = 11 823.50/577.78 c (10,0) x[13][2] = 12 823.50/577.78 c (10,0) x[13][3] = 4 823.50/577.78 c (10,0) x[13][4] = 19 823.50/577.78 c (10,0) x[13][7] = 14 823.50/577.78 c (10,0) x[13][8] = 11 823.50/577.78 c (10,0) x[13][9] = 0 823.50/577.78 c (10,0) x[13][10] = 4 823.50/577.78 c (10,0) x[13][11] = 13 823.50/577.78 c (10,0) x[13][13] = 15 823.50/577.78 c (10,0) x[13][14] = 14 823.50/577.78 c (10,0) x[13][15] = 13 823.50/577.78 c (10,0) x[13][16] = 2 823.50/577.78 c (10,0) x[13][17] = 8 823.50/577.78 c (10,0) x[13][18] = 5 823.50/577.78 c (10,0) x[14][0] = 0 823.50/577.78 c (10,0) x[14][1] = 14 823.50/577.78 c (10,0) x[14][2] = 20 823.50/577.78 c (10,0) x[14][3] = 8 823.50/577.78 c (10,0) x[14][4] = 13 823.50/577.78 c (10,0) x[14][5] = 4 823.50/577.78 c (10,0) x[14][6] = 19 823.50/577.78 c (10,0) x[14][7] = 1 823.50/577.78 c (10,0) x[14][8] = 4 823.50/577.78 c (10,0) x[14][9] = 11 823.50/577.78 c (10,0) x[14][10] = 11 823.50/577.78 c (10,0) x[14][11] = 4 823.50/577.78 c (10,0) x[14][12] = 6 823.50/577.78 c (10,0) x[14][13] = 17 823.50/577.78 c (10,0) x[14][14] = 0 823.50/577.78 c (10,0) x[14][15] = 0 823.50/577.78 c (10,0) x[15][3] = 15 823.50/577.78 c (10,0) x[15][4] = 5 823.50/577.78 c (10,0) x[15][5] = 0 823.50/577.78 c (10,0) x[15][6] = 20 823.50/577.78 c (10,0) x[15][8] = 14 823.50/577.78 c (10,0) x[15][9] = 18 823.50/577.78 c (10,0) x[15][10] = 14 823.50/577.78 c (10,0) x[15][12] = 14 823.50/577.78 c (10,0) x[15][13] = 4 823.50/577.78 c (10,0) x[15][14] = 3 823.50/577.78 c (10,0) x[15][15] = 8 823.50/577.78 c (10,0) x[15][16] = 15 823.50/577.78 c (10,0) x[15][17] = 4 823.50/577.78 c (10,0) x[15][18] = 18 823.50/577.78 c (10,0) x[16][0] = 4 823.50/577.78 c (10,0) x[16][1] = 20 823.50/577.78 c (10,0) x[16][2] = 11 823.50/577.78 c (10,0) x[16][3] = 14 823.50/577.78 c (10,0) x[16][5] = 17 823.50/577.78 c (10,0) x[16][6] = 8 823.50/577.78 c (10,0) x[16][7] = 14 823.50/577.78 c (10,0) x[16][8] = 11 823.50/577.78 c (10,0) x[16][10] = 6 823.50/577.78 c (10,0) x[16][11] = 17 823.50/577.78 c (10,0) x[16][12] = 20 823.50/577.78 c (10,0) x[16][13] = 13 823.50/577.78 c (10,0) x[16][15] = 0 823.50/577.78 c (10,0) x[16][16] = 18 823.50/577.78 c (10,0) x[16][17] = 15 823.50/577.78 c (10,0) x[16][18] = 8 823.50/577.78 c (10,0) x[17][0] = 5 823.50/577.78 c (10,0) x[17][1] = 0 823.50/577.78 c (10,0) x[17][2] = 0 823.50/577.78 c (10,0) x[17][3] = 0 823.50/577.78 c (10,0) x[17][5] = 15 823.50/577.78 c (10,0) x[17][6] = 11 823.50/577.78 c (10,0) x[17][7] = 8 823.50/577.78 c (10,0) x[17][8] = 0 823.50/577.78 c (10,0) x[17][10] = 11 823.50/577.78 c (10,0) x[17][11] = 8 823.50/577.78 c (10,0) x[17][12] = 4 823.50/577.78 c (10,0) x[17][13] = 3 823.50/577.78 c (10,0) x[17][15] = 3 823.50/577.78 c (10,0) x[17][16] = 0 823.50/577.78 c (10,0) x[17][17] = 8 823.50/577.78 c (10,0) x[17][18] = 11 823.50/577.78 c (10,0) x[18][0] = 22 823.50/577.78 c (10,0) x[18][1] = 14 823.50/577.78 c (10,0) x[18][2] = 10 823.50/577.78 c (10,0) x[18][3] = 18 823.50/577.78 c (10,0) x[18][5] = 18 823.50/577.78 c (10,0) x[18][6] = 19 823.50/577.78 c (10,0) x[18][7] = 0 823.50/577.78 c (10,0) x[18][8] = 19 823.50/577.78 c (10,0) x[18][10] = 0 823.50/577.78 c (10,0) x[18][11] = 17 823.50/577.78 c (10,0) x[18][12] = 23 823.50/577.78 c (10,0) x[18][15] = 4 823.50/577.78 c (10,0) x[18][16] = 17 823.50/577.78 c (10,0) x[18][17] = 2 823.50/577.78 c (10,0) x[18][18] = 14 823.50/577.78 s SATISFIABLE 823.50/577.79 v <instantiation> 823.50/577.79 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18]</list> 823.50/577.79 v <values>0 17 19 15 0 1 18 10 17 0 4 1 0 2 18 15 8 17 0 0 2 19 0 7 14 8 11 14 2 0 20 14 15 0 7 17 7 20 12 0 6 18 20 18 19 14 11 18 0 12 0 8 6 4 15 20 18 18 4 19 18 10 14 20 1 1 0 18 8 3 8 17 0 2 7 0 20 4 11 14 13 2 4 8 13 20 11 4 18 7 0 0 1 18 8 12 10 8 12 25 18 8 4 2 4 17 17 0 18 19 0 17 11 0 13 3 15 17 0 12 3 19 2 4 8 6 4 11 0 4 12 0 0 3 0 5 18 2 7 11 8 19 4 13 1 4 17 6 1 4 8 11 8 13 25 20 2 20 0 18 14 7 20 1 0 12 14 17 15 12 0 7 8 11 12 0 24 0 3 2 15 17 4 18 0 11 11 12 0 14 1 0 24 4 17 4 3 4 14 11 12 4 19 14 11 0 4 13 15 14 13 2 8 5 0 14 20 8 13 4 19 1 4 11 11 4 6 17 0 0 15 5 0 20 14 18 14 14 4 3 8 15 4 18 4 20 11 14 17 8 14 11 6 17 20 13 0 18 15 8 5 0 0 0 15 11 8 0 11 8 4 3 3 0 8 11 22 14 10 18 18 19 0 19 0 17 23 4 17 2 14</values> 823.50/577.79 v </instantiation> 823.50/577.79 c (10,0) Show results End 823.50/577.79 c (10,0) Heap : 241 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 823.50/577.79 c (10,0) 10,10,STOP-AFTER(ALL) 823.50/577.79 c END-Prog: Sat Sep 14 09:50:05 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 (15220 MiB free) memory of node 1: 16384 MiB (15495 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392308-1568446866/watcher-4392308-1568446866 -o /tmp/evaluation-result-4392308-1568446866/solver-4392308-1568446866 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --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-4392308-1568446866.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27847, runsolver pid=27844 Current StackSize limit: 8192 KiB [startup+0.100174 s]* /proc/loadavg: 1.21 3.68 6.27 2/216 27869 /proc/meminfo: memFree=31357816/32770624 swapFree=67004168/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420926243 115843072 349 33554432000 4194304 5098028 140736343373472 140736343370728 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 349 296 221 0 87 0 [pid=27850] ppid=27847 vsize=27314120 memory=106128 CPUtime=0.11 cores=0-7 /proc/27850/stat : 27850 (java) S 27847 27847 25788 0 -1 1077944320 6619 0 0 0 8 3 0 0 20 0 20 0 420926244 27969658880 26532 33554432000 4194304 4196468 140729078250160 140729078232704 139718708092663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 /proc/27850/statm: 6828530 26532 2774 1 0 6790935 0 [pid=27850/tid=27851] ppid=27847 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/27850/task/27851/stat : 27851 (java) R 27847 27847 25788 0 -1 4202560 4726 0 0 0 7 2 0 0 20 0 20 0 420926244 27969658880 26532 33554432000 4194304 4196468 140729078250160 139718679906176 139718694160782 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27852] ppid=27847 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27850/task/27852/stat : 27852 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 26532 33554432000 4194304 4196468 140729078250160 139718712335248 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27853] ppid=27847 vsize=27314120 memory=140170435458688 CPUtime=0 cores=0-7 /proc/27850/task/27853/stat : 27853 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718526491408 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27854] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27854/stat : 27854 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718525439120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27855] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27855/stat : 27855 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718524386320 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27856] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27856/stat : 27856 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718523333008 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27857] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27857/stat : 27857 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718522280208 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27858] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27858/stat : 27858 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718521227920 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27859] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27859/stat : 27859 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 27044 33554432000 4194304 4196468 140729078250160 139718520175120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27860] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27860/stat : 27860 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716759370352 139718708103810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27861] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27861/stat : 27861 (java) S 27847 27847 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716628309280 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27862] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27862/stat : 27862 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926249 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716359874160 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27863] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27863/stat : 27863 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139715985365584 139718708111259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27864] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27864/stat : 27864 (java) S 27847 27847 25788 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716758317168 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27865] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27865/stat : 27865 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716757264368 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27866] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27866/stat : 27866 (java) S 27847 27847 25788 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716756212080 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27867] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27867/stat : 27867 (java) S 27847 27847 25788 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716755159280 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27868] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27868/stat : 27868 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 27044 33554432000 4194304 4196468 140729078250160 139715487460192 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27869] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27869/stat : 27869 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926252 27969658880 27044 33554432000 4194304 4196468 140729078250160 139716754107184 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107524 KiB [startup+0.210784 s]* /proc/loadavg: 1.21 3.68 6.27 3/216 27869 /proc/meminfo: memFree=31339368/32770624 swapFree=67004168/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420926243 115843072 349 33554432000 4194304 5098028 140736343373472 140736343370728 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 349 296 221 0 87 0 [pid=27850] ppid=27847 vsize=27314120 memory=123020 CPUtime=0.24 cores=0-7 /proc/27850/stat : 27850 (java) S 27847 27847 25788 0 -1 1077944320 11622 0 0 0 20 4 0 0 20 0 20 0 420926244 27969658880 30755 33554432000 4194304 4196468 140729078250160 140729078232704 139718708092663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 /proc/27850/statm: 6828530 30755 2930 1 0 6790935 0 [pid=27850/tid=27851] ppid=27847 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27850/task/27851/stat : 27851 (java) R 27847 27847 25788 0 -1 4202560 9331 0 0 0 16 3 0 0 20 0 20 0 420926244 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718679892048 139718688368466 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27852] ppid=27847 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/27850/task/27852/stat : 27852 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718712335248 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27853] ppid=27847 vsize=27314120 memory=3977718270387517088 CPUtime=0 cores=0-7 /proc/27850/task/27853/stat : 27853 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718526491408 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27854] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27854/stat : 27854 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718525439120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27855] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27855/stat : 27855 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718524386320 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27856] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27856/stat : 27856 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718523333008 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27857] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27857/stat : 27857 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718522280208 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27858] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27858/stat : 27858 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718521227920 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27859] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27859/stat : 27859 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 30755 33554432000 4194304 4196468 140729078250160 139718520175120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27860] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27860/stat : 27860 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716759370352 139718708103810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27861] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27861/stat : 27861 (java) S 27847 27847 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716628309280 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27862] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27862/stat : 27862 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926249 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716359874160 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27863] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27863/stat : 27863 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139715985365584 139718708111259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27864] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27864/stat : 27864 (java) S 27847 27847 25788 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716758317168 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27865] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27865/stat : 27865 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716757264368 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27866] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27866/stat : 27866 (java) S 27847 27847 25788 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716756212080 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27867] ppid=27847 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/27850/task/27867/stat : 27867 (java) S 27847 27847 25788 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716755159280 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27868] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27868/stat : 27868 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 30755 33554432000 4194304 4196468 140729078250160 139715487460192 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27869] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27869/stat : 27869 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926252 27969658880 30755 33554432000 4194304 4196468 140729078250160 139716754107184 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124416 KiB [startup+0.310563 s]* /proc/loadavg: 1.21 3.68 6.27 2/216 27869 /proc/meminfo: memFree=31337196/32770624 swapFree=67004168/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420926243 115843072 349 33554432000 4194304 5098028 140736343373472 140736343370728 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 349 296 221 0 87 0 [pid=27850] ppid=27847 vsize=27314120 memory=127644 CPUtime=0.43 cores=0-7 /proc/27850/stat : 27850 (java) S 27847 27847 25788 0 -1 1077944320 12756 0 0 0 38 5 0 0 20 0 20 0 420926244 27969658880 31911 33554432000 4194304 4196468 140729078250160 140729078232704 139718708092663 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 /proc/27850/statm: 6828530 31911 3032 1 0 6790935 0 [pid=27850/tid=27851] ppid=27847 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/27850/task/27851/stat : 27851 (java) R 27847 27847 25788 0 -1 4202560 10271 0 0 0 26 4 0 0 20 0 20 0 420926244 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718679906592 139718692173150 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27852] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27852/stat : 27852 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718712335248 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27853] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27853/stat : 27853 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718526491408 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27854] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27854/stat : 27854 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718525439120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27855] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27855/stat : 27855 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718524386320 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27856] ppid=27847 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/27850/task/27856/stat : 27856 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718523333008 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27857] ppid=27847 vsize=27314120 memory=140170284331951 CPUtime=0 cores=0-7 /proc/27850/task/27857/stat : 27857 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718522280208 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27858] ppid=27847 vsize=27314120 memory=140170284334256 CPUtime=0 cores=0-7 /proc/27850/task/27858/stat : 27858 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718521227920 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27859] ppid=27847 vsize=27314120 memory=140170284336560 CPUtime=0 cores=0-7 /proc/27850/task/27859/stat : 27859 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27969658880 31911 33554432000 4194304 4196468 140729078250160 139718520175120 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27860] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27860/stat : 27860 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716759370352 139718708103810 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27861] ppid=27847 vsize=27314120 memory=280340568680080 CPUtime=0 cores=0-7 /proc/27850/task/27861/stat : 27861 (java) S 27847 27847 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420926248 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716628309280 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27862] ppid=27847 vsize=27314120 memory=280340568686992 CPUtime=0 cores=0-7 /proc/27850/task/27862/stat : 27862 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926249 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716359874160 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27863] ppid=27847 vsize=27314120 memory=280340568628272 CPUtime=0 cores=0-7 /proc/27850/task/27863/stat : 27863 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139715985365584 139718708111259 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27864] ppid=27847 vsize=27314120 memory=280340568700816 CPUtime=0.01 cores=0-7 /proc/27850/task/27864/stat : 27864 (java) R 27847 27847 25788 0 -1 4202560 176 0 0 0 1 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716758317168 139718687339570 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27865] ppid=27847 vsize=27314120 memory=280340568707728 CPUtime=0 cores=0-7 /proc/27850/task/27865/stat : 27865 (java) S 27847 27847 25788 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716757264368 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27866] ppid=27847 vsize=27314120 memory=280340568705424 CPUtime=0.02 cores=0-7 /proc/27850/task/27866/stat : 27866 (java) S 27847 27847 25788 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716756212080 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27867] ppid=27847 vsize=27314120 memory=280340568721584 CPUtime=0.07 cores=0-7 /proc/27850/task/27867/stat : 27867 (java) S 27847 27847 25788 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716755159280 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27868] ppid=27847 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27868/stat : 27868 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420926251 27969658880 31911 33554432000 4194304 4196468 140729078250160 139715487460192 139718708102869 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27869] ppid=27847 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27850/task/27869/stat : 27869 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926252 27969658880 31911 33554432000 4194304 4196468 140729078250160 139716754107184 139718708103810 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129040 KiB [startup+0.706024 s] /proc/loadavg: 1.21 3.68 6.27 3/216 27869 /proc/meminfo: memFree=31313756/32770624 swapFree=67004168/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420926243 115843072 349 33554432000 4194304 5098028 140736343373472 140736343370728 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 349 296 221 0 87 0 [pid=27850] ppid=27847 vsize=27320392 memory=167816 CPUtime=1.04 cores=0-7 /proc/27850/stat : 27850 (java) S 27847 27847 25788 0 -1 1077944320 20520 0 0 0 98 6 0 0 20 0 20 0 420926244 27976081408 41954 33554432000 4194304 4196468 140729078250160 140729078232704 139718708092663 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 /proc/27850/statm: 6830098 41954 3182 1 0 6791447 0 [pid=27850/tid=27851] ppid=27847 vsize=27320392 memory=280340569079472 CPUtime=0.68 cores=0-7 /proc/27850/task/27851/stat : 27851 (java) R 27847 27847 25788 0 -1 4202560 17354 0 0 0 63 5 0 0 20 0 20 0 420926244 27976081408 41954 33554432000 4194304 4196468 140729078250160 139718679928464 139718708114589 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27852] ppid=27847 vsize=27320392 memory=140170284540784 CPUtime=0 cores=0-7 /proc/27850/task/27852/stat : 27852 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27976081408 41954 33554432000 4194304 4196468 140729078250160 139718712335248 139718708102869 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27853] ppid=27847 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/27850/task/27853/stat : 27853 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420926246 27976081408 41954 33554432000 4194304 4196468 140729078250160 139718526491408 139718708102869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 [pid=27850/tid=27854] ppid=27847 vsize=27320392 memory=2832 CPUtime=0 cores=0-7 /proc/27850/task/27854/stat : 27854 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420926246 27976081408 41954 33554432000 4194304 4196468 140729078250160 139718525439120 139718708102869 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8445952 140729078256363 140729078256790 140729078256790 140729078259663 0 ################ # More data... # ################ [pid=27908/tid=27910] ppid=27847 vsize=8414124 memory=3966292 CPUtime=0 cores=0-7 /proc/27908/task/27910/stat : 27910 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140478423714448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27911] ppid=27847 vsize=8414124 memory=2052 CPUtime=0 cores=0-7 /proc/27908/task/27911/stat : 27911 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140478248356368 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27912] ppid=27847 vsize=8414124 memory=1220 CPUtime=0 cores=0-7 /proc/27908/task/27912/stat : 27912 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477903567248 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27913] ppid=27847 vsize=8414124 memory=1616 CPUtime=0 cores=0-7 /proc/27908/task/27913/stat : 27913 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477902514448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27914] ppid=27847 vsize=8414124 memory=784 CPUtime=0 cores=0-7 /proc/27908/task/27914/stat : 27914 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477901462672 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27915] ppid=27847 vsize=8414124 memory=8252 CPUtime=0 cores=0-7 /proc/27908/task/27915/stat : 27915 (java) S 27847 27847 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477900409872 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27916] ppid=27847 vsize=8414124 memory=5936 CPUtime=0 cores=0-7 /proc/27908/task/27916/stat : 27916 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477899357072 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27917] ppid=27847 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/27908/task/27917/stat : 27917 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420982968 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477898304272 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27918] ppid=27847 vsize=8414124 memory=4460 CPUtime=0 cores=0-7 /proc/27908/task/27918/stat : 27918 (java) S 27847 27847 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420982969 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477848574320 140478419483266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27919] ppid=27847 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/27908/task/27919/stat : 27919 (java) S 27847 27847 25788 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420982970 8616062976 30640 33554432000 4194304 4196468 140722079326496 140476971738144 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27920] ppid=27847 vsize=8414124 memory=3348 CPUtime=0 cores=0-7 /proc/27908/task/27920/stat : 27920 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420982970 8616062976 30640 33554432000 4194304 4196468 140722079326496 140476703302512 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27921] ppid=27847 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27908/task/27921/stat : 27921 (java) S 27847 27847 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140476328793936 140478419490715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27922] ppid=27847 vsize=8414124 memory=4104 CPUtime=0.12 cores=0-7 /proc/27908/task/27922/stat : 27922 (java) S 27847 27847 25788 0 -1 1077944384 1020 0 0 0 12 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477847522160 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27923] ppid=27847 vsize=8414124 memory=122560 CPUtime=0.1 cores=0-7 /proc/27908/task/27923/stat : 27923 (java) S 27847 27847 25788 0 -1 1077944384 286 0 0 0 10 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477846469360 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27924] ppid=27847 vsize=8414124 memory=499824 CPUtime=0.07 cores=0-7 /proc/27908/task/27924/stat : 27924 (java) S 27847 27847 25788 0 -1 1077944384 382 0 0 0 7 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477845416560 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27925] ppid=27847 vsize=8414124 memory=804 CPUtime=0.22 cores=0-7 /proc/27908/task/27925/stat : 27925 (java) S 27847 27847 25788 0 -1 1077944384 558 0 0 0 22 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477777046000 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27926] ppid=27847 vsize=8414124 memory=1660 CPUtime=0 cores=0-7 /proc/27908/task/27926/stat : 27926 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420982973 8616062976 30640 33554432000 4194304 4196468 140722079326496 140475830889056 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27927] ppid=27847 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/27908/task/27927/stat : 27927 (java) S 27847 27847 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420982974 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477775993392 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27929] ppid=27847 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/27908/task/27929/stat : 27929 (java) S 27847 27847 25788 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420983044 8616062976 30640 33554432000 4194304 4196468 140722079326496 140477767959616 140478419496729 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27931] ppid=27847 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/27908/task/27931/stat : 27931 (java) S 27847 27847 25788 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420983044 8616062976 30640 33554432000 4194304 4196468 140722079326496 140475159789744 140478419494045 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27932] ppid=27847 vsize=8414124 memory=21928 CPUtime=0 cores=0-7 /proc/27908/task/27932/stat : 27932 (java) S 27847 27847 25788 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420983045 8616062976 30640 33554432000 4194304 4196468 140722079326496 140475428225072 140478419494045 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27933] ppid=27847 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/27908/task/27933/stat : 27933 (java) S 27847 27847 25788 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420983046 8616062976 30640 33554432000 4194304 4196468 140722079326496 140474891361840 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 Current children cumulated CPU time: 821.62 s Current children cumulated vsize: 12915780 KiB Current children cumulated memory: 4159644 KiB [startup+577.601 s] /proc/loadavg: 1.99 1.99 4.13 2/222 27948 /proc/meminfo: memFree=27146296/32770624 swapFree=67004172/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1476 CPUtime=785.12 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 583 268945 0 0 0 0 74797 3715 20 0 1 0 420926243 115843072 369 33554432000 4194304 5098028 140736343373472 140736343370216 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 369 311 221 0 87 0 [pid=27908] ppid=27847 vsize=8414124 memory=236784 CPUtime=38.2 cores=0-7 /proc/27908/stat : 27908 (java) S 27847 27847 25788 0 -1 1077944320 22655 1101436 0 0 178 11 3256 375 20 0 23 0 420982966 8616062976 59196 33554432000 4194304 4196468 140722079326496 140722079309040 140478419472119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 /proc/27908/statm: 2103531 59196 3227 1 0 2064875 0 [pid=27908/tid=27909] ppid=27847 vsize=8414124 memory=41100 CPUtime=37.11 cores=0-7 /proc/27908/task/27909/stat : 27909 (java) S 27847 27847 25788 0 -1 1077944384 18009 1101436 0 0 74 6 3256 375 20 0 23 0 420982966 8616062976 59196 33554432000 4194304 4196468 140722079326496 140478391312288 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27910] ppid=27847 vsize=8414124 memory=8325082713276251022 CPUtime=36.31 cores=0-7 /proc/27908/task/27910/stat : 27910 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140478423714448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27911] ppid=27847 vsize=8414124 memory=7800344859672537426 CPUtime=36.31 cores=0-7 /proc/27908/task/27911/stat : 27911 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140478248356368 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27912] ppid=27847 vsize=8414124 memory=5866026958469032297 CPUtime=36.31 cores=0-7 /proc/27908/task/27912/stat : 27912 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477903567248 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27913] ppid=27847 vsize=8414124 memory=1564 CPUtime=36.31 cores=0-7 /proc/27908/task/27913/stat : 27913 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477902514448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27914] ppid=27847 vsize=8414124 memory=928 CPUtime=36.31 cores=0-7 /proc/27908/task/27914/stat : 27914 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477901462672 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27915] ppid=27847 vsize=8414124 memory=1744 CPUtime=36.31 cores=0-7 /proc/27908/task/27915/stat : 27915 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477900409872 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27916] ppid=27847 vsize=8414124 memory=792 CPUtime=36.31 cores=0-7 /proc/27908/task/27916/stat : 27916 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477899357072 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27917] ppid=27847 vsize=8414124 memory=290763849282617370 CPUtime=36.31 cores=0-7 /proc/27908/task/27917/stat : 27917 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 23 0 420982968 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477898304272 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27918] ppid=27847 vsize=8414124 memory=288230583166042426 CPUtime=36.31 cores=0-7 /proc/27908/task/27918/stat : 27918 (java) S 27847 27847 25788 0 -1 1077944384 7 1101436 0 0 0 0 3256 375 20 0 23 0 420982969 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477848574320 140478419483266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27919] ppid=27847 vsize=8414124 memory=14694080391154107 CPUtime=36.31 cores=0-7 /proc/27908/task/27919/stat : 27919 (java) S 27847 27847 25788 0 -1 1077944384 13 1101436 0 0 0 0 3256 375 20 0 23 0 420982970 8616062976 59196 33554432000 4194304 4196468 140722079326496 140476971738144 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27920] ppid=27847 vsize=8414124 memory=988 CPUtime=36.31 cores=0-7 /proc/27908/task/27920/stat : 27920 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 23 0 420982970 8616062976 59196 33554432000 4194304 4196468 140722079326496 140476703302512 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27921] ppid=27847 vsize=8414124 memory=1396 CPUtime=36.31 cores=0-7 /proc/27908/task/27921/stat : 27921 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140476328793936 140478419490715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27922] ppid=27847 vsize=8414124 memory=19700268 CPUtime=36.49 cores=0-7 /proc/27908/task/27922/stat : 27922 (java) S 27847 27847 25788 0 -1 1077944384 1040 1101436 0 0 18 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477847522160 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27923] ppid=27847 vsize=8414124 memory=19442216 CPUtime=36.49 cores=0-7 /proc/27908/task/27923/stat : 27923 (java) S 27847 27847 25788 0 -1 1077944384 614 1101436 0 0 18 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477846469360 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27924] ppid=27847 vsize=8414124 memory=1616 CPUtime=36.45 cores=0-7 /proc/27908/task/27924/stat : 27924 (java) R 27847 27847 25788 0 -1 4202560 413 1101436 0 0 14 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477845416560 140478402997830 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27925] ppid=27847 vsize=8414124 memory=784 CPUtime=36.59 cores=0-7 /proc/27908/task/27925/stat : 27925 (java) S 27847 27847 25788 0 -1 1077944384 1061 1101436 0 0 28 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477777046000 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27926] ppid=27847 vsize=8414124 memory=8252 CPUtime=36.31 cores=0-7 /proc/27908/task/27926/stat : 27926 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 23 0 420982973 8616062976 59196 33554432000 4194304 4196468 140722079326496 140475830889056 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27927] ppid=27847 vsize=8414124 memory=5936 CPUtime=36.31 cores=0-7 /proc/27908/task/27927/stat : 27927 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 23 0 420982974 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477775993392 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27929] ppid=27847 vsize=8414124 memory=1056 CPUtime=36.31 cores=0-7 /proc/27908/task/27929/stat : 27929 (java) S 27847 27847 25788 0 -1 1077944384 24 1101436 0 0 0 0 3256 375 20 0 23 0 420983044 8616062976 59196 33554432000 4194304 4196468 140722079326496 140477767958800 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27931] ppid=27847 vsize=8414124 memory=1540 CPUtime=36.57 cores=0-7 /proc/27908/task/27931/stat : 27931 (java) R 27847 27847 25788 0 -1 4202560 119 1101436 0 0 24 2 3256 375 20 0 23 0 420983044 8616062976 59196 33554432000 4194304 4196468 140722079326496 140475159795376 140477925093944 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27933] ppid=27847 vsize=8414124 memory=122560 CPUtime=36.31 cores=0-7 /proc/27908/task/27933/stat : 27933 (java) S 27847 27847 25788 0 -1 1077944384 8 1101436 0 0 0 0 3256 375 20 0 23 0 420983046 8616062976 59196 33554432000 4194304 4196468 140722079326496 140474891361600 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 Current children cumulated CPU time: 823.32 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 238260 KiB [startup+577.801 s] /proc/loadavg: 1.99 1.99 4.13 2/222 27948 /proc/meminfo: memFree=27146296/32770624 swapFree=67004172/67108860 [pid=27847] ppid=27844 vsize=113128 memory=1476 CPUtime=785.12 cores=0-7 /proc/27847/stat : 27847 (scop.sh) S 27844 27847 25788 0 -1 4202496 583 268945 0 0 0 0 74797 3715 20 0 1 0 420926243 115843072 369 33554432000 4194304 5098028 140736343373472 140736343370216 140587401626236 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20529152 140736343380773 140736343381100 140736343381100 140736343384013 0 /proc/27847/statm: 28282 369 311 221 0 87 0 [pid=27908] ppid=27847 vsize=8283048 memory=251436 CPUtime=38.59 cores=0-7 /proc/27908/stat : 27908 (java) S 27847 27847 25788 0 -1 1077944320 24223 1101436 0 0 214 14 3256 375 20 0 22 0 420982966 8481841152 62859 33554432000 4194304 4196468 140722079326496 140722079309040 140478419472119 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 /proc/27908/statm: 2070762 62859 3235 1 0 2032106 0 [pid=27908/tid=27909] ppid=27847 vsize=8283048 memory=792 CPUtime=37.26 cores=0-7 /proc/27908/task/27909/stat : 27909 (java) R 27847 27847 25788 0 -1 4202560 19323 1101436 0 0 88 7 3256 375 20 0 22 0 420982966 8481841152 62859 33554432000 4194304 4196468 140722079326496 140478391306080 140478412157751 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27910] ppid=27847 vsize=8283048 memory=1440 CPUtime=36.31 cores=0-7 /proc/27908/task/27910/stat : 27910 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140478423714448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27911] ppid=27847 vsize=8283048 memory=1984 CPUtime=36.31 cores=0-7 /proc/27908/task/27911/stat : 27911 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140478248356368 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27912] ppid=27847 vsize=8283048 memory=2376 CPUtime=36.31 cores=0-7 /proc/27908/task/27912/stat : 27912 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477903567248 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27913] ppid=27847 vsize=8283048 memory=1768 CPUtime=36.31 cores=0-7 /proc/27908/task/27913/stat : 27913 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477902514448 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27914] ppid=27847 vsize=8283048 memory=111628 CPUtime=36.31 cores=0-7 /proc/27908/task/27914/stat : 27914 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477901462672 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27915] ppid=27847 vsize=8283048 memory=804 CPUtime=36.31 cores=0-7 /proc/27908/task/27915/stat : 27915 (java) S 27847 27847 25788 0 -1 1077944384 2 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477900409872 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27916] ppid=27847 vsize=8283048 memory=41092 CPUtime=36.31 cores=0-7 /proc/27908/task/27916/stat : 27916 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477899357072 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27917] ppid=27847 vsize=8283048 memory=988 CPUtime=36.31 cores=0-7 /proc/27908/task/27917/stat : 27917 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 22 0 420982968 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477898304272 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27918] ppid=27847 vsize=8283048 memory=2052 CPUtime=36.31 cores=0-7 /proc/27908/task/27918/stat : 27918 (java) S 27847 27847 25788 0 -1 1077944384 7 1101436 0 0 0 0 3256 375 20 0 22 0 420982969 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477848574320 140478419483266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27919] ppid=27847 vsize=8283048 memory=2052 CPUtime=36.31 cores=0-7 /proc/27908/task/27919/stat : 27919 (java) S 27847 27847 25788 0 -1 1077944384 13 1101436 0 0 0 0 3256 375 20 0 22 0 420982970 8481841152 62859 33554432000 4194304 4196468 140722079326496 140476971738144 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27920] ppid=27847 vsize=8283048 memory=1220 CPUtime=36.31 cores=0-7 /proc/27908/task/27920/stat : 27920 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 22 0 420982970 8481841152 62859 33554432000 4194304 4196468 140722079326496 140476703302512 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27921] ppid=27847 vsize=8283048 memory=1616 CPUtime=36.31 cores=0-7 /proc/27908/task/27921/stat : 27921 (java) S 27847 27847 25788 0 -1 1077944384 1 1101436 0 0 0 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140476328793936 140478419490715 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27922] ppid=27847 vsize=8283048 memory=784 CPUtime=36.51 cores=0-7 /proc/27908/task/27922/stat : 27922 (java) S 27847 27847 25788 0 -1 1077944384 1064 1101436 0 0 20 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477847522160 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27923] ppid=27847 vsize=8283048 memory=8252 CPUtime=36.53 cores=0-7 /proc/27908/task/27923/stat : 27923 (java) S 27847 27847 25788 0 -1 1077944384 639 1101436 0 0 22 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477846469360 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27924] ppid=27847 vsize=8283048 memory=5936 CPUtime=36.48 cores=0-7 /proc/27908/task/27924/stat : 27924 (java) S 27847 27847 25788 0 -1 1077944384 441 1101436 0 0 17 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477845416560 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27925] ppid=27847 vsize=8283048 memory=1056 CPUtime=36.67 cores=0-7 /proc/27908/task/27925/stat : 27925 (java) S 27847 27847 25788 0 -1 1077944384 1230 1101436 0 0 36 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477777046000 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27926] ppid=27847 vsize=8283048 memory=1660 CPUtime=36.31 cores=0-7 /proc/27908/task/27926/stat : 27926 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 22 0 420982973 8481841152 62859 33554432000 4194304 4196468 140722079326496 140475830889056 140478419482325 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27927] ppid=27847 vsize=8283048 memory=1808 CPUtime=36.31 cores=0-7 /proc/27908/task/27927/stat : 27927 (java) S 27847 27847 25788 0 -1 1077944384 3 1101436 0 0 0 0 3256 375 20 0 22 0 420982974 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477775993392 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27929] ppid=27847 vsize=8283048 memory=924 CPUtime=36.31 cores=0-7 /proc/27908/task/27929/stat : 27929 (java) S 27847 27847 25788 0 -1 1077944384 24 1101436 0 0 0 0 3256 375 20 0 22 0 420983044 8481841152 62859 33554432000 4194304 4196468 140722079326496 140477767958800 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 [pid=27908/tid=27933] ppid=27847 vsize=8283048 memory=4460 CPUtime=36.31 cores=0-7 /proc/27908/task/27933/stat : 27933 (java) S 27847 27847 25788 0 -1 1077944384 12 1101436 0 0 0 0 3256 375 20 0 22 0 420983046 8481841152 62859 33554432000 4194304 4196468 140722079326496 140474891363632 140478419483266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8781824 140722079331319 140722079331478 140722079331478 140722079334351 0 Current children cumulated CPU time: 823.71 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 252912 KiB Child status: 0 Real time (s): 577.83 CPU time (s): 823.773 CPU user time (s): 782.682 CPU system time (s): 41.0904 CPU usage (%): 142.563 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 20229760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 782.682 system time used= 41.0904 maximum resident set size= 20228400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1395224 page faults= 0 swaps= 0 block input operations= 8 block output operations= 299376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 288662 involuntary context switches= 3427 # summary of solver processes directly reported to runsolver: # pid: 27847 # total CPU time (s): 823.773 # total CPU user time (s): 782.682 # total CPU system time (s): 41.0904 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.23904 second user time and 5.25141 second system time The end
Begin job on node133 at 2019-09-14 09:40:27 IDJOB=4392308 IDBENCH=140069 IDSOLVER=2838 FILE ID=node133/4392308-1568446866 RUNJOBID= node133-1568439804-25815 PBS_JOBID= 21702337 Free space on /tmp= 59412 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd2008-herald/Crossword-m1c-ogd2008-h1905.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392308-1568446866/watcher-4392308-1568446866 -o /tmp/evaluation-result-4392308-1568446866/solver-4392308-1568446866 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --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-4392308-1568446866.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b304f6c83ea7150e2963a619c79f8da9 RANDOM SEED=1979377205 node133.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.18 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.18 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.18 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.18 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: 31453988 kB MemAvailable: 31897840 kB Buffers: 205832 kB Cached: 520624 kB SwapCached: 3336 kB Active: 409168 kB Inactive: 322168 kB Active(anon): 28748 kB Inactive(anon): 16056 kB Active(file): 380420 kB Inactive(file): 306112 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004168 kB Dirty: 23784 kB Writeback: 0 kB AnonPages: 43092 kB Mapped: 45184 kB Shmem: 31544 kB Slab: 174888 kB SReclaimable: 146308 kB SUnreclaim: 28580 kB KernelStack: 3792 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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 /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 09:50:05