Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 1055.09 | 537.317 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h2105.xml |
MD5SUM | 35703c5da18cfa31646d51f4d8651558 |
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.518539 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 441 |
Number of constraints | 144 |
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 | 7 |
Distribution of constraint arities | [{"arity":3,"count":28},{"arity":4,"count":20},{"arity":5,"count":28},{"arity":6,"count":44},{"arity":7,"count":24}] |
Number of extensional constraints | 144 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":144}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9466-serial-file.bin HOME/instance-4392397-1568446286.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 09:30:48 CEST 2019 0.65/0.56 c PID: 9469 0.65/0.56 c IP: 172.20.3.123 0.65/0.56 c HOST: node123.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.87/1.26 c (0,0) Parsing End 2.87/1.27 c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 144 ctr, max domain size 26 2.87/1.27 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.87/1.27 c (0,0) Constraint Name Generate Begin 2.87/1.28 c (0,0) Ctr:HOME/instance-4392397-1568446286.xml,ExtensionSupport:Var 2.87/1.28 c (0,0) Constraint Name Generate End 2.87/1.28 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.87/1.28 c (0,0) CSP to CSPinCNF Begin 58.31/39.99 c (39,38) translated 15 (10%) constraints 103.08/75.10 c (74,72) translated 29 (20%) constraints 160.41/113.92 c (113,108) translated 44 (30%) constraints 249.52/181.65 c (181,173) translated 58 (40%) constraints 320.35/241.20 c (240,231) translated 72 (50%) constraints 321.56/242.45 c (241,232) translated 87 (60%) constraints 328.89/249.75 c (249,239) translated 101 (70%) constraints 353.15/268.51 c (267,257) translated 116 (80%) constraints 364.36/279.76 c (279,268) translated 130 (90%) constraints 372.83/285.15 c (284,273) translated 144 (100%) constraints 373.12/285.47 c (284,274) =========================================== 373.12/285.50 c (284,274) Order 373.12/285.50 c (284,274) =========================================== 383.73/295.65 c (295,284) translated 501550 (10%) constraints 397.86/306.36 c (305,294) translated 1003100 (20%) constraints 413.25/317.20 c (316,304) translated 1504649 (30%) constraints 423.46/327.40 c (326,315) translated 2006199 (40%) constraints 439.00/338.29 c (337,325) translated 2507748 (50%) constraints 449.21/348.47 c (347,335) translated 3009298 (60%) constraints 465.11/359.34 c (358,345) translated 3510848 (70%) constraints 475.23/369.40 c (368,355) translated 4012397 (80%) constraints 490.87/380.11 c (379,365) translated 4513947 (90%) constraints 500.78/390.02 c (389,375) translated 5015496 (100%) constraints 500.78/390.02 c (389,375) CSP to CSPinCNF End 500.91/390.17 c (389,375) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26 500.91/390.17 c (389,375) Heap : 10497 MiB used (max 21585 MiB), NonHeap : 27 MiB used (max 0 MiB) 500.91/390.17 c (389,375) CSPinCNF Propagation Begin 559.02/416.98 c (416,397) 0 values, 144 unsatisfiable literals, and 0 valid clauses are removed 559.02/416.98 c (416,397) CSPinCNF Propagation End 559.23/417.12 c (416,398) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26 559.23/417.12 c (416,398) Heap : 11942 MiB used (max 21631 MiB), NonHeap : 28 MiB used (max 0 MiB) 559.23/417.15 c (416,398) Simplify CSPinCNF Begin 580.99/428.34 c (427,407) Simplify CSPinCNF End 581.09/428.48 c (427,407) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26 581.09/428.48 c (427,407) Heap : 12031 MiB used (max 21068 MiB), NonHeap : 28 MiB used (max 0 MiB) 581.09/428.48 c (427,407) Calculate Precise Domain Begin 581.09/428.48 c (427,407) 0 values are removed by re-calculation 581.09/428.48 c (427,407) Calculate Precise Domain End 581.29/428.62 c (428,408) CSP: 368 int (0 aux), 465466 bool (465466 aux), 5015496 ctr, max domain size 26 581.29/428.62 c (428,408) Heap : 12031 MiB used (max 21068 MiB), NonHeap : 28 MiB used (max 0 MiB) 581.29/428.63 c (428,408) CSPinCNF to SatSolver Begin 599.08/435.83 c (435,413) 501550 (10 %) CSP clauses are encoded (0 SAT variables, 510242 SAT clauses) 608.26/441.29 c (440,418) 1003100 (20 %) CSP clauses are encoded (0 SAT variables, 1011792 SAT clauses) 615.87/446.52 c (445,423) 1504649 (30 %) CSP clauses are encoded (0 SAT variables, 1513341 SAT clauses) 623.36/451.77 c (451,428) 2006199 (40 %) CSP clauses are encoded (0 SAT variables, 2014891 SAT clauses) 628.27/456.69 c (456,433) 2507748 (50 %) CSP clauses are encoded (0 SAT variables, 2516440 SAT clauses) 635.87/462.02 c (461,438) 3009298 (60 %) CSP clauses are encoded (0 SAT variables, 3017990 SAT clauses) 643.47/467.33 c (466,443) 3510848 (70 %) CSP clauses are encoded (0 SAT variables, 3519540 SAT clauses) 651.05/472.51 c (471,448) 4012397 (80 %) CSP clauses are encoded (0 SAT variables, 4021089 SAT clauses) 658.49/477.69 c (477,453) 4513947 (90 %) CSP clauses are encoded (0 SAT variables, 4522639 SAT clauses) 663.40/482.55 c (482,458) 5015496 (100 %) CSP clauses are encoded (0 SAT variables, 5024188 SAT clauses) 663.40/482.55 c (482,458) CSPinCNF to SatSolver End 663.40/482.55 c (482,458) Heap : 14878 MiB used (max 21536 MiB), NonHeap : 29 MiB used (max 0 MiB) 663.40/482.55 c (482,458) 474527 bool, 5024189 clause 663.40/482.55 c (482,458) Export Begin 663.52/482.69 c (482,458) Export to HOME/scop-9466-serial-file.bin 663.52/482.69 c (482,458) Export End 663.52/482.69 c (482,458) Export File Size: 0.14 MB 663.52/482.69 c (482,458) 0,0,389,416,427,428,482,STOP-AFTER(DIMACS) 663.52/482.69 c END-Prog: Sat Sep 14 09:38:50 CEST 2019 663.77/482.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9466-serial-file.bin 664.38/483.25 c (0,0) Read Serial File Begin 664.38/483.25 c (0,0) HOME/scop-9466-serial-file.bin 664.88/483.52 c (0,0) Read Serial File End 664.88/483.53 664.88/483.53 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 664.88/483.53 (Solving Process) 664.88/483.53 664.88/483.55 c BEGIN-Prog: Sat Sep 14 09:38:51 CEST 2019 664.88/483.55 c PID: 9520 664.88/483.55 c IP: 172.20.3.123 664.88/483.55 c HOST: node123.alineos.net 664.88/483.56 c (0,0) SatSolver.solve Begin 664.88/483.56 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392397-1568446286.xml-scop-9469.cnf 664.88/483.59 c (0,0) c 664.88/483.59 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) 664.88/483.59 c (0,0) c 664.88/483.59 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 664.88/483.59 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 664.88/483.59 c (0,0) c ========================================[ Problem Statistics ]=========================================== 664.88/483.59 c (0,0) c | | 667.05/485.48 c (2,0) c | Number of variables: 474527 | 667.05/485.48 c (2,0) c | Number of clauses: 5017012 | 667.05/485.48 c (2,0) c | Parse time: 1.73 s | 667.05/485.48 c (2,0) c | | 667.54/485.91 c (2,0) c | Too many clauses... No preprocessing | 667.54/485.91 c (2,0) c | Simplification time: 0.39 s | 667.54/485.91 c (2,0) c | | 667.54/485.92 c (2,0) c | Generating clones | 669.06/487.45 c (4,0) c | all clones generated. Memory = 3333.60Mb. | 669.06/487.45 c (4,0) c ========================================================================================================| 669.06/487.45 c (4,0) c 669.06/487.45 c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 669.06/487.45 c (4,0) c 669.06/487.45 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.06/487.45 c (4,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 669.06/487.45 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.06/487.45 c (4,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 669.06/487.45 c (4,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 669.06/487.45 c (4,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 669.06/487.45 c (4,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 669.06/487.45 c (4,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 669.06/487.45 c (4,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 669.06/487.45 c (4,0) c | glureduce | True | True | True | True | True | True | True | True | 669.06/487.45 c (4,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 669.06/487.45 c (4,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 669.06/487.45 c (4,0) c | luby_restart | False | False | False | False | False | False | False | False | 669.06/487.45 c (4,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 669.06/487.45 c (4,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 669.06/487.45 c (4,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 669.06/487.45 c (4,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 669.06/487.45 c (4,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 669.06/487.45 c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 900.87/516.94 c (33,0) c 900.87/516.94 c (33,0) c |------------------------------------------------------------------------------------------------------------------------| 900.87/516.94 c (33,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 900.87/516.94 c (33,0) c |------------------------------------------------------------------------------------------------------------------------| 900.87/516.94 c (33,0) c | 0 | 82 | 295536 | 25623 | 577294 | 9482 | 3591 | 19806 | 223 | 146 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 1 | 95 | 277926 | 28481 | 668018 | 12317 | 3843 | 23247 | 304 | 162 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 2 | 83 | 273833 | 25604 | 528156 | 9414 | 3905 | 18590 | 149 | 142 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 3 | 95 | 316362 | 25794 | 584291 | 9702 | 3490 | 22363 | 277 | 155 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 4 | 102 | 266598 | 24748 | 551397 | 8608 | 3497 | 21182 | 266 | 150 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 5 | 93 | 262069 | 26233 | 640269 | 10052 | 3622 | 22008 | 222 | 154 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 6 | 101 | 301223 | 26646 | 571314 | 10543 | 3599 | 22039 | 238 | 154 | 20 | 0.025 | 900.87/516.94 c (33,0) c | 7 | 93 | 313766 | 26776 | 658385 | 10622 | 3558 | 23199 | 319 | 160 | 20 | 0.025 | 900.87/516.94 c (33,0) c 900.87/516.94 c (33,0) c synthesis 209905 conflicts 618610261 propagations 918 conflicts/sec 2705177 propagations/sec 900.87/516.94 c (33,0) c real: 33.353 s, cpu: 228.676 s, memory: 4052.09 Mb 1053.76/536.79 c (53,0) c 1053.76/536.79 c (53,0) c real time : 53.2115 s 1053.76/536.79 c (53,0) c cpu time : 380.448 s 1053.76/536.79 c (53,0) c 1053.76/536.79 c (53,0) c 1053.76/536.79 c (53,0) c 1053.76/536.79 c (53,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1053.76/536.79 c (53,0) c 1053.76/536.79 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.79 c (53,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1053.76/536.79 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.79 c (53,0) c | Conflicts | 365345 | 44837 | 48204 | 45216 | 45368 | 44720 | 46203 | 46374 | 44423 | 1053.76/536.79 c (53,0) c | Decisions | 3669222 | 454721 | 470199 | 462853 | 479885 | 407152 | 426265 | 486874 | 481273 | 1053.76/536.79 c (53,0) c | Propagations | 1072014869 | 132256930 | 132491774 | 133902202 | 136045013 | 130902207 | 134306144 | 133380633 | 138729966 | 1053.76/536.79 c (53,0) c | ReduceDBs | 40 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1053.76/536.79 c (53,0) c | SimpDBs | 61 | 8 | 7 | 8 | 8 | 7 | 8 | 8 | 7 | 1053.76/536.79 c (53,0) c | Restarts | 1242 | 145 | 165 | 148 | 160 | 153 | 150 | 161 | 160 | 1053.76/536.80 c (53,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1053.76/536.80 c (53,0) c | PropBinClauses| 1003723099 | 123590255 | 124061941 | 124331349 | 127656816 | 124705181 | 126009199 | 124043573 | 129324785 | 1053.76/536.80 c (53,0) c | PropPreBlocker| 5709679606 | 700586685 | 711006712 | 712851991 | 721950519 | 708772715 | 713151800 | 709702272 | 731656912 | 1053.76/536.80 c (53,0) c | PropNotBlocker| 2119703008 | 265270315 | 266933559 | 264579569 | 264147539 | 259092688 | 265446390 | 262174609 | 272058339 | 1053.76/536.80 c (53,0) c | LitFullScans | 12766679127 | 1573081317 | 1616002496 | 1572770558 | 1625511297 | 1573522303 | 1604475518 | 1603953413 | 1597362225 | 1053.76/536.80 c (53,0) c | LitScanFracts | 10494551 | 1052715 | 1895568 | 726037 | 1318866 | 667904 | 2463214 | 1012799 | 1357448 | 1053.76/536.80 c (53,0) c | DecisionLevel0| 1282 | 148 | 170 | 157 | 167 | 157 | 153 | 165 | 165 | 1053.76/536.80 c (53,0) c | Periods | 2125 | 262 | 269 | 262 | 270 | 262 | 267 | 267 | 266 | 1053.76/536.80 c (53,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1053.76/536.80 c (53,0) c | Avg_Trail | | 110495 | 116691 | 119378 | 131140 | 130918 | 123590 | 113162 | 118618 | 1053.76/536.80 c (53,0) c | Avg_DL | | 324 | 427 | 404 | 456 | 388 | 363 | 417 | 383 | 1053.76/536.80 c (53,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1053.76/536.80 c (53,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1053.76/536.80 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.80 c (53,0) c | Exported | 52287 | 6500 | 6874 | 6775 | 6505 | 6452 | 6562 | 6549 | 6070 | 1053.76/536.80 c (53,0) c | Imported | 328607 | 40491 | 42060 | 40498 | 43181 | 38032 | 40961 | 41601 | 41783 | 1053.76/536.80 c (53,0) c | Good | 88368 | 10837 | 11340 | 10739 | 11499 | 10465 | 11073 | 11318 | 11097 | 1053.76/536.80 c (53,0) c | Purge | 240239 | 29654 | 30720 | 29759 | 31682 | 27567 | 29888 | 30283 | 30686 | 1053.76/536.80 c (53,0) c | Promoted | 4536 | 574 | 559 | 514 | 588 | 584 | 544 | 599 | 574 | 1053.76/536.80 c (53,0) c | Remove_Imp | 94312 | 10952 | 10664 | 11104 | 12587 | 12572 | 11580 | 11580 | 13273 | 1053.76/536.80 c (53,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1053.76/536.80 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.80 c (53,0) c | Unaries | | 3 | 5 | 9 | 7 | 4 | 3 | 4 | 5 | 1053.76/536.80 c (53,0) c | Binaries | | 1776 | 1767 | 1965 | 1739 | 1629 | 1656 | 1576 | 1752 | 1053.76/536.80 c (53,0) c | Glues | | 2990 | 3028 | 3259 | 3010 | 2737 | 2936 | 2872 | 2988 | 1053.76/536.80 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.80 c (53,0) c | Orig_Seen | 17 % | 829005 | 977137 | 909183 | 913617 | 808297 | 934714 | 857976 | 916974 | 1053.76/536.80 c (53,0) c | Diff Orig seen| | 20708 | 168840 | 100886 | 105320 | X | 126417 | 49679 | 108677 | 1053.76/536.80 c (53,0) c | Hamming | 10 % | 44645 | 46047 | 52318 | 46548 | X | 47878 | 47349 | 50469 | 1053.76/536.80 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.76/536.80 c (53,0) c | RunningTime | | 49.2 100%| 48.2 100%| 49.2 100%| 48.4 100%| 48.3 100%| 48.4 100%| 48.3 100%| 47.9 99%| 1053.76/536.80 c (53,0) c | WaitingTime | | 0.0 0%| 0.2 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.6 1%| 1053.76/536.80 c (53,0) c | ExchangingTime| | 0.1 0%| 0.0 0%| 0.1 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.0 0%| 1053.76/536.80 c (53,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%| 1053.76/536.80 c (53,0) c | SolvingTime | | 49.3 | 48.4 | 49.2 | 48.4 | 48.4 | 48.4 | 48.4 | 48.6 | 1053.76/536.80 c (53,0) c | PropagationTim| | 41.5 84%| 40.0 83%| 41.3 84%| 40.0 83%| 40.4 83%| 40.2 83%| 39.8 82%| 40.2 83%| 1053.76/536.80 c (53,0) c | AnalysisTime | | 3.1 6%| 3.6 8%| 3.0 6%| 3.3 7%| 3.3 7%| 3.3 7%| 3.3 7%| 3.0 6%| 1053.76/536.80 c (53,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%| 1053.76/536.80 c (53,0) c | SimplifyTime | | 0.8 2%| 0.7 1%| 0.7 1%| 0.7 1%| 0.6 1%| 0.7 1%| 0.7 2%| 0.9 2%| 1053.76/536.80 c (53,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%| 1053.87/536.80 c (53,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%| 1053.87/536.80 c (53,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.87/536.80 c (53,0) c 1053.87/536.80 c (53,0) c 1053.87/536.80 c (53,0) c Threads : 8 1053.87/536.80 c (53,0) c Winner : 4 1053.87/536.80 c (53,0) c Conflicts_0 : 44837 1053.87/536.80 c (53,0) c Conflicts_1 : 48204 1053.87/536.80 c (53,0) c Conflicts_2 : 45216 1053.87/536.80 c (53,0) c Conflicts_3 : 45368 1053.87/536.80 c (53,0) c Conflicts_4 : 44720 1053.87/536.80 c (53,0) c Conflicts_5 : 46203 1053.87/536.80 c (53,0) c Conflicts_6 : 46374 1053.87/536.80 c (53,0) c Conflicts_7 : 44423 1053.87/536.80 c (53,0) c Conflicts_total : 365345 1053.87/536.80 c (53,0) c Conflicts_winner : 44720 1053.87/536.80 c (53,0) c Decisions_0 : 454721 1053.87/536.80 c (53,0) c Decisions_1 : 470199 1053.87/536.80 c (53,0) c Decisions_2 : 462853 1053.87/536.80 c (53,0) c Decisions_3 : 479885 1053.87/536.80 c (53,0) c Decisions_4 : 407152 1053.87/536.80 c (53,0) c Decisions_5 : 426265 1053.87/536.80 c (53,0) c Decisions_6 : 486874 1053.87/536.80 c (53,0) c Decisions_7 : 481273 1053.87/536.80 c (53,0) c Decisions_total : 3669222 1053.87/536.80 c (53,0) c Decisions_winner : 407152 1053.87/536.80 c (53,0) c Propagations_0 : 132256930 1053.87/536.80 c (53,0) c Propagations_1 : 132491774 1053.87/536.80 c (53,0) c Propagations_2 : 133902202 1053.87/536.80 c (53,0) c Propagations_3 : 136045013 1053.87/536.80 c (53,0) c Propagations_4 : 130902207 1053.87/536.80 c (53,0) c Propagations_5 : 134306144 1053.87/536.80 c (53,0) c Propagations_6 : 133380633 1053.87/536.80 c (53,0) c Propagations_7 : 138729966 1053.87/536.80 c (53,0) c Propagations_total : 1072014869 1053.87/536.80 c (53,0) c Propagations_winner : 130902207 1053.87/536.80 c (53,0) c ReduceDBs_0 : 5 1053.87/536.80 c (53,0) c ReduceDBs_1 : 5 1053.87/536.80 c (53,0) c ReduceDBs_2 : 5 1053.87/536.80 c (53,0) c ReduceDBs_3 : 5 1053.87/536.80 c (53,0) c ReduceDBs_4 : 5 1053.87/536.80 c (53,0) c ReduceDBs_5 : 5 1053.87/536.80 c (53,0) c ReduceDBs_6 : 5 1053.87/536.80 c (53,0) c ReduceDBs_7 : 5 1053.87/536.80 c (53,0) c ReduceDBs_total : 40 1053.87/536.80 c (53,0) c ReduceDBs_winner : 5 1053.87/536.80 c (53,0) c SimpDBs_0 : 8 1053.87/536.80 c (53,0) c SimpDBs_1 : 7 1053.87/536.80 c (53,0) c SimpDBs_2 : 8 1053.87/536.80 c (53,0) c SimpDBs_3 : 8 1053.87/536.80 c (53,0) c SimpDBs_4 : 7 1053.87/536.80 c (53,0) c SimpDBs_5 : 8 1053.87/536.80 c (53,0) c SimpDBs_6 : 8 1053.87/536.80 c (53,0) c SimpDBs_7 : 7 1053.87/536.80 c (53,0) c SimpDBs_total : 61 1053.87/536.80 c (53,0) c SimpDBs_winner : 7 1053.87/536.80 c (53,0) c Restarts_0 : 145 1053.87/536.80 c (53,0) c Restarts_1 : 165 1053.87/536.80 c (53,0) c Restarts_2 : 148 1053.87/536.80 c (53,0) c Restarts_3 : 160 1053.87/536.80 c (53,0) c Restarts_4 : 153 1053.87/536.80 c (53,0) c Restarts_5 : 150 1053.87/536.80 c (53,0) c Restarts_6 : 161 1053.87/536.80 c (53,0) c Restarts_7 : 160 1053.87/536.80 c (53,0) c Restarts_total : 1242 1053.87/536.80 c (53,0) c Restarts_winner : 153 1053.87/536.80 c (53,0) c ForcedImports_0 : 0 1053.87/536.80 c (53,0) c ForcedImports_1 : 0 1053.87/536.80 c (53,0) c ForcedImports_2 : 0 1053.87/536.80 c (53,0) c ForcedImports_3 : 0 1053.87/536.80 c (53,0) c ForcedImports_4 : 0 1053.87/536.80 c (53,0) c ForcedImports_5 : 0 1053.87/536.80 c (53,0) c ForcedImports_6 : 0 1053.87/536.80 c (53,0) c ForcedImports_7 : 0 1053.87/536.80 c (53,0) c ForcedImports_total : 0 1053.87/536.80 c (53,0) c ForcedImports_winner : 0 1053.87/536.80 c (53,0) c PropsBinClauses_0 : 123590255 1053.87/536.80 c (53,0) c PropsBinClauses_1 : 124061941 1053.87/536.80 c (53,0) c PropsBinClauses_2 : 124331349 1053.87/536.80 c (53,0) c PropsBinClauses_3 : 127656816 1053.87/536.80 c (53,0) c PropsBinClauses_4 : 124705181 1053.87/536.80 c (53,0) c PropsBinClauses_5 : 126009199 1053.87/536.80 c (53,0) c PropsBinClauses_6 : 124043573 1053.87/536.80 c (53,0) c PropsBinClauses_7 : 129324785 1053.87/536.80 c (53,0) c PropsBinClauses_total : 1003723099 1053.87/536.80 c (53,0) c PropsBinClauses_winner : 124705181 1053.87/536.80 c (53,0) c PropsPreBlocker_0 : 700586685 1053.87/536.80 c (53,0) c PropsPreBlocker_1 : 711006712 1053.87/536.80 c (53,0) c PropsPreBlocker_2 : 712851991 1053.87/536.80 c (53,0) c PropsPreBlocker_3 : 721950519 1053.87/536.80 c (53,0) c PropsPreBlocker_4 : 708772715 1053.87/536.80 c (53,0) c PropsPreBlocker_5 : 713151800 1053.87/536.80 c (53,0) c PropsPreBlocker_6 : 709702272 1053.87/536.80 c (53,0) c PropsPreBlocker_7 : 731656912 1053.87/536.80 c (53,0) c PropsPreBlocker_total : 5709679606 1053.87/536.80 c (53,0) c PropsPreBlocker_winner : 708772715 1053.87/536.80 c (53,0) c PropsNotBlocker_0 : 265270315 1053.87/536.80 c (53,0) c PropsNotBlocker_1 : 266933559 1053.87/536.80 c (53,0) c PropsNotBlocker_2 : 264579569 1053.87/536.80 c (53,0) c PropsNotBlocker_3 : 264147539 1053.87/536.80 c (53,0) c PropsNotBlocker_4 : 259092688 1053.87/536.80 c (53,0) c PropsNotBlocker_5 : 265446390 1053.87/536.80 c (53,0) c PropsNotBlocker_6 : 262174609 1053.87/536.80 c (53,0) c PropsNotBlocker_7 : 272058339 1053.87/536.80 c (53,0) c PropsNotBlocker_total : 2119703008 1053.87/536.80 c (53,0) c PropsNotBlocker_winner : 259092688 1053.87/536.80 c (53,0) c PropsLitFullScans_0 : 1573081317 1053.87/536.80 c (53,0) c PropsLitFullScans_1 : 1616002496 1053.87/536.80 c (53,0) c PropsLitFullScans_2 : 1572770558 1053.87/536.80 c (53,0) c PropsLitFullScans_3 : 1625511297 1053.87/536.80 c (53,0) c PropsLitFullScans_4 : 1573522303 1053.87/536.80 c (53,0) c PropsLitFullScans_5 : 1604475518 1053.87/536.80 c (53,0) c PropsLitFullScans_6 : 1603953413 1053.87/536.80 c (53,0) c PropsLitFullScans_7 : 1597362225 1053.87/536.80 c (53,0) c PropsLitFullScans_total : 12766679127 1053.87/536.80 c (53,0) c PropsLitFullScans_winner : 1573522303 1053.87/536.80 c (53,0) c LitScanFractions_0 : 1052715 1053.87/536.80 c (53,0) c LitScanFractions_1 : 1895568 1053.87/536.80 c (53,0) c LitScanFractions_2 : 726037 1053.87/536.80 c (53,0) c LitScanFractions_3 : 1318866 1053.87/536.80 c (53,0) c LitScanFractions_4 : 667904 1053.87/536.80 c (53,0) c LitScanFractions_5 : 2463214 1053.87/536.80 c (53,0) c LitScanFractions_6 : 1012799 1053.87/536.80 c (53,0) c LitScanFractions_7 : 1357448 1053.87/536.80 c (53,0) c LitScanFractions_total : 10494551 1053.87/536.80 c (53,0) c LitScanFractions_winner : 667904 1053.87/536.80 c (53,0) c DecisionLevel0_0 : 148 1053.87/536.80 c (53,0) c DecisionLevel0_1 : 170 1053.87/536.80 c (53,0) c DecisionLevel0_2 : 157 1053.87/536.80 c (53,0) c DecisionLevel0_3 : 167 1053.87/536.80 c (53,0) c DecisionLevel0_4 : 157 1053.87/536.80 c (53,0) c DecisionLevel0_5 : 153 1053.87/536.80 c (53,0) c DecisionLevel0_6 : 165 1053.87/536.80 c (53,0) c DecisionLevel0_7 : 165 1053.87/536.80 c (53,0) c DecisionLevel0_total : 1282 1053.87/536.80 c (53,0) c DecisionLevel0_winner : 157 1053.87/536.80 c (53,0) c Periods_0 : 262 1053.87/536.80 c (53,0) c Periods_1 : 269 1053.87/536.80 c (53,0) c Periods_2 : 262 1053.87/536.80 c (53,0) c Periods_3 : 270 1053.87/536.80 c (53,0) c Periods_4 : 262 1053.87/536.80 c (53,0) c Periods_5 : 267 1053.87/536.80 c (53,0) c Periods_6 : 267 1053.87/536.80 c (53,0) c Periods_7 : 266 1053.87/536.80 c (53,0) c Periods_total : 2125 1053.87/536.80 c (53,0) c Periods_winner : 262 1053.87/536.80 c (53,0) c Margin_0 : 20 1053.87/536.80 c (53,0) c Margin_1 : 20 1053.87/536.80 c (53,0) c Margin_2 : 20 1053.87/536.80 c (53,0) c Margin_3 : 20 1053.87/536.80 c (53,0) c Margin_4 : 20 1053.87/536.80 c (53,0) c Margin_5 : 20 1053.87/536.80 c (53,0) c Margin_6 : 20 1053.87/536.80 c (53,0) c Margin_7 : 20 1053.87/536.80 c (53,0) c Margin_total : 160 1053.87/536.80 c (53,0) c Margin_winner : 20 1053.87/536.80 c (53,0) c Exported_0 : 6500 1053.87/536.80 c (53,0) c Exported_1 : 6874 1053.87/536.80 c (53,0) c Exported_2 : 6775 1053.87/536.80 c (53,0) c Exported_3 : 6505 1053.87/536.80 c (53,0) c Exported_4 : 6452 1053.87/536.80 c (53,0) c Exported_5 : 6562 1053.87/536.80 c (53,0) c Exported_6 : 6549 1053.87/536.80 c (53,0) c Exported_7 : 6070 1053.87/536.80 c (53,0) c Exported_total : 52287 1053.87/536.80 c (53,0) c Exported_winner : 6452 1053.87/536.80 c (53,0) c Imported_0 : 40491 1053.87/536.80 c (53,0) c Imported_1 : 42060 1053.87/536.80 c (53,0) c Imported_2 : 40498 1053.87/536.80 c (53,0) c Imported_3 : 43181 1053.87/536.80 c (53,0) c Imported_4 : 38032 1053.87/536.80 c (53,0) c Imported_5 : 40961 1053.87/536.80 c (53,0) c Imported_6 : 41601 1053.87/536.80 c (53,0) c Imported_7 : 41783 1053.87/536.80 c (53,0) c Imported_total : 328607 1053.87/536.80 c (53,0) c Imported_winner : 38032 1053.87/536.80 c (53,0) c Good_0 : 10837 1053.87/536.80 c (53,0) c Good_1 : 11340 1053.87/536.80 c (53,0) c Good_2 : 10739 1053.87/536.80 c (53,0) c Good_3 : 11499 1053.87/536.80 c (53,0) c Good_4 : 10465 1053.87/536.80 c (53,0) c Good_5 : 11073 1053.87/536.80 c (53,0) c Good_6 : 11318 1053.87/536.80 c (53,0) c Good_7 : 11097 1053.87/536.80 c (53,0) c Good_total : 88368 1053.87/536.80 c (53,0) c Good_winner : 10465 1053.87/536.80 c (53,0) c Purge_0 : 29654 1053.87/536.81 c (53,0) c Purge_1 : 30720 1053.87/536.81 c (53,0) c Purge_2 : 29759 1053.87/536.81 c (53,0) c Purge_3 : 31682 1053.87/536.81 c (53,0) c Purge_4 : 27567 1053.87/536.81 c (53,0) c Purge_5 : 29888 1053.87/536.81 c (53,0) c Purge_6 : 30283 1053.87/536.81 c (53,0) c Purge_7 : 30686 1053.87/536.81 c (53,0) c Purge_total : 240239 1053.87/536.81 c (53,0) c Purge_winner : 27567 1053.87/536.81 c (53,0) c Promoted_0 : 574 1053.87/536.81 c (53,0) c Promoted_1 : 559 1053.87/536.81 c (53,0) c Promoted_2 : 514 1053.87/536.81 c (53,0) c Promoted_3 : 588 1053.87/536.81 c (53,0) c Promoted_4 : 584 1053.87/536.81 c (53,0) c Promoted_5 : 544 1053.87/536.81 c (53,0) c Promoted_6 : 599 1053.87/536.81 c (53,0) c Promoted_7 : 574 1053.87/536.81 c (53,0) c Promoted_total : 4536 1053.87/536.81 c (53,0) c Promoted_winner : 584 1053.87/536.81 c (53,0) c Remove_Imp_0 : 10952 1053.87/536.81 c (53,0) c Remove_Imp_1 : 10664 1053.87/536.81 c (53,0) c Remove_Imp_2 : 11104 1053.87/536.81 c (53,0) c Remove_Imp_3 : 12587 1053.87/536.81 c (53,0) c Remove_Imp_4 : 12572 1053.87/536.81 c (53,0) c Remove_Imp_5 : 11580 1053.87/536.81 c (53,0) c Remove_Imp_6 : 11580 1053.87/536.81 c (53,0) c Remove_Imp_7 : 13273 1053.87/536.81 c (53,0) c Remove_Imp_total : 94312 1053.87/536.81 c (53,0) c Remove_Imp_winner : 12572 1053.87/536.81 c (53,0) c Blocked_Reuse_0 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_1 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_2 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_3 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_4 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_5 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_6 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_7 : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_total : 0 1053.87/536.81 c (53,0) c Blocked_Reuse_winner : 0 1053.87/536.81 c (53,0) c Unaries_0 : 3 1053.87/536.81 c (53,0) c Unaries_1 : 5 1053.87/536.81 c (53,0) c Unaries_2 : 9 1053.87/536.81 c (53,0) c Unaries_3 : 7 1053.87/536.81 c (53,0) c Unaries_4 : 4 1053.87/536.81 c (53,0) c Unaries_5 : 3 1053.87/536.81 c (53,0) c Unaries_6 : 4 1053.87/536.81 c (53,0) c Unaries_7 : 5 1053.87/536.81 c (53,0) c Unaries_total : 40 1053.87/536.81 c (53,0) c Unaries_winner : 4 1053.87/536.81 c (53,0) c Binaries_0 : 1776 1053.87/536.81 c (53,0) c Binaries_1 : 1767 1053.87/536.81 c (53,0) c Binaries_2 : 1965 1053.87/536.81 c (53,0) c Binaries_3 : 1739 1053.87/536.81 c (53,0) c Binaries_4 : 1629 1053.87/536.81 c (53,0) c Binaries_5 : 1656 1053.87/536.81 c (53,0) c Binaries_6 : 1576 1053.87/536.81 c (53,0) c Binaries_7 : 1752 1053.87/536.81 c (53,0) c Binaries_total : 13860 1053.87/536.81 c (53,0) c Binaries_winner : 1629 1053.87/536.81 c (53,0) c Glues_0 : 2990 1053.87/536.81 c (53,0) c Glues_1 : 3028 1053.87/536.81 c (53,0) c Glues_2 : 3259 1053.87/536.81 c (53,0) c Glues_3 : 3010 1053.87/536.81 c (53,0) c Glues_4 : 2737 1053.87/536.81 c (53,0) c Glues_5 : 2936 1053.87/536.81 c (53,0) c Glues_6 : 2872 1053.87/536.81 c (53,0) c Glues_7 : 2988 1053.87/536.81 c (53,0) c Glues_total : 23820 1053.87/536.81 c (53,0) c Glues_winner : 2737 1053.87/536.81 c (53,0) c RunningTime_0 : 49.237170 1053.87/536.81 c (53,0) c RunningTime_1 : 48.169619 1053.87/536.81 c (53,0) c RunningTime_2 : 49.185703 1053.87/536.81 c (53,0) c RunningTime_3 : 48.378648 1053.87/536.81 c (53,0) c RunningTime_4 : 48.305062 1053.87/536.81 c (53,0) c RunningTime_5 : 48.374908 1053.87/536.81 c (53,0) c RunningTime_6 : 48.298852 1053.87/536.81 c (53,0) c RunningTime_7 : 47.913243 1053.87/536.81 c (53,0) c RunningTime_total : 387.863205 1053.87/536.81 c (53,0) c RunningTime_winner : 48.305062 1053.87/536.81 c (53,0) c WaitingTime_0 : 0.000433 1053.87/536.81 c (53,0) c WaitingTime_1 : 0.174082 1053.87/536.81 c (53,0) c WaitingTime_2 : 0.000357 1053.87/536.81 c (53,0) c WaitingTime_3 : 0.000531 1053.87/536.81 c (53,0) c WaitingTime_4 : 0.000537 1053.87/536.81 c (53,0) c WaitingTime_5 : 0.000633 1053.87/536.81 c (53,0) c WaitingTime_6 : 0.000528 1053.87/536.81 c (53,0) c WaitingTime_7 : 0.633367 1053.87/536.81 c (53,0) c WaitingTime_total : 0.810467 1053.87/536.81 c (53,0) c WaitingTime_winner : 0.000537 1053.87/536.81 c (53,0) c ExchangingTime_0 : 0.058001 1053.87/536.81 c (53,0) c ExchangingTime_1 : 0.047667 1053.87/536.81 c (53,0) c ExchangingTime_2 : 0.055256 1053.87/536.81 c (53,0) c ExchangingTime_3 : 0.048913 1053.87/536.81 c (53,0) c ExchangingTime_4 : 0.060258 1053.87/536.81 c (53,0) c ExchangingTime_5 : 0.051928 1053.87/536.81 c (53,0) c ExchangingTime_6 : 0.068095 1053.87/536.81 c (53,0) c ExchangingTime_7 : 0.049227 1053.87/536.81 c (53,0) c ExchangingTime_total : 0.439344 1053.87/536.81 c (53,0) c ExchangingTime_winner : 0.060258 1053.87/536.81 c (53,0) c PeriodProcTime_0 : 0.002684 1053.87/536.81 c (53,0) c PeriodProcTime_1 : 0.002647 1053.87/536.81 c (53,0) c PeriodProcTime_2 : 0.002718 1053.87/536.81 c (53,0) c PeriodProcTime_3 : 0.002665 1053.87/536.81 c (53,0) c PeriodProcTime_4 : 0.002597 1053.87/536.81 c (53,0) c PeriodProcTime_5 : 0.002674 1053.87/536.81 c (53,0) c PeriodProcTime_6 : 0.002762 1053.87/536.81 c (53,0) c PeriodProcTime_7 : 0.002888 1053.87/536.81 c (53,0) c PeriodProcTime_total : 0.021636 1053.87/536.81 c (53,0) c PeriodProcTime_winner : 0.002597 1053.87/536.81 c (53,0) c SolvingTime_0 : 49.298289 1053.87/536.81 c (53,0) c SolvingTime_1 : 48.394014 1053.87/536.81 c (53,0) c SolvingTime_2 : 49.244034 1053.87/536.81 c (53,0) c SolvingTime_3 : 48.430757 1053.87/536.81 c (53,0) c SolvingTime_4 : 48.368454 1053.87/536.81 c (53,0) c SolvingTime_5 : 48.430143 1053.87/536.81 c (53,0) c SolvingTime_6 : 48.370236 1053.87/536.81 c (53,0) c SolvingTime_7 : 48.598725 1053.87/536.81 c (53,0) c SolvingTime_total : 389.134652 1053.87/536.81 c (53,0) c SolvingTime_winner : 48.368454 1053.87/536.81 c (53,0) c PropagationTime_0 : 41.476978 1053.87/536.81 c (53,0) c PropagationTime_1 : 40.006857 1053.87/536.81 c (53,0) c PropagationTime_2 : 41.331746 1053.87/536.81 c (53,0) c PropagationTime_3 : 40.019457 1053.87/536.81 c (53,0) c PropagationTime_4 : 40.352524 1053.87/536.82 c (53,0) c PropagationTime_5 : 40.242443 1053.87/536.82 c (53,0) c PropagationTime_6 : 39.844866 1053.87/536.82 c (53,0) c PropagationTime_7 : 40.244931 1053.87/536.82 c (53,0) c PropagationTime_total : 323.519802 1053.87/536.82 c (53,0) c PropagationTime_winner : 40.352524 1053.87/536.82 c (53,0) c AnalysisTime_0 : 3.055165 1053.87/536.82 c (53,0) c AnalysisTime_1 : 3.632366 1053.87/536.82 c (53,0) c AnalysisTime_2 : 3.025755 1053.87/536.82 c (53,0) c AnalysisTime_3 : 3.300693 1053.87/536.82 c (53,0) c AnalysisTime_4 : 3.344744 1053.87/536.82 c (53,0) c AnalysisTime_5 : 3.256747 1053.87/536.82 c (53,0) c AnalysisTime_6 : 3.291356 1053.87/536.82 c (53,0) c AnalysisTime_7 : 2.961778 1053.87/536.82 c (53,0) c AnalysisTime_total : 25.868605 1053.87/536.82 c (53,0) c AnalysisTime_winner : 3.344744 1053.87/536.82 c (53,0) c ReductionTime_0 : 0.030890 1053.87/536.82 c (53,0) c ReductionTime_1 : 0.021648 1053.87/536.82 c (53,0) c ReductionTime_2 : 0.020918 1053.87/536.82 c (53,0) c ReductionTime_3 : 0.022293 1053.87/536.82 c (53,0) c ReductionTime_4 : 0.026147 1053.87/536.82 c (53,0) c ReductionTime_5 : 0.025508 1053.87/536.82 c (53,0) c ReductionTime_6 : 0.023041 1053.87/536.82 c (53,0) c ReductionTime_7 : 0.027585 1053.87/536.82 c (53,0) c ReductionTime_total : 0.198029 1053.87/536.82 c (53,0) c ReductionTime_winner : 0.026147 1053.87/536.82 c (53,0) c SimplifyTime_0 : 0.751684 1053.87/536.82 c (53,0) c SimplifyTime_1 : 0.652060 1053.87/536.82 c (53,0) c SimplifyTime_2 : 0.691867 1053.87/536.82 c (53,0) c SimplifyTime_3 : 0.702404 1053.87/536.82 c (53,0) c SimplifyTime_4 : 0.645434 1053.87/536.82 c (53,0) c SimplifyTime_5 : 0.724321 1053.87/536.82 c (53,0) c SimplifyTime_6 : 0.738051 1053.87/536.82 c (53,0) c SimplifyTime_7 : 0.864233 1053.87/536.82 c (53,0) c SimplifyTime_total : 5.770055 1053.87/536.82 c (53,0) c SimplifyTime_winner : 0.645434 1053.87/536.82 c (53,0) c UsedRateTime_0 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_1 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_2 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_3 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_4 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_5 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_6 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_7 : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_total : 0.000000 1053.87/536.82 c (53,0) c UsedRateTime_winner : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_0 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_1 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_2 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_3 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_4 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_5 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_6 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_7 : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_total : 0.000000 1053.87/536.82 c (53,0) c OverlapRateTime_winner : 0.000000 1053.87/536.82 c (53,0) c 1053.87/536.82 c (53,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1053.87/536.82 c (53,0) c 1053.87/536.82 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.87/536.82 c (53,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1053.87/536.82 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.87/536.82 c (53,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1053.87/536.82 c (53,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1053.87/536.82 c (53,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1053.87/536.82 c (53,0) c | Initial random_seed | 927083982 | 600548131 | 67634881 | 1874750011 | 1373525524 | 374636111 | 1036816648 | 2131198056 | 1053.87/536.82 c (53,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1053.87/536.82 c (53,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1053.87/536.82 c (53,0) c | glureduce | True | True | True | True | True | True | True | True | 1053.87/536.82 c (53,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1053.87/536.82 c (53,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1053.87/536.82 c (53,0) c | luby_restart | False | False | False | False | False | False | False | False | 1053.87/536.82 c (53,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1053.87/536.82 c (53,0) c | var_decay | 0.8800 | 0.8900 | 0.8900 | 0.8900 | 0.8800 | 0.8900 | 0.8900 | 0.8800 | 1053.87/536.82 c (53,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1053.87/536.82 c (53,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1053.87/536.82 c (53,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1053.87/536.82 c (53,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1053.87/536.82 c (53,0) 1053.87/536.82 c (53,0) s SATISFIABLE 665.79/537.11 c (53,0) SatSolver.solve End 665.79/537.11 c (53,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 665.79/537.11 c (53,0) Show results Begin 1054.85/537.26 c (54,0) x[0][0] = 0 1054.85/537.26 c (54,0) x[0][1] = 12 1054.85/537.26 c (54,0) x[0][2] = 1 1054.85/537.26 c (54,0) x[0][3] = 17 1054.85/537.26 c (54,0) x[0][4] = 0 1054.85/537.26 c (54,0) x[0][5] = 18 1054.85/537.26 c (54,0) x[0][7] = 0 1054.85/537.26 c (54,0) x[0][8] = 2 1054.85/537.26 c (54,0) x[0][9] = 17 1054.85/537.26 c (54,0) x[0][10] = 0 1054.85/537.26 c (54,0) x[0][11] = 8 1054.85/537.26 c (54,0) x[0][12] = 18 1054.85/537.26 c (54,0) x[0][13] = 4 1054.85/537.26 c (54,0) x[0][15] = 2 1054.85/537.26 c (54,0) x[0][16] = 11 1054.85/537.26 c (54,0) x[0][17] = 8 1054.85/537.26 c (54,0) x[0][18] = 6 1054.85/537.26 c (54,0) x[0][19] = 13 1054.85/537.26 c (54,0) x[0][20] = 0 1054.85/537.26 c (54,0) x[1][0] = 19 1054.85/537.26 c (54,0) x[1][1] = 0 1054.85/537.26 c (54,0) x[1][2] = 17 1054.85/537.26 c (54,0) x[1][3] = 0 1054.85/537.26 c (54,0) x[1][4] = 12 1054.85/537.26 c (54,0) x[1][5] = 0 1054.85/537.26 c (54,0) x[1][7] = 21 1054.85/537.26 c (54,0) x[1][8] = 14 1054.85/537.26 c (54,0) x[1][9] = 20 1054.85/537.26 c (54,0) x[1][10] = 11 1054.85/537.26 c (54,0) x[1][11] = 14 1054.85/537.26 c (54,0) x[1][12] = 8 1054.85/537.26 c (54,0) x[1][13] = 17 1054.85/537.26 c (54,0) x[1][15] = 7 1054.85/537.26 c (54,0) x[1][16] = 0 1054.85/537.26 c (54,0) x[1][17] = 11 1054.85/537.26 c (54,0) x[1][18] = 11 1054.85/537.26 c (54,0) x[1][19] = 4 1054.85/537.26 c (54,0) x[1][20] = 18 1054.85/537.26 c (54,0) x[2][0] = 19 1054.85/537.26 c (54,0) x[2][1] = 17 1054.85/537.26 c (54,0) x[2][2] = 8 1054.85/537.26 c (54,0) x[2][3] = 2 1054.85/537.26 c (54,0) x[2][4] = 14 1054.85/537.26 c (54,0) x[2][5] = 19 1054.85/537.26 c (54,0) x[2][7] = 14 1054.85/537.26 c (54,0) x[2][8] = 17 1054.85/537.26 c (54,0) x[2][9] = 8 1054.85/537.26 c (54,0) x[2][10] = 4 1054.85/537.26 c (54,0) x[2][11] = 13 1054.85/537.26 c (54,0) x[2][12] = 19 1054.85/537.26 c (54,0) x[2][13] = 18 1054.85/537.26 c (54,0) x[2][15] = 14 1054.85/537.26 c (54,0) x[2][16] = 2 1054.85/537.26 c (54,0) x[2][17] = 4 1054.85/537.26 c (54,0) x[2][18] = 0 1054.85/537.26 c (54,0) x[2][19] = 13 1054.85/537.26 c (54,0) x[2][20] = 18 1054.85/537.26 c (54,0) x[3][0] = 8 1054.85/537.26 c (54,0) x[3][1] = 11 1054.85/537.26 c (54,0) x[3][2] = 18 1054.85/537.26 c (54,0) x[3][4] = 10 1054.85/537.26 c (54,0) x[3][5] = 8 1054.85/537.26 c (54,0) x[3][6] = 5 1054.85/537.26 c (54,0) x[3][7] = 8 1054.85/537.26 c (54,0) x[3][8] = 14 1054.85/537.26 c (54,0) x[3][9] = 13 1054.85/537.26 c (54,0) x[3][10] = 18 1054.85/537.26 c (54,0) x[3][12] = 2 1054.85/537.26 c (54,0) x[3][13] = 4 1054.85/537.26 c (54,0) x[3][14] = 20 1054.85/537.27 c (54,0) x[3][15] = 19 1054.85/537.27 c (54,0) x[3][16] = 0 1054.85/537.27 c (54,0) x[3][18] = 19 1054.85/537.27 c (54,0) x[3][19] = 4 1054.85/537.27 c (54,0) x[3][20] = 4 1054.85/537.27 c (54,0) x[4][0] = 17 1054.85/537.27 c (54,0) x[4][1] = 8 1054.85/537.27 c (54,0) x[4][2] = 4 1054.85/537.27 c (54,0) x[4][3] = 18 1054.85/537.27 c (54,0) x[4][5] = 18 1054.85/537.27 c (54,0) x[4][6] = 0 1054.85/537.27 c (54,0) x[4][7] = 13 1054.85/537.27 c (54,0) x[4][8] = 25 1054.85/537.27 c (54,0) x[4][9] = 0 1054.85/537.27 c (54,0) x[4][11] = 19 1054.85/537.27 c (54,0) x[4][12] = 14 1054.85/537.27 c (54,0) x[4][13] = 0 1054.85/537.27 c (54,0) x[4][14] = 18 1054.85/537.27 c (54,0) x[4][15] = 19 1054.85/537.27 c (54,0) x[4][17] = 12 1054.85/537.27 c (54,0) x[4][18] = 8 1054.85/537.27 c (54,0) x[4][19] = 4 1054.85/537.27 c (54,0) x[4][20] = 13 1054.85/537.27 c (54,0) x[5][0] = 0 1054.85/537.27 c (54,0) x[5][1] = 18 1054.85/537.27 c (54,0) x[5][2] = 17 1054.85/537.27 c (54,0) x[5][3] = 0 1054.85/537.27 c (54,0) x[5][4] = 12 1054.85/537.27 c (54,0) x[5][6] = 19 1054.85/537.27 c (54,0) x[5][7] = 0 1054.85/537.27 c (54,0) x[5][8] = 14 1054.85/537.27 c (54,0) x[5][10] = 17 1054.85/537.27 c (54,0) x[5][11] = 4 1054.85/537.27 c (54,0) x[5][12] = 12 1054.85/537.27 c (54,0) x[5][13] = 20 1054.85/537.27 c (54,0) x[5][14] = 0 1054.85/537.27 c (54,0) x[5][16] = 3 1054.85/537.27 c (54,0) x[5][17] = 0 1054.85/537.27 c (54,0) x[5][18] = 17 1054.85/537.27 c (54,0) x[5][19] = 13 1054.85/537.27 c (54,0) x[5][20] = 4 1054.85/537.27 c (54,0) x[6][3] = 11 1054.85/537.27 c (54,0) x[6][4] = 8 1054.85/537.27 c (54,0) x[6][5] = 13 1054.85/537.27 c (54,0) x[6][9] = 1 1054.85/537.27 c (54,0) x[6][10] = 8 1054.85/537.27 c (54,0) x[6][11] = 15 1054.85/537.27 c (54,0) x[6][15] = 5 1054.85/537.27 c (54,0) x[6][16] = 0 1054.85/537.27 c (54,0) x[6][17] = 19 1054.85/537.27 c (54,0) x[7][0] = 3 1054.85/537.27 c (54,0) x[7][1] = 4 1054.85/537.27 c (54,0) x[7][2] = 2 1054.85/537.27 c (54,0) x[7][3] = 8 1054.85/537.27 c (54,0) x[7][4] = 12 1054.85/537.27 c (54,0) x[7][5] = 14 1054.85/537.27 c (54,0) x[7][7] = 0 1054.85/537.27 c (54,0) x[7][8] = 1 1054.85/537.27 c (54,0) x[7][9] = 17 1054.85/537.27 c (54,0) x[7][10] = 4 1054.85/537.27 c (54,0) x[7][11] = 0 1054.85/537.27 c (54,0) x[7][12] = 6 1054.85/537.27 c (54,0) x[7][13] = 8 1054.85/537.27 c (54,0) x[7][15] = 19 1054.85/537.27 c (54,0) x[7][16] = 7 1054.85/537.27 c (54,0) x[7][17] = 17 1054.85/537.27 c (54,0) x[7][18] = 8 1054.85/537.27 c (54,0) x[7][19] = 15 1054.85/537.27 c (54,0) x[7][20] = 18 1054.85/537.27 c (54,0) x[8][0] = 4 1054.85/537.27 c (54,0) x[8][1] = 17 1054.85/537.27 c (54,0) x[8][2] = 18 1054.85/537.27 c (54,0) x[8][3] = 4 1054.85/537.27 c (54,0) x[8][4] = 0 1054.85/537.27 c (54,0) x[8][5] = 20 1054.85/537.27 c (54,0) x[8][7] = 1 1054.85/537.27 c (54,0) x[8][8] = 17 1054.85/537.27 c (54,0) x[8][9] = 0 1054.85/537.27 c (54,0) x[8][10] = 13 1054.85/537.27 c (54,0) x[8][11] = 11 1054.85/537.27 c (54,0) x[8][12] = 4 1054.85/537.27 c (54,0) x[8][13] = 17 1054.85/537.27 c (54,0) x[8][15] = 15 1054.85/537.27 c (54,0) x[8][16] = 20 1054.85/537.27 c (54,0) x[8][17] = 8 1054.85/537.27 c (54,0) x[8][18] = 18 1054.85/537.27 c (54,0) x[8][19] = 4 1054.85/537.27 c (54,0) x[8][20] = 4 1054.85/537.27 c (54,0) x[9][0] = 11 1054.85/537.27 c (54,0) x[9][1] = 8 1054.85/537.27 c (54,0) x[9][2] = 0 1054.85/537.27 c (54,0) x[9][4] = 18 1054.85/537.27 c (54,0) x[9][5] = 1 1054.85/537.27 c (54,0) x[9][6] = 8 1054.85/537.27 c (54,0) x[9][7] = 17 1054.85/537.27 c (54,0) x[9][8] = 4 1054.85/537.27 c (54,0) x[9][9] = 18 1054.85/537.27 c (54,0) x[9][11] = 4 1054.85/537.27 c (54,0) x[9][12] = 12 1054.85/537.27 c (54,0) x[9][13] = 14 1054.85/537.27 c (54,0) x[9][14] = 20 1054.85/537.27 c (54,0) x[9][16] = 18 1054.85/537.27 c (54,0) x[9][17] = 2 1054.85/537.27 c (54,0) x[9][18] = 14 1054.85/537.27 c (54,0) x[9][19] = 20 1054.85/537.27 c (54,0) x[9][20] = 19 1054.85/537.27 c (54,0) x[10][0] = 0 1054.85/537.27 c (54,0) x[10][1] = 6 1054.85/537.27 c (54,0) x[10][2] = 17 1054.85/537.27 c (54,0) x[10][3] = 0 1054.85/537.27 c (54,0) x[10][5] = 0 1054.85/537.27 c (54,0) x[10][6] = 12 1054.85/537.27 c (54,0) x[10][7] = 4 1054.85/537.27 c (54,0) x[10][8] = 13 1054.85/537.27 c (54,0) x[10][12] = 8 1054.85/537.27 c (54,0) x[10][13] = 13 1054.85/537.27 c (54,0) x[10][14] = 19 1054.85/537.27 c (54,0) x[10][15] = 8 1054.85/537.27 c (54,0) x[10][17] = 0 1054.85/537.27 c (54,0) x[10][18] = 11 1054.85/537.27 c (54,0) x[10][19] = 11 1054.85/537.27 c (54,0) x[10][20] = 0 1054.85/537.27 c (54,0) x[11][0] = 1 1054.85/537.27 c (54,0) x[11][1] = 4 1054.85/537.27 c (54,0) x[11][2] = 3 1054.85/537.27 c (54,0) x[11][3] = 4 1054.85/537.27 c (54,0) x[11][4] = 18 1054.85/537.27 c (54,0) x[11][6] = 2 1054.85/537.27 c (54,0) x[11][7] = 0 1054.85/537.27 c (54,0) x[11][8] = 18 1054.85/537.27 c (54,0) x[11][9] = 7 1054.85/537.27 c (54,0) x[11][11] = 3 1054.85/537.27 c (54,0) x[11][12] = 13 1054.85/537.27 c (54,0) x[11][13] = 8 1054.85/537.27 c (54,0) x[11][14] = 4 1054.85/537.27 c (54,0) x[11][15] = 15 1054.85/537.27 c (54,0) x[11][16] = 17 1054.85/537.27 c (54,0) x[11][18] = 0 1054.85/537.27 c (54,0) x[11][19] = 21 1054.85/537.27 c (54,0) x[11][20] = 2 1054.85/537.27 c (54,0) x[12][0] = 17 1054.85/537.27 c (54,0) x[12][1] = 4 1054.85/537.27 c (54,0) x[12][2] = 0 1054.85/537.27 c (54,0) x[12][3] = 17 1054.85/537.27 c (54,0) x[12][4] = 12 1054.85/537.27 c (54,0) x[12][5] = 0 1054.85/537.27 c (54,0) x[12][7] = 6 1054.85/537.27 c (54,0) x[12][8] = 14 1054.85/537.27 c (54,0) x[12][9] = 4 1054.85/537.27 c (54,0) x[12][10] = 19 1054.85/537.27 c (54,0) x[12][11] = 8 1054.85/537.27 c (54,0) x[12][12] = 4 1054.85/537.27 c (54,0) x[12][13] = 18 1054.85/537.27 c (54,0) x[12][15] = 15 1054.85/537.27 c (54,0) x[12][16] = 4 1054.85/537.27 c (54,0) x[12][17] = 8 1054.85/537.27 c (54,0) x[12][18] = 13 1054.85/537.27 c (54,0) x[12][19] = 4 1054.85/537.27 c (54,0) x[12][20] = 4 1054.85/537.27 c (54,0) x[13][0] = 4 1054.85/537.27 c (54,0) x[13][1] = 18 1054.85/537.27 c (54,0) x[13][2] = 18 1054.85/537.27 c (54,0) x[13][3] = 0 1054.85/537.27 c (54,0) x[13][4] = 8 1054.85/537.27 c (54,0) x[13][5] = 12 1054.85/537.27 c (54,0) x[13][7] = 8 1054.85/537.27 c (54,0) x[13][8] = 11 1054.85/537.27 c (54,0) x[13][9] = 11 1054.85/537.27 c (54,0) x[13][10] = 20 1054.85/537.27 c (54,0) x[13][11] = 19 1054.85/537.27 c (54,0) x[13][12] = 4 1054.85/537.27 c (54,0) x[13][13] = 4 1054.85/537.27 c (54,0) x[13][15] = 14 1054.85/537.27 c (54,0) x[13][16] = 15 1054.85/537.27 c (54,0) x[13][17] = 18 1054.85/537.27 c (54,0) x[13][18] = 8 1054.85/537.27 c (54,0) x[13][19] = 13 1054.85/537.27 c (54,0) x[13][20] = 4 1054.85/537.27 c (54,0) x[14][3] = 18 1054.85/537.27 c (54,0) x[14][4] = 2 1054.85/537.27 c (54,0) x[14][5] = 8 1054.85/537.27 c (54,0) x[14][9] = 8 1054.85/537.27 c (54,0) x[14][10] = 1 1054.85/537.27 c (54,0) x[14][11] = 14 1054.85/537.27 c (54,0) x[14][15] = 13 1054.85/537.27 c (54,0) x[14][16] = 8 1054.85/537.27 c (54,0) x[14][17] = 0 1054.85/537.27 c (54,0) x[15][0] = 6 1054.85/537.27 c (54,0) x[15][1] = 11 1054.85/537.27 c (54,0) x[15][2] = 0 1054.85/537.27 c (54,0) x[15][3] = 18 1054.85/537.27 c (54,0) x[15][4] = 18 1054.85/537.27 c (54,0) x[15][6] = 18 1054.85/537.27 c (54,0) x[15][7] = 15 1054.85/537.27 c (54,0) x[15][8] = 8 1054.85/537.27 c (54,0) x[15][9] = 2 1054.85/537.27 c (54,0) x[15][10] = 18 1054.85/537.27 c (54,0) x[15][12] = 2 1054.85/537.27 c (54,0) x[15][13] = 0 1054.85/537.27 c (54,0) x[15][14] = 15 1054.85/537.27 c (54,0) x[15][16] = 2 1054.85/537.27 c (54,0) x[15][17] = 17 1054.85/537.27 c (54,0) x[15][18] = 4 1054.85/537.27 c (54,0) x[15][19] = 4 1054.85/537.27 c (54,0) x[15][20] = 17 1054.85/537.27 c (54,0) x[16][0] = 11 1054.85/537.27 c (54,0) x[16][1] = 8 1054.85/537.27 c (54,0) x[16][2] = 12 1054.85/537.27 c (54,0) x[16][3] = 4 1054.85/537.27 c (54,0) x[16][5] = 4 1054.85/537.27 c (54,0) x[16][6] = 15 1054.85/537.27 c (54,0) x[16][7] = 4 1054.85/537.27 c (54,0) x[16][8] = 11 1054.85/537.27 c (54,0) x[16][9] = 4 1054.85/537.27 c (54,0) x[16][11] = 4 1054.85/537.27 c (54,0) x[16][12] = 17 1054.85/537.27 c (54,0) x[16][13] = 17 1054.85/537.27 c (54,0) x[16][14] = 0 1054.85/537.27 c (54,0) x[16][15] = 8 1054.85/537.27 c (54,0) x[16][17] = 3 1054.85/537.27 c (54,0) x[16][18] = 17 1054.85/537.27 c (54,0) x[16][19] = 14 1054.85/537.27 c (54,0) x[16][20] = 12 1054.85/537.27 c (54,0) x[17][0] = 0 1054.85/537.27 c (54,0) x[17][1] = 6 1054.85/537.27 c (54,0) x[17][2] = 0 1054.85/537.27 c (54,0) x[17][4] = 5 1054.85/537.27 c (54,0) x[17][5] = 17 1054.85/537.27 c (54,0) x[17][6] = 8 1054.85/537.27 c (54,0) x[17][7] = 17 1054.85/537.27 c (54,0) x[17][8] = 0 1054.85/537.27 c (54,0) x[17][10] = 6 1054.85/537.27 c (54,0) x[17][11] = 13 1054.85/537.27 c (54,0) x[17][12] = 14 1054.85/537.27 c (54,0) x[17][13] = 12 1054.85/537.27 c (54,0) x[17][14] = 14 1054.85/537.27 c (54,0) x[17][15] = 13 1054.85/537.27 c (54,0) x[17][16] = 18 1054.85/537.27 c (54,0) x[17][18] = 18 1054.85/537.27 c (54,0) x[17][19] = 2 1054.85/537.27 c (54,0) x[17][20] = 8 1054.85/537.27 c (54,0) x[18][0] = 2 1054.85/537.27 c (54,0) x[18][1] = 0 1054.85/537.27 c (54,0) x[18][2] = 18 1054.85/537.27 c (54,0) x[18][3] = 19 1054.85/537.27 c (54,0) x[18][4] = 17 1054.85/537.27 c (54,0) x[18][5] = 14 1054.85/537.27 c (54,0) x[18][7] = 3 1054.85/537.27 c (54,0) x[18][8] = 8 1054.85/537.27 c (54,0) x[18][9] = 13 1054.85/537.27 c (54,0) x[18][10] = 0 1054.85/537.27 c (54,0) x[18][11] = 18 1054.85/537.27 c (54,0) x[18][12] = 18 1054.85/537.27 c (54,0) x[18][13] = 4 1054.85/537.27 c (54,0) x[18][15] = 3 1054.85/537.27 c (54,0) x[18][16] = 20 1054.85/537.27 c (54,0) x[18][17] = 2 1054.85/537.27 c (54,0) x[18][18] = 7 1054.85/537.27 c (54,0) x[18][19] = 4 1054.85/537.27 c (54,0) x[18][20] = 18 1054.85/537.27 c (54,0) x[19][0] = 0 1054.85/537.27 c (54,0) x[19][1] = 18 1054.85/537.27 c (54,0) x[19][2] = 18 1054.85/537.27 c (54,0) x[19][3] = 8 1054.85/537.27 c (54,0) x[19][4] = 4 1054.85/537.27 c (54,0) x[19][5] = 3 1054.85/537.27 c (54,0) x[19][7] = 8 1054.85/537.27 c (54,0) x[19][8] = 18 1054.85/537.27 c (54,0) x[19][9] = 4 1054.85/537.27 c (54,0) x[19][10] = 17 1054.85/537.27 c (54,0) x[19][11] = 0 1054.85/537.27 c (54,0) x[19][12] = 13 1054.85/537.27 c (54,0) x[19][13] = 4 1054.85/537.27 c (54,0) x[19][15] = 4 1054.85/537.27 c (54,0) x[19][16] = 12 1054.85/537.27 c (54,0) x[19][17] = 8 1054.85/537.27 c (54,0) x[19][18] = 0 1054.85/537.27 c (54,0) x[19][19] = 13 1054.85/537.27 c (54,0) x[19][20] = 19 1054.85/537.27 c (54,0) x[20][0] = 18 1054.85/537.27 c (54,0) x[20][1] = 4 1054.85/537.27 c (54,0) x[20][2] = 0 1054.85/537.27 c (54,0) x[20][3] = 13 1054.85/537.27 c (54,0) x[20][4] = 19 1054.85/537.27 c (54,0) x[20][5] = 4 1054.85/537.27 c (54,0) x[20][7] = 18 1054.85/537.27 c (54,0) x[20][8] = 4 1054.85/537.27 c (54,0) x[20][9] = 18 1054.85/537.27 c (54,0) x[20][10] = 0 1054.85/537.27 c (54,0) x[20][11] = 12 1054.85/537.27 c (54,0) x[20][12] = 4 1054.85/537.27 c (54,0) x[20][13] = 18 1054.85/537.27 c (54,0) x[20][15] = 18 1054.85/537.27 c (54,0) x[20][16] = 14 1054.85/537.27 c (54,0) x[20][17] = 11 1054.85/537.27 c (54,0) x[20][18] = 3 1054.85/537.27 c (54,0) x[20][19] = 4 1054.85/537.27 c (54,0) x[20][20] = 4 1054.85/537.27 s SATISFIABLE 1054.85/537.28 v <instantiation> 1054.85/537.28 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[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][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][3] x[6][4] x[6][5] x[6][9] x[6][10] x[6][11] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] 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][10] 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][0] x[10][1] x[10][2] x[10][3] x[10][5] x[10][6] x[10][7] x[10][8] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] 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][10] 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][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][3] x[14][4] x[14][5] x[14][9] x[14][10] x[14][11] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] 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][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] 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][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][15] x[19][16] 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][4] x[20][5] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20]</list> 1054.85/537.28 v <values>0 12 1 17 0 18 0 2 17 0 8 18 4 2 11 8 6 13 0 19 0 17 0 12 0 21 14 20 11 14 8 17 7 0 11 11 4 18 19 17 8 2 14 19 14 17 8 4 13 19 18 14 2 4 0 13 18 8 11 18 10 8 5 8 14 13 18 2 4 20 19 0 19 4 4 17 8 4 18 18 0 13 25 0 19 14 0 18 19 12 8 4 13 0 18 17 0 12 19 0 14 17 4 12 20 0 3 0 17 13 4 11 8 13 1 8 15 5 0 19 3 4 2 8 12 14 0 1 17 4 0 6 8 19 7 17 8 15 18 4 17 18 4 0 20 1 17 0 13 11 4 17 15 20 8 18 4 4 11 8 0 18 1 8 17 4 18 4 12 14 20 18 2 14 20 19 0 6 17 0 0 12 4 13 8 13 19 8 0 11 11 0 1 4 3 4 18 2 0 18 7 3 13 8 4 15 17 0 21 2 17 4 0 17 12 0 6 14 4 19 8 4 18 15 4 8 13 4 4 4 18 18 0 8 12 8 11 11 20 19 4 4 14 15 18 8 13 4 18 2 8 8 1 14 13 8 0 6 11 0 18 18 18 15 8 2 18 2 0 15 2 17 4 4 17 11 8 12 4 4 15 4 11 4 4 17 17 0 8 3 17 14 12 0 6 0 5 17 8 17 0 6 13 14 12 14 13 18 18 2 8 2 0 18 19 17 14 3 8 13 0 18 18 4 3 20 2 7 4 18 0 18 18 8 4 3 8 18 4 17 0 13 4 4 12 8 0 13 19 18 4 0 13 19 4 18 4 18 0 12 4 18 18 14 11 3 4 4</values> 1054.85/537.28 v </instantiation> 1054.85/537.28 c (54,0) Show results End 1054.85/537.28 c (54,0) Heap : 232 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 1054.85/537.28 c (54,0) 53,54,STOP-AFTER(ALL) 1054.85/537.28 c END-Prog: Sat Sep 14 09:39:45 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 (11886 MiB free) memory of node 1: 16384 MiB (15542 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392397-1568446286/watcher-4392397-1568446286 -o /tmp/evaluation-result-4392397-1568446286/solver-4392397-1568446286 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392397-1568446286.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9466, runsolver pid=9463 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 8.01 8.17 8.16 3/212 9489 /proc/meminfo: memFree=27991076/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420893520 115843072 349 33554432000 4194304 5098028 140734071721840 140734071719096 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 349 296 221 0 87 0 [pid=9469] ppid=9466 vsize=27314120 memory=106988 CPUtime=0.1 cores=0-7 /proc/9469/stat : 9469 (java) S 9466 9466 7985 0 -1 1077944320 6828 0 0 0 8 2 0 0 20 0 20 0 420893521 27969658880 26747 33554432000 4194304 4196468 140730075536448 140730075518992 139824005213943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 /proc/9469/statm: 6828530 26747 2803 1 0 6790935 0 [pid=9469/tid=9470] ppid=9466 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/9469/task/9470/stat : 9470 (java) R 9466 9466 7985 0 -1 4202560 4927 0 0 0 6 2 0 0 20 0 20 0 420893521 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823977049776 139823989294430 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9471] ppid=9466 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9469/task/9471/stat : 9471 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893523 27969658880 26747 33554432000 4194304 4196468 140730075536448 139824009456144 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9472] ppid=9466 vsize=27314120 memory=139847721559680 CPUtime=0 cores=0-7 /proc/9469/task/9472/stat : 9472 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823823612560 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9473] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9473/stat : 9473 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823822559504 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9474] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9474/stat : 9474 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823821506960 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9476] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9476/stat : 9476 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823820454928 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9477] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9477/stat : 9477 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823819402384 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9478] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9478/stat : 9478 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823818349328 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9479] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9479/stat : 9479 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 26747 33554432000 4194304 4196468 140730075536448 139823817296784 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9480] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9480/stat : 9480 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822123444464 139824005225090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9481] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9481/stat : 9481 (java) S 9466 9466 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 26747 33554432000 4194304 4196468 140730075536448 139821922116768 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9482] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9482/stat : 9482 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893526 27969658880 26747 33554432000 4194304 4196468 140730075536448 139821653680880 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9483] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9483/stat : 9483 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139821279172560 139824005232539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9484] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9484/stat : 9484 (java) S 9466 9466 7985 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822122392304 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9485] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9485/stat : 9485 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822121339760 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9486] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9486/stat : 9486 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822120286704 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9487] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9487/stat : 9487 (java) S 9466 9466 7985 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822119234160 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9488] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9488/stat : 9488 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 26747 33554432000 4194304 4196468 140730075536448 139820781267424 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9489] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9489/stat : 9489 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893529 27969658880 26747 33554432000 4194304 4196468 140730075536448 139822118181552 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108384 KiB [startup+0.210553 s]* /proc/loadavg: 8.01 8.17 8.16 3/212 9489 /proc/meminfo: memFree=27969648/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420893520 115843072 349 33554432000 4194304 5098028 140734071721840 140734071719096 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 349 296 221 0 87 0 [pid=9469] ppid=9466 vsize=27314120 memory=126256 CPUtime=0.25 cores=0-7 /proc/9469/stat : 9469 (java) S 9466 9466 7985 0 -1 1077944320 12429 0 0 0 21 4 0 0 20 0 20 0 420893521 27969658880 31564 33554432000 4194304 4196468 140730075536448 140730075518992 139824005213943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 /proc/9469/statm: 6828530 31564 2935 1 0 6790935 0 [pid=9469/tid=9470] ppid=9466 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9469/task/9470/stat : 9470 (java) R 9466 9466 7985 0 -1 4202560 10129 0 0 0 16 3 0 0 20 0 20 0 420893521 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823977013328 139823986777490 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9471] ppid=9466 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/9469/task/9471/stat : 9471 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893523 27969658880 31564 33554432000 4194304 4196468 140730075536448 139824009456144 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9472] ppid=9466 vsize=27314120 memory=139847721569399 CPUtime=0 cores=0-7 /proc/9469/task/9472/stat : 9472 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823823612560 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9473] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9473/stat : 9473 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823822559504 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9474] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9474/stat : 9474 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823821506960 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9476] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9476/stat : 9476 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823820454928 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9477] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9477/stat : 9477 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823819402384 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9478] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9478/stat : 9478 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823818349328 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9479] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9479/stat : 9479 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 31564 33554432000 4194304 4196468 140730075536448 139823817296784 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9480] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9480/stat : 9480 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822123444464 139824005225090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9481] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9481/stat : 9481 (java) S 9466 9466 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 31564 33554432000 4194304 4196468 140730075536448 139821922116768 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9482] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9482/stat : 9482 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893526 27969658880 31564 33554432000 4194304 4196468 140730075536448 139821653680880 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9483] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9483/stat : 9483 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139821279172560 139824005232539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9484] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9484/stat : 9484 (java) S 9466 9466 7985 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822122392304 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9485] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9485/stat : 9485 (java) S 9466 9466 7985 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822121339760 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9486] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9486/stat : 9486 (java) S 9466 9466 7985 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822120286704 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9487] ppid=9466 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/9469/task/9487/stat : 9487 (java) S 9466 9466 7985 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822119234160 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9488] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9488/stat : 9488 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 31564 33554432000 4194304 4196468 140730075536448 139820781267424 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9489] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9489/stat : 9489 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893529 27969658880 31564 33554432000 4194304 4196468 140730075536448 139822118181552 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127652 KiB [startup+0.310163 s]* /proc/loadavg: 8.01 8.17 8.16 2/212 9489 /proc/meminfo: memFree=27966980/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420893520 115843072 349 33554432000 4194304 5098028 140734071721840 140734071719096 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 349 296 221 0 87 0 [pid=9469] ppid=9466 vsize=27314120 memory=129620 CPUtime=0.42 cores=0-7 /proc/9469/stat : 9469 (java) S 9466 9466 7985 0 -1 1077944320 12816 0 0 0 38 4 0 0 20 0 20 0 420893521 27969658880 32405 33554432000 4194304 4196468 140730075536448 140730075518992 139824005213943 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 /proc/9469/statm: 6828530 32405 3016 1 0 6790935 0 [pid=9469/tid=9470] ppid=9466 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/9469/task/9470/stat : 9470 (java) R 9466 9466 7985 0 -1 4202560 10321 0 0 0 26 3 0 0 20 0 20 0 420893521 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823976998928 139823986777495 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9471] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9471/stat : 9471 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893523 27969658880 32405 33554432000 4194304 4196468 140730075536448 139824009456144 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9472] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9472/stat : 9472 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823823612560 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9473] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9473/stat : 9473 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823822559504 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9474] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9474/stat : 9474 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823821506960 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9476] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9476/stat : 9476 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823820454928 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9477] ppid=9466 vsize=27314120 memory=139847624911535 CPUtime=0 cores=0-7 /proc/9469/task/9477/stat : 9477 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823819402384 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9478] ppid=9466 vsize=27314120 memory=139847624913840 CPUtime=0 cores=0-7 /proc/9469/task/9478/stat : 9478 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823818349328 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9479] ppid=9466 vsize=27314120 memory=139847624916144 CPUtime=0 cores=0-7 /proc/9469/task/9479/stat : 9479 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27969658880 32405 33554432000 4194304 4196468 140730075536448 139823817296784 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9480] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9480/stat : 9480 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822123444464 139824005225090 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9481] ppid=9466 vsize=27314120 memory=279695249846160 CPUtime=0 cores=0-7 /proc/9469/task/9481/stat : 9481 (java) S 9466 9466 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420893525 27969658880 32405 33554432000 4194304 4196468 140730075536448 139821922116768 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9482] ppid=9466 vsize=27314120 memory=279695249843856 CPUtime=0 cores=0-7 /proc/9469/task/9482/stat : 9482 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893526 27969658880 32405 33554432000 4194304 4196468 140730075536448 139821653680880 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9483] ppid=9466 vsize=27314120 memory=279695249850768 CPUtime=0 cores=0-7 /proc/9469/task/9483/stat : 9483 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139821279172560 139824005232539 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9484] ppid=9466 vsize=27314120 memory=279695249792048 CPUtime=0.01 cores=0-7 /proc/9469/task/9484/stat : 9484 (java) S 9466 9466 7985 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822122392304 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9485] ppid=9466 vsize=27314120 memory=279695249864592 CPUtime=0.01 cores=0-7 /proc/9469/task/9485/stat : 9485 (java) S 9466 9466 7985 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822121339760 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9486] ppid=9466 vsize=27314120 memory=279695249871504 CPUtime=0.01 cores=0-7 /proc/9469/task/9486/stat : 9486 (java) S 9466 9466 7985 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822120286704 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9487] ppid=9466 vsize=27314120 memory=279695249869200 CPUtime=0.07 cores=0-7 /proc/9469/task/9487/stat : 9487 (java) S 9466 9466 7985 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822119234160 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9488] ppid=9466 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9488/stat : 9488 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893528 27969658880 32405 33554432000 4194304 4196468 140730075536448 139820781267424 139824005224149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9489] ppid=9466 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9469/task/9489/stat : 9489 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893529 27969658880 32405 33554432000 4194304 4196468 140730075536448 139822118181552 139824005225090 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131016 KiB [startup+0.701168 s] /proc/loadavg: 8.01 8.17 8.16 2/212 9489 /proc/meminfo: memFree=27946884/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420893520 115843072 349 33554432000 4194304 5098028 140734071721840 140734071719096 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 349 296 221 0 87 0 [pid=9469] ppid=9466 vsize=27320392 memory=167928 CPUtime=1 cores=0-7 /proc/9469/stat : 9469 (java) S 9466 9466 7985 0 -1 1077944320 20530 0 0 0 93 7 0 0 20 0 20 0 420893521 27976081408 41982 33554432000 4194304 4196468 140730075536448 140730075518992 139824005213943 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 /proc/9469/statm: 6830098 41982 3194 1 0 6791447 0 [pid=9469/tid=9470] ppid=9466 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/9469/task/9470/stat : 9470 (java) R 9466 9466 7985 0 -1 4202560 17375 0 0 0 61 6 0 0 20 0 20 0 420893521 27976081408 41982 33554432000 4194304 4196468 140730075536448 139823977044304 139823484647314 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9471] ppid=9466 vsize=27320392 memory=139847625122672 CPUtime=0 cores=0-7 /proc/9469/task/9471/stat : 9471 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420893523 27976081408 41982 33554432000 4194304 4196468 140730075536448 139824009456144 139824005224149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9472] ppid=9466 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9469/task/9472/stat : 9472 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420893524 27976081408 41982 33554432000 4194304 4196468 140730075536448 139823823612560 139824005224149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 [pid=9469/tid=9473] ppid=9466 vsize=27320392 memory=776 CPUtime=0 cores=0-7 /proc/9469/task/9473/stat : 9473 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420893524 27976081408 41982 33554432000 4194304 4196468 140730075536448 139823822559504 139824005224149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28098560 140730075542252 140730075542678 140730075542678 140730075545551 0 ################ # More data... # ################ [pid=9520/tid=9521] ppid=9466 vsize=8414124 memory=6008 CPUtime=0.81 cores=0-7 /proc/9520/task/9521/stat : 9521 (java) S 9466 9466 7985 0 -1 1077944384 16984 0 0 0 74 7 0 0 20 0 24 0 420941800 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722438451104 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9522] ppid=9466 vsize=8414124 memory=1544 CPUtime=0 cores=0-7 /proc/9520/task/9522/stat : 9522 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722470853776 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9523] ppid=9466 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/9520/task/9523/stat : 9523 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722271022096 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9524] ppid=9466 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/9520/task/9524/stat : 9524 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722269969296 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9525] ppid=9466 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/9520/task/9525/stat : 9525 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722268916496 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9526] ppid=9466 vsize=8414124 memory=21572 CPUtime=0 cores=0-7 /proc/9520/task/9526/stat : 9526 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722267863696 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9527] ppid=9466 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/9520/task/9527/stat : 9527 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139722266810896 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9528] ppid=9466 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/9520/task/9528/stat : 9528 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721946687888 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9529] ppid=9466 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/9520/task/9529/stat : 9529 (java) S 9466 9466 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420941802 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721945635088 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9530] ppid=9466 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/9520/task/9530/stat : 9530 (java) S 9466 9466 7985 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420941803 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721694255984 139722466622082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9531] ppid=9466 vsize=8414124 memory=7686721470233615004 CPUtime=0 cores=0-7 /proc/9520/task/9531/stat : 9531 (java) S 9466 9466 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420941803 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721057494560 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9532] ppid=9466 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/9520/task/9532/stat : 9532 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420941804 8616062976 31421 33554432000 4194304 4196468 140722605471264 139720789058928 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9533] ppid=9466 vsize=8414124 memory=15823304585906089 CPUtime=0 cores=0-7 /proc/9520/task/9533/stat : 9533 (java) S 9466 9466 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420941806 8616062976 31421 33554432000 4194304 4196468 140722605471264 139720414550352 139722466629531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9534] ppid=9466 vsize=8414124 memory=1476 CPUtime=0.13 cores=0-7 /proc/9520/task/9534/stat : 9534 (java) S 9466 9466 7985 0 -1 1077944384 1165 0 0 0 13 0 0 0 20 0 24 0 420941806 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721693202800 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9535] ppid=9466 vsize=8414124 memory=125168 CPUtime=0.09 cores=0-7 /proc/9520/task/9535/stat : 9535 (java) S 9466 9466 7985 0 -1 1077944384 306 0 0 0 9 0 0 0 20 0 24 0 420941806 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721692150000 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9536] ppid=9466 vsize=8414124 memory=3923744 CPUtime=0.09 cores=0-7 /proc/9520/task/9536/stat : 9536 (java) S 9466 9466 7985 0 -1 1077944384 282 0 0 0 9 0 0 0 20 0 24 0 420941806 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721691097200 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9537] ppid=9466 vsize=8414124 memory=924 CPUtime=0.23 cores=0-7 /proc/9520/task/9537/stat : 9537 (java) R 9466 9466 7985 0 -1 4202560 762 0 0 0 23 0 0 0 20 0 24 0 420941806 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721690044400 139722445563754 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9538] ppid=9466 vsize=8414124 memory=4228 CPUtime=0 cores=0-7 /proc/9520/task/9538/stat : 9538 (java) S 9466 9466 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420941807 8616062976 31421 33554432000 4194304 4196468 140722605471264 139719916645472 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9539] ppid=9466 vsize=8414124 memory=1412 CPUtime=0.02 cores=0-7 /proc/9520/task/9539/stat : 9539 (java) S 9466 9466 7985 0 -1 1077944384 5 0 0 0 2 0 0 0 20 0 24 0 420941807 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721688992816 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9541] ppid=9466 vsize=8414124 memory=3512 CPUtime=0 cores=0-7 /proc/9520/task/9541/stat : 9541 (java) S 9466 9466 7985 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420941879 8616062976 31421 33554432000 4194304 4196468 140722605471264 139721680959040 139722466635545 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9543] ppid=9466 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9520/task/9543/stat : 9543 (java) R 9466 9466 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420941879 8616062976 31421 33554432000 4194304 4196468 140722605471264 139719245545104 140722606467010 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9544] ppid=9466 vsize=8414124 memory=125168 CPUtime=0 cores=0-7 /proc/9520/task/9544/stat : 9544 (java) S 9466 9466 7985 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420941879 8616062976 31421 33554432000 4194304 4196468 140722605471264 139719513980432 139722466632861 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9545] ppid=9466 vsize=8414124 memory=3921780 CPUtime=0 cores=0-7 /proc/9520/task/9545/stat : 9545 (java) S 9466 9466 7985 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420941882 8616062976 31421 33554432000 4194304 4196468 140722605471264 139718977117232 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 Current children cumulated CPU time: 1053.87 s Current children cumulated vsize: 12661192 KiB Current children cumulated memory: 4061968 KiB [startup+537.201 s] /proc/loadavg: 5.04 3.58 5.54 3/216 9557 /proc/meminfo: memFree=24885880/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1476 CPUtime=663.85 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 582 226258 0 0 0 0 63217 3168 20 0 1 0 420893520 115843072 369 33554432000 4194304 5098028 140734071721840 140734071718584 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 369 311 221 0 87 0 [pid=9520] ppid=9466 vsize=8283048 memory=225468 CPUtime=391 cores=0-7 /proc/9520/stat : 9520 (java) S 9466 9466 7985 0 -1 1077944320 21833 3425620 0 0 201 12 38055 832 20 0 22 0 420941799 8481841152 56367 33554432000 4194304 4196468 140722605471264 140722605453808 139722466610935 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 /proc/9520/statm: 2070762 56367 3230 1 0 2032106 0 [pid=9520/tid=9521] ppid=9466 vsize=8283048 memory=125168 CPUtime=389.77 cores=0-7 /proc/9520/task/9521/stat : 9521 (java) R 9466 9466 7985 0 -1 4202560 17190 3425620 0 0 82 8 38055 832 20 0 22 0 420941800 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722438448592 139722466622870 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9522] ppid=9466 vsize=8283048 memory=3932728 CPUtime=388.87 cores=0-7 /proc/9520/task/9522/stat : 9522 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722470853776 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9523] ppid=9466 vsize=8283048 memory=4715433313220523562 CPUtime=388.87 cores=0-7 /proc/9520/task/9523/stat : 9523 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722271022096 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9524] ppid=9466 vsize=8283048 memory=4427205132082312746 CPUtime=388.87 cores=0-7 /proc/9520/task/9524/stat : 9524 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722269969296 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9525] ppid=9466 vsize=8283048 memory=4715435516538746410 CPUtime=388.87 cores=0-7 /proc/9520/task/9525/stat : 9525 (java) S 9466 9466 7985 0 -1 1077944384 3 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722268916496 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9526] ppid=9466 vsize=8283048 memory=7686721470233615004 CPUtime=388.87 cores=0-7 /proc/9520/task/9526/stat : 9526 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722267863696 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9527] ppid=9466 vsize=8283048 memory=1980 CPUtime=388.87 cores=0-7 /proc/9520/task/9527/stat : 9527 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139722266810896 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9528] ppid=9466 vsize=8283048 memory=2428 CPUtime=388.87 cores=0-7 /proc/9520/task/9528/stat : 9528 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721946687888 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9529] ppid=9466 vsize=8283048 memory=1608 CPUtime=388.87 cores=0-7 /proc/9520/task/9529/stat : 9529 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721945635088 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9530] ppid=9466 vsize=8283048 memory=908 CPUtime=388.87 cores=0-7 /proc/9520/task/9530/stat : 9530 (java) S 9466 9466 7985 0 -1 1077944384 8 3425620 0 0 0 0 38055 832 20 0 22 0 420941803 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721694255984 139722466622082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9531] ppid=9466 vsize=8283048 memory=1440 CPUtime=388.87 cores=0-7 /proc/9520/task/9531/stat : 9531 (java) S 9466 9466 7985 0 -1 1077944384 13 3425620 0 0 0 0 38055 832 20 0 22 0 420941803 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721057494560 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9532] ppid=9466 vsize=8283048 memory=1760 CPUtime=388.87 cores=0-7 /proc/9520/task/9532/stat : 9532 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941804 8481841152 56367 33554432000 4194304 4196468 140722605471264 139720789058928 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9533] ppid=9466 vsize=8283048 memory=111632 CPUtime=388.87 cores=0-7 /proc/9520/task/9533/stat : 9533 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941806 8481841152 56367 33554432000 4194304 4196468 140722605471264 139720414550352 139722466629531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9534] ppid=9466 vsize=8283048 memory=800 CPUtime=389.09 cores=0-7 /proc/9520/task/9534/stat : 9534 (java) S 9466 9466 7985 0 -1 1077944384 1207 3425620 0 0 22 0 38055 832 20 0 22 0 420941806 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721693202800 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9535] ppid=9466 vsize=8283048 memory=1808 CPUtime=389.05 cores=0-7 /proc/9520/task/9535/stat : 9535 (java) R 9466 9466 7985 0 -1 4202560 396 3425620 0 0 18 0 38055 832 20 0 22 0 420941806 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721692150000 139722450103508 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9536] ppid=9466 vsize=8283048 memory=924 CPUtime=389.03 cores=0-7 /proc/9520/task/9536/stat : 9536 (java) S 9466 9466 7985 0 -1 1077944384 312 3425620 0 0 16 0 38055 832 20 0 22 0 420941806 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721691097200 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9537] ppid=9466 vsize=8283048 memory=1712 CPUtime=389.2 cores=0-7 /proc/9520/task/9537/stat : 9537 (java) S 9466 9466 7985 0 -1 1077944384 1222 3425620 0 0 33 0 38055 832 20 0 22 0 420941806 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721690044400 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9538] ppid=9466 vsize=8283048 memory=1220 CPUtime=388.87 cores=0-7 /proc/9520/task/9538/stat : 9538 (java) S 9466 9466 7985 0 -1 1077944384 3 3425620 0 0 0 0 38055 832 20 0 22 0 420941807 8481841152 56367 33554432000 4194304 4196468 140722605471264 139719916645472 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9539] ppid=9466 vsize=8283048 memory=992 CPUtime=388.89 cores=0-7 /proc/9520/task/9539/stat : 9539 (java) S 9466 9466 7985 0 -1 1077944384 5 3425620 0 0 2 0 38055 832 20 0 22 0 420941807 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721688992816 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9541] ppid=9466 vsize=8283048 memory=6008 CPUtime=388.87 cores=0-7 /proc/9520/task/9541/stat : 9541 (java) S 9466 9466 7985 0 -1 1077944384 25 3425620 0 0 0 0 38055 832 20 0 22 0 420941879 8481841152 56367 33554432000 4194304 4196468 140722605471264 139721680958224 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9545] ppid=9466 vsize=8283048 memory=1056 CPUtime=388.87 cores=0-7 /proc/9520/task/9545/stat : 9545 (java) S 9466 9466 7985 0 -1 1077944384 13 3425620 0 0 0 0 38055 832 20 0 22 0 420941882 8481841152 56367 33554432000 4194304 4196468 140722605471264 139718977119024 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 Current children cumulated CPU time: 1054.85 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 226944 KiB [startup+537.301 s] /proc/loadavg: 5.04 3.58 5.54 3/216 9557 /proc/meminfo: memFree=24885880/32770624 swapFree=66999940/67108860 [pid=9466] ppid=9463 vsize=113128 memory=1476 CPUtime=663.85 cores=0-7 /proc/9466/stat : 9466 (scop.sh) S 9463 9466 7985 0 -1 4202496 582 226258 0 0 0 0 63217 3168 20 0 1 0 420893520 115843072 369 33554432000 4194304 5098028 140734071721840 140734071718584 139647019487868 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 27246592 140734071730981 140734071731308 140734071731308 140734071734221 0 /proc/9466/statm: 28282 369 311 221 0 87 0 [pid=9520] ppid=9466 vsize=8283048 memory=230556 CPUtime=391.2 cores=0-7 /proc/9520/stat : 9520 (java) S 9466 9466 7985 0 -1 1077944320 23087 3425620 0 0 217 16 38055 832 20 0 22 0 420941799 8481841152 57639 33554432000 4194304 4196468 140722605471264 140722605453808 139722466610935 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 /proc/9520/statm: 2070762 57639 3232 1 0 2032106 0 [pid=9520/tid=9521] ppid=9466 vsize=8283048 memory=145516 CPUtime=389.86 cores=0-7 /proc/9520/task/9521/stat : 9521 (java) R 9466 9466 7985 0 -1 4202560 18295 3425620 0 0 89 10 38055 832 20 0 22 0 420941800 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722438449408 139722459296567 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9522] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9522/stat : 9522 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722470853776 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9523] ppid=9466 vsize=8283048 memory=125168 CPUtime=388.87 cores=0-7 /proc/9520/task/9523/stat : 9523 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722271022096 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9524] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9524/stat : 9524 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722269969296 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9525] ppid=9466 vsize=8283048 memory=4100 CPUtime=388.87 cores=0-7 /proc/9520/task/9525/stat : 9525 (java) S 9466 9466 7985 0 -1 1077944384 3 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722268916496 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9526] ppid=9466 vsize=8283048 memory=219536 CPUtime=388.87 cores=0-7 /proc/9520/task/9526/stat : 9526 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722267863696 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9527] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9527/stat : 9527 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139722266810896 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9528] ppid=9466 vsize=8283048 memory=541 CPUtime=388.87 cores=0-7 /proc/9520/task/9528/stat : 9528 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721946687888 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9529] ppid=9466 vsize=8283048 memory=0 CPUtime=388.87 cores=0-7 /proc/9520/task/9529/stat : 9529 (java) S 9466 9466 7985 0 -1 1077944384 2 3425620 0 0 0 0 38055 832 20 0 22 0 420941802 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721945635088 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9530] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9530/stat : 9530 (java) S 9466 9466 7985 0 -1 1077944384 8 3425620 0 0 0 0 38055 832 20 0 22 0 420941803 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721694255984 139722466622082 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9531] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9531/stat : 9531 (java) S 9466 9466 7985 0 -1 1077944384 13 3425620 0 0 0 0 38055 832 20 0 22 0 420941803 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721057494560 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9532] ppid=9466 vsize=8283048 memory=308372 CPUtime=388.87 cores=0-7 /proc/9520/task/9532/stat : 9532 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941804 8481841152 57639 33554432000 4194304 4196468 140722605471264 139720789058928 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9533] ppid=9466 vsize=8283048 memory=776 CPUtime=388.87 cores=0-7 /proc/9520/task/9533/stat : 9533 (java) S 9466 9466 7985 0 -1 1077944384 1 3425620 0 0 0 0 38055 832 20 0 22 0 420941806 8481841152 57639 33554432000 4194304 4196468 140722605471264 139720414550352 139722466629531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9534] ppid=9466 vsize=8283048 memory=9536 CPUtime=389.11 cores=0-7 /proc/9520/task/9534/stat : 9534 (java) S 9466 9466 7985 0 -1 1077944384 1220 3425620 0 0 24 0 38055 832 20 0 22 0 420941806 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721693202800 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9535] ppid=9466 vsize=8283048 memory=692 CPUtime=389.06 cores=0-7 /proc/9520/task/9535/stat : 9535 (java) S 9466 9466 7985 0 -1 1077944384 402 3425620 0 0 19 0 38055 832 20 0 22 0 420941806 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721692150000 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9536] ppid=9466 vsize=8283048 memory=2020 CPUtime=389.05 cores=0-7 /proc/9520/task/9536/stat : 9536 (java) S 9466 9466 7985 0 -1 1077944384 317 3425620 0 0 18 0 38055 832 20 0 22 0 420941806 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721691097200 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9537] ppid=9466 vsize=8283048 memory=1432 CPUtime=389.24 cores=0-7 /proc/9520/task/9537/stat : 9537 (java) S 9466 9466 7985 0 -1 1077944384 1346 3425620 0 0 37 0 38055 832 20 0 22 0 420941806 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721690044400 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9538] ppid=9466 vsize=8283048 memory=279695251950560 CPUtime=388.87 cores=0-7 /proc/9520/task/9538/stat : 9538 (java) S 9466 9466 7985 0 -1 1077944384 3 3425620 0 0 0 0 38055 832 20 0 22 0 420941807 8481841152 57639 33554432000 4194304 4196468 140722605471264 139719916645472 139722466621141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9539] ppid=9466 vsize=8283048 memory=9976 CPUtime=388.89 cores=0-7 /proc/9520/task/9539/stat : 9539 (java) S 9466 9466 7985 0 -1 1077944384 5 3425620 0 0 2 0 38055 832 20 0 22 0 420941807 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721688992816 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9541] ppid=9466 vsize=8283048 memory=125168 CPUtime=388.87 cores=0-7 /proc/9520/task/9541/stat : 9541 (java) S 9466 9466 7985 0 -1 1077944384 25 3425620 0 0 0 0 38055 832 20 0 22 0 420941879 8481841152 57639 33554432000 4194304 4196468 140722605471264 139721680958224 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 [pid=9520/tid=9545] ppid=9466 vsize=8283048 memory=1476 CPUtime=388.87 cores=0-7 /proc/9520/task/9545/stat : 9545 (java) S 9466 9466 7985 0 -1 1077944384 13 3425620 0 0 0 0 38055 832 20 0 22 0 420941882 8481841152 57639 33554432000 4194304 4196468 140722605471264 139718977119024 139722466622082 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36876288 140722605474808 140722605474966 140722605474966 140722605477839 0 Current children cumulated CPU time: 1055.05 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 232032 KiB Child status: 0 Real time (s): 537.317 CPU time (s): 1055.09 CPU user time (s): 1014.9 CPU system time (s): 40.1902 CPU usage (%): 196.363 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 18386056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1014.9 system time used= 40.1902 maximum resident set size= 18384764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3675569 page faults= 0 swaps= 0 block input operations= 8 block output operations= 259688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 304939 involuntary context switches= 5914 # summary of solver processes directly reported to runsolver: # pid: 9466 # total CPU time (s): 1055.09 # total CPU user time (s): 1014.9 # total CPU system time (s): 40.1902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.7295 second user time and 5.92816 second system time The end
Begin job on node123 at 2019-09-14 09:30:47 IDJOB=4392397 IDBENCH=139942 IDSOLVER=2838 FILE ID=node123/4392397-1568446286 RUNJOBID= node123-1568439477-8012 PBS_JOBID= 21702334 Free space on /tmp= 59184 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2105.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392397-1568446286/watcher-4392397-1568446286 -o /tmp/evaluation-result-4392397-1568446286/solver-4392397-1568446286 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392397-1568446286.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558 RANDOM SEED=1255780914 node123.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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28087368 kB MemAvailable: 31872608 kB Buffers: 154432 kB Cached: 3896208 kB SwapCached: 7372 kB Active: 1245764 kB Inactive: 2818528 kB Active(anon): 4568 kB Inactive(anon): 50172 kB Active(file): 1241196 kB Inactive(file): 2768356 kB Unevictable: 106652 kB Mlocked: 106652 kB SwapTotal: 67108860 kB SwapFree: 66999940 kB Dirty: 21524 kB Writeback: 0 kB AnonPages: 69960 kB Mapped: 45152 kB Shmem: 32692 kB Slab: 212728 kB SReclaimable: 183044 kB SUnreclaim: 29684 kB KernelStack: 3760 kB PageTables: 5920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497896 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 59160 MiB End job on node123 at 2019-09-14 09:39:45