Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 956.709 | 590.659 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h2107.xml |
MD5SUM | 495794a1d12b922029631b8ffbf13f9b |
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.643414 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 441 |
Number of constraints | 152 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":368}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":73},{"degree":2,"count":368}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":4,"count":36},{"arity":5,"count":44},{"arity":6,"count":12},{"arity":7,"count":16},{"arity":10,"count":8}] |
Number of extensional constraints | 152 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":152}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19897-serial-file.bin HOME/instance-4405588-1569362548.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Wed Sep 25 00:01:44 CEST 2019 0.65/0.57 c PID: 19900 0.65/0.57 c IP: 172.20.3.136 0.65/0.57 c HOST: node136.alineos.net 0.65/0.58 c (0,0) Parsing Begin 3.07/1.41 c (0,0) Parsing End 3.07/1.42 c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 26 3.07/1.42 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.07/1.42 c (0,0) Constraint Name Generate Begin 3.07/1.43 c (0,0) Ctr:HOME/instance-4405588-1569362548.xml,ExtensionSupport:Var 3.07/1.43 c (0,0) Constraint Name Generate End 3.07/1.43 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.07/1.43 c (0,0) CSP to CSPinCNF Begin 16.46/7.71 c (7,7) translated 16 (10%) constraints 22.92/13.56 c (13,13) translated 31 (20%) constraints 42.48/30.84 c (30,29) translated 46 (30%) constraints 64.40/49.30 c (48,47) translated 61 (40%) constraints 84.62/65.67 c (65,63) translated 76 (50%) constraints 274.74/215.97 c (215,208) translated 92 (60%) constraints 276.04/217.26 c (216,209) translated 107 (70%) constraints 277.35/218.50 c (217,210) translated 122 (80%) constraints 363.98/291.25 c (290,281) translated 137 (90%) constraints 440.26/356.75 c (356,345) translated 152 (100%) constraints 442.68/359.19 c (358,347) =========================================== 443.99/360.47 c (359,349) Hybrid: #OE=492164, #LE=0 443.99/360.47 c (359,349) Hybrid 443.99/360.47 c (359,349) =========================================== 454.68/370.57 c (370,359) translated 480923 (10%) constraints 469.01/381.41 c (380,369) translated 961845 (20%) constraints 479.36/391.74 c (391,379) translated 1442768 (30%) constraints 494.60/402.60 c (402,390) translated 1923690 (40%) constraints 504.81/412.83 c (412,400) translated 2404613 (50%) constraints 520.43/423.68 c (423,410) translated 2885535 (60%) constraints 530.84/434.08 c (433,420) translated 3366458 (70%) constraints 546.55/445.15 c (444,431) translated 3847380 (80%) constraints 556.95/455.52 c (454,441) translated 4328303 (90%) constraints 573.16/466.61 c (466,452) translated 4809225 (100%) constraints 573.16/466.61 c (466,452) CSP to CSPinCNF End 573.27/466.76 c (466,452) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26 573.27/466.76 c (466,452) Heap : 7984 MiB used (max 21785 MiB), NonHeap : 27 MiB used (max 0 MiB) 573.27/466.76 c (466,452) CSPinCNF Propagation Begin 624.16/491.84 c (491,473) 0 values, 152 unsatisfiable literals, and 0 valid clauses are removed 624.16/491.84 c (491,473) CSPinCNF Propagation End 624.26/491.99 c (491,473) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26 624.26/491.99 c (491,473) Heap : 11827 MiB used (max 21728 MiB), NonHeap : 27 MiB used (max 0 MiB) 625.57/493.27 c (492,475) Hybrid: #OE=492164, #LE=0 625.57/493.27 c (492,475) Simplify CSPinCNF Begin 645.93/503.72 c (503,484) Simplify CSPinCNF End 646.03/503.87 c (503,484) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26 646.03/503.87 c (503,484) Heap : 11941 MiB used (max 21773 MiB), NonHeap : 27 MiB used (max 0 MiB) 646.03/503.87 c (503,484) Calculate Precise Domain Begin 646.03/503.88 c (503,484) 0 values are removed by re-calculation 646.03/503.88 c (503,484) Calculate Precise Domain End 646.24/504.03 c (503,484) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26 646.24/504.03 c (503,484) Heap : 11941 MiB used (max 21773 MiB), NonHeap : 27 MiB used (max 0 MiB) 646.24/504.03 c (503,484) CSPinCNF to SatSolver Begin 662.94/510.92 c (510,490) 480923 (10 %) CSP clauses are encoded (0 SAT variables, 489578 SAT clauses) 672.30/516.23 c (515,494) 961845 (20 %) CSP clauses are encoded (0 SAT variables, 970500 SAT clauses) 676.91/520.85 c (520,499) 1442768 (30 %) CSP clauses are encoded (0 SAT variables, 1451423 SAT clauses) 684.11/525.73 c (525,503) 1923690 (40 %) CSP clauses are encoded (0 SAT variables, 1932345 SAT clauses) 691.35/530.60 c (530,508) 2404613 (50 %) CSP clauses are encoded (0 SAT variables, 2413268 SAT clauses) 698.64/535.50 c (534,512) 2885535 (60 %) CSP clauses are encoded (0 SAT variables, 2894190 SAT clauses) 703.25/540.19 c (539,517) 3366458 (70 %) CSP clauses are encoded (0 SAT variables, 3375113 SAT clauses) 710.66/545.19 c (544,522) 3847380 (80 %) CSP clauses are encoded (0 SAT variables, 3856035 SAT clauses) 718.06/550.16 c (549,526) 4328303 (90 %) CSP clauses are encoded (0 SAT variables, 4336958 SAT clauses) 725.77/555.21 c (554,531) 4809225 (100 %) CSP clauses are encoded (0 SAT variables, 4817880 SAT clauses) 725.77/555.21 c (554,531) CSPinCNF to SatSolver End 725.77/555.21 c (554,531) Heap : 10147 MiB used (max 21557 MiB), NonHeap : 29 MiB used (max 0 MiB) 725.77/555.21 c (554,531) 500820 bool, 4817881 clause 725.77/555.21 c (554,531) Export Begin 725.94/555.35 c (554,531) Export to HOME/scop-19897-serial-file.bin 725.94/555.35 c (554,531) Export End 725.94/555.35 c (554,531) Export File Size: 0.15 MB 725.94/555.35 c (554,531) 0,0,466,491,503,503,554,STOP-AFTER(DIMACS) 725.94/555.35 c END-Prog: Wed Sep 25 00:10:59 CEST 2019 0.00/555.44 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19897-serial-file.bin 726.15/555.91 c (0,0) Read Serial File Begin 726.15/555.91 c (0,0) HOME/scop-19897-serial-file.bin 727.04/556.18 c (0,0) Read Serial File End 727.04/556.20 727.04/556.20 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 727.04/556.20 (Solving Process) 727.04/556.20 727.31/556.22 c BEGIN-Prog: Wed Sep 25 00:11:00 CEST 2019 727.31/556.22 c PID: 19964 727.31/556.22 c IP: 172.20.3.136 727.31/556.22 c HOST: node136.alineos.net 727.31/556.22 c (0,0) SatSolver.solve Begin 727.31/556.22 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405588-1569362548.xml-scop-19900.cnf 727.31/556.25 c (0,0) c 727.31/556.25 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) 727.31/556.25 c (0,0) c 727.31/556.25 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 727.31/556.25 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 727.31/556.25 c (0,0) c ========================================[ Problem Statistics ]=========================================== 727.31/556.25 c (0,0) c | | 729.42/558.12 c (2,0) c | Number of variables: 500820 | 729.42/558.12 c (2,0) c | Number of clauses: 4815668 | 729.42/558.12 c (2,0) c | Parse time: 1.71 s | 729.42/558.12 c (2,0) c | | 729.81/558.57 c (2,0) c | Too many clauses... No preprocessing | 729.81/558.57 c (2,0) c | Simplification time: 0.40 s | 729.81/558.57 c (2,0) c | | 729.81/558.58 c (2,0) c | Generating clones | 731.51/560.20 c (4,0) c | all clones generated. Memory = 3341.41Mb. | 731.51/560.20 c (4,0) c ========================================================================================================| 731.51/560.20 c (4,0) c 731.51/560.20 c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 731.51/560.20 c (4,0) c 731.51/560.20 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 731.51/560.20 c (4,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 731.51/560.20 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 731.51/560.20 c (4,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 731.51/560.20 c (4,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 731.51/560.20 c (4,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 731.51/560.20 c (4,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 731.51/560.20 c (4,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 731.51/560.20 c (4,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 731.51/560.20 c (4,0) c | glureduce | True | True | True | True | True | True | True | True | 731.51/560.20 c (4,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 731.51/560.20 c (4,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 731.51/560.20 c (4,0) c | luby_restart | False | False | False | False | False | False | False | False | 731.51/560.20 c (4,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 731.51/560.20 c (4,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 731.51/560.20 c (4,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 731.51/560.20 c (4,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 731.51/560.20 c (4,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 731.51/560.20 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c real time : 33.8884 s 955.46/590.14 c (34,0) c cpu time : 220.992 s 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | Conflicts | 193882 | 25692 | 24279 | 25563 | 22987 | 21158 | 27489 | 24021 | 22693 | 955.46/590.14 c (34,0) c | Decisions | 2635634 | 354132 | 315922 | 355278 | 319394 | 318399 | 336641 | 320967 | 314901 | 955.46/590.14 c (34,0) c | Propagations | 622842889 | 78689082 | 71669156 | 82277656 | 81444496 | 75004241 | 79337312 | 79305476 | 75115470 | 955.46/590.14 c (34,0) c | ReduceDBs | 29 | 4 | 4 | 4 | 3 | 3 | 4 | 4 | 3 | 955.46/590.14 c (34,0) c | SimpDBs | 31 | 4 | 4 | 3 | 4 | 4 | 4 | 4 | 4 | 955.46/590.14 c (34,0) c | Restarts | 554 | 65 | 90 | 81 | 69 | 59 | 51 | 68 | 71 | 955.46/590.14 c (34,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.46/590.14 c (34,0) c | PropBinClauses| 661924243 | 82254087 | 76451964 | 87753721 | 88291431 | 80124266 | 83808336 | 83784283 | 79456155 | 955.46/590.14 c (34,0) c | PropPreBlocker| 2963455346 | 377129685 | 348815908 | 389939690 | 382204805 | 353240612 | 381933969 | 375634784 | 354555893 | 955.46/590.14 c (34,0) c | PropNotBlocker| 1045284856 | 133040929 | 124721451 | 138879149 | 130971309 | 121724072 | 137875542 | 132064706 | 126007698 | 955.46/590.14 c (34,0) c | LitFullScans | 6450462707 | 815904437 | 762286106 | 828296896 | 828244033 | 764088039 | 828294711 | 824994543 | 798353942 | 955.46/590.14 c (34,0) c | LitScanFracts | 2276096 | 262247 | 236843 | 231548 | 236132 | 324102 | 282990 | 350871 | 351363 | 955.46/590.14 c (34,0) c | DecisionLevel0| 558 | 65 | 90 | 82 | 70 | 59 | 51 | 70 | 71 | 955.46/590.14 c (34,0) c | Periods | 1073 | 135 | 127 | 138 | 138 | 127 | 138 | 137 | 133 | 955.46/590.14 c (34,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 955.46/590.14 c (34,0) c | Avg_Trail | | 149612 | 128279 | 158265 | 152878 | 195355 | 170949 | 165779 | 150245 | 955.46/590.14 c (34,0) c | Avg_DL | | 822 | 453 | 422 | 441 | 657 | 532 | 608 | 429 | 955.46/590.14 c (34,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.46/590.14 c (34,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | Exported | 26672 | 3532 | 3467 | 3765 | 3099 | 2694 | 3869 | 3286 | 2960 | 955.46/590.14 c (34,0) c | Imported | 150891 | 19634 | 17398 | 18537 | 20016 | 17530 | 19713 | 19810 | 18253 | 955.46/590.14 c (34,0) c | Good | 47985 | 6149 | 5751 | 5952 | 6256 | 5576 | 6317 | 6146 | 5838 | 955.46/590.14 c (34,0) c | Purge | 102906 | 13485 | 11647 | 12585 | 13760 | 11954 | 13396 | 13664 | 12415 | 955.46/590.14 c (34,0) c | Promoted | 2339 | 321 | 213 | 228 | 275 | 257 | 373 | 375 | 297 | 955.46/590.14 c (34,0) c | Remove_Imp | 12659 | 2790 | 2020 | 2715 | 0 | 0 | 766 | 4368 | 0 | 955.46/590.14 c (34,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | Unaries | | 0 | 0 | 1 | 1 | 0 | 0 | 2 | 0 | 955.46/590.14 c (34,0) c | Binaries | | 1112 | 914 | 1097 | 1012 | 958 | 1059 | 1095 | 976 | 955.46/590.14 c (34,0) c | Glues | | 1715 | 1498 | 1831 | 1670 | 1482 | 1784 | 1697 | 1522 | 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | Orig_Seen | 11 % | 535703 | 489552 | 534711 | 549855 | 485030 | 535418 | 583875 | 564855 | 955.46/590.14 c (34,0) c | Diff Orig seen| | 50673 | 4522 | 49681 | 64825 | X | 50388 | 98845 | 79825 | 955.46/590.14 c (34,0) c | Hamming | 8 % | 42593 | 38759 | 43478 | 40173 | X | 41912 | 41322 | 42749 | 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c | RunningTime | | 28.3 100%| 29.9 100%| 28.1 99%| 28.4 100%| 28.2 100%| 28.2 99%| 27.9 99%| 28.3 100%| 955.46/590.14 c (34,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.3 1%| 0.0 0%| 0.0 0%| 0.1 0%| 0.4 1%| 0.0 0%| 955.46/590.14 c (34,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%| 955.46/590.14 c (34,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%| 955.46/590.14 c (34,0) c | SolvingTime | | 28.3 | 29.9 | 28.4 | 28.4 | 28.3 | 28.4 | 28.3 | 28.3 | 955.46/590.14 c (34,0) c | PropagationTim| | 23.8 84%| 25.5 85%| 23.4 82%| 23.3 82%| 23.3 83%| 23.8 84%| 23.2 82%| 23.2 82%| 955.46/590.14 c (34,0) c | AnalysisTime | | 1.7 6%| 1.8 6%| 1.8 6%| 1.7 6%| 1.6 6%| 1.7 6%| 1.9 7%| 2.2 8%| 955.46/590.14 c (34,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%| 955.46/590.14 c (34,0) c | SimplifyTime | | 0.3 1%| 0.3 1%| 0.2 1%| 0.3 1%| 0.3 1%| 0.3 1%| 0.3 1%| 0.3 1%| 955.46/590.14 c (34,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%| 955.46/590.14 c (34,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%| 955.46/590.14 c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c 955.46/590.14 c (34,0) c Threads : 8 955.46/590.14 c (34,0) c Winner : 4 955.46/590.14 c (34,0) c Conflicts_0 : 25692 955.46/590.14 c (34,0) c Conflicts_1 : 24279 955.46/590.14 c (34,0) c Conflicts_2 : 25563 955.46/590.14 c (34,0) c Conflicts_3 : 22987 955.46/590.14 c (34,0) c Conflicts_4 : 21158 955.46/590.14 c (34,0) c Conflicts_5 : 27489 955.46/590.14 c (34,0) c Conflicts_6 : 24021 955.46/590.14 c (34,0) c Conflicts_7 : 22693 955.46/590.14 c (34,0) c Conflicts_total : 193882 955.46/590.14 c (34,0) c Conflicts_winner : 21158 955.46/590.14 c (34,0) c Decisions_0 : 354132 955.46/590.14 c (34,0) c Decisions_1 : 315922 955.46/590.14 c (34,0) c Decisions_2 : 355278 955.46/590.14 c (34,0) c Decisions_3 : 319394 955.46/590.14 c (34,0) c Decisions_4 : 318399 955.46/590.14 c (34,0) c Decisions_5 : 336641 955.46/590.14 c (34,0) c Decisions_6 : 320967 955.46/590.14 c (34,0) c Decisions_7 : 314901 955.46/590.14 c (34,0) c Decisions_total : 2635634 955.46/590.14 c (34,0) c Decisions_winner : 318399 955.46/590.14 c (34,0) c Propagations_0 : 78689082 955.46/590.14 c (34,0) c Propagations_1 : 71669156 955.46/590.14 c (34,0) c Propagations_2 : 82277656 955.46/590.14 c (34,0) c Propagations_3 : 81444496 955.46/590.14 c (34,0) c Propagations_4 : 75004241 955.46/590.14 c (34,0) c Propagations_5 : 79337312 955.46/590.14 c (34,0) c Propagations_6 : 79305476 955.46/590.14 c (34,0) c Propagations_7 : 75115470 955.46/590.14 c (34,0) c Propagations_total : 622842889 955.46/590.14 c (34,0) c Propagations_winner : 75004241 955.46/590.14 c (34,0) c ReduceDBs_0 : 4 955.46/590.14 c (34,0) c ReduceDBs_1 : 4 955.46/590.14 c (34,0) c ReduceDBs_2 : 4 955.46/590.14 c (34,0) c ReduceDBs_3 : 3 955.46/590.14 c (34,0) c ReduceDBs_4 : 3 955.46/590.14 c (34,0) c ReduceDBs_5 : 4 955.46/590.14 c (34,0) c ReduceDBs_6 : 4 955.46/590.14 c (34,0) c ReduceDBs_7 : 3 955.46/590.14 c (34,0) c ReduceDBs_total : 29 955.46/590.14 c (34,0) c ReduceDBs_winner : 3 955.46/590.14 c (34,0) c SimpDBs_0 : 4 955.46/590.14 c (34,0) c SimpDBs_1 : 4 955.46/590.14 c (34,0) c SimpDBs_2 : 3 955.46/590.14 c (34,0) c SimpDBs_3 : 4 955.46/590.14 c (34,0) c SimpDBs_4 : 4 955.46/590.14 c (34,0) c SimpDBs_5 : 4 955.46/590.14 c (34,0) c SimpDBs_6 : 4 955.46/590.14 c (34,0) c SimpDBs_7 : 4 955.46/590.14 c (34,0) c SimpDBs_total : 31 955.46/590.14 c (34,0) c SimpDBs_winner : 4 955.46/590.14 c (34,0) c Restarts_0 : 65 955.46/590.14 c (34,0) c Restarts_1 : 90 955.46/590.14 c (34,0) c Restarts_2 : 81 955.46/590.14 c (34,0) c Restarts_3 : 69 955.46/590.14 c (34,0) c Restarts_4 : 59 955.46/590.14 c (34,0) c Restarts_5 : 51 955.46/590.14 c (34,0) c Restarts_6 : 68 955.46/590.14 c (34,0) c Restarts_7 : 71 955.46/590.14 c (34,0) c Restarts_total : 554 955.46/590.14 c (34,0) c Restarts_winner : 59 955.46/590.14 c (34,0) c ForcedImports_0 : 0 955.46/590.14 c (34,0) c ForcedImports_1 : 0 955.46/590.14 c (34,0) c ForcedImports_2 : 0 955.46/590.14 c (34,0) c ForcedImports_3 : 0 955.46/590.14 c (34,0) c ForcedImports_4 : 0 955.46/590.14 c (34,0) c ForcedImports_5 : 0 955.46/590.14 c (34,0) c ForcedImports_6 : 0 955.46/590.14 c (34,0) c ForcedImports_7 : 0 955.46/590.14 c (34,0) c ForcedImports_total : 0 955.46/590.14 c (34,0) c ForcedImports_winner : 0 955.46/590.14 c (34,0) c PropsBinClauses_0 : 82254087 955.46/590.14 c (34,0) c PropsBinClauses_1 : 76451964 955.46/590.14 c (34,0) c PropsBinClauses_2 : 87753721 955.46/590.14 c (34,0) c PropsBinClauses_3 : 88291431 955.46/590.14 c (34,0) c PropsBinClauses_4 : 80124266 955.46/590.14 c (34,0) c PropsBinClauses_5 : 83808336 955.46/590.14 c (34,0) c PropsBinClauses_6 : 83784283 955.46/590.14 c (34,0) c PropsBinClauses_7 : 79456155 955.46/590.14 c (34,0) c PropsBinClauses_total : 661924243 955.46/590.14 c (34,0) c PropsBinClauses_winner : 80124266 955.46/590.14 c (34,0) c PropsPreBlocker_0 : 377129685 955.46/590.14 c (34,0) c PropsPreBlocker_1 : 348815908 955.46/590.14 c (34,0) c PropsPreBlocker_2 : 389939690 955.46/590.14 c (34,0) c PropsPreBlocker_3 : 382204805 955.46/590.14 c (34,0) c PropsPreBlocker_4 : 353240612 955.46/590.14 c (34,0) c PropsPreBlocker_5 : 381933969 955.46/590.14 c (34,0) c PropsPreBlocker_6 : 375634784 955.46/590.14 c (34,0) c PropsPreBlocker_7 : 354555893 955.46/590.14 c (34,0) c PropsPreBlocker_total : 2963455346 955.46/590.14 c (34,0) c PropsPreBlocker_winner : 353240612 955.46/590.14 c (34,0) c PropsNotBlocker_0 : 133040929 955.46/590.14 c (34,0) c PropsNotBlocker_1 : 124721451 955.46/590.14 c (34,0) c PropsNotBlocker_2 : 138879149 955.46/590.14 c (34,0) c PropsNotBlocker_3 : 130971309 955.46/590.14 c (34,0) c PropsNotBlocker_4 : 121724072 955.46/590.14 c (34,0) c PropsNotBlocker_5 : 137875542 955.46/590.14 c (34,0) c PropsNotBlocker_6 : 132064706 955.46/590.14 c (34,0) c PropsNotBlocker_7 : 126007698 955.46/590.14 c (34,0) c PropsNotBlocker_total : 1045284856 955.46/590.14 c (34,0) c PropsNotBlocker_winner : 121724072 955.46/590.14 c (34,0) c PropsLitFullScans_0 : 815904437 955.46/590.14 c (34,0) c PropsLitFullScans_1 : 762286106 955.46/590.14 c (34,0) c PropsLitFullScans_2 : 828296896 955.46/590.14 c (34,0) c PropsLitFullScans_3 : 828244033 955.46/590.14 c (34,0) c PropsLitFullScans_4 : 764088039 955.46/590.14 c (34,0) c PropsLitFullScans_5 : 828294711 955.46/590.14 c (34,0) c PropsLitFullScans_6 : 824994543 955.46/590.14 c (34,0) c PropsLitFullScans_7 : 798353942 955.46/590.14 c (34,0) c PropsLitFullScans_total : 6450462707 955.46/590.14 c (34,0) c PropsLitFullScans_winner : 764088039 955.46/590.14 c (34,0) c LitScanFractions_0 : 262247 955.46/590.14 c (34,0) c LitScanFractions_1 : 236843 955.46/590.14 c (34,0) c LitScanFractions_2 : 231548 955.46/590.14 c (34,0) c LitScanFractions_3 : 236132 955.46/590.14 c (34,0) c LitScanFractions_4 : 324102 955.46/590.14 c (34,0) c LitScanFractions_5 : 282990 955.46/590.14 c (34,0) c LitScanFractions_6 : 350871 955.46/590.14 c (34,0) c LitScanFractions_7 : 351363 955.46/590.14 c (34,0) c LitScanFractions_total : 2276096 955.46/590.14 c (34,0) c LitScanFractions_winner : 324102 955.46/590.14 c (34,0) c DecisionLevel0_0 : 65 955.46/590.14 c (34,0) c DecisionLevel0_1 : 90 955.46/590.14 c (34,0) c DecisionLevel0_2 : 82 955.46/590.14 c (34,0) c DecisionLevel0_3 : 70 955.46/590.14 c (34,0) c DecisionLevel0_4 : 59 955.46/590.14 c (34,0) c DecisionLevel0_5 : 51 955.46/590.14 c (34,0) c DecisionLevel0_6 : 70 955.46/590.14 c (34,0) c DecisionLevel0_7 : 71 955.46/590.14 c (34,0) c DecisionLevel0_total : 558 955.46/590.14 c (34,0) c DecisionLevel0_winner : 59 955.46/590.14 c (34,0) c Periods_0 : 135 955.46/590.14 c (34,0) c Periods_1 : 127 955.46/590.14 c (34,0) c Periods_2 : 138 955.46/590.14 c (34,0) c Periods_3 : 138 955.46/590.14 c (34,0) c Periods_4 : 127 955.46/590.14 c (34,0) c Periods_5 : 138 955.46/590.14 c (34,0) c Periods_6 : 137 955.46/590.14 c (34,0) c Periods_7 : 133 955.46/590.14 c (34,0) c Periods_total : 1073 955.46/590.14 c (34,0) c Periods_winner : 127 955.46/590.14 c (34,0) c Margin_0 : 20 955.46/590.14 c (34,0) c Margin_1 : 20 955.46/590.14 c (34,0) c Margin_2 : 20 955.46/590.14 c (34,0) c Margin_3 : 20 955.46/590.14 c (34,0) c Margin_4 : 20 955.46/590.14 c (34,0) c Margin_5 : 20 955.46/590.14 c (34,0) c Margin_6 : 20 955.46/590.14 c (34,0) c Margin_7 : 20 955.46/590.14 c (34,0) c Margin_total : 160 955.46/590.14 c (34,0) c Margin_winner : 20 955.46/590.14 c (34,0) c Exported_0 : 3532 955.46/590.14 c (34,0) c Exported_1 : 3467 955.46/590.14 c (34,0) c Exported_2 : 3765 955.46/590.14 c (34,0) c Exported_3 : 3099 955.46/590.14 c (34,0) c Exported_4 : 2694 955.46/590.14 c (34,0) c Exported_5 : 3869 955.46/590.14 c (34,0) c Exported_6 : 3286 955.46/590.15 c (34,0) c Exported_7 : 2960 955.46/590.15 c (34,0) c Exported_total : 26672 955.46/590.15 c (34,0) c Exported_winner : 2694 955.46/590.15 c (34,0) c Imported_0 : 19634 955.46/590.15 c (34,0) c Imported_1 : 17398 955.46/590.15 c (34,0) c Imported_2 : 18537 955.46/590.15 c (34,0) c Imported_3 : 20016 955.46/590.15 c (34,0) c Imported_4 : 17530 955.46/590.15 c (34,0) c Imported_5 : 19713 955.46/590.15 c (34,0) c Imported_6 : 19810 955.46/590.15 c (34,0) c Imported_7 : 18253 955.46/590.15 c (34,0) c Imported_total : 150891 955.46/590.15 c (34,0) c Imported_winner : 17530 955.46/590.15 c (34,0) c Good_0 : 6149 955.46/590.15 c (34,0) c Good_1 : 5751 955.46/590.15 c (34,0) c Good_2 : 5952 955.46/590.15 c (34,0) c Good_3 : 6256 955.46/590.15 c (34,0) c Good_4 : 5576 955.46/590.15 c (34,0) c Good_5 : 6317 955.46/590.15 c (34,0) c Good_6 : 6146 955.46/590.15 c (34,0) c Good_7 : 5838 955.46/590.15 c (34,0) c Good_total : 47985 955.46/590.15 c (34,0) c Good_winner : 5576 955.46/590.15 c (34,0) c Purge_0 : 13485 955.46/590.15 c (34,0) c Purge_1 : 11647 955.46/590.15 c (34,0) c Purge_2 : 12585 955.46/590.15 c (34,0) c Purge_3 : 13760 955.46/590.15 c (34,0) c Purge_4 : 11954 955.46/590.15 c (34,0) c Purge_5 : 13396 955.46/590.15 c (34,0) c Purge_6 : 13664 955.46/590.15 c (34,0) c Purge_7 : 12415 955.46/590.15 c (34,0) c Purge_total : 102906 955.46/590.15 c (34,0) c Purge_winner : 11954 955.46/590.15 c (34,0) c Promoted_0 : 321 955.46/590.15 c (34,0) c Promoted_1 : 213 955.46/590.15 c (34,0) c Promoted_2 : 228 955.46/590.15 c (34,0) c Promoted_3 : 275 955.46/590.15 c (34,0) c Promoted_4 : 257 955.46/590.15 c (34,0) c Promoted_5 : 373 955.46/590.15 c (34,0) c Promoted_6 : 375 955.46/590.15 c (34,0) c Promoted_7 : 297 955.46/590.15 c (34,0) c Promoted_total : 2339 955.46/590.15 c (34,0) c Promoted_winner : 257 955.46/590.15 c (34,0) c Remove_Imp_0 : 2790 955.46/590.15 c (34,0) c Remove_Imp_1 : 2020 955.46/590.15 c (34,0) c Remove_Imp_2 : 2715 955.46/590.15 c (34,0) c Remove_Imp_3 : 0 955.46/590.15 c (34,0) c Remove_Imp_4 : 0 955.46/590.15 c (34,0) c Remove_Imp_5 : 766 955.46/590.15 c (34,0) c Remove_Imp_6 : 4368 955.46/590.15 c (34,0) c Remove_Imp_7 : 0 955.46/590.15 c (34,0) c Remove_Imp_total : 12659 955.46/590.15 c (34,0) c Remove_Imp_winner : 0 955.46/590.15 c (34,0) c Blocked_Reuse_0 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_1 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_2 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_3 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_4 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_5 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_6 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_7 : 0 955.46/590.15 c (34,0) c Blocked_Reuse_total : 0 955.46/590.15 c (34,0) c Blocked_Reuse_winner : 0 955.46/590.15 c (34,0) c Unaries_0 : 0 955.46/590.15 c (34,0) c Unaries_1 : 0 955.46/590.15 c (34,0) c Unaries_2 : 1 955.46/590.15 c (34,0) c Unaries_3 : 1 955.46/590.15 c (34,0) c Unaries_4 : 0 955.46/590.15 c (34,0) c Unaries_5 : 0 955.46/590.15 c (34,0) c Unaries_6 : 2 955.46/590.15 c (34,0) c Unaries_7 : 0 955.46/590.15 c (34,0) c Unaries_total : 4 955.46/590.15 c (34,0) c Unaries_winner : 0 955.46/590.15 c (34,0) c Binaries_0 : 1112 955.46/590.15 c (34,0) c Binaries_1 : 914 955.46/590.15 c (34,0) c Binaries_2 : 1097 955.46/590.15 c (34,0) c Binaries_3 : 1012 955.46/590.15 c (34,0) c Binaries_4 : 958 955.46/590.15 c (34,0) c Binaries_5 : 1059 955.46/590.15 c (34,0) c Binaries_6 : 1095 955.46/590.15 c (34,0) c Binaries_7 : 976 955.46/590.15 c (34,0) c Binaries_total : 8223 955.46/590.15 c (34,0) c Binaries_winner : 958 955.46/590.15 c (34,0) c Glues_0 : 1715 955.46/590.15 c (34,0) c Glues_1 : 1498 955.46/590.15 c (34,0) c Glues_2 : 1831 955.46/590.15 c (34,0) c Glues_3 : 1670 955.46/590.15 c (34,0) c Glues_4 : 1482 955.46/590.15 c (34,0) c Glues_5 : 1784 955.46/590.15 c (34,0) c Glues_6 : 1697 955.46/590.15 c (34,0) c Glues_7 : 1522 955.46/590.15 c (34,0) c Glues_total : 13199 955.46/590.15 c (34,0) c Glues_winner : 1482 955.46/590.15 c (34,0) c RunningTime_0 : 28.260867 955.46/590.15 c (34,0) c RunningTime_1 : 29.866729 955.46/590.15 c (34,0) c RunningTime_2 : 28.060313 955.46/590.15 c (34,0) c RunningTime_3 : 28.369916 955.46/590.15 c (34,0) c RunningTime_4 : 28.245271 955.46/590.15 c (34,0) c RunningTime_5 : 28.206471 955.46/590.15 c (34,0) c RunningTime_6 : 27.886697 955.46/590.15 c (34,0) c RunningTime_7 : 28.267050 955.46/590.15 c (34,0) c RunningTime_total : 227.163315 955.46/590.15 c (34,0) c RunningTime_winner : 28.245271 955.46/590.15 c (34,0) c WaitingTime_0 : 0.000270 955.46/590.15 c (34,0) c WaitingTime_1 : 0.000352 955.46/590.15 c (34,0) c WaitingTime_2 : 0.268951 955.46/590.15 c (34,0) c WaitingTime_3 : 0.000237 955.46/590.15 c (34,0) c WaitingTime_4 : 0.000264 955.46/590.15 c (34,0) c WaitingTime_5 : 0.124330 955.46/590.15 c (34,0) c WaitingTime_6 : 0.389993 955.46/590.15 c (34,0) c WaitingTime_7 : 0.000227 955.46/590.15 c (34,0) c WaitingTime_total : 0.784625 955.46/590.15 c (34,0) c WaitingTime_winner : 0.000264 955.46/590.15 c (34,0) c ExchangingTime_0 : 0.024315 955.46/590.15 c (34,0) c ExchangingTime_1 : 0.026282 955.46/590.15 c (34,0) c ExchangingTime_2 : 0.024208 955.46/590.15 c (34,0) c ExchangingTime_3 : 0.024830 955.46/590.15 c (34,0) c ExchangingTime_4 : 0.024670 955.46/590.15 c (34,0) c ExchangingTime_5 : 0.024764 955.46/590.15 c (34,0) c ExchangingTime_6 : 0.024231 955.46/590.15 c (34,0) c ExchangingTime_7 : 0.026362 955.46/590.15 c (34,0) c ExchangingTime_total : 0.199661 955.46/590.15 c (34,0) c ExchangingTime_winner : 0.024670 955.46/590.15 c (34,0) c PeriodProcTime_0 : 0.001287 955.46/590.15 c (34,0) c PeriodProcTime_1 : 0.001356 955.46/590.15 c (34,0) c PeriodProcTime_2 : 0.001327 955.46/590.15 c (34,0) c PeriodProcTime_3 : 0.001448 955.46/590.15 c (34,0) c PeriodProcTime_4 : 0.001348 955.46/590.15 c (34,0) c PeriodProcTime_5 : 0.001431 955.46/590.15 c (34,0) c PeriodProcTime_6 : 0.001587 955.46/590.15 c (34,0) c PeriodProcTime_7 : 0.001297 955.46/590.15 c (34,0) c PeriodProcTime_total : 0.011082 955.46/590.15 c (34,0) c PeriodProcTime_winner : 0.001348 955.46/590.15 c (34,0) c SolvingTime_0 : 28.286739 955.46/590.15 c (34,0) c SolvingTime_1 : 29.894719 955.46/590.15 c (34,0) c SolvingTime_2 : 28.354800 955.46/590.15 c (34,0) c SolvingTime_3 : 28.396431 955.46/590.15 c (34,0) c SolvingTime_4 : 28.271554 955.46/590.15 c (34,0) c SolvingTime_5 : 28.356996 955.46/590.15 c (34,0) c SolvingTime_6 : 28.302507 955.46/590.15 c (34,0) c SolvingTime_7 : 28.294937 955.46/590.15 c (34,0) c SolvingTime_total : 228.158683 955.46/590.15 c (34,0) c SolvingTime_winner : 28.271554 955.46/590.15 c (34,0) c PropagationTime_0 : 23.775441 955.46/590.15 c (34,0) c PropagationTime_1 : 25.455358 955.46/590.15 c (34,0) c PropagationTime_2 : 23.384181 955.46/590.15 c (34,0) c PropagationTime_3 : 23.341893 955.46/590.15 c (34,0) c PropagationTime_4 : 23.327914 955.46/590.15 c (34,0) c PropagationTime_5 : 23.844766 955.46/590.15 c (34,0) c PropagationTime_6 : 23.225691 955.46/590.15 c (34,0) c PropagationTime_7 : 23.154405 955.46/590.15 c (34,0) c PropagationTime_total : 189.509650 955.46/590.15 c (34,0) c PropagationTime_winner : 23.327914 955.46/590.15 c (34,0) c AnalysisTime_0 : 1.651602 955.46/590.15 c (34,0) c AnalysisTime_1 : 1.767637 955.46/590.15 c (34,0) c AnalysisTime_2 : 1.798952 955.46/590.15 c (34,0) c AnalysisTime_3 : 1.716524 955.46/590.15 c (34,0) c AnalysisTime_4 : 1.597583 955.46/590.15 c (34,0) c AnalysisTime_5 : 1.736567 955.46/590.15 c (34,0) c AnalysisTime_6 : 1.885952 955.46/590.15 c (34,0) c AnalysisTime_7 : 2.174993 955.46/590.15 c (34,0) c AnalysisTime_total : 14.329811 955.46/590.15 c (34,0) c AnalysisTime_winner : 1.597583 955.46/590.15 c (34,0) c ReductionTime_0 : 0.011034 955.46/590.15 c (34,0) c ReductionTime_1 : 0.010056 955.46/590.15 c (34,0) c ReductionTime_2 : 0.010922 955.46/590.15 c (34,0) c ReductionTime_3 : 0.006435 955.46/590.15 c (34,0) c ReductionTime_4 : 0.004988 955.46/590.15 c (34,0) c ReductionTime_5 : 0.013048 955.46/590.15 c (34,0) c ReductionTime_6 : 0.025076 955.46/590.15 c (34,0) c ReductionTime_7 : 0.007150 955.46/590.15 c (34,0) c ReductionTime_total : 0.088708 955.46/590.15 c (34,0) c ReductionTime_winner : 0.004988 955.46/590.15 c (34,0) c SimplifyTime_0 : 0.294252 955.46/590.15 c (34,0) c SimplifyTime_1 : 0.318508 955.46/590.15 c (34,0) c SimplifyTime_2 : 0.187518 955.46/590.15 c (34,0) c SimplifyTime_3 : 0.298499 955.46/590.15 c (34,0) c SimplifyTime_4 : 0.319696 955.46/590.15 c (34,0) c SimplifyTime_5 : 0.297776 955.46/590.15 c (34,0) c SimplifyTime_6 : 0.301011 955.46/590.15 c (34,0) c SimplifyTime_7 : 0.305602 955.46/590.15 c (34,0) c SimplifyTime_total : 2.322863 955.46/590.15 c (34,0) c SimplifyTime_winner : 0.319696 955.46/590.15 c (34,0) c UsedRateTime_0 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_1 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_2 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_3 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_4 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_5 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_6 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_7 : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_total : 0.000000 955.46/590.15 c (34,0) c UsedRateTime_winner : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_0 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_1 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_2 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_3 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_4 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_5 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_6 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_7 : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_total : 0.000000 955.46/590.15 c (34,0) c OverlapRateTime_winner : 0.000000 955.46/590.15 c (34,0) c 955.46/590.15 c (34,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 955.46/590.15 c (34,0) c 955.46/590.15 c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.15 c (34,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 955.46/590.15 c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.15 c (34,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 955.46/590.15 c (34,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 955.46/590.15 c (34,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 955.46/590.15 c (34,0) c | Initial random_seed | 1600849136 | 1652502260 | 785556440 | 1941637181 | 375903435 | 790047702 | 1374526413 | 1230601070 | 955.46/590.15 c (34,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 955.46/590.15 c (34,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 955.46/590.15 c (34,0) c | glureduce | True | True | True | True | True | True | True | True | 955.46/590.15 c (34,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 955.46/590.15 c (34,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 955.46/590.15 c (34,0) c | luby_restart | False | False | False | False | False | False | False | False | 955.46/590.15 c (34,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 955.46/590.15 c (34,0) c | var_decay | 0.8500 | 0.8400 | 0.8500 | 0.8400 | 0.8400 | 0.8500 | 0.8400 | 0.8400 | 955.46/590.15 c (34,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 955.46/590.15 c (34,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 955.46/590.15 c (34,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 955.46/590.15 c (34,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.46/590.15 c (34,0) 955.46/590.15 c (34,0) s SATISFIABLE 728.00/590.46 c (34,0) SatSolver.solve End 728.00/590.46 c (34,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 728.00/590.46 c (34,0) Show results Begin 956.59/590.60 c (34,0) x[0][0] = 17 956.59/590.60 c (34,0) x[0][1] = 0 956.59/590.60 c (34,0) x[0][2] = 6 956.59/590.60 c (34,0) x[0][3] = 4 956.59/590.60 c (34,0) x[0][5] = 15 956.59/590.60 c (34,0) x[0][6] = 8 956.59/590.60 c (34,0) x[0][7] = 18 956.59/590.60 c (34,0) x[0][8] = 19 956.59/590.60 c (34,0) x[0][9] = 4 956.59/590.60 c (34,0) x[0][11] = 1 956.59/590.60 c (34,0) x[0][12] = 4 956.59/590.60 c (34,0) x[0][13] = 15 956.59/590.60 c (34,0) x[0][14] = 15 956.59/590.60 c (34,0) x[0][15] = 20 956.59/590.60 c (34,0) x[0][17] = 2 956.59/590.60 c (34,0) x[0][18] = 0 956.59/590.60 c (34,0) x[0][19] = 4 956.59/590.60 c (34,0) x[0][20] = 12 956.59/590.60 c (34,0) x[1][0] = 0 956.59/590.60 c (34,0) x[1][1] = 1 956.59/590.60 c (34,0) x[1][2] = 4 956.59/590.60 c (34,0) x[1][3] = 17 956.59/590.60 c (34,0) x[1][5] = 18 956.59/590.60 c (34,0) x[1][6] = 11 956.59/590.60 c (34,0) x[1][7] = 20 956.59/590.60 c (34,0) x[1][8] = 17 956.59/590.60 c (34,0) x[1][9] = 15 956.59/590.60 c (34,0) x[1][11] = 8 956.59/590.60 c (34,0) x[1][12] = 23 956.59/590.60 c (34,0) x[1][13] = 0 956.59/590.60 c (34,0) x[1][14] = 8 956.59/590.60 c (34,0) x[1][15] = 19 956.59/590.60 c (34,0) x[1][17] = 0 956.59/590.60 c (34,0) x[1][18] = 13 956.59/590.60 c (34,0) x[1][19] = 6 956.59/590.60 c (34,0) x[1][20] = 4 956.59/590.60 c (34,0) x[2][0] = 2 956.59/590.60 c (34,0) x[2][1] = 0 956.59/590.60 c (34,0) x[2][2] = 11 956.59/590.60 c (34,0) x[2][3] = 14 956.59/590.60 c (34,0) x[2][4] = 19 956.59/590.60 c (34,0) x[2][5] = 19 956.59/590.60 c (34,0) x[2][6] = 4 956.59/590.60 c (34,0) x[2][7] = 17 956.59/590.60 c (34,0) x[2][8] = 0 956.59/590.60 c (34,0) x[2][9] = 18 956.59/590.60 c (34,0) x[2][11] = 18 956.59/590.60 c (34,0) x[2][12] = 0 956.59/590.60 c (34,0) x[2][13] = 17 956.59/590.60 c (34,0) x[2][14] = 2 956.59/590.60 c (34,0) x[2][15] = 4 956.59/590.60 c (34,0) x[2][16] = 4 956.59/590.60 c (34,0) x[2][17] = 13 956.59/590.60 c (34,0) x[2][18] = 13 956.59/590.60 c (34,0) x[2][19] = 4 956.59/590.60 c (34,0) x[2][20] = 18 956.59/590.60 c (34,0) x[3][0] = 4 956.59/590.60 c (34,0) x[3][1] = 19 956.59/590.60 c (34,0) x[3][2] = 20 956.59/590.60 c (34,0) x[3][3] = 3 956.59/590.60 c (34,0) x[3][4] = 4 956.59/590.60 c (34,0) x[3][6] = 18 956.59/590.60 c (34,0) x[3][7] = 14 956.59/590.60 c (34,0) x[3][8] = 12 956.59/590.60 c (34,0) x[3][10] = 12 956.59/590.60 c (34,0) x[3][11] = 14 956.59/590.60 c (34,0) x[3][12] = 11 956.59/590.60 c (34,0) x[3][13] = 19 956.59/590.60 c (34,0) x[3][14] = 14 956.59/590.60 c (34,0) x[3][16] = 2 956.59/590.60 c (34,0) x[3][17] = 14 956.59/590.60 c (34,0) x[3][18] = 20 956.59/590.60 c (34,0) x[3][19] = 17 956.59/590.60 c (34,0) x[3][20] = 18 956.59/590.60 c (34,0) x[4][2] = 18 956.59/590.60 c (34,0) x[4][3] = 0 956.59/590.60 c (34,0) x[4][4] = 11 956.59/590.60 c (34,0) x[4][5] = 18 956.59/590.60 c (34,0) x[4][7] = 8 956.59/590.60 c (34,0) x[4][8] = 0 956.59/590.60 c (34,0) x[4][9] = 10 956.59/590.60 c (34,0) x[4][10] = 14 956.59/590.60 c (34,0) x[4][11] = 20 956.59/590.60 c (34,0) x[4][12] = 19 956.59/590.60 c (34,0) x[4][13] = 4 956.59/590.61 c (34,0) x[4][15] = 9 956.59/590.61 c (34,0) x[4][16] = 20 956.59/590.61 c (34,0) x[4][17] = 19 956.59/590.61 c (34,0) x[4][18] = 0 956.59/590.61 c (34,0) x[5][0] = 12 956.59/590.61 c (34,0) x[5][1] = 0 956.59/590.61 c (34,0) x[5][2] = 8 956.59/590.61 c (34,0) x[5][4] = 18 956.59/590.61 c (34,0) x[5][5] = 19 956.59/590.61 c (34,0) x[5][6] = 4 956.59/590.61 c (34,0) x[5][7] = 19 956.59/590.61 c (34,0) x[5][8] = 18 956.59/590.61 c (34,0) x[5][9] = 14 956.59/590.61 c (34,0) x[5][10] = 13 956.59/590.61 c (34,0) x[5][12] = 0 956.59/590.61 c (34,0) x[5][13] = 13 956.59/590.61 c (34,0) x[5][14] = 19 956.59/590.61 c (34,0) x[5][15] = 4 956.59/590.61 c (34,0) x[5][16] = 18 956.59/590.61 c (34,0) x[5][18] = 11 956.59/590.61 c (34,0) x[5][19] = 4 956.59/590.61 c (34,0) x[5][20] = 12 956.59/590.61 c (34,0) x[6][0] = 4 956.59/590.61 c (34,0) x[6][1] = 19 956.59/590.61 c (34,0) x[6][2] = 4 956.59/590.61 c (34,0) x[6][3] = 11 956.59/590.61 c (34,0) x[6][5] = 17 956.59/590.61 c (34,0) x[6][6] = 14 956.59/590.61 c (34,0) x[6][7] = 18 956.59/590.61 c (34,0) x[6][9] = 7 956.59/590.61 c (34,0) x[6][10] = 14 956.59/590.61 c (34,0) x[6][11] = 20 956.59/590.61 c (34,0) x[6][13] = 19 956.59/590.61 c (34,0) x[6][14] = 0 956.59/590.61 c (34,0) x[6][15] = 20 956.59/590.61 c (34,0) x[6][17] = 0 956.59/590.61 c (34,0) x[6][18] = 8 956.59/590.61 c (34,0) x[6][19] = 11 956.59/590.61 c (34,0) x[6][20] = 4 956.59/590.61 c (34,0) x[7][0] = 18 956.59/590.62 c (34,0) x[7][1] = 4 956.59/590.62 c (34,0) x[7][2] = 13 956.59/590.62 c (34,0) x[7][3] = 4 956.59/590.62 c (34,0) x[7][4] = 2 956.59/590.62 c (34,0) x[7][5] = 14 956.59/590.62 c (34,0) x[7][6] = 13 956.59/590.62 c (34,0) x[7][8] = 1 956.59/590.62 c (34,0) x[7][9] = 14 956.59/590.62 c (34,0) x[7][10] = 18 956.59/590.62 c (34,0) x[7][11] = 18 956.59/590.62 c (34,0) x[7][12] = 20 956.59/590.62 c (34,0) x[7][14] = 20 956.59/590.62 c (34,0) x[7][15] = 13 956.59/590.62 c (34,0) x[7][16] = 8 956.59/590.62 c (34,0) x[7][17] = 18 956.59/590.62 c (34,0) x[7][18] = 18 956.59/590.62 c (34,0) x[7][19] = 4 956.59/590.62 c (34,0) x[7][20] = 25 956.59/590.62 c (34,0) x[8][0] = 14 956.59/590.62 c (34,0) x[8][1] = 12 956.59/590.62 c (34,0) x[8][2] = 13 956.59/590.62 c (34,0) x[8][3] = 8 956.59/590.62 c (34,0) x[8][4] = 20 956.59/590.62 c (34,0) x[8][5] = 12 956.59/590.62 c (34,0) x[8][7] = 18 956.59/590.62 c (34,0) x[8][8] = 0 956.59/590.62 c (34,0) x[8][9] = 11 956.59/590.62 c (34,0) x[8][11] = 4 956.59/590.62 c (34,0) x[8][12] = 17 956.59/590.62 c (34,0) x[8][13] = 18 956.59/590.62 c (34,0) x[8][15] = 0 956.59/590.62 c (34,0) x[8][16] = 11 956.59/590.62 c (34,0) x[8][17] = 15 956.59/590.62 c (34,0) x[8][18] = 0 956.59/590.62 c (34,0) x[8][19] = 6 956.59/590.62 c (34,0) x[8][20] = 4 956.59/590.62 c (34,0) x[9][0] = 13 956.59/590.62 c (34,0) x[9][1] = 8 956.59/590.62 c (34,0) x[9][2] = 4 956.59/590.62 c (34,0) x[9][4] = 18 956.59/590.62 c (34,0) x[9][5] = 0 956.59/590.62 c (34,0) x[9][6] = 25 956.59/590.62 c (34,0) x[9][7] = 14 956.59/590.62 c (34,0) x[9][8] = 8 956.59/590.62 c (34,0) x[9][9] = 18 956.59/590.62 c (34,0) x[9][11] = 17 956.59/590.62 c (34,0) x[9][12] = 4 956.59/590.62 c (34,0) x[9][13] = 0 956.59/590.62 c (34,0) x[9][14] = 2 956.59/590.62 c (34,0) x[9][16] = 0 956.59/590.62 c (34,0) x[9][17] = 17 956.59/590.62 c (34,0) x[9][18] = 18 956.59/590.62 c (34,0) x[9][19] = 8 956.59/590.62 c (34,0) x[9][20] = 18 956.59/590.62 c (34,0) x[10][3] = 4 956.59/590.62 c (34,0) x[10][4] = 15 956.59/590.62 c (34,0) x[10][5] = 18 956.59/590.62 c (34,0) x[10][6] = 14 956.59/590.62 c (34,0) x[10][7] = 12 956.59/590.62 c (34,0) x[10][13] = 12 956.59/590.62 c (34,0) x[10][14] = 0 956.59/590.62 c (34,0) x[10][15] = 17 956.59/590.62 c (34,0) x[10][16] = 8 956.59/590.62 c (34,0) x[10][17] = 4 956.59/590.62 c (34,0) x[11][0] = 0 956.59/590.62 c (34,0) x[11][1] = 1 956.59/590.62 c (34,0) x[11][2] = 4 956.59/590.62 c (34,0) x[11][3] = 19 956.59/590.62 c (34,0) x[11][4] = 8 956.59/590.62 c (34,0) x[11][6] = 1 956.59/590.62 c (34,0) x[11][7] = 0 956.59/590.62 c (34,0) x[11][8] = 19 956.59/590.62 c (34,0) x[11][9] = 4 956.59/590.62 c (34,0) x[11][11] = 3 956.59/590.62 c (34,0) x[11][12] = 14 956.59/590.62 c (34,0) x[11][13] = 20 956.59/590.62 c (34,0) x[11][14] = 5 956.59/590.62 c (34,0) x[11][15] = 4 956.59/590.62 c (34,0) x[11][16] = 18 956.59/590.62 c (34,0) x[11][18] = 19 956.59/590.62 c (34,0) x[11][19] = 19 956.59/590.62 c (34,0) x[11][20] = 2 956.59/590.62 c (34,0) x[12][0] = 2 956.59/590.62 c (34,0) x[12][1] = 0 956.59/590.62 c (34,0) x[12][2] = 18 956.59/590.62 c (34,0) x[12][3] = 0 956.59/590.62 c (34,0) x[12][4] = 3 956.59/590.62 c (34,0) x[12][5] = 14 956.59/590.62 c (34,0) x[12][7] = 13 956.59/590.62 c (34,0) x[12][8] = 4 956.59/590.62 c (34,0) x[12][9] = 12 956.59/590.62 c (34,0) x[12][11] = 4 956.59/590.62 c (34,0) x[12][12] = 20 956.59/590.62 c (34,0) x[12][13] = 18 956.59/590.62 c (34,0) x[12][15] = 5 956.59/590.62 c (34,0) x[12][16] = 4 956.59/590.62 c (34,0) x[12][17] = 17 956.59/590.62 c (34,0) x[12][18] = 17 956.59/590.62 c (34,0) x[12][19] = 8 956.59/590.62 c (34,0) x[12][20] = 4 956.59/590.62 c (34,0) x[13][0] = 7 956.59/590.62 c (34,0) x[13][1] = 8 956.59/590.62 c (34,0) x[13][2] = 15 956.59/590.62 c (34,0) x[13][3] = 15 956.59/590.62 c (34,0) x[13][4] = 4 956.59/590.62 c (34,0) x[13][5] = 20 956.59/590.62 c (34,0) x[13][6] = 18 956.59/590.62 c (34,0) x[13][8] = 19 956.59/590.62 c (34,0) x[13][9] = 14 956.59/590.62 c (34,0) x[13][10] = 0 956.59/590.62 c (34,0) x[13][11] = 18 956.59/590.62 c (34,0) x[13][12] = 19 956.59/590.62 c (34,0) x[13][14] = 2 956.59/590.62 c (34,0) x[13][15] = 14 956.59/590.62 c (34,0) x[13][16] = 18 956.59/590.62 c (34,0) x[13][17] = 19 956.59/590.62 c (34,0) x[13][18] = 0 956.59/590.62 c (34,0) x[13][19] = 17 956.59/590.62 c (34,0) x[13][20] = 3 956.59/590.62 c (34,0) x[14][0] = 4 956.59/590.62 c (34,0) x[14][1] = 13 956.59/590.62 c (34,0) x[14][2] = 4 956.59/590.62 c (34,0) x[14][3] = 4 956.59/590.62 c (34,0) x[14][5] = 2 956.59/590.62 c (34,0) x[14][6] = 0 956.59/590.62 c (34,0) x[14][7] = 14 956.59/590.62 c (34,0) x[14][9] = 8 956.59/590.62 c (34,0) x[14][10] = 1 956.59/590.62 c (34,0) x[14][11] = 13 956.59/590.62 c (34,0) x[14][13] = 1 956.59/590.62 c (34,0) x[14][14] = 0 956.59/590.62 c (34,0) x[14][15] = 20 956.59/590.62 c (34,0) x[14][17] = 19 956.59/590.62 c (34,0) x[14][18] = 20 956.59/590.62 c (34,0) x[14][19] = 0 956.59/590.62 c (34,0) x[14][20] = 8 956.59/590.62 c (34,0) x[15][0] = 1 956.59/590.62 c (34,0) x[15][1] = 4 956.59/590.62 c (34,0) x[15][2] = 17 956.59/590.62 c (34,0) x[15][4] = 15 956.59/590.62 c (34,0) x[15][5] = 7 956.59/590.62 c (34,0) x[15][6] = 11 956.59/590.62 c (34,0) x[15][7] = 14 956.59/590.62 c (34,0) x[15][8] = 23 956.59/590.62 c (34,0) x[15][10] = 17 956.59/590.62 c (34,0) x[15][11] = 14 956.59/590.62 c (34,0) x[15][12] = 18 956.59/590.62 c (34,0) x[15][13] = 4 956.59/590.62 c (34,0) x[15][14] = 14 956.59/590.62 c (34,0) x[15][15] = 11 956.59/590.62 c (34,0) x[15][16] = 4 956.59/590.62 c (34,0) x[15][18] = 12 956.59/590.62 c (34,0) x[15][19] = 19 956.59/590.62 c (34,0) x[15][20] = 18 956.59/590.62 c (34,0) x[16][2] = 14 956.59/590.62 c (34,0) x[16][3] = 19 956.59/590.62 c (34,0) x[16][4] = 4 956.59/590.62 c (34,0) x[16][5] = 4 956.59/590.62 c (34,0) x[16][7] = 11 956.59/590.62 c (34,0) x[16][8] = 24 956.59/590.62 c (34,0) x[16][9] = 17 956.59/590.62 c (34,0) x[16][10] = 8 956.59/590.62 c (34,0) x[16][11] = 18 956.59/590.62 c (34,0) x[16][12] = 12 956.59/590.62 c (34,0) x[16][13] = 4 956.59/590.62 c (34,0) x[16][15] = 0 956.59/590.62 c (34,0) x[16][16] = 2 956.59/590.62 c (34,0) x[16][17] = 17 956.59/590.62 c (34,0) x[16][18] = 0 956.59/590.62 c (34,0) x[17][0] = 0 956.59/590.62 c (34,0) x[17][1] = 6 956.59/590.62 c (34,0) x[17][2] = 8 956.59/590.62 c (34,0) x[17][3] = 14 956.59/590.62 c (34,0) x[17][4] = 18 956.59/590.62 c (34,0) x[17][6] = 3 956.59/590.62 c (34,0) x[17][7] = 8 956.59/590.62 c (34,0) x[17][8] = 18 956.59/590.62 c (34,0) x[17][9] = 4 956.59/590.62 c (34,0) x[17][10] = 18 956.59/590.62 c (34,0) x[17][12] = 14 956.59/590.62 c (34,0) x[17][13] = 17 956.59/590.62 c (34,0) x[17][14] = 4 956.59/590.62 c (34,0) x[17][16] = 17 956.59/590.62 c (34,0) x[17][17] = 4 956.59/590.62 c (34,0) x[17][18] = 19 956.59/590.62 c (34,0) x[17][19] = 17 956.59/590.62 c (34,0) x[17][20] = 14 956.59/590.62 c (34,0) x[18][0] = 2 956.59/590.62 c (34,0) x[18][1] = 0 956.59/590.62 c (34,0) x[18][2] = 18 956.59/590.62 c (34,0) x[18][3] = 18 956.59/590.62 c (34,0) x[18][4] = 14 956.59/590.62 c (34,0) x[18][5] = 11 956.59/590.62 c (34,0) x[18][6] = 4 956.59/590.62 c (34,0) x[18][7] = 19 956.59/590.62 c (34,0) x[18][8] = 19 956.59/590.62 c (34,0) x[18][9] = 4 956.59/590.62 c (34,0) x[18][11] = 0 956.59/590.62 c (34,0) x[18][12] = 2 956.59/590.62 c (34,0) x[18][13] = 0 956.59/590.62 c (34,0) x[18][14] = 11 956.59/590.62 c (34,0) x[18][15] = 2 956.59/590.62 c (34,0) x[18][16] = 20 956.59/590.62 c (34,0) x[18][17] = 11 956.59/590.62 c (34,0) x[18][18] = 8 956.59/590.62 c (34,0) x[18][19] = 4 956.59/590.62 c (34,0) x[18][20] = 18 956.59/590.62 c (34,0) x[19][0] = 7 956.59/590.62 c (34,0) x[19][1] = 20 956.59/590.62 c (34,0) x[19][2] = 4 956.59/590.62 c (34,0) x[19][3] = 18 956.59/590.62 c (34,0) x[19][5] = 4 956.59/590.62 c (34,0) x[19][6] = 2 956.59/590.62 c (34,0) x[19][7] = 7 956.59/590.62 c (34,0) x[19][8] = 4 956.59/590.62 c (34,0) x[19][9] = 17 956.59/590.62 c (34,0) x[19][11] = 18 956.59/590.62 c (34,0) x[19][12] = 10 956.59/590.62 c (34,0) x[19][13] = 8 956.59/590.62 c (34,0) x[19][14] = 4 956.59/590.62 c (34,0) x[19][15] = 17 956.59/590.62 c (34,0) x[19][17] = 20 956.59/590.62 c (34,0) x[19][18] = 18 956.59/590.62 c (34,0) x[19][19] = 0 956.59/590.62 c (34,0) x[19][20] = 18 956.59/590.62 c (34,0) x[20][0] = 4 956.59/590.62 c (34,0) x[20][1] = 17 956.59/590.62 c (34,0) x[20][2] = 18 956.59/590.62 c (34,0) x[20][3] = 4 956.59/590.62 c (34,0) x[20][5] = 3 956.59/590.62 c (34,0) x[20][6] = 8 956.59/590.62 c (34,0) x[20][7] = 4 956.59/590.62 c (34,0) x[20][8] = 18 956.59/590.62 c (34,0) x[20][9] = 0 956.59/590.62 c (34,0) x[20][11] = 4 956.59/590.62 c (34,0) x[20][12] = 18 956.59/590.62 c (34,0) x[20][13] = 19 956.59/590.62 c (34,0) x[20][14] = 4 956.59/590.62 c (34,0) x[20][15] = 18 956.59/590.62 c (34,0) x[20][17] = 18 956.59/590.62 c (34,0) x[20][18] = 4 956.59/590.62 c (34,0) x[20][19] = 2 956.59/590.62 c (34,0) x[20][20] = 20 956.59/590.62 s SATISFIABLE 956.59/590.63 v <instantiation> 956.59/590.63 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][17] x[0][18] x[0][19] x[0][20] 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][9] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][6] x[3][7] x[3][8] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][2] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[14][13] x[14][14] x[14][15] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][18] x[15][19] x[15][20] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] 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][4] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][17] x[20][18] x[20][19] x[20][20]</list> 956.59/590.63 v <values>17 0 6 4 15 8 18 19 4 1 4 15 15 20 2 0 4 12 0 1 4 17 18 11 20 17 15 8 23 0 8 19 0 13 6 4 2 0 11 14 19 19 4 17 0 18 18 0 17 2 4 4 13 13 4 18 4 19 20 3 4 18 14 12 12 14 11 19 14 2 14 20 17 18 18 0 11 18 8 0 10 14 20 19 4 9 20 19 0 12 0 8 18 19 4 19 18 14 13 0 13 19 4 18 11 4 12 4 19 4 11 17 14 18 7 14 20 19 0 20 0 8 11 4 18 4 13 4 2 14 13 1 14 18 18 20 20 13 8 18 18 4 25 14 12 13 8 20 12 18 0 11 4 17 18 0 11 15 0 6 4 13 8 4 18 0 25 14 8 18 17 4 0 2 0 17 18 8 18 4 15 18 14 12 12 0 17 8 4 0 1 4 19 8 1 0 19 4 3 14 20 5 4 18 19 19 2 2 0 18 0 3 14 13 4 12 4 20 18 5 4 17 17 8 4 7 8 15 15 4 20 18 19 14 0 18 19 2 14 18 19 0 17 3 4 13 4 4 2 0 14 8 1 13 1 0 20 19 20 0 8 1 4 17 15 7 11 14 23 17 14 18 4 14 11 4 12 19 18 14 19 4 4 11 24 17 8 18 12 4 0 2 17 0 0 6 8 14 18 3 8 18 4 18 14 17 4 17 4 19 17 14 2 0 18 18 14 11 4 19 19 4 0 2 0 11 2 20 11 8 4 18 7 20 4 18 4 2 7 4 17 18 10 8 4 17 20 18 0 18 4 17 18 4 3 8 4 18 0 4 18 19 4 18 18 4 2 20</values> 956.59/590.63 v </instantiation> 956.59/590.63 c (34,0) Show results End 956.59/590.63 c (34,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 956.59/590.63 c (34,0) 34,34,STOP-AFTER(ALL) 956.59/590.63 c END-Prog: Wed Sep 25 00:11:34 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 (13365 MiB free) memory of node 1: 16384 MiB (12486 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405588-1569362548/watcher-4405588-1569362548 -o /var/tmp/evaluation-result-4405588-1569362548/solver-4405588-1569362548 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405588-1569362548.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19897, runsolver pid=19894 [startup+0.100169 s]* /proc/loadavg: 7.95 8.19 7.97 2/213 19919 /proc/meminfo: memFree=26378836/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512503398 115843072 349 33554432000 4194304 5098028 140729053171808 140729053169064 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 349 296 221 0 87 0 [pid=19900] ppid=19897 vsize=27314120 memory=105912 CPUtime=0.11 cores=0-7 /proc/19900/stat : 19900 (java) S 19897 19897 18552 0 -1 1077944320 6503 0 0 0 8 3 0 0 20 0 20 0 512503398 27969658880 26478 33554432000 4194304 4196468 140728656449664 140728656432208 139890616069879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 /proc/19900/statm: 6828530 26478 2796 1 0 6790935 0 [pid=19900/tid=19901] ppid=19897 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/19900/task/19901/stat : 19901 (java) R 19897 19897 18552 0 -1 4202560 4583 0 0 0 7 2 0 0 20 0 20 0 512503399 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890587891200 139890616081814 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19902] ppid=19897 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19900/task/19902/stat : 19902 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890620312208 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19903] ppid=19897 vsize=27314120 memory=140508375500416 CPUtime=0 cores=0-7 /proc/19900/task/19903/stat : 19903 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890038458896 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19904] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19904/stat : 19904 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890037406096 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19905] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19905/stat : 19905 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890036353296 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19906] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19906/stat : 19906 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890035301520 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19907] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19907/stat : 19907 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890034248720 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19908] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19908/stat : 19908 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890033195920 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19909] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19909/stat : 19909 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 26478 33554432000 4194304 4196468 140728656449664 139890032143120 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19910] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19910/stat : 19910 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503402 27969658880 26478 33554432000 4194304 4196468 140728656449664 139889003342192 139890616081026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19911] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19911/stat : 19911 (java) S 19897 19897 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 26478 33554432000 4194304 4196468 140728656449664 139888359892000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19912] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19912/stat : 19912 (java) S 19897 19897 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 26478 33554432000 4194304 4196468 140728656449664 139888225670000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19913] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19913/stat : 19913 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139887851165520 139890616088475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19914] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19914/stat : 19914 (java) R 19897 19897 18552 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139889002290032 139890616081026 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19915] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19915/stat : 19915 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139889001237232 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19916] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19916/stat : 19916 (java) S 19897 19897 18552 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139889000184432 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19917] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19917/stat : 19917 (java) R 19897 19897 18552 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139888999131632 139890616081814 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19918] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19918/stat : 19918 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139887353260640 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19919] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19919/stat : 19919 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 26478 33554432000 4194304 4196468 140728656449664 139888998079024 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107308 KiB [startup+0.212066 s]* /proc/loadavg: 7.95 8.19 7.97 2/213 19919 /proc/meminfo: memFree=26356628/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512503398 115843072 349 33554432000 4194304 5098028 140729053171808 140729053169064 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 349 296 221 0 87 0 [pid=19900] ppid=19897 vsize=27314120 memory=124724 CPUtime=0.24 cores=0-7 /proc/19900/stat : 19900 (java) S 19897 19897 18552 0 -1 1077944320 12113 0 0 0 20 4 0 0 20 0 20 0 512503398 27969658880 31181 33554432000 4194304 4196468 140728656449664 140728656432208 139890616069879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 /proc/19900/statm: 6828530 31181 2926 1 0 6790935 0 [pid=19900/tid=19901] ppid=19897 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19900/task/19901/stat : 19901 (java) R 19897 19897 18552 0 -1 4202560 9814 0 0 0 16 4 0 0 20 0 20 0 512503399 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890587893648 139890596345639 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19902] ppid=19897 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/19900/task/19902/stat : 19902 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890620312208 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19903] ppid=19897 vsize=27314120 memory=140508379303498 CPUtime=0 cores=0-7 /proc/19900/task/19903/stat : 19903 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890038458896 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19904] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19904/stat : 19904 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890037406096 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19905] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19905/stat : 19905 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890036353296 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19906] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19906/stat : 19906 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890035301520 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19907] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19907/stat : 19907 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890034248720 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19908] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19908/stat : 19908 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890033195920 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19909] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19909/stat : 19909 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 31181 33554432000 4194304 4196468 140728656449664 139890032143120 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19910] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19910/stat : 19910 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503402 27969658880 31181 33554432000 4194304 4196468 140728656449664 139889003342192 139890616081026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19911] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19911/stat : 19911 (java) S 19897 19897 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 31181 33554432000 4194304 4196468 140728656449664 139888359892000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19912] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19912/stat : 19912 (java) S 19897 19897 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 31181 33554432000 4194304 4196468 140728656449664 139888225670000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19913] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19913/stat : 19913 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139887851165520 139890616088475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19914] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19914/stat : 19914 (java) S 19897 19897 18552 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139889002290032 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19915] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19915/stat : 19915 (java) S 19897 19897 18552 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139889001237232 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19916] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19916/stat : 19916 (java) S 19897 19897 18552 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139889000184432 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19917] ppid=19897 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/19900/task/19917/stat : 19917 (java) S 19897 19897 18552 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139888999131632 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19918] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19918/stat : 19918 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139887353260640 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19919] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19919/stat : 19919 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 31181 33554432000 4194304 4196468 140728656449664 139888998079024 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126120 KiB [startup+0.309676 s]* /proc/loadavg: 7.95 8.19 7.97 2/213 19919 /proc/meminfo: memFree=26354456/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512503398 115843072 349 33554432000 4194304 5098028 140729053171808 140729053169064 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 349 296 221 0 87 0 [pid=19900] ppid=19897 vsize=27314120 memory=128328 CPUtime=0.42 cores=0-7 /proc/19900/stat : 19900 (java) S 19897 19897 18552 0 -1 1077944320 12476 0 0 0 37 5 0 0 20 0 20 0 512503398 27969658880 32082 33554432000 4194304 4196468 140728656449664 140728656432208 139890616069879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 /proc/19900/statm: 6828530 32082 3025 1 0 6790935 0 [pid=19900/tid=19901] ppid=19897 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/19900/task/19901/stat : 19901 (java) R 19897 19897 18552 0 -1 4202560 9998 0 0 0 26 4 0 0 20 0 20 0 512503399 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890587854864 139890600150366 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19902] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19902/stat : 19902 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890620312208 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19903] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19903/stat : 19903 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890038458896 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19904] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19904/stat : 19904 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890037406096 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19905] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19905/stat : 19905 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890036353296 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19906] ppid=19897 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/19900/task/19906/stat : 19906 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890035301520 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19907] ppid=19897 vsize=27314120 memory=140508244571055 CPUtime=0 cores=0-7 /proc/19900/task/19907/stat : 19907 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890034248720 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19908] ppid=19897 vsize=27314120 memory=140508244573360 CPUtime=0 cores=0-7 /proc/19900/task/19908/stat : 19908 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890033195920 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19909] ppid=19897 vsize=27314120 memory=140508244575664 CPUtime=0 cores=0-7 /proc/19900/task/19909/stat : 19909 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27969658880 32082 33554432000 4194304 4196468 140728656449664 139890032143120 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19910] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19910/stat : 19910 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503402 27969658880 32082 33554432000 4194304 4196468 140728656449664 139889003342192 139890616081026 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19911] ppid=19897 vsize=27314120 memory=281016489158288 CPUtime=0 cores=0-7 /proc/19900/task/19911/stat : 19911 (java) S 19897 19897 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 32082 33554432000 4194304 4196468 140728656449664 139888359892000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19912] ppid=19897 vsize=27314120 memory=281016489165200 CPUtime=0 cores=0-7 /proc/19900/task/19912/stat : 19912 (java) S 19897 19897 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512503403 27969658880 32082 33554432000 4194304 4196468 140728656449664 139888225670000 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19913] ppid=19897 vsize=27314120 memory=281016489106480 CPUtime=0 cores=0-7 /proc/19900/task/19913/stat : 19913 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139887851165520 139890616088475 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19914] ppid=19897 vsize=27314120 memory=281016489179024 CPUtime=0 cores=0-7 /proc/19900/task/19914/stat : 19914 (java) S 19897 19897 18552 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139889002290032 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19915] ppid=19897 vsize=27314120 memory=281016489185936 CPUtime=0.01 cores=0-7 /proc/19900/task/19915/stat : 19915 (java) R 19897 19897 18552 0 -1 4202560 109 0 0 0 1 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139889001237232 139890609054921 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19916] ppid=19897 vsize=27314120 memory=281016489183632 CPUtime=0.01 cores=0-7 /proc/19900/task/19916/stat : 19916 (java) S 19897 19897 18552 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139889000184432 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19917] ppid=19897 vsize=27314120 memory=281016489199792 CPUtime=0.07 cores=0-7 /proc/19900/task/19917/stat : 19917 (java) S 19897 19897 18552 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139888999131632 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19918] ppid=19897 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19918/stat : 19918 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139887353260640 139890616080085 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19919] ppid=19897 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19900/task/19919/stat : 19919 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503406 27969658880 32082 33554432000 4194304 4196468 140728656449664 139888998079024 139890616081026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129724 KiB [startup+0.700895 s] /proc/loadavg: 7.95 8.19 7.97 2/213 19919 /proc/meminfo: memFree=26333592/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512503398 115843072 349 33554432000 4194304 5098028 140729053171808 140729053169064 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 349 296 221 0 87 0 [pid=19900] ppid=19897 vsize=27320392 memory=165272 CPUtime=0.99 cores=0-7 /proc/19900/stat : 19900 (java) S 19897 19897 18552 0 -1 1077944320 19907 0 0 0 91 8 0 0 20 0 20 0 512503398 27976081408 41318 33554432000 4194304 4196468 140728656449664 140728656432208 139890616069879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 /proc/19900/statm: 6830098 41318 3182 1 0 6791447 0 [pid=19900/tid=19901] ppid=19897 vsize=27320392 memory=281016489557680 CPUtime=0.67 cores=0-7 /proc/19900/task/19901/stat : 19901 (java) R 19897 19897 18552 0 -1 4202560 16909 0 0 0 61 6 0 0 20 0 20 0 512503399 27976081408 41318 33554432000 4194304 4196468 140728656449664 139890587907200 139890616091805 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19902] ppid=19897 vsize=27320392 memory=140508244779888 CPUtime=0 cores=0-7 /proc/19900/task/19902/stat : 19902 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512503401 27976081408 41318 33554432000 4194304 4196468 140728656449664 139890620312208 139890616080085 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19903] ppid=19897 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/19900/task/19903/stat : 19903 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512503401 27976081408 41318 33554432000 4194304 4196468 140728656449664 139890038458896 139890616080085 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 [pid=19900/tid=19904] ppid=19897 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/19900/task/19904/stat : 19904 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512503401 27976081408 41318 33554432000 4194304 4196468 140728656449664 139890037406096 139890616080085 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10813440 140728656454342 140728656454790 140728656454790 140728656457679 0 ################ # More data... # ################ [pid=19964/tid=19967] ppid=19897 vsize=8414124 memory=64972 CPUtime=0 cores=0-7 /proc/19964/task/19967/stat : 19967 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660480526864 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19968] ppid=19897 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/19964/task/19968/stat : 19968 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660479474064 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19969] ppid=19897 vsize=8414124 memory=7686721470300987036 CPUtime=0 cores=0-7 /proc/19964/task/19969/stat : 19969 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660478421264 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19970] ppid=19897 vsize=8414124 memory=1736 CPUtime=0 cores=0-7 /proc/19964/task/19970/stat : 19970 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660477369488 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19971] ppid=19897 vsize=8414124 memory=6188 CPUtime=0 cores=0-7 /proc/19964/task/19971/stat : 19971 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660476316688 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19972] ppid=19897 vsize=8414124 memory=636 CPUtime=0 cores=0-7 /proc/19964/task/19972/stat : 19972 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660475263888 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19973] ppid=19897 vsize=8414124 memory=2836 CPUtime=0 cores=0-7 /proc/19964/task/19973/stat : 19973 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660474211088 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19974] ppid=19897 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/19964/task/19974/stat : 19974 (java) S 19897 19897 18552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660037351792 140660676127362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19975] ppid=19897 vsize=8414124 memory=1568 CPUtime=0 cores=0-7 /proc/19964/task/19975/stat : 19975 (java) S 19897 19897 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 30702 33554432000 4194304 4196468 140731085955248 140659239412768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19976] ppid=19897 vsize=8414124 memory=1064 CPUtime=0 cores=0-7 /proc/19964/task/19976/stat : 19976 (java) S 19897 19897 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 30702 33554432000 4194304 4196468 140731085955248 140659105190768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19977] ppid=19897 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/19964/task/19977/stat : 19977 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512558949 8616062976 30702 33554432000 4194304 4196468 140731085955248 140658730686288 140660676134811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19978] ppid=19897 vsize=8414124 memory=12040 CPUtime=0.15 cores=0-7 /proc/19964/task/19978/stat : 19978 (java) S 19897 19897 18552 0 -1 1077944384 1024 0 0 0 15 0 0 0 20 0 24 0 512558949 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660036299632 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19979] ppid=19897 vsize=8414124 memory=2120 CPUtime=0.1 cores=0-7 /proc/19964/task/19979/stat : 19979 (java) S 19897 19897 18552 0 -1 1077944384 351 0 0 0 10 0 0 0 20 0 24 0 512558949 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660035246832 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19980] ppid=19897 vsize=8414124 memory=35536 CPUtime=0.07 cores=0-7 /proc/19964/task/19980/stat : 19980 (java) S 19897 19897 18552 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 24 0 512558949 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660034194032 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19981] ppid=19897 vsize=8414124 memory=1556 CPUtime=0.24 cores=0-7 /proc/19964/task/19981/stat : 19981 (java) S 19897 19897 18552 0 -1 1077944384 628 0 0 0 24 0 0 0 20 0 24 0 512558949 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660033141232 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19982] ppid=19897 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/19964/task/19982/stat : 19982 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512558950 8616062976 30702 33554432000 4194304 4196468 140731085955248 140658232781408 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19983] ppid=19897 vsize=8414124 memory=932 CPUtime=0.01 cores=0-7 /proc/19964/task/19983/stat : 19983 (java) S 19897 19897 18552 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 512558950 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660032088624 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19985] ppid=19897 vsize=8414124 memory=1824 CPUtime=0 cores=0-7 /proc/19964/task/19985/stat : 19985 (java) S 19897 19897 18552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512559023 8616062976 30702 33554432000 4194304 4196468 140731085955248 140660024611904 140660676140825 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19987] ppid=19897 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19964/task/19987/stat : 19987 (java) S 19897 19897 18552 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 512559023 8616062976 30702 33554432000 4194304 4196468 140731085955248 140657561682096 140660676138141 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19988] ppid=19897 vsize=8414124 memory=64972 CPUtime=0 cores=0-7 /proc/19964/task/19988/stat : 19988 (java) S 19897 19897 18552 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512559023 8616062976 30702 33554432000 4194304 4196468 140731085955248 140657830117424 140660676138141 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19989] ppid=19897 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/19964/task/19989/stat : 19989 (java) S 19897 19897 18552 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512559025 8616062976 30702 33554432000 4194304 4196468 140731085955248 140657293254192 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 Current children cumulated CPU time: 954.94 s Current children cumulated vsize: 12677920 KiB Current children cumulated memory: 3994108 KiB [startup+590.401 s] /proc/loadavg: 3.98 2.86 5.02 2/218 19998 /proc/meminfo: memFree=22359132/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1476 CPUtime=726.15 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 582 229231 0 0 0 0 69421 3194 20 0 1 0 512503398 115843072 369 33554432000 4194304 5098028 140729053171808 140729053168552 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 369 311 221 0 87 0 [pid=19964] ppid=19897 vsize=8414124 memory=211188 CPUtime=1.85 cores=0-7 /proc/19964/stat : 19964 (java) S 19897 19897 18552 0 -1 1077944320 21866 0 0 0 174 11 0 0 20 0 24 0 512558942 8616062976 52797 33554432000 4194304 4196468 140731085955248 140731085937792 140660676116215 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 /proc/19964/statm: 2103531 52797 3220 1 0 2064875 0 [pid=19964/tid=19965] ppid=19897 vsize=8414124 memory=1476 CPUtime=0.82 cores=0-7 /proc/19964/task/19965/stat : 19965 (java) S 19897 19897 18552 0 -1 1077944384 17502 0 0 0 75 7 0 0 20 0 24 0 512558943 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660647956384 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19966] ppid=19897 vsize=8414124 memory=122808 CPUtime=0 cores=0-7 /proc/19964/task/19966/stat : 19966 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660680358544 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19967] ppid=19897 vsize=8414124 memory=3869832 CPUtime=0 cores=0-7 /proc/19964/task/19967/stat : 19967 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660480526864 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19968] ppid=19897 vsize=8414124 memory=8323963410472663950 CPUtime=0 cores=0-7 /proc/19964/task/19968/stat : 19968 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660479474064 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19969] ppid=19897 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/19964/task/19969/stat : 19969 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660478421264 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19970] ppid=19897 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/19964/task/19970/stat : 19970 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660477369488 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19971] ppid=19897 vsize=8414124 memory=122808 CPUtime=0 cores=0-7 /proc/19964/task/19971/stat : 19971 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660476316688 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19972] ppid=19897 vsize=8414124 memory=3869784 CPUtime=0 cores=0-7 /proc/19964/task/19972/stat : 19972 (java) S 19897 19897 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660475263888 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19973] ppid=19897 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19964/task/19973/stat : 19973 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512558944 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660474211088 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19974] ppid=19897 vsize=8414124 memory=37700 CPUtime=0 cores=0-7 /proc/19964/task/19974/stat : 19974 (java) S 19897 19897 18552 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660037351792 140660676127362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19975] ppid=19897 vsize=8414124 memory=225 CPUtime=0 cores=0-7 /proc/19964/task/19975/stat : 19975 (java) S 19897 19897 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 52797 33554432000 4194304 4196468 140731085955248 140659239412768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19976] ppid=19897 vsize=8414124 memory=-7595754389018297760 CPUtime=0 cores=0-7 /proc/19964/task/19976/stat : 19976 (java) S 19897 19897 18552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512558946 8616062976 52797 33554432000 4194304 4196468 140731085955248 140659105190768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19977] ppid=19897 vsize=8414124 memory=14689690934577713 CPUtime=0 cores=0-7 /proc/19964/task/19977/stat : 19977 (java) S 19897 19897 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512558949 8616062976 52797 33554432000 4194304 4196468 140731085955248 140658730686288 140660676134811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19978] ppid=19897 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7 /proc/19964/task/19978/stat : 19978 (java) S 19897 19897 18552 0 -1 1077944384 1043 0 0 0 20 0 0 0 20 0 24 0 512558949 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660036299632 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19979] ppid=19897 vsize=8414124 memory=7686721470300987036 CPUtime=0.16 cores=0-7 /proc/19964/task/19979/stat : 19979 (java) S 19897 19897 18552 0 -1 1077944384 365 0 0 0 16 0 0 0 20 0 24 0 512558949 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660035246832 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19980] ppid=19897 vsize=8414124 memory=804 CPUtime=0.11 cores=0-7 /proc/19964/task/19980/stat : 19980 (java) S 19897 19897 18552 0 -1 1077944384 345 0 0 0 11 0 0 0 20 0 24 0 512558949 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660034194032 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19981] ppid=19897 vsize=8414124 memory=1448 CPUtime=0.29 cores=0-7 /proc/19964/task/19981/stat : 19981 (java) S 19897 19897 18552 0 -1 1077944384 1105 0 0 0 29 0 0 0 20 0 24 0 512558949 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660033141232 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19982] ppid=19897 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/19964/task/19982/stat : 19982 (java) S 19897 19897 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512558950 8616062976 52797 33554432000 4194304 4196468 140731085955248 140658232781408 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19983] ppid=19897 vsize=8414124 memory=2676 CPUtime=0.01 cores=0-7 /proc/19964/task/19983/stat : 19983 (java) S 19897 19897 18552 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 512558950 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660032088624 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19985] ppid=19897 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/19964/task/19985/stat : 19985 (java) S 19897 19897 18552 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512559023 8616062976 52797 33554432000 4194304 4196468 140731085955248 140660024611904 140660676140825 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19987] ppid=19897 vsize=8414124 memory=1416 CPUtime=0.21 cores=0-7 /proc/19964/task/19987/stat : 19987 (java) R 19897 19897 18552 0 -1 4202560 91 0 0 0 19 2 0 0 20 0 24 0 512559023 8616062976 52797 33554432000 4194304 4196468 140731085955248 140657561680192 140660676137562 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19988] ppid=19897 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/19964/task/19988/stat : 19988 (java) S 19897 19897 18552 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512559023 8616062976 52797 33554432000 4194304 4196468 140731085955248 140657830117424 140660676138141 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19989] ppid=19897 vsize=8414124 memory=3540 CPUtime=0 cores=0-7 /proc/19964/task/19989/stat : 19989 (java) S 19897 19897 18552 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512559025 8616062976 52797 33554432000 4194304 4196468 140731085955248 140657293254192 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 Current children cumulated CPU time: 728 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 212664 KiB [startup+590.601 s] /proc/loadavg: 3.98 2.86 5.02 2/218 19998 /proc/meminfo: memFree=22359132/32770624 swapFree=67002124/67108860 [pid=19897] ppid=19894 vsize=113128 memory=1476 CPUtime=726.15 cores=0-7 /proc/19897/stat : 19897 (scop.sh) S 19894 19897 18552 0 -1 4202496 582 229231 0 0 0 0 69421 3194 20 0 1 0 512503398 115843072 369 33554432000 4194304 5098028 140729053171808 140729053168552 140310129066620 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37761024 140729053180668 140729053181016 140729053181016 140729053183945 0 /proc/19897/statm: 28282 369 311 221 0 87 0 [pid=19964] ppid=19897 vsize=8283048 memory=227648 CPUtime=230.44 cores=0-7 /proc/19964/stat : 19964 (java) S 19897 19897 18552 0 -1 1077944320 22373 2684149 0 0 214 12 22110 708 20 0 22 0 512558942 8481841152 56912 33554432000 4194304 4196468 140731085955248 140731085937792 140660676116215 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 /proc/19964/statm: 2070762 56912 3225 1 0 2032106 0 [pid=19964/tid=19965] ppid=19897 vsize=8283048 memory=1736 CPUtime=229.14 cores=0-7 /proc/19964/task/19965/stat : 19965 (java) R 19897 19897 18552 0 -1 4202560 17727 2684149 0 0 89 7 22110 708 20 0 22 0 512558943 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660647954544 140660128751509 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19966] ppid=19897 vsize=8283048 memory=6791534058613427641 CPUtime=228.18 cores=0-7 /proc/19964/task/19966/stat : 19966 (java) S 19897 19897 18552 0 -1 1077944384 1 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660680358544 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19967] ppid=19897 vsize=8283048 memory=796 CPUtime=228.18 cores=0-7 /proc/19964/task/19967/stat : 19967 (java) S 19897 19897 18552 0 -1 1077944384 1 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660480526864 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19968] ppid=19897 vsize=8283048 memory=1804 CPUtime=228.18 cores=0-7 /proc/19964/task/19968/stat : 19968 (java) S 19897 19897 18552 0 -1 1077944384 2 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660479474064 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19969] ppid=19897 vsize=8283048 memory=916 CPUtime=228.18 cores=0-7 /proc/19964/task/19969/stat : 19969 (java) S 19897 19897 18552 0 -1 1077944384 2 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660478421264 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19970] ppid=19897 vsize=8283048 memory=4136 CPUtime=228.18 cores=0-7 /proc/19964/task/19970/stat : 19970 (java) S 19897 19897 18552 0 -1 1077944384 2 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660477369488 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19971] ppid=19897 vsize=8283048 memory=4096 CPUtime=228.18 cores=0-7 /proc/19964/task/19971/stat : 19971 (java) S 19897 19897 18552 0 -1 1077944384 2 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660476316688 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19972] ppid=19897 vsize=8283048 memory=164 CPUtime=228.18 cores=0-7 /proc/19964/task/19972/stat : 19972 (java) S 19897 19897 18552 0 -1 1077944384 2 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660475263888 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19973] ppid=19897 vsize=8283048 memory=-7452725505408194955 CPUtime=228.18 cores=0-7 /proc/19964/task/19973/stat : 19973 (java) S 19897 19897 18552 0 -1 1077944384 3 2684149 0 0 0 0 22110 708 20 0 22 0 512558944 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660474211088 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19974] ppid=19897 vsize=8283048 memory=-6796340135938513554 CPUtime=228.18 cores=0-7 /proc/19964/task/19974/stat : 19974 (java) S 19897 19897 18552 0 -1 1077944384 5 2684149 0 0 0 0 22110 708 20 0 22 0 512558946 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660037351792 140660676127362 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19975] ppid=19897 vsize=8283048 memory=-6007362509463994054 CPUtime=228.18 cores=0-7 /proc/19964/task/19975/stat : 19975 (java) S 19897 19897 18552 0 -1 1077944384 13 2684149 0 0 0 0 22110 708 20 0 22 0 512558946 8481841152 56912 33554432000 4194304 4196468 140731085955248 140659239412768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19976] ppid=19897 vsize=8283048 memory=2319701044175583563 CPUtime=228.18 cores=0-7 /proc/19964/task/19976/stat : 19976 (java) S 19897 19897 18552 0 -1 1077944384 21 2684149 0 0 0 0 22110 708 20 0 22 0 512558946 8481841152 56912 33554432000 4194304 4196468 140731085955248 140659105190768 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19977] ppid=19897 vsize=8283048 memory=5794842363761747000 CPUtime=228.18 cores=0-7 /proc/19964/task/19977/stat : 19977 (java) S 19897 19897 18552 0 -1 1077944384 1 2684149 0 0 0 0 22110 708 20 0 22 0 512558949 8481841152 56912 33554432000 4194304 4196468 140731085955248 140658730686288 140660676134811 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19978] ppid=19897 vsize=8283048 memory=1140 CPUtime=228.43 cores=0-7 /proc/19964/task/19978/stat : 19978 (java) S 19897 19897 18552 0 -1 1077944384 1064 2684149 0 0 25 0 22110 708 20 0 22 0 512558949 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660036299632 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19979] ppid=19897 vsize=8283048 memory=1144 CPUtime=228.38 cores=0-7 /proc/19964/task/19979/stat : 19979 (java) S 19897 19897 18552 0 -1 1077944384 393 2684149 0 0 20 0 22110 708 20 0 22 0 512558949 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660035246832 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19980] ppid=19897 vsize=8283048 memory=1147 CPUtime=228.32 cores=0-7 /proc/19964/task/19980/stat : 19980 (java) S 19897 19897 18552 0 -1 1077944384 373 2684149 0 0 14 0 22110 708 20 0 22 0 512558949 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660034194032 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19981] ppid=19897 vsize=8283048 memory=1476 CPUtime=228.55 cores=0-7 /proc/19964/task/19981/stat : 19981 (java) R 19897 19897 18552 0 -1 4202560 1292 2684149 0 0 37 0 22110 708 20 0 22 0 512558949 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660033141360 140660657526223 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19982] ppid=19897 vsize=8283048 memory=122808 CPUtime=228.18 cores=0-7 /proc/19964/task/19982/stat : 19982 (java) S 19897 19897 18552 0 -1 1077944384 3 2684149 0 0 0 0 22110 708 20 0 22 0 512558950 8481841152 56912 33554432000 4194304 4196468 140731085955248 140658232781408 140660676126421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19983] ppid=19897 vsize=8283048 memory=3805896 CPUtime=228.19 cores=0-7 /proc/19964/task/19983/stat : 19983 (java) S 19897 19897 18552 0 -1 1077944384 5 2684149 0 0 0 1 22110 708 20 0 22 0 512558950 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660032088624 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19985] ppid=19897 vsize=8283048 memory=1140 CPUtime=228.18 cores=0-7 /proc/19964/task/19985/stat : 19985 (java) S 19897 19897 18552 0 -1 1077944384 24 2684149 0 0 0 0 22110 708 20 0 22 0 512559023 8481841152 56912 33554432000 4194304 4196468 140731085955248 140660024611088 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 [pid=19964/tid=19989] ppid=19897 vsize=8283048 memory=2221 CPUtime=228.18 cores=0-7 /proc/19964/task/19989/stat : 19989 (java) S 19897 19897 18552 0 -1 1077944384 12 2684149 0 0 0 0 22110 708 20 0 22 0 512559025 8481841152 56912 33554432000 4194304 4196468 140731085955248 140657293255984 140660676127362 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39444480 140731085964255 140731085964422 140731085964422 140731085967311 0 Current children cumulated CPU time: 956.59 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 229124 KiB Child status: 0 Real time (s): 590.659 CPU time (s): 956.709 CPU user time (s): 917.514 CPU system time (s): 39.1945 CPU usage (%): 161.973 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 18032180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 917.514 system time used= 39.1945 maximum resident set size= 18031060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2937526 page faults= 0 swaps= 0 block input operations= 0 block output operations= 247600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 282893 involuntary context switches= 4610 # summary of solver processes directly reported to runsolver: # pid: 19897 # total CPU time (s): 956.709 # total CPU user time (s): 917.514 # total CPU system time (s): 39.1945 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.61989 second user time and 6.16539 second system time The end
Begin job on node136 at 2019-09-25 00:01:43 IDJOB=4405588 IDBENCH=139944 IDSOLVER=2868 FILE ID=node136/4405588-1569362548 RUNJOBID= node136-1569359183-18579 PBS_JOBID= 21705119 Free space on /var/tmp= 13484 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2107.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405588-1569362548/watcher-4405588-1569362548 -o /var/tmp/evaluation-result-4405588-1569362548/solver-4405588-1569362548 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405588-1569362548.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 495794a1d12b922029631b8ffbf13f9b RANDOM SEED=356719878 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26472664 kB MemAvailable: 31842140 kB Buffers: 157356 kB Cached: 5333904 kB SwapCached: 3556 kB Active: 2736172 kB Inactive: 2761504 kB Active(anon): 2964 kB Inactive(anon): 59704 kB Active(file): 2733208 kB Inactive(file): 2701800 kB Unevictable: 108576 kB Mlocked: 108576 kB SwapTotal: 67108860 kB SwapFree: 67002124 kB Dirty: 23324 kB Writeback: 0 kB AnonPages: 112652 kB Mapped: 57396 kB Shmem: 48260 kB Slab: 392544 kB SReclaimable: 362928 kB SUnreclaim: 29616 kB KernelStack: 3392 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515304 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13464 MiB End job on node136 at 2019-09-25 00:11:34