Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 2580.54 | 334.295 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-023.xml |
MD5SUM | f753def11f9f341c6e9dbf54b2480dee |
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 | 88.5458 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 48 |
Number of constraints | 51 |
Number of domains | 1 |
Minimum domain size | 186 |
Maximum domain size | 186 |
Distribution of domain sizes | [{"size":186,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 50 |
Distribution of constraint types | [{"type":"intension","count":50},{"type":"noOverlap","count":1}] |
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-21470-serial-file.bin HOME/instance-4392416-1568430132.xml 0.62/0.56 0.62/0.56 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.62/0.56 0.62/0.59 c BEGIN-Prog: Sat Sep 14 04:00:16 CEST 2019 0.62/0.59 c PID: 21473 0.62/0.59 c IP: 172.20.3.107 0.62/0.59 c HOST: node107.alineos.net 0.62/0.59 c (0,0) Parsing Begin 1.33/0.92 c (0,0) Parsing End 1.33/0.93 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 51 ctr, max domain size 186 1.33/0.93 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.33/0.93 c (0,0) Constraint Name Generate Begin 1.33/0.93 c (0,0) Ctr:HOME/instance-4392416-1568430132.xml,Le:NoOverlap:Num:Var 1.33/0.93 c (0,0) Constraint Name Generate End 1.33/0.93 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.33/0.93 c (0,0) CSP to CSPinCNF Begin 1.49/1.01 c (0,0) translated 6 (10%) constraints 1.49/1.02 c (0,0) translated 11 (20%) constraints 1.49/1.02 c (0,0) translated 16 (30%) constraints 1.49/1.02 c (0,0) translated 21 (40%) constraints 1.49/1.03 c (0,0) translated 26 (50%) constraints 1.49/1.03 c (0,0) translated 31 (60%) constraints 1.49/1.03 c (0,0) translated 36 (70%) constraints 1.49/1.03 c (0,0) translated 41 (80%) constraints 1.49/1.04 c (0,0) translated 46 (90%) constraints 2.05/1.29 c (0,0) translated 51 (100%) constraints 2.05/1.29 c (0,0) =========================================== 2.05/1.29 c (0,0) Order 2.05/1.29 c (0,0) =========================================== 2.05/1.30 c (0,0) translated 33 (10%) constraints 2.36/1.30 c (0,0) translated 66 (20%) constraints 2.36/1.31 c (0,0) translated 98 (30%) constraints 2.36/1.31 c (0,0) translated 131 (40%) constraints 2.36/1.32 c (0,0) translated 163 (50%) constraints 2.36/1.32 c (0,0) translated 196 (60%) constraints 2.36/1.33 c (0,0) translated 229 (70%) constraints 2.36/1.33 c (0,0) translated 261 (80%) constraints 2.36/1.34 c (0,0) translated 294 (90%) constraints 2.36/1.34 c (0,0) translated 326 (100%) constraints 2.36/1.34 c (0,0) CSP to CSPinCNF End 2.36/1.34 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 326 ctr, max domain size 185 2.36/1.34 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.36/1.34 c (0,0) CSPinCNF Propagation Begin 2.36/1.38 c (0,0) 0 values, 8 unsatisfiable literals, and 49 valid clauses are removed 2.36/1.38 c (0,0) CSPinCNF Propagation End 2.36/1.38 c (0,0) CSP: 48 int (0 aux), 0 bool (0 aux), 277 ctr, max domain size 185 2.36/1.38 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.36/1.38 c (0,0) Simplify CSPinCNF Begin 2.74/1.47 c (0,0) Simplify CSPinCNF End 2.74/1.47 c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185 2.74/1.47 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.74/1.47 c (0,0) Calculate Precise Domain Begin 2.74/1.48 c (0,0) 0 values are removed by re-calculation 2.74/1.48 c (0,0) Calculate Precise Domain End 2.74/1.48 c (0,0) CSP: 48 int (0 aux), 1096 bool (1096 aux), 1373 ctr, max domain size 185 2.74/1.48 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.74/1.48 c (0,0) CSPinCNF to SatSolver Begin 3.72/1.79 c (1,1) 138 (10 %) CSP clauses are encoded (0 SAT variables, 24593 SAT clauses) 4.13/1.89 c (1,1) 275 (20 %) CSP clauses are encoded (0 SAT variables, 41515 SAT clauses) 4.54/1.97 c (1,1) 412 (30 %) CSP clauses are encoded (0 SAT variables, 57513 SAT clauses) 4.85/2.04 c (1,1) 550 (40 %) CSP clauses are encoded (0 SAT variables, 73005 SAT clauses) 4.85/2.10 c (1,1) 687 (50 %) CSP clauses are encoded (0 SAT variables, 88234 SAT clauses) 4.99/2.16 c (1,1) 824 (60 %) CSP clauses are encoded (0 SAT variables, 102559 SAT clauses) 5.09/2.22 c (1,1) 962 (70 %) CSP clauses are encoded (0 SAT variables, 116115 SAT clauses) 5.09/2.27 c (1,1) 1099 (80 %) CSP clauses are encoded (0 SAT variables, 128664 SAT clauses) 5.21/2.32 c (1,1) 1236 (90 %) CSP clauses are encoded (0 SAT variables, 140005 SAT clauses) 5.21/2.35 c (1,1) 1373 (100 %) CSP clauses are encoded (0 SAT variables, 148016 SAT clauses) 5.21/2.35 c (1,1) CSPinCNF to SatSolver End 5.21/2.35 c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 5.21/2.35 c (1,1) 8538 bool, 148061 clause 5.21/2.35 c (1,1) Export Begin 5.37/2.43 c (1,1) Export to HOME/scop-21470-serial-file.bin 5.37/2.43 c (1,1) Export End 5.37/2.44 c (1,1) Export File Size: 0.01 MB 5.37/2.44 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 5.37/2.44 c END-Prog: Sat Sep 14 04:00:18 CEST 2019 5.37/2.45 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21470-serial-file.bin 5.99/3.32 c (0,0) Read Serial File Begin 5.99/3.32 c (0,0) HOME/scop-21470-serial-file.bin 6.30/3.52 c (0,0) Read Serial File End 6.30/3.53 6.30/3.53 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 6.30/3.53 (Solving Process) 6.30/3.53 6.30/3.56 c BEGIN-Prog: Sat Sep 14 04:00:19 CEST 2019 6.30/3.56 c PID: 21493 6.30/3.56 c IP: 172.20.3.107 6.30/3.56 c HOST: node107.alineos.net 6.30/3.56 c (0,0) SatSolver.solve Begin 6.30/3.56 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392416-1568430132.xml-scop-21473.cnf 6.30/3.59 c (0,0) c 6.30/3.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) 6.30/3.59 c (0,0) c 6.30/3.59 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 6.30/3.59 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 6.30/3.59 c (0,0) c ========================================[ Problem Statistics ]=========================================== 6.30/3.59 c (0,0) c | | 6.50/3.64 c (0,0) c | Number of variables: 8538 | 6.50/3.64 c (0,0) c | Number of clauses: 148061 | 6.50/3.64 c (0,0) c | Parse time: 0.05 s | 6.50/3.64 c (0,0) c | | 6.59/3.77 c (0,0) c | Simplification time: 0.13 s | 6.59/3.77 c (0,0) c | | 6.59/3.77 c (0,0) c | Generating clones | 6.59/3.81 c (0,0) c | all clones generated. Memory = 104.39Mb. | 6.59/3.81 c (0,0) c ========================================================================================================| 6.59/3.81 c (0,0) c 6.59/3.81 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 6.59/3.81 c (0,0) c 6.59/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.59/3.81 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 6.59/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.59/3.81 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 6.59/3.81 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 6.59/3.81 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 6.59/3.81 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 6.59/3.81 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 6.59/3.81 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 6.59/3.81 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 6.59/3.81 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 6.59/3.81 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 6.59/3.81 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 6.59/3.81 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 6.59/3.81 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 6.59/3.81 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 6.59/3.81 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 6.59/3.81 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 6.59/3.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 241.08/33.32 c (30,0) c 241.08/33.32 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.08/33.32 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 241.08/33.32 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 241.08/33.32 c (30,0) c | 0 | 562 | 260578 | 131770 | 44252 | 40390 | 18158 | 122197 | 14202 | 234 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 1 | 534 | 252144 | 127994 | 42543 | 36613 | 17724 | 118146 | 13555 | 226 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 2 | 643 | 271773 | 135675 | 45933 | 44298 | 18850 | 125161 | 14389 | 244 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 3 | 636 | 278067 | 136216 | 49884 | 44833 | 19339 | 125306 | 14530 | 244 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 4 | 612 | 273250 | 135773 | 45256 | 44391 | 18656 | 126452 | 14888 | 245 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 5 | 616 | 268374 | 135587 | 44112 | 44206 | 18657 | 126033 | 14660 | 244 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 6 | 639 | 275535 | 137001 | 46558 | 22808 | 19780 | 124831 | 14768 | 244 | 20 | 0.738 | 241.08/33.32 c (30,0) c | 7 | 606 | 270894 | 136950 | 43482 | 45562 | 19105 | 125750 | 14456 | 245 | 20 | 0.738 | 241.08/33.32 c (30,0) c 241.08/33.32 c (30,0) c synthesis 1076966 conflicts 361556631 propagations 4598 conflicts/sec 1543796 propagations/sec 241.08/33.32 c (30,0) c real: 29.7342 s, cpu: 234.2 s, memory: 680.38 Mb 474.67/63.31 c (60,0) c 474.67/63.31 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 474.67/63.31 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 474.67/63.31 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 474.67/63.31 c (60,0) c | 0 | 930 | 415097 | 218052 | 49383 | 49832 | 28735 | 189900 | 22723 | 456 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 1 | 994 | 410558 | 213444 | 48146 | 45652 | 27524 | 187868 | 22608 | 447 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 2 | 1017 | 420968 | 219166 | 49999 | 50303 | 27983 | 193672 | 22711 | 467 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 3 | 1035 | 431843 | 222598 | 52568 | 54639 | 28497 | 193480 | 22892 | 466 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 4 | 1049 | 424528 | 218662 | 49145 | 50375 | 27707 | 193343 | 23438 | 464 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 5 | 1016 | 419369 | 221455 | 47013 | 52824 | 27227 | 194473 | 23543 | 466 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 6 | 1042 | 427608 | 222233 | 49270 | 54130 | 28566 | 192964 | 23128 | 465 | 20 | 0.972 | 474.67/63.31 c (60,0) c | 7 | 1018 | 430794 | 225806 | 46574 | 57903 | 29778 | 192517 | 23118 | 467 | 20 | 0.972 | 474.67/63.31 c (60,0) c 474.67/63.31 c (60,0) c synthesis 1761416 conflicts 611686193 propagations 3767 conflicts/sec 1308307 propagations/sec 474.67/63.31 c (60,0) c real: 59.7282 s, cpu: 467.54 s, memory: 680.38 Mb 712.33/93.31 c (90,0) c 712.33/93.31 c (90,0) c |------------------------------------------------------------------------------------------------------------------------| 712.33/93.31 c (90,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 712.33/93.31 c (90,0) c |------------------------------------------------------------------------------------------------------------------------| 712.33/93.31 c (90,0) c | 0 | 1202 | 552774 | 299586 | 52115 | 68042 | 38055 | 251114 | 30317 | 693 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 1 | 1273 | 549180 | 296035 | 50632 | 64606 | 36534 | 251706 | 29987 | 685 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 2 | 1334 | 556715 | 299180 | 52110 | 67475 | 36481 | 254563 | 29752 | 694 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 3 | 1374 | 571182 | 303000 | 54309 | 35759 | 37509 | 254861 | 30390 | 702 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 4 | 1361 | 561785 | 297813 | 51154 | 66244 | 36469 | 256153 | 30823 | 701 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 5 | 1352 | 552593 | 298766 | 48937 | 67115 | 35758 | 254742 | 30745 | 692 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 6 | 1446 | 561804 | 298764 | 51057 | 67240 | 36311 | 253980 | 30316 | 691 | 20 | 0.972 | 712.33/93.31 c (90,0) c | 7 | 1399 | 574102 | 306747 | 48581 | 39519 | 38612 | 253443 | 30341 | 698 | 20 | 0.972 | 712.33/93.31 c (90,0) c 712.33/93.31 c (90,0) c synthesis 2399891 conflicts 842515258 propagations 3405 conflicts/sec 1195339 propagations/sec 712.33/93.31 c (90,0) c real: 89.7263 s, cpu: 704.834 s, memory: 680.38 Mb 948.31/123.31 c (120,0) c 948.31/123.31 c (120,0) c |------------------------------------------------------------------------------------------------------------------------| 948.31/123.31 c (120,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 948.31/123.31 c (120,0) c |------------------------------------------------------------------------------------------------------------------------| 948.31/123.31 c (120,0) c | 0 | 1473 | 678162 | 373897 | 53916 | 68270 | 46109 | 305317 | 36626 | 928 | 20 | 0.973 | 948.31/123.31 c (120,0) c | 1 | 1602 | 678499 | 371210 | 52684 | 65612 | 43990 | 306025 | 36147 | 922 | 20 | 0.972 | 948.31/123.31 c (120,0) c | 2 | 1693 | 686462 | 373929 | 54054 | 68265 | 44178 | 308695 | 36216 | 933 | 20 | 0.972 | 948.31/123.31 c (120,0) c | 3 | 1713 | 688838 | 370674 | 55311 | 65057 | 44098 | 305428 | 36023 | 921 | 20 | 0.973 | 948.31/123.31 c (120,0) c | 4 | 1597 | 679015 | 369141 | 52172 | 63508 | 43855 | 306763 | 36671 | 926 | 20 | 0.972 | 948.31/123.31 c (120,0) c | 5 | 1673 | 676695 | 371261 | 50112 | 65606 | 42837 | 305632 | 36882 | 918 | 20 | 0.972 | 948.31/123.31 c (120,0) c | 6 | 1706 | 690642 | 376808 | 52068 | 71189 | 44048 | 307027 | 36810 | 935 | 20 | 0.972 | 948.31/123.31 c (120,0) c | 7 | 1700 | 699836 | 382467 | 50344 | 76858 | 46685 | 299666 | 36064 | 933 | 20 | 0.972 | 948.31/123.31 c (120,0) c 948.31/123.31 c (120,0) c synthesis 2989388 conflicts 1055646445 propagations 3179 conflicts/sec 1122506 propagations/sec 948.31/123.31 c (120,0) c real: 119.727 s, cpu: 940.437 s, memory: 710.02 Mb 1181.50/153.31 c (150,0) c 1181.50/153.31 c (150,0) c |------------------------------------------------------------------------------------------------------------------------| 1181.50/153.31 c (150,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1181.50/153.31 c (150,0) c |------------------------------------------------------------------------------------------------------------------------| 1181.50/153.31 c (150,0) c | 0 | 1737 | 790436 | 441272 | 54944 | 51074 | 52364 | 351175 | 42078 | 1161 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 1 | 1831 | 787145 | 438287 | 53600 | 48102 | 50608 | 351644 | 41597 | 1157 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 2 | 1962 | 786474 | 433108 | 54744 | 86479 | 50195 | 349839 | 41441 | 1143 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 3 | 1922 | 789608 | 433696 | 55742 | 87093 | 49819 | 350068 | 41171 | 1146 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 4 | 1859 | 785800 | 434067 | 52995 | 43871 | 49837 | 352982 | 42417 | 1160 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 5 | 1893 | 790651 | 441571 | 50979 | 51362 | 50078 | 352854 | 42600 | 1160 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 6 | 1876 | 794274 | 441567 | 52641 | 51368 | 50260 | 352407 | 41790 | 1158 | 20 | 0.972 | 1181.50/153.31 c (150,0) c | 7 | 1939 | 809113 | 448941 | 51379 | 58756 | 52995 | 350032 | 41267 | 1163 | 20 | 0.972 | 1181.50/153.31 c (150,0) c 1181.50/153.31 c (150,0) c synthesis 3512509 conflicts 1245525056 propagations 2994 conflicts/sec 1061683 propagations/sec 1181.50/153.31 c (150,0) c real: 149.726 s, cpu: 1173.16 s, memory: 744.11 Mb 1399.02/182.31 c (179,0) c 1399.02/182.31 c (179,0) c |------------------------------------------------------------------------------------------------------------------------| 1399.02/182.31 c (179,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1399.02/182.31 c (179,0) c |------------------------------------------------------------------------------------------------------------------------| 1399.02/182.31 c (179,0) c | 0 | 1957 | 885244 | 501105 | 55590 | 64714 | 58190 | 389231 | 46714 | 1379 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 1 | 1995 | 886188 | 500912 | 54479 | 64520 | 57034 | 392383 | 46063 | 1378 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 2 | 2159 | 884116 | 493843 | 55184 | 57446 | 55722 | 389128 | 45722 | 1359 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 3 | 2023 | 886630 | 498678 | 56161 | 62283 | 56102 | 393288 | 45537 | 1379 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 4 | 2083 | 882043 | 493928 | 53509 | 57532 | 55287 | 394069 | 46901 | 1378 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 5 | 2046 | 888136 | 504026 | 51644 | 67628 | 56387 | 393072 | 46958 | 1379 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 6 | 2028 | 891715 | 503234 | 53020 | 66838 | 55737 | 394081 | 46218 | 1379 | 20 | 0.972 | 1399.02/182.31 c (179,0) c | 7 | 2176 | 906622 | 508569 | 53507 | 72181 | 58274 | 389584 | 45555 | 1377 | 20 | 0.972 | 1399.02/182.31 c (179,0) c 1399.02/182.31 c (179,0) c synthesis 4004295 conflicts 1423961394 propagations 2880 conflicts/sec 1024017 propagations/sec 1399.02/182.31 c (179,0) c real: 178.727 s, cpu: 1390.56 s, memory: 744.11 Mb 1632.32/212.31 c (209,0) c 1632.32/212.31 c (209,0) c |------------------------------------------------------------------------------------------------------------------------| 1632.32/212.31 c (209,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1632.32/212.31 c (209,0) c |------------------------------------------------------------------------------------------------------------------------| 1632.32/212.31 c (209,0) c | 0 | 2233 | 988030 | 563910 | 56233 | 78721 | 63722 | 429456 | 51718 | 1615 | 20 | 0.973 | 1632.32/212.31 c (209,0) c | 1 | 2226 | 987431 | 562491 | 55658 | 77296 | 62774 | 430502 | 50938 | 1612 | 20 | 0.973 | 1632.32/212.31 c (209,0) c | 2 | 2333 | 981466 | 555386 | 55625 | 70202 | 61466 | 428299 | 50412 | 1596 | 20 | 0.973 | 1632.32/212.31 c (209,0) c | 3 | 2170 | 986559 | 564037 | 56490 | 78846 | 61712 | 431059 | 50130 | 1615 | 20 | 0.972 | 1632.32/212.31 c (209,0) c | 4 | 2335 | 985757 | 556517 | 54057 | 71320 | 60862 | 432932 | 51808 | 1616 | 20 | 0.972 | 1632.32/212.31 c (209,0) c | 5 | 2297 | 983372 | 562583 | 52628 | 77391 | 61558 | 432089 | 51676 | 1615 | 20 | 0.972 | 1632.32/212.31 c (209,0) c | 6 | 2172 | 987230 | 565494 | 53755 | 80303 | 60926 | 432824 | 50656 | 1615 | 20 | 0.972 | 1632.32/212.31 c (209,0) c | 7 | 2321 | 998829 | 569496 | 54025 | 84308 | 63314 | 430190 | 49858 | 1615 | 20 | 0.972 | 1632.32/212.31 c (209,0) c 1632.32/212.31 c (209,0) c synthesis 4499914 conflicts 1602938148 propagations 2771 conflicts/sec 987127 propagations/sec 1632.32/212.31 c (209,0) c real: 208.73 s, cpu: 1623.84 s, memory: 744.11 Mb 1867.79/242.31 c (239,0) c 1867.79/242.31 c (239,0) c |------------------------------------------------------------------------------------------------------------------------| 1867.79/242.31 c (239,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1867.79/242.31 c (239,0) c |------------------------------------------------------------------------------------------------------------------------| 1867.79/242.31 c (239,0) c | 0 | 2468 | 1077186 | 620405 | 56538 | 83758 | 68520 | 465377 | 56043 | 1852 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 1 | 2444 | 1076263 | 617654 | 56120 | 81033 | 67748 | 463748 | 55165 | 1837 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 2 | 2493 | 1071776 | 613069 | 56096 | 76433 | 66498 | 459665 | 54317 | 1833 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 3 | 2300 | 1074856 | 622039 | 56734 | 85389 | 66678 | 461787 | 54126 | 1843 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 4 | 2501 | 1073854 | 612763 | 54358 | 76112 | 66048 | 466564 | 55775 | 1843 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 5 | 2510 | 1074153 | 619701 | 53192 | 83045 | 66326 | 467130 | 56025 | 1849 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 6 | 2312 | 1075051 | 622751 | 54009 | 86115 | 65464 | 463878 | 54828 | 1847 | 20 | 1.007 | 1867.79/242.31 c (239,0) c | 7 | 2445 | 1088169 | 628736 | 55033 | 92099 | 68773 | 463562 | 53920 | 1844 | 20 | 1.007 | 1867.79/242.31 c (239,0) c 1867.79/242.31 c (239,0) c synthesis 4957118 conflicts 1769887801 propagations 2666 conflicts/sec 952019 propagations/sec 1867.79/242.31 c (239,0) c real: 238.727 s, cpu: 1859.09 s, memory: 808.11 Mb 2096.69/272.31 c (269,0) c 2096.69/272.31 c (269,0) c |------------------------------------------------------------------------------------------------------------------------| 2096.69/272.31 c (269,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2096.69/272.31 c (269,0) c |------------------------------------------------------------------------------------------------------------------------| 2096.69/272.31 c (269,0) c | 0 | 2633 | 1159784 | 673783 | 56968 | 83162 | 73149 | 499372 | 60024 | 2075 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 1 | 2631 | 1162576 | 673257 | 56522 | 82651 | 72682 | 498809 | 59056 | 2071 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 2 | 2586 | 1161952 | 674613 | 56415 | 84003 | 71519 | 497357 | 58283 | 2074 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 3 | 2394 | 1161128 | 679791 | 57104 | 89173 | 72197 | 500014 | 57880 | 2074 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 4 | 2668 | 1156827 | 667485 | 54788 | 76858 | 70972 | 500599 | 59600 | 2076 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 5 | 2668 | 1160493 | 676168 | 53440 | 85547 | 71558 | 501365 | 60022 | 2076 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 6 | 2458 | 1149851 | 671401 | 54184 | 80785 | 69572 | 497938 | 58385 | 2056 | 20 | 1.007 | 2096.69/272.31 c (269,0) c | 7 | 2525 | 1172981 | 686644 | 55987 | 96027 | 74044 | 498688 | 57426 | 2076 | 20 | 1.007 | 2096.69/272.31 c (269,0) c 2096.69/272.31 c (269,0) c synthesis 5403142 conflicts 1931136144 propagations 2588 conflicts/sec 925023 propagations/sec 2096.69/272.31 c (269,0) c real: 268.727 s, cpu: 2087.66 s, memory: 744.11 Mb 2334.96/302.31 c (299,0) c 2334.96/302.31 c (299,0) c |------------------------------------------------------------------------------------------------------------------------| 2334.96/302.31 c (299,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2334.96/302.31 c (299,0) c |------------------------------------------------------------------------------------------------------------------------| 2334.96/302.31 c (299,0) c | 0 | 2849 | 1251435 | 732068 | 57513 | 84857 | 78156 | 533142 | 64549 | 2318 | 20 | 1.007 | 2334.96/302.31 c (299,0) c | 1 | 2798 | 1241784 | 723962 | 56873 | 76765 | 77366 | 531176 | 63132 | 2301 | 20 | 1.008 | 2334.96/302.31 c (299,0) c | 2 | 2681 | 1242186 | 729001 | 56610 | 81803 | 76285 | 533459 | 62060 | 2304 | 20 | 1.007 | 2334.96/302.31 c (299,0) c | 3 | 2515 | 1241168 | 733327 | 57492 | 86123 | 76954 | 533585 | 61849 | 2311 | 20 | 1.007 | 2334.96/302.31 c (299,0) c | 4 | 2859 | 1242840 | 723392 | 55177 | 76186 | 75741 | 535810 | 64056 | 2320 | 20 | 1.008 | 2334.96/302.31 c (299,0) c | 5 | 2855 | 1243350 | 730462 | 53680 | 83260 | 75952 | 535759 | 63792 | 2321 | 20 | 1.007 | 2334.96/302.31 c (299,0) c | 6 | 2568 | 1241974 | 733053 | 54684 | 85847 | 74897 | 535511 | 62570 | 2309 | 20 | 1.007 | 2334.96/302.31 c (299,0) c | 7 | 2696 | 1261155 | 743796 | 56324 | 96588 | 78697 | 531157 | 61344 | 2317 | 20 | 1.009 | 2334.96/302.31 c (299,0) c 2334.96/302.31 c (299,0) c synthesis 5849061 conflicts 2092945618 propagations 2515 conflicts/sec 899980 propagations/sec 2334.96/302.31 c (299,0) c real: 298.726 s, cpu: 2325.55 s, memory: 808.11 Mb 2564.71/331.32 c (328,0) c 2564.71/331.32 c (328,0) c |------------------------------------------------------------------------------------------------------------------------| 2564.71/331.32 c (328,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2564.71/331.32 c (328,0) c |------------------------------------------------------------------------------------------------------------------------| 2564.71/331.32 c (328,0) c | 0 | 2990 | 1329470 | 782496 | 57728 | 76092 | 82730 | 563811 | 68210 | 2545 | 20 | 1.007 | 2565.46/331.40 c (328,0) c | 1 | 2988 | 1319559 | 773276 | 57252 | 66877 | 82051 | 561401 | 67065 | 2527 | 20 | 1.007 | 2565.46/331.40 c (328,0) c | 2 | 2847 | 1325968 | 783134 | 57031 | 76744 | 80560 | 564992 | 65971 | 2542 | 20 | 1.008 | 2565.46/331.40 c (328,0) c | 3 | 2661 | 1319751 | 785557 | 57747 | 79159 | 81118 | 565052 | 65692 | 2545 | 20 | 1.007 | 2565.46/331.40 c (328,0) c | 4 | 2998 | 1315355 | 771316 | 55511 | 64920 | 79752 | 566949 | 67820 | 2547 | 20 | 1.007 | 2565.46/331.40 c (328,0) c | 5 | 3007 | 1317718 | 778929 | 53835 | 72541 | 80501 | 564454 | 67393 | 2538 | 20 | 1.009 | 2565.46/331.40 c (328,0) c | 6 | 2627 | 1319942 | 787226 | 54860 | 80843 | 79608 | 567369 | 66060 | 2547 | 20 | 1.007 | 2565.46/331.40 c (328,0) c | 7 | 2806 | 1338033 | 795868 | 56577 | 89475 | 82994 | 562756 | 64866 | 2547 | 20 | 1.007 | 2565.46/331.40 c (328,0) c 2565.46/331.40 c (328,0) c synthesis 6257802 conflicts 2242986516 propagations 2449 conflicts/sec 877864 propagations/sec 2565.46/331.40 c (328,0) c real: 327.733 s, cpu: 2555.05 s, memory: 808.11 Mb 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c real time : 330.55 s 2580.10/334.13 c (331,0) c cpu time : 2570.36 s 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | Conflicts | 6288488 | 785497 | 780447 | 786245 | 787920 | 775062 | 784079 | 790741 | 798497 | 2580.10/334.13 c (331,0) c | Decisions | 10633320 | 1333597 | 1330839 | 1330905 | 1323647 | 1321217 | 1325384 | 1325287 | 1342444 | 2580.10/334.13 c (331,0) c | Propagations | 2254502127 | 279906409 | 281931275 | 286905676 | 285484904 | 279104729 | 277211750 | 281518630 | 282438754 | 2580.10/334.13 c (331,0) c | ReduceDBs | 192 | 24 | 24 | 24 | 24 | 24 | 24 | 24 | 24 | 2580.10/334.13 c (331,0) c | SimpDBs | 32 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 2580.10/334.13 c (331,0) c | Restarts | 23028 | 2993 | 3018 | 2859 | 2661 | 3016 | 3021 | 2639 | 2821 | 2580.10/334.13 c (331,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2580.10/334.13 c (331,0) c | PropBinClauses| 2577641385 | 319959143 | 321230115 | 327481050 | 326753089 | 319788272 | 317746167 | 322156884 | 322526665 | 2580.10/334.13 c (331,0) c | PropPreBlocker| 67783897986 | 8439797868 | 8438508567 | 8475974869 | 8493272675 | 8447517054 | 8441180498 | 8530745874 | 8516900581 | 2580.10/334.13 c (331,0) c | PropNotBlocker| 18691216120 | 2351689090 | 2357717249 | 2340278130 | 2321043091 | 2359873374 | 2345682773 | 2307027025 | 2307905388 | 2580.10/334.13 c (331,0) c | LitFullScans | 122839990646 |15355252293 |15343213497 |15343663304 |15343704334 |15370101884 |15343480424 |15373426742 |15367148168 | 2580.10/334.13 c (331,0) c | LitScanFracts | 10343426 | 1183771 | 1194695 | 1647002 | 1107018 | 1201581 | 1473447 | 1412699 | 1123213 | 2580.10/334.13 c (331,0) c | DecisionLevel0| 23030 | 2993 | 3019 | 2860 | 2661 | 3016 | 3021 | 2639 | 2821 | 2580.10/334.13 c (331,0) c | Periods | 20471 | 2559 | 2557 | 2557 | 2557 | 2561 | 2557 | 2562 | 2561 | 2580.10/334.13 c (331,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2580.10/334.13 c (331,0) c | Avg_Trail | | 3716 | 3773 | 3829 | 3763 | 3721 | 3700 | 3731 | 3757 | 2580.10/334.13 c (331,0) c | Avg_DL | | 23 | 23 | 23 | 23 | 22 | 22 | 23 | 23 | 2580.10/334.13 c (331,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2580.10/334.13 c (331,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | Exported | 651871 | 82993 | 82637 | 80792 | 81320 | 80030 | 81034 | 79815 | 83250 | 2580.10/334.13 c (331,0) c | Imported | 4533941 | 565238 | 565784 | 566941 | 565052 | 569315 | 567655 | 568590 | 565366 | 2580.10/334.13 c (331,0) c | Good | 1218 | 148 | 150 | 146 | 158 | 148 | 148 | 161 | 159 | 2580.10/334.13 c (331,0) c | Purge | 4532723 | 565090 | 565634 | 566795 | 564894 | 569167 | 567507 | 568429 | 565207 | 2580.10/334.13 c (331,0) c | Promoted | 535041 | 68389 | 67500 | 66239 | 65845 | 68023 | 67711 | 66270 | 65064 | 2580.10/334.13 c (331,0) c | Remove_Imp | 3474856 | 433808 | 435859 | 434421 | 432683 | 441571 | 436615 | 433392 | 426507 | 2580.10/334.13 c (331,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | Unaries | | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 2580.10/334.13 c (331,0) c | Binaries | | 26 | 24 | 28 | 16 | 26 | 27 | 13 | 15 | 2580.10/334.13 c (331,0) c | Glues | | 613 | 636 | 561 | 528 | 648 | 564 | 506 | 501 | 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | Orig_Seen | 38 % | 57755 | 57291 | 57041 | 58557 | 55524 | 53868 | 54864 | 56584 | 2580.10/334.13 c (331,0) c | Diff Orig seen| | - 802 | - 1266 | - 1516 | X | - 3033 | - 4689 | - 3693 | - 1973 | 2580.10/334.13 c (331,0) c | Hamming | 29 % | 2324 | 2742 | 2869 | X | 2702 | 2521 | 2559 | 2204 | 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c | RunningTime | | 322.8 98%| 327.8 99%| 325.6 99%| 321.9 98%| 321.0 98%| 322.7 98%| 320.7 97%| 316.4 96%| 2580.10/334.13 c (331,0) c | WaitingTime | | 6.0 2%| 2.1 1%| 3.3 1%| 6.8 2%| 7.7 2%| 6.5 2%| 8.1 2%| 12.5 4%| 2580.10/334.13 c (331,0) c | ExchangingTime| | 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 2580.10/334.13 c (331,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%| 2580.10/334.13 c (331,0) c | SolvingTime | | 329.1 | 330.2 | 329.3 | 329.1 | 329.1 | 329.5 | 329.1 | 329.2 | 2580.10/334.13 c (331,0) c | PropagationTim| | 293.7 89%| 288.3 87%| 286.3 87%| 288.5 88%| 288.1 88%| 287.4 87%| 287.2 87%| 291.4 89%| 2580.10/334.13 c (331,0) c | AnalysisTime | | 29.3 9%| 35.7 11%| 36.8 11%| 34.2 10%| 34.9 11%| 35.9 11%| 35.7 11%| 31.4 10%| 2580.10/334.13 c (331,0) c | ReductionTime | | 1.7 1%| 1.7 1%| 1.7 1%| 1.7 1%| 1.7 1%| 1.7 1%| 1.7 1%| 1.7 1%| 2580.10/334.13 c (331,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.0 0%| 0.0 0%| 2580.10/334.13 c (331,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%| 2580.10/334.13 c (331,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%| 2580.10/334.13 c (331,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c 2580.10/334.13 c (331,0) c Threads : 8 2580.10/334.13 c (331,0) c Winner : 3 2580.10/334.14 c (331,0) c Conflicts_0 : 785497 2580.10/334.14 c (331,0) c Conflicts_1 : 780447 2580.10/334.14 c (331,0) c Conflicts_2 : 786245 2580.10/334.14 c (331,0) c Conflicts_3 : 787920 2580.10/334.14 c (331,0) c Conflicts_4 : 775062 2580.10/334.14 c (331,0) c Conflicts_5 : 784079 2580.10/334.14 c (331,0) c Conflicts_6 : 790741 2580.10/334.14 c (331,0) c Conflicts_7 : 798497 2580.10/334.14 c (331,0) c Conflicts_total : 6288488 2580.10/334.14 c (331,0) c Conflicts_winner : 787920 2580.10/334.14 c (331,0) c Decisions_0 : 1333597 2580.10/334.14 c (331,0) c Decisions_1 : 1330839 2580.10/334.14 c (331,0) c Decisions_2 : 1330905 2580.10/334.14 c (331,0) c Decisions_3 : 1323647 2580.10/334.14 c (331,0) c Decisions_4 : 1321217 2580.10/334.14 c (331,0) c Decisions_5 : 1325384 2580.10/334.14 c (331,0) c Decisions_6 : 1325287 2580.10/334.14 c (331,0) c Decisions_7 : 1342444 2580.10/334.14 c (331,0) c Decisions_total : 10633320 2580.10/334.14 c (331,0) c Decisions_winner : 1323647 2580.10/334.14 c (331,0) c Propagations_0 : 279906409 2580.10/334.14 c (331,0) c Propagations_1 : 281931275 2580.10/334.14 c (331,0) c Propagations_2 : 286905676 2580.10/334.14 c (331,0) c Propagations_3 : 285484904 2580.10/334.14 c (331,0) c Propagations_4 : 279104729 2580.10/334.14 c (331,0) c Propagations_5 : 277211750 2580.10/334.14 c (331,0) c Propagations_6 : 281518630 2580.10/334.14 c (331,0) c Propagations_7 : 282438754 2580.10/334.14 c (331,0) c Propagations_total : 2254502127 2580.10/334.14 c (331,0) c Propagations_winner : 285484904 2580.10/334.14 c (331,0) c ReduceDBs_0 : 24 2580.10/334.14 c (331,0) c ReduceDBs_1 : 24 2580.10/334.14 c (331,0) c ReduceDBs_2 : 24 2580.10/334.14 c (331,0) c ReduceDBs_3 : 24 2580.10/334.14 c (331,0) c ReduceDBs_4 : 24 2580.10/334.14 c (331,0) c ReduceDBs_5 : 24 2580.10/334.14 c (331,0) c ReduceDBs_6 : 24 2580.10/334.14 c (331,0) c ReduceDBs_7 : 24 2580.10/334.14 c (331,0) c ReduceDBs_total : 192 2580.10/334.14 c (331,0) c ReduceDBs_winner : 24 2580.10/334.14 c (331,0) c SimpDBs_0 : 4 2580.10/334.14 c (331,0) c SimpDBs_1 : 4 2580.10/334.14 c (331,0) c SimpDBs_2 : 4 2580.10/334.14 c (331,0) c SimpDBs_3 : 4 2580.10/334.14 c (331,0) c SimpDBs_4 : 4 2580.10/334.14 c (331,0) c SimpDBs_5 : 4 2580.10/334.14 c (331,0) c SimpDBs_6 : 4 2580.10/334.14 c (331,0) c SimpDBs_7 : 4 2580.10/334.14 c (331,0) c SimpDBs_total : 32 2580.10/334.14 c (331,0) c SimpDBs_winner : 4 2580.10/334.14 c (331,0) c Restarts_0 : 2993 2580.10/334.14 c (331,0) c Restarts_1 : 3018 2580.10/334.14 c (331,0) c Restarts_2 : 2859 2580.10/334.14 c (331,0) c Restarts_3 : 2661 2580.10/334.14 c (331,0) c Restarts_4 : 3016 2580.10/334.14 c (331,0) c Restarts_5 : 3021 2580.10/334.14 c (331,0) c Restarts_6 : 2639 2580.10/334.14 c (331,0) c Restarts_7 : 2821 2580.10/334.14 c (331,0) c Restarts_total : 23028 2580.10/334.14 c (331,0) c Restarts_winner : 2661 2580.10/334.14 c (331,0) c ForcedImports_0 : 0 2580.10/334.14 c (331,0) c ForcedImports_1 : 0 2580.10/334.14 c (331,0) c ForcedImports_2 : 0 2580.10/334.14 c (331,0) c ForcedImports_3 : 0 2580.10/334.14 c (331,0) c ForcedImports_4 : 0 2580.10/334.14 c (331,0) c ForcedImports_5 : 0 2580.10/334.14 c (331,0) c ForcedImports_6 : 0 2580.10/334.14 c (331,0) c ForcedImports_7 : 0 2580.10/334.14 c (331,0) c ForcedImports_total : 0 2580.10/334.14 c (331,0) c ForcedImports_winner : 0 2580.10/334.14 c (331,0) c PropsBinClauses_0 : 319959143 2580.10/334.14 c (331,0) c PropsBinClauses_1 : 321230115 2580.10/334.14 c (331,0) c PropsBinClauses_2 : 327481050 2580.10/334.14 c (331,0) c PropsBinClauses_3 : 326753089 2580.10/334.14 c (331,0) c PropsBinClauses_4 : 319788272 2580.10/334.14 c (331,0) c PropsBinClauses_5 : 317746167 2580.10/334.14 c (331,0) c PropsBinClauses_6 : 322156884 2580.10/334.14 c (331,0) c PropsBinClauses_7 : 322526665 2580.10/334.14 c (331,0) c PropsBinClauses_total : 2577641385 2580.10/334.14 c (331,0) c PropsBinClauses_winner : 326753089 2580.10/334.14 c (331,0) c PropsPreBlocker_0 : 8439797868 2580.10/334.14 c (331,0) c PropsPreBlocker_1 : 8438508567 2580.10/334.14 c (331,0) c PropsPreBlocker_2 : 8475974869 2580.10/334.14 c (331,0) c PropsPreBlocker_3 : 8493272675 2580.10/334.14 c (331,0) c PropsPreBlocker_4 : 8447517054 2580.10/334.14 c (331,0) c PropsPreBlocker_5 : 8441180498 2580.10/334.14 c (331,0) c PropsPreBlocker_6 : 8530745874 2580.10/334.14 c (331,0) c PropsPreBlocker_7 : 8516900581 2580.10/334.14 c (331,0) c PropsPreBlocker_total : 67783897986 2580.10/334.14 c (331,0) c PropsPreBlocker_winner : 8493272675 2580.10/334.14 c (331,0) c PropsNotBlocker_0 : 2351689090 2580.10/334.14 c (331,0) c PropsNotBlocker_1 : 2357717249 2580.10/334.14 c (331,0) c PropsNotBlocker_2 : 2340278130 2580.10/334.14 c (331,0) c PropsNotBlocker_3 : 2321043091 2580.10/334.14 c (331,0) c PropsNotBlocker_4 : 2359873374 2580.10/334.14 c (331,0) c PropsNotBlocker_5 : 2345682773 2580.10/334.14 c (331,0) c PropsNotBlocker_6 : 2307027025 2580.10/334.14 c (331,0) c PropsNotBlocker_7 : 2307905388 2580.10/334.14 c (331,0) c PropsNotBlocker_total : 18691216120 2580.10/334.14 c (331,0) c PropsNotBlocker_winner : 2321043091 2580.10/334.14 c (331,0) c PropsLitFullScans_0 : 15355252293 2580.10/334.14 c (331,0) c PropsLitFullScans_1 : 15343213497 2580.10/334.14 c (331,0) c PropsLitFullScans_2 : 15343663304 2580.10/334.14 c (331,0) c PropsLitFullScans_3 : 15343704334 2580.10/334.14 c (331,0) c PropsLitFullScans_4 : 15370101884 2580.10/334.14 c (331,0) c PropsLitFullScans_5 : 15343480424 2580.10/334.14 c (331,0) c PropsLitFullScans_6 : 15373426742 2580.10/334.14 c (331,0) c PropsLitFullScans_7 : 15367148168 2580.10/334.14 c (331,0) c PropsLitFullScans_total : 122839990646 2580.10/334.14 c (331,0) c PropsLitFullScans_winner : 15343704334 2580.10/334.14 c (331,0) c LitScanFractions_0 : 1183771 2580.10/334.14 c (331,0) c LitScanFractions_1 : 1194695 2580.10/334.14 c (331,0) c LitScanFractions_2 : 1647002 2580.10/334.14 c (331,0) c LitScanFractions_3 : 1107018 2580.10/334.14 c (331,0) c LitScanFractions_4 : 1201581 2580.10/334.14 c (331,0) c LitScanFractions_5 : 1473447 2580.10/334.14 c (331,0) c LitScanFractions_6 : 1412699 2580.10/334.14 c (331,0) c LitScanFractions_7 : 1123213 2580.10/334.14 c (331,0) c LitScanFractions_total : 10343426 2580.10/334.14 c (331,0) c LitScanFractions_winner : 1107018 2580.10/334.14 c (331,0) c DecisionLevel0_0 : 2993 2580.10/334.14 c (331,0) c DecisionLevel0_1 : 3019 2580.10/334.14 c (331,0) c DecisionLevel0_2 : 2860 2580.10/334.14 c (331,0) c DecisionLevel0_3 : 2661 2580.10/334.14 c (331,0) c DecisionLevel0_4 : 3016 2580.10/334.14 c (331,0) c DecisionLevel0_5 : 3021 2580.10/334.14 c (331,0) c DecisionLevel0_6 : 2639 2580.10/334.14 c (331,0) c DecisionLevel0_7 : 2821 2580.10/334.14 c (331,0) c DecisionLevel0_total : 23030 2580.10/334.14 c (331,0) c DecisionLevel0_winner : 2661 2580.10/334.14 c (331,0) c Periods_0 : 2559 2580.10/334.14 c (331,0) c Periods_1 : 2557 2580.10/334.14 c (331,0) c Periods_2 : 2557 2580.10/334.14 c (331,0) c Periods_3 : 2557 2580.10/334.14 c (331,0) c Periods_4 : 2561 2580.10/334.14 c (331,0) c Periods_5 : 2557 2580.10/334.14 c (331,0) c Periods_6 : 2562 2580.10/334.14 c (331,0) c Periods_7 : 2561 2580.10/334.14 c (331,0) c Periods_total : 20471 2580.10/334.14 c (331,0) c Periods_winner : 2557 2580.10/334.14 c (331,0) c Margin_0 : 20 2580.10/334.14 c (331,0) c Margin_1 : 20 2580.10/334.14 c (331,0) c Margin_2 : 20 2580.10/334.14 c (331,0) c Margin_3 : 20 2580.10/334.14 c (331,0) c Margin_4 : 20 2580.10/334.14 c (331,0) c Margin_5 : 20 2580.10/334.14 c (331,0) c Margin_6 : 20 2580.10/334.14 c (331,0) c Margin_7 : 20 2580.10/334.14 c (331,0) c Margin_total : 160 2580.10/334.14 c (331,0) c Margin_winner : 20 2580.10/334.14 c (331,0) c Exported_0 : 82993 2580.10/334.14 c (331,0) c Exported_1 : 82637 2580.10/334.14 c (331,0) c Exported_2 : 80792 2580.10/334.14 c (331,0) c Exported_3 : 81320 2580.10/334.14 c (331,0) c Exported_4 : 80030 2580.10/334.14 c (331,0) c Exported_5 : 81034 2580.10/334.14 c (331,0) c Exported_6 : 79815 2580.10/334.14 c (331,0) c Exported_7 : 83250 2580.10/334.14 c (331,0) c Exported_total : 651871 2580.10/334.14 c (331,0) c Exported_winner : 81320 2580.10/334.14 c (331,0) c Imported_0 : 565238 2580.10/334.14 c (331,0) c Imported_1 : 565784 2580.10/334.14 c (331,0) c Imported_2 : 566941 2580.10/334.14 c (331,0) c Imported_3 : 565052 2580.10/334.14 c (331,0) c Imported_4 : 569315 2580.10/334.14 c (331,0) c Imported_5 : 567655 2580.10/334.14 c (331,0) c Imported_6 : 568590 2580.10/334.14 c (331,0) c Imported_7 : 565366 2580.10/334.14 c (331,0) c Imported_total : 4533941 2580.10/334.14 c (331,0) c Imported_winner : 565052 2580.10/334.14 c (331,0) c Good_0 : 148 2580.10/334.14 c (331,0) c Good_1 : 150 2580.10/334.14 c (331,0) c Good_2 : 146 2580.10/334.14 c (331,0) c Good_3 : 158 2580.10/334.14 c (331,0) c Good_4 : 148 2580.10/334.14 c (331,0) c Good_5 : 148 2580.10/334.14 c (331,0) c Good_6 : 161 2580.10/334.14 c (331,0) c Good_7 : 159 2580.10/334.14 c (331,0) c Good_total : 1218 2580.10/334.14 c (331,0) c Good_winner : 158 2580.10/334.14 c (331,0) c Purge_0 : 565090 2580.10/334.14 c (331,0) c Purge_1 : 565634 2580.10/334.14 c (331,0) c Purge_2 : 566795 2580.10/334.14 c (331,0) c Purge_3 : 564894 2580.10/334.14 c (331,0) c Purge_4 : 569167 2580.10/334.14 c (331,0) c Purge_5 : 567507 2580.10/334.14 c (331,0) c Purge_6 : 568429 2580.10/334.14 c (331,0) c Purge_7 : 565207 2580.10/334.14 c (331,0) c Purge_total : 4532723 2580.10/334.14 c (331,0) c Purge_winner : 564894 2580.10/334.14 c (331,0) c Promoted_0 : 68389 2580.10/334.14 c (331,0) c Promoted_1 : 67500 2580.10/334.14 c (331,0) c Promoted_2 : 66239 2580.10/334.14 c (331,0) c Promoted_3 : 65845 2580.10/334.14 c (331,0) c Promoted_4 : 68023 2580.10/334.14 c (331,0) c Promoted_5 : 67711 2580.10/334.14 c (331,0) c Promoted_6 : 66270 2580.10/334.14 c (331,0) c Promoted_7 : 65064 2580.10/334.14 c (331,0) c Promoted_total : 535041 2580.10/334.14 c (331,0) c Promoted_winner : 65845 2580.10/334.14 c (331,0) c Remove_Imp_0 : 433808 2580.10/334.14 c (331,0) c Remove_Imp_1 : 435859 2580.10/334.14 c (331,0) c Remove_Imp_2 : 434421 2580.10/334.14 c (331,0) c Remove_Imp_3 : 432683 2580.10/334.14 c (331,0) c Remove_Imp_4 : 441571 2580.10/334.14 c (331,0) c Remove_Imp_5 : 436615 2580.10/334.14 c (331,0) c Remove_Imp_6 : 433392 2580.10/334.14 c (331,0) c Remove_Imp_7 : 426507 2580.10/334.14 c (331,0) c Remove_Imp_total : 3474856 2580.10/334.14 c (331,0) c Remove_Imp_winner : 432683 2580.10/334.14 c (331,0) c Blocked_Reuse_0 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_1 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_2 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_3 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_4 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_5 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_6 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_7 : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_total : 0 2580.10/334.14 c (331,0) c Blocked_Reuse_winner : 0 2580.10/334.14 c (331,0) c Unaries_0 : 0 2580.10/334.14 c (331,0) c Unaries_1 : 1 2580.10/334.14 c (331,0) c Unaries_2 : 1 2580.10/334.14 c (331,0) c Unaries_3 : 0 2580.10/334.14 c (331,0) c Unaries_4 : 0 2580.10/334.14 c (331,0) c Unaries_5 : 0 2580.10/334.14 c (331,0) c Unaries_6 : 0 2580.10/334.14 c (331,0) c Unaries_7 : 0 2580.10/334.14 c (331,0) c Unaries_total : 2 2580.10/334.14 c (331,0) c Unaries_winner : 0 2580.10/334.14 c (331,0) c Binaries_0 : 26 2580.10/334.14 c (331,0) c Binaries_1 : 24 2580.10/334.14 c (331,0) c Binaries_2 : 28 2580.10/334.14 c (331,0) c Binaries_3 : 16 2580.10/334.14 c (331,0) c Binaries_4 : 26 2580.10/334.14 c (331,0) c Binaries_5 : 27 2580.10/334.14 c (331,0) c Binaries_6 : 13 2580.10/334.14 c (331,0) c Binaries_7 : 15 2580.10/334.14 c (331,0) c Binaries_total : 175 2580.10/334.14 c (331,0) c Binaries_winner : 16 2580.10/334.14 c (331,0) c Glues_0 : 613 2580.10/334.14 c (331,0) c Glues_1 : 636 2580.10/334.14 c (331,0) c Glues_2 : 561 2580.10/334.14 c (331,0) c Glues_3 : 528 2580.10/334.14 c (331,0) c Glues_4 : 648 2580.10/334.14 c (331,0) c Glues_5 : 564 2580.10/334.14 c (331,0) c Glues_6 : 506 2580.10/334.14 c (331,0) c Glues_7 : 501 2580.10/334.14 c (331,0) c Glues_total : 4557 2580.10/334.14 c (331,0) c Glues_winner : 528 2580.10/334.14 c (331,0) c RunningTime_0 : 322.823255 2580.10/334.14 c (331,0) c RunningTime_1 : 327.754935 2580.10/334.14 c (331,0) c RunningTime_2 : 325.628862 2580.10/334.14 c (331,0) c RunningTime_3 : 321.926418 2580.10/334.14 c (331,0) c RunningTime_4 : 321.042640 2580.10/334.14 c (331,0) c RunningTime_5 : 322.713765 2580.10/334.14 c (331,0) c RunningTime_6 : 320.668595 2580.10/334.14 c (331,0) c RunningTime_7 : 316.354416 2580.10/334.14 c (331,0) c RunningTime_total : 2578.912886 2580.10/334.14 c (331,0) c RunningTime_winner : 321.926418 2580.10/334.14 c (331,0) c WaitingTime_0 : 5.999200 2580.10/334.14 c (331,0) c WaitingTime_1 : 2.148445 2580.10/334.14 c (331,0) c WaitingTime_2 : 3.322288 2580.10/334.14 c (331,0) c WaitingTime_3 : 6.817950 2580.10/334.14 c (331,0) c WaitingTime_4 : 7.711213 2580.10/334.14 c (331,0) c WaitingTime_5 : 6.479897 2580.10/334.14 c (331,0) c WaitingTime_6 : 8.111106 2580.10/334.14 c (331,0) c WaitingTime_7 : 12.458630 2580.10/334.14 c (331,0) c WaitingTime_total : 53.048729 2580.10/334.14 c (331,0) c WaitingTime_winner : 6.817950 2580.10/334.14 c (331,0) c ExchangingTime_0 : 0.302544 2580.10/334.14 c (331,0) c ExchangingTime_1 : 0.310377 2580.10/334.14 c (331,0) c ExchangingTime_2 : 0.338714 2580.10/334.14 c (331,0) c ExchangingTime_3 : 0.311896 2580.10/334.14 c (331,0) c ExchangingTime_4 : 0.320494 2580.10/334.14 c (331,0) c ExchangingTime_5 : 0.313915 2580.10/334.14 c (331,0) c ExchangingTime_6 : 0.345988 2580.10/334.14 c (331,0) c ExchangingTime_7 : 0.329403 2580.10/334.14 c (331,0) c ExchangingTime_total : 2.573331 2580.10/334.14 c (331,0) c ExchangingTime_winner : 0.311896 2580.10/334.14 c (331,0) c PeriodProcTime_0 : 0.021048 2580.10/334.14 c (331,0) c PeriodProcTime_1 : 0.024658 2580.10/334.14 c (331,0) c PeriodProcTime_2 : 0.025776 2580.10/334.14 c (331,0) c PeriodProcTime_3 : 0.023030 2580.10/334.14 c (331,0) c PeriodProcTime_4 : 0.020665 2580.10/334.14 c (331,0) c PeriodProcTime_5 : 0.023546 2580.10/334.14 c (331,0) c PeriodProcTime_6 : 0.023516 2580.10/334.14 c (331,0) c PeriodProcTime_7 : 0.021683 2580.10/334.14 c (331,0) c PeriodProcTime_total : 0.183921 2580.10/334.14 c (331,0) c PeriodProcTime_winner : 0.023030 2580.10/334.14 c (331,0) c SolvingTime_0 : 329.146046 2580.10/334.14 c (331,0) c SolvingTime_1 : 330.238416 2580.10/334.14 c (331,0) c SolvingTime_2 : 329.315639 2580.10/334.14 c (331,0) c SolvingTime_3 : 329.079293 2580.10/334.14 c (331,0) c SolvingTime_4 : 329.095013 2580.10/334.14 c (331,0) c SolvingTime_5 : 329.531122 2580.10/334.14 c (331,0) c SolvingTime_6 : 329.149204 2580.10/334.14 c (331,0) c SolvingTime_7 : 329.164133 2580.10/334.14 c (331,0) c SolvingTime_total : 2634.718867 2580.10/334.14 c (331,0) c SolvingTime_winner : 329.079293 2580.10/334.14 c (331,0) c PropagationTime_0 : 293.654583 2580.10/334.14 c (331,0) c PropagationTime_1 : 288.309208 2580.10/334.14 c (331,0) c PropagationTime_2 : 286.250838 2580.10/334.14 c (331,0) c PropagationTime_3 : 288.522798 2580.10/334.14 c (331,0) c PropagationTime_4 : 288.108950 2580.10/334.14 c (331,0) c PropagationTime_5 : 287.379903 2580.10/334.14 c (331,0) c PropagationTime_6 : 287.158439 2580.10/334.14 c (331,0) c PropagationTime_7 : 291.429725 2580.10/334.14 c (331,0) c PropagationTime_total : 2310.814444 2580.10/334.14 c (331,0) c PropagationTime_winner : 288.522798 2580.10/334.14 c (331,0) c AnalysisTime_0 : 29.327236 2580.10/334.14 c (331,0) c AnalysisTime_1 : 35.696157 2580.10/334.14 c (331,0) c AnalysisTime_2 : 36.835435 2580.10/334.14 c (331,0) c AnalysisTime_3 : 34.192183 2580.10/334.14 c (331,0) c AnalysisTime_4 : 34.856916 2580.10/334.14 c (331,0) c AnalysisTime_5 : 35.914930 2580.10/334.14 c (331,0) c AnalysisTime_6 : 35.709466 2580.10/334.14 c (331,0) c AnalysisTime_7 : 31.402946 2580.10/334.14 c (331,0) c AnalysisTime_total : 273.935269 2580.10/334.14 c (331,0) c AnalysisTime_winner : 34.192183 2580.10/334.14 c (331,0) c ReductionTime_0 : 1.675435 2580.10/334.14 c (331,0) c ReductionTime_1 : 1.659259 2580.10/334.14 c (331,0) c ReductionTime_2 : 1.715989 2580.10/334.14 c (331,0) c ReductionTime_3 : 1.737616 2580.10/334.14 c (331,0) c ReductionTime_4 : 1.677816 2580.10/334.14 c (331,0) c ReductionTime_5 : 1.740819 2580.10/334.14 c (331,0) c ReductionTime_6 : 1.708662 2580.10/334.14 c (331,0) c ReductionTime_7 : 1.743376 2580.10/334.14 c (331,0) c ReductionTime_total : 13.658971 2580.10/334.14 c (331,0) c ReductionTime_winner : 1.737616 2580.10/334.14 c (331,0) c SimplifyTime_0 : 0.041848 2580.10/334.14 c (331,0) c SimplifyTime_1 : 0.044027 2580.10/334.14 c (331,0) c SimplifyTime_2 : 0.042558 2580.10/334.14 c (331,0) c SimplifyTime_3 : 0.042628 2580.10/334.14 c (331,0) c SimplifyTime_4 : 0.042058 2580.10/334.14 c (331,0) c SimplifyTime_5 : 0.079590 2580.10/334.14 c (331,0) c SimplifyTime_6 : 0.043504 2580.10/334.14 c (331,0) c SimplifyTime_7 : 0.046072 2580.10/334.14 c (331,0) c SimplifyTime_total : 0.382285 2580.10/334.14 c (331,0) c SimplifyTime_winner : 0.042628 2580.10/334.14 c (331,0) c UsedRateTime_0 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_1 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_2 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_3 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_4 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_5 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_6 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_7 : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_total : 0.000000 2580.10/334.14 c (331,0) c UsedRateTime_winner : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_0 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_1 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_2 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_3 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_4 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_5 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_6 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_7 : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_total : 0.000000 2580.10/334.14 c (331,0) c OverlapRateTime_winner : 0.000000 2580.10/334.14 c (331,0) c 2580.10/334.14 c (331,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2580.10/334.14 c (331,0) c 2580.10/334.14 c (331,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.14 c (331,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2580.10/334.14 c (331,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.14 c (331,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2580.10/334.14 c (331,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2580.10/334.14 c (331,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2580.10/334.14 c (331,0) c | Initial random_seed | 467238568 | 1011558265 | 894927266 | 126641432 | 405077497 | 580183762 | 1237906036 | 1123849499 | 2580.10/334.14 c (331,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2580.10/334.14 c (331,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2580.10/334.14 c (331,0) c | glureduce | True | True | True | True | True | True | True | True | 2580.10/334.14 c (331,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2580.10/334.14 c (331,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2580.10/334.14 c (331,0) c | luby_restart | False | False | False | False | False | False | False | False | 2580.10/334.14 c (331,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2580.10/334.14 c (331,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2580.10/334.14 c (331,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2580.10/334.14 c (331,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2580.10/334.14 c (331,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2580.10/334.15 c (331,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2580.10/334.15 c (331,0) 2580.10/334.15 c (331,0) s SATISFIABLE 2580.10/334.18 c (331,0) SatSolver.solve End 2580.10/334.18 c (331,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2580.10/334.18 c (331,0) Show results Begin 2580.36/334.27 c (331,0) x[0] = 160 2580.36/334.27 c (331,0) x[1] = 65 2580.36/334.27 c (331,0) x[2] = 43 2580.36/334.27 c (331,0) x[3] = 59 2580.36/334.27 c (331,0) x[4] = 132 2580.36/334.27 c (331,0) x[5] = 59 2580.36/334.27 c (331,0) x[6] = 68 2580.36/334.27 c (331,0) x[7] = 65 2580.36/334.27 c (331,0) x[8] = 43 2580.36/334.27 c (331,0) x[9] = 47 2580.36/334.27 c (331,0) x[10] = 140 2580.36/334.27 c (331,0) x[11] = 43 2580.36/334.27 c (331,0) x[12] = 162 2580.36/334.27 c (331,0) x[13] = 160 2580.36/334.27 c (331,0) x[14] = 132 2580.36/334.27 c (331,0) x[15] = 66 2580.36/334.27 c (331,0) x[16] = 47 2580.36/334.27 c (331,0) x[17] = 96 2580.36/334.27 c (331,0) x[18] = 0 2580.36/334.27 c (331,0) x[19] = 140 2580.36/334.27 c (331,0) x[20] = 0 2580.36/334.27 c (331,0) x[21] = 80 2580.36/334.27 c (331,0) x[22] = 96 2580.36/334.27 c (331,0) x[23] = 0 2580.36/334.27 c (331,0) y[0] = 116 2580.36/334.27 c (331,0) y[1] = 135 2580.36/334.27 c (331,0) y[2] = 135 2580.36/334.27 c (331,0) y[3] = 119 2580.36/334.27 c (331,0) y[4] = 118 2580.36/334.27 c (331,0) y[5] = 126 2580.36/334.27 c (331,0) y[6] = 126 2580.36/334.27 c (331,0) y[7] = 138 2580.36/334.27 c (331,0) y[8] = 119 2580.36/334.27 c (331,0) y[9] = 135 2580.36/334.27 c (331,0) y[10] = 118 2580.36/334.27 c (331,0) y[11] = 96 2580.36/334.27 c (331,0) y[12] = 116 2580.36/334.27 c (331,0) y[13] = 90 2580.36/334.27 c (331,0) y[14] = 90 2580.36/334.27 c (331,0) y[15] = 96 2580.36/334.27 c (331,0) y[16] = 153 2580.36/334.27 c (331,0) y[17] = 90 2580.36/334.27 c (331,0) y[18] = 96 2580.36/334.27 c (331,0) y[19] = 140 2580.36/334.27 c (331,0) y[20] = 139 2580.36/334.27 c (331,0) y[21] = 126 2580.36/334.27 c (331,0) y[22] = 0 2580.36/334.27 c (331,0) y[23] = 0 2580.36/334.27 s SATISFIABLE 2580.36/334.27 v <instantiation> 2580.36/334.27 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23]</list> 2580.36/334.27 v <values>160 65 43 59 132 59 68 65 43 47 140 43 162 160 132 66 47 96 0 140 0 80 96 0 116 135 135 119 118 126 126 138 119 135 118 96 116 90 90 96 153 90 96 140 139 126 0 0</values> 2580.36/334.27 v </instantiation> 2580.36/334.27 c (331,0) Show results End 2580.36/334.27 c (331,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 2580.36/334.27 c (331,0) 331,331,STOP-AFTER(ALL) 2580.36/334.27 c END-Prog: Sat Sep 14 04:05:49 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 (14973 MiB free) memory of node 1: 16384 MiB (15368 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392416-1568430132/watcher-4392416-1568430132 -o /tmp/evaluation-result-4392416-1568430132/solver-4392416-1568430132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --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-4392416-1568430132.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21470, runsolver pid=21467 [startup+0.100109 s]* /proc/loadavg: 8.52 8.48 8.11 4/209 21490 /proc/meminfo: memFree=30981484/32770624 swapFree=66922952/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419269183 115843072 348 33554432000 4194304 5098028 140729971264784 140729971262040 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 348 296 221 0 87 0 [pid=21473] ppid=21470 vsize=27313576 memory=104180 CPUtime=0.08 cores=0-7 /proc/21473/stat : 21473 (java) S 21470 21470 21426 0 -1 1077944320 6122 0 0 0 5 3 0 0 20 0 20 0 419269183 27969101824 26045 33554432000 4194304 4196468 140733072927808 140733072910352 139803258789623 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 /proc/21473/statm: 6828394 26045 2596 1 0 6790935 0 [pid=21473/tid=21474] ppid=21470 vsize=27313576 memory=576460756329955445 CPUtime=0.07 cores=0-7 /proc/21473/task/21474/stat : 21474 (java) R 21470 21470 21426 0 -1 4202560 4249 0 0 0 5 2 0 0 20 0 20 0 419269184 27969101824 26045 33554432000 4194304 4196468 140733072927808 139803230620368 139803258811549 0 4 2 16800973 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21475] ppid=21470 vsize=27313576 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21475/stat : 21475 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969101824 26045 33554432000 4194304 4196468 140733072927808 139803263032336 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21476] ppid=21470 vsize=27313576 memory=288370920058553984 CPUtime=0 cores=0-7 /proc/21473/task/21476/stat : 21476 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969101824 26045 33554432000 4194304 4196468 140733072927808 139803077188752 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21477] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21477/stat : 21477 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26045 33554432000 4194304 4196468 140733072927808 139803076135696 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21478] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21478/stat : 21478 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26045 33554432000 4194304 4196468 140733072927808 139803075083152 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21479] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21479/stat : 21479 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26108 33554432000 4194304 4196468 140733072927808 139803074030096 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21480] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21480/stat : 21480 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26108 33554432000 4194304 4196468 140733072927808 139803072977552 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21481] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21481/stat : 21481 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26108 33554432000 4194304 4196468 140733072927808 139803071924496 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21482] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21482/stat : 21482 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 26108 33554432000 4194304 4196468 140733072927808 139803070871952 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21483] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21483/stat : 21483 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 26108 33554432000 4194304 4196468 140733072927808 139801310550768 139803258800770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21484] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21484/stat : 21484 (java) S 21470 21470 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 26108 33554432000 4194304 4196468 140733072927808 139801185478304 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21485] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21485/stat : 21485 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 26108 33554432000 4194304 4196468 140733072927808 139800917042416 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21486] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21486/stat : 21486 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269191 27969658880 26108 33554432000 4194304 4196468 140733072927808 139800542534096 139803258808219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21487] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21487/stat : 21487 (java) S 21470 21470 21426 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26108 33554432000 4194304 4196468 140733072927808 139801309497584 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21488] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21488/stat : 21488 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26174 33554432000 4194304 4196468 140733072927808 139801308445040 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21489] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21489/stat : 21489 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26174 33554432000 4194304 4196468 140733072927808 139801307391984 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21490] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21490/stat : 21490 (java) S 21470 21470 21426 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26174 33554432000 4194304 4196468 140733072927808 139801306339440 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21491] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21491/stat : 21491 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26174 33554432000 4194304 4196468 140733072927808 139800044628960 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21492] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21492/stat : 21492 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 26174 33554432000 4194304 4196468 140733072927808 139801305287856 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 27426704 KiB Current children cumulated memory: 105572 KiB [startup+0.210222 s]* /proc/loadavg: 8.52 8.48 8.11 2/211 21492 /proc/meminfo: memFree=30954932/32770624 swapFree=66922952/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419269183 115843072 348 33554432000 4194304 5098028 140729971264784 140729971262040 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 348 296 221 0 87 0 [pid=21473] ppid=21470 vsize=27314120 memory=124364 CPUtime=0.21 cores=0-7 /proc/21473/stat : 21473 (java) S 21470 21470 21426 0 -1 1077944320 11837 0 0 0 17 4 0 0 20 0 20 0 419269183 27969658880 31091 33554432000 4194304 4196468 140733072927808 140733072910352 139803258789623 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 /proc/21473/statm: 6828530 31091 2938 1 0 6790935 0 [pid=21473/tid=21474] ppid=21470 vsize=27314120 memory=8316850467074736180 CPUtime=0.17 cores=0-7 /proc/21473/task/21474/stat : 21474 (java) R 21470 21470 21426 0 -1 4202560 9622 0 0 0 14 3 0 0 20 0 20 0 419269184 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803230593232 139803242870110 0 4 2 16800973 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21475] ppid=21470 vsize=27314120 memory=10923 CPUtime=0 cores=0-7 /proc/21473/task/21475/stat : 21475 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803263032336 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21476] ppid=21470 vsize=27314120 memory=140543906862487 CPUtime=0 cores=0-7 /proc/21473/task/21476/stat : 21476 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803077188752 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21477] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21477/stat : 21477 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803076135696 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21478] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21478/stat : 21478 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803075083152 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21479] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21479/stat : 21479 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803074030096 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21480] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21480/stat : 21480 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803072977552 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21481] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21481/stat : 21481 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803071924496 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21482] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21482/stat : 21482 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 31091 33554432000 4194304 4196468 140733072927808 139803070871952 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21483] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21483/stat : 21483 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801310550768 139803258800770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21484] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21484/stat : 21484 (java) S 21470 21470 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801185478304 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21485] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21485/stat : 21485 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 31091 33554432000 4194304 4196468 140733072927808 139800917042416 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21486] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21486/stat : 21486 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269191 27969658880 31091 33554432000 4194304 4196468 140733072927808 139800542534096 139803258808219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21487] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21487/stat : 21487 (java) S 21470 21470 21426 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801309497584 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21488] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21488/stat : 21488 (java) S 21470 21470 21426 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801308445040 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21489] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21489/stat : 21489 (java) R 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801307391984 139803258800770 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21490] ppid=21470 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/21473/task/21490/stat : 21490 (java) R 21470 21470 21426 0 -1 4202560 425 0 0 0 2 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801306339440 139803238262331 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21491] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21491/stat : 21491 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139800044628960 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21492] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21492/stat : 21492 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 31091 33554432000 4194304 4196468 140733072927808 139801305287856 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125756 KiB [startup+0.309459 s]* /proc/loadavg: 8.52 8.48 8.11 2/211 21492 /proc/meminfo: memFree=30950576/32770624 swapFree=66922952/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419269183 115843072 348 33554432000 4194304 5098028 140729971264784 140729971262040 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 348 296 221 0 87 0 [pid=21473] ppid=21470 vsize=27314120 memory=129880 CPUtime=0.4 cores=0-7 /proc/21473/stat : 21473 (java) S 21470 21470 21426 0 -1 1077944320 12384 0 0 0 35 5 0 0 20 0 20 0 419269183 27969658880 32470 33554432000 4194304 4196468 140733072927808 140733072910352 139803258789623 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 /proc/21473/statm: 6828530 32470 3002 1 0 6790935 0 [pid=21473/tid=21474] ppid=21470 vsize=27314120 memory=8317482817917895235 CPUtime=0.28 cores=0-7 /proc/21473/task/21474/stat : 21474 (java) R 21470 21470 21426 0 -1 4202560 9958 0 0 0 24 4 0 0 20 0 20 0 419269184 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803230617648 139803242870110 0 4 2 16800973 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21475] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21475/stat : 21475 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803263032336 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21476] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21476/stat : 21476 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803077188752 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21477] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21477/stat : 21477 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803076135696 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21478] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21478/stat : 21478 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803075083152 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21479] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21479/stat : 21479 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803074030096 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21480] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21480/stat : 21480 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803072977552 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21481] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21481/stat : 21481 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803071924496 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21482] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21482/stat : 21482 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269186 27969658880 32470 33554432000 4194304 4196468 140733072927808 139803070871952 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21483] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21483/stat : 21483 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801310550768 139803258800770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21484] ppid=21470 vsize=27314120 memory=281087490334080 CPUtime=0 cores=0-7 /proc/21473/task/21484/stat : 21484 (java) S 21470 21470 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801185478304 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21485] ppid=21470 vsize=27314120 memory=281087490338688 CPUtime=0 cores=0-7 /proc/21473/task/21485/stat : 21485 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269188 27969658880 32470 33554432000 4194304 4196468 140733072927808 139800917042416 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21486] ppid=21470 vsize=27314120 memory=281087490343296 CPUtime=0 cores=0-7 /proc/21473/task/21486/stat : 21486 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269191 27969658880 32470 33554432000 4194304 4196468 140733072927808 139800542534096 139803258808219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21487] ppid=21470 vsize=27314120 memory=281087490347904 CPUtime=0.01 cores=0-7 /proc/21473/task/21487/stat : 21487 (java) S 21470 21470 21426 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801309497584 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21488] ppid=21470 vsize=27314120 memory=281087490352512 CPUtime=0 cores=0-7 /proc/21473/task/21488/stat : 21488 (java) S 21470 21470 21426 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801308445040 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21489] ppid=21470 vsize=27314120 memory=281087490357120 CPUtime=0.01 cores=0-7 /proc/21473/task/21489/stat : 21489 (java) S 21470 21470 21426 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801307391984 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21490] ppid=21470 vsize=27314120 memory=281087490361728 CPUtime=0.07 cores=0-7 /proc/21473/task/21490/stat : 21490 (java) S 21470 21470 21426 0 -1 1077944384 450 0 0 0 7 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801306339440 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21491] ppid=21470 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21491/stat : 21491 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139800044628960 139803258799829 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21492] ppid=21470 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21473/task/21492/stat : 21492 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269193 27969658880 32470 33554432000 4194304 4196468 140733072927808 139801305287856 139803258800770 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 Current children cumulated CPU time: 0.4 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131272 KiB [startup+0.700918 s] /proc/loadavg: 8.52 8.48 8.11 2/211 21492 /proc/meminfo: memFree=30932312/32770624 swapFree=66922952/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419269183 115843072 348 33554432000 4194304 5098028 140729971264784 140729971262040 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 348 296 221 0 87 0 [pid=21473] ppid=21470 vsize=27320392 memory=164712 CPUtime=0.93 cores=0-7 /proc/21473/stat : 21473 (java) S 21470 21470 21426 0 -1 1077944320 19805 0 0 0 86 7 0 0 20 0 20 0 419269183 27976081408 41178 33554432000 4194304 4196468 140733072927808 140733072910352 139803258789623 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 /proc/21473/statm: 6830098 41178 3182 1 0 6791447 0 [pid=21473/tid=21474] ppid=21470 vsize=27320392 memory=0 CPUtime=0.65 cores=0-7 /proc/21473/task/21474/stat : 21474 (java) R 21470 21470 21426 0 -1 4202560 16904 0 0 0 59 6 0 0 20 0 20 0 419269184 27976081408 41178 33554432000 4194304 4196468 140733072927808 139803230624432 139803242870110 0 4 2 25189581 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21475] ppid=21470 vsize=27320392 memory=140543745368960 CPUtime=0 cores=0-7 /proc/21473/task/21475/stat : 21475 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27976081408 41178 33554432000 4194304 4196468 140733072927808 139803263032336 139803258799829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21476] ppid=21470 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/21473/task/21476/stat : 21476 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27976081408 41178 33554432000 4194304 4196468 140733072927808 139803077188752 139803258799829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 [pid=21473/tid=21477] ppid=21470 vsize=27320392 memory=9364 CPUtime=0 cores=0-7 /proc/21473/task/21477/stat : 21477 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419269186 27976081408 41178 33554432000 4194304 4196468 140733072927808 139803076135696 139803258799829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34021376 140733072929515 140733072929942 140733072929942 140733072932815 0 ################ # More data... # ################ /proc/21493/task/21498/stat : 21498 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526193633680 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21499] ppid=21470 vsize=8414124 memory=21488 CPUtime=0 cores=0-7 /proc/21493/task/21499/stat : 21499 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526192581648 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21500] ppid=21470 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/21493/task/21500/stat : 21500 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526191529104 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21501] ppid=21470 vsize=8414124 memory=2016 CPUtime=0 cores=0-7 /proc/21493/task/21501/stat : 21501 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526190476048 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21502] ppid=21470 vsize=8414124 memory=1284 CPUtime=0 cores=0-7 /proc/21493/task/21502/stat : 21502 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526189423504 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21503] ppid=21470 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/21493/task/21503/stat : 21503 (java) S 21470 21470 21426 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 419269431 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525148535024 140526391339650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21504] ppid=21470 vsize=8414124 memory=1223 CPUtime=0 cores=0-7 /proc/21493/task/21504/stat : 21504 (java) S 21470 21470 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419269432 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525021684896 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21505] ppid=21470 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/21493/task/21505/stat : 21505 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269432 8616062976 30799 33554432000 4194304 4196468 140725933798208 140524753249008 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21506] ppid=21470 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/21493/task/21506/stat : 21506 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140524378740688 140526391347099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21507] ppid=21470 vsize=8414124 memory=97216691 CPUtime=0.01 cores=0-7 /proc/21493/task/21507/stat : 21507 (java) S 21470 21470 21426 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525147482864 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21508] ppid=21470 vsize=8414124 memory=1552 CPUtime=0.07 cores=0-7 /proc/21493/task/21508/stat : 21508 (java) S 21470 21470 21426 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525146430320 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21509] ppid=21470 vsize=8414124 memory=8048 CPUtime=0.08 cores=0-7 /proc/21493/task/21509/stat : 21509 (java) S 21470 21470 21426 0 -1 1077944384 274 0 0 0 8 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525145377264 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21510] ppid=21470 vsize=8414124 memory=3444 CPUtime=0.19 cores=0-7 /proc/21493/task/21510/stat : 21510 (java) S 21470 21470 21426 0 -1 1077944384 740 0 0 0 19 0 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525144324720 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21511] ppid=21470 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/21493/task/21511/stat : 21511 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523880835552 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21512] ppid=21470 vsize=8414124 memory=2832 CPUtime=0.22 cores=0-7 /proc/21493/task/21512/stat : 21512 (java) S 21470 21470 21426 0 -1 1077944384 22 0 0 0 15 7 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525143272112 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21514] ppid=21470 vsize=8414124 memory=984 CPUtime=0 cores=0-7 /proc/21493/task/21514/stat : 21514 (java) S 21470 21470 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525135795136 140526391353113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21516] ppid=21470 vsize=8414124 memory=14012 CPUtime=0.02 cores=0-7 /proc/21493/task/21516/stat : 21516 (java) S 21470 21470 21426 0 -1 4202560 1684 0 0 0 1 1 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523209736208 140526391350429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21517] ppid=21470 vsize=8414124 memory=6904 CPUtime=0 cores=0-7 /proc/21493/task/21517/stat : 21517 (java) S 21470 21470 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523478171792 140526391350429 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21518] ppid=21470 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/21493/task/21518/stat : 21518 (java) S 21470 21470 21426 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419269544 8616062976 30799 33554432000 4194304 4196468 140725933798208 140522941308336 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 Current children cumulated CPU time: 2579.7 s Current children cumulated vsize: 9420284 KiB Current children cumulated memory: 776272 KiB [startup+334.101 s]* /proc/loadavg: 8.01 8.13 8.05 2/217 21568 /proc/meminfo: memFree=30305824/32770624 swapFree=66922968/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1472 CPUtime=5.45 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 582 26839 0 0 0 0 521 24 20 0 1 0 419269183 115843072 368 33554432000 4194304 5098028 140729971264784 140729971261528 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 368 311 221 0 87 0 [pid=21493] ppid=21470 vsize=8414124 memory=123196 CPUtime=1.38 cores=0-7 /proc/21493/stat : 21493 (java) S 21470 21470 21426 0 -1 1077944320 21793 0 0 0 127 11 0 0 20 0 24 0 419269428 8616062976 30799 33554432000 4194304 4196468 140725933798208 140725933780752 140526391328503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 /proc/21493/statm: 2103531 30799 3210 1 0 2064875 0 [pid=21513] ppid=21493 vsize=893032 memory=651604 CPUtime=2573.27 cores=0-7 /proc/21513/stat : 21513 (manyglucose-4.1) S 21493 21470 21426 0 -1 1077944320 1715024 0 0 0 257032 295 0 0 20 0 2 0 419269541 914464768 162901 33554432000 4194304 4454172 140733292200416 140733292198800 140542266900215 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 7122944 140733292204905 140733292205104 140733292205104 140733292208058 0 /proc/21513/statm: 223258 162901 423 64 0 218926 0 [pid=21513/tid=21520] ppid=21493 vsize=893032 memory=3444 CPUtime=327.26 cores=0-7 /proc/21513/task/21520/stat : 21520 (manyglucose-4.1) R 21493 21470 21426 0 -1 4202560 236440 0 0 0 32689 37 0 0 20 0 2 0 419269565 914464768 162901 33554432000 4194304 4454172 140733292200416 140542224673688 4351800 0 4 0 8388610 0 0 0 -1 1 0 0 1 0 0 6552832 6554400 7122944 140733292204905 140733292205104 140733292205104 140733292208058 0 [pid=21493/tid=21494] ppid=21470 vsize=8414124 memory=1408 CPUtime=0.74 cores=0-7 /proc/21493/task/21494/stat : 21494 (java) S 21470 21470 21426 0 -1 1077944384 16893 0 0 0 69 5 0 0 20 0 24 0 419269429 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526363168672 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21495] ppid=21470 vsize=8414124 memory=3864 CPUtime=0 cores=0-7 /proc/21493/task/21495/stat : 21495 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526395570704 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21496] ppid=21470 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/21493/task/21496/stat : 21496 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526195739280 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21497] ppid=21470 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/21493/task/21497/stat : 21497 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526194686224 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21498] ppid=21470 vsize=8414124 memory=6904 CPUtime=0 cores=0-7 /proc/21493/task/21498/stat : 21498 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526193633680 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21499] ppid=21470 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/21493/task/21499/stat : 21499 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526192581648 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21500] ppid=21470 vsize=8414124 memory=12020 CPUtime=0 cores=0-7 /proc/21493/task/21500/stat : 21500 (java) S 21470 21470 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526191529104 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21501] ppid=21470 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/21493/task/21501/stat : 21501 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526190476048 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21502] ppid=21470 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/21493/task/21502/stat : 21502 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419269430 8616062976 30799 33554432000 4194304 4196468 140725933798208 140526189423504 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21503] ppid=21470 vsize=8414124 memory=1472 CPUtime=0.01 cores=0-7 /proc/21493/task/21503/stat : 21503 (java) S 21470 21470 21426 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 419269431 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525148535024 140526391339650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21504] ppid=21470 vsize=8414124 memory=123196 CPUtime=0 cores=0-7 /proc/21493/task/21504/stat : 21504 (java) S 21470 21470 21426 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419269432 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525021684896 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21505] ppid=21470 vsize=8414124 memory=651212 CPUtime=0 cores=0-7 /proc/21493/task/21505/stat : 21505 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269432 8616062976 30799 33554432000 4194304 4196468 140725933798208 140524753249008 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21506] ppid=21470 vsize=8414124 memory=628240 CPUtime=0 cores=0-7 /proc/21493/task/21506/stat : 21506 (java) S 21470 21470 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140524378740688 140526391347099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21507] ppid=21470 vsize=8414124 memory=14012 CPUtime=0.01 cores=0-7 /proc/21493/task/21507/stat : 21507 (java) S 21470 21470 21426 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525147482864 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21508] ppid=21470 vsize=8414124 memory=6904 CPUtime=0.07 cores=0-7 /proc/21493/task/21508/stat : 21508 (java) S 21470 21470 21426 0 -1 1077944384 420 0 0 0 7 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525146430320 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21509] ppid=21470 vsize=8414124 memory=2120 CPUtime=0.08 cores=0-7 /proc/21493/task/21509/stat : 21509 (java) S 21470 21470 21426 0 -1 1077944384 274 0 0 0 8 0 0 0 20 0 24 0 419269434 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525145377264 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21510] ppid=21470 vsize=8414124 memory=12020 CPUtime=0.19 cores=0-7 /proc/21493/task/21510/stat : 21510 (java) S 21470 21470 21426 0 -1 1077944384 740 0 0 0 19 0 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525144324720 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21511] ppid=21470 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/21493/task/21511/stat : 21511 (java) S 21470 21470 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523880835552 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21512] ppid=21470 vsize=8414124 memory=1560 CPUtime=0.22 cores=0-7 /proc/21493/task/21512/stat : 21512 (java) S 21470 21470 21426 0 -1 1077944384 22 0 0 0 15 7 0 0 20 0 24 0 419269435 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525143272112 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21514] ppid=21470 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/21493/task/21514/stat : 21514 (java) S 21470 21470 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140525135795136 140526391353113 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21516] ppid=21470 vsize=8414124 memory=776 CPUtime=0.02 cores=0-7 /proc/21493/task/21516/stat : 21516 (java) S 21470 21470 21426 0 -1 4202560 1684 0 0 0 1 1 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523209736208 140526391350429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21517] ppid=21470 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/21493/task/21517/stat : 21517 (java) S 21470 21470 21426 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419269542 8616062976 30799 33554432000 4194304 4196468 140725933798208 140523478171792 140526391350429 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21518] ppid=21470 vsize=8414124 memory=8048 CPUtime=0 cores=0-7 /proc/21493/task/21518/stat : 21518 (java) S 21470 21470 21426 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419269544 8616062976 30799 33554432000 4194304 4196468 140725933798208 140522941308336 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 Current children cumulated CPU time: 2580.1 s Current children cumulated vsize: 9420284 KiB Current children cumulated memory: 776272 KiB [startup+334.21 s] /proc/loadavg: 8.01 8.13 8.05 2/217 21568 /proc/meminfo: memFree=30305824/32770624 swapFree=66922968/67108860 [pid=21470] ppid=21467 vsize=113128 memory=1472 CPUtime=5.45 cores=0-7 /proc/21470/stat : 21470 (scop.sh) S 21467 21470 21426 0 -1 4202496 582 26839 0 0 0 0 521 24 20 0 1 0 419269183 115843072 368 33554432000 4194304 5098028 140729971264784 140729971261528 139622006841980 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 21303296 140729971266341 140729971266668 140729971266668 140729971269581 0 /proc/21470/statm: 28282 368 311 221 0 87 0 [pid=21493] ppid=21470 vsize=8283048 memory=127484 CPUtime=2574.91 cores=0-7 /proc/21493/stat : 21493 (java) S 21470 21470 21426 0 -1 1077944320 23015 1715035 0 0 147 12 257035 297 20 0 22 0 419269428 8481841152 31871 33554432000 4194304 4196468 140725933798208 140725933780752 140526391328503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 /proc/21493/statm: 2070762 31871 3221 1 0 2032106 0 [pid=21493/tid=21494] ppid=21470 vsize=8283048 memory=12020 CPUtime=2574.09 cores=0-7 /proc/21493/task/21494/stat : 21494 (java) R 21470 21470 21426 0 -1 4202560 17043 1715035 0 0 72 5 257035 297 20 0 22 0 419269429 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526363163472 140526391340438 0 4 2 25189581 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21495] ppid=21470 vsize=8283048 memory=651364 CPUtime=2573.32 cores=0-7 /proc/21493/task/21495/stat : 21495 (java) S 21470 21470 21426 0 -1 1077944384 2 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526395570704 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21496] ppid=21470 vsize=8283048 memory=3580 CPUtime=2573.32 cores=0-7 /proc/21493/task/21496/stat : 21496 (java) S 21470 21470 21426 0 -1 1077944384 1 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526195739280 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21497] ppid=21470 vsize=8283048 memory=21488 CPUtime=2573.32 cores=0-7 /proc/21493/task/21497/stat : 21497 (java) S 21470 21470 21426 0 -1 1077944384 2 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526194686224 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21498] ppid=21470 vsize=8283048 memory=1472 CPUtime=2573.32 cores=0-7 /proc/21493/task/21498/stat : 21498 (java) S 21470 21470 21426 0 -1 1077944384 2 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526193633680 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21499] ppid=21470 vsize=8283048 memory=120560 CPUtime=2573.32 cores=0-7 /proc/21493/task/21499/stat : 21499 (java) S 21470 21470 21426 0 -1 1077944384 2 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526192581648 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21500] ppid=21470 vsize=8283048 memory=634200 CPUtime=2573.32 cores=0-7 /proc/21493/task/21500/stat : 21500 (java) S 21470 21470 21426 0 -1 1077944384 2 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526191529104 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21501] ppid=21470 vsize=8283048 memory=1472 CPUtime=2573.32 cores=0-7 /proc/21493/task/21501/stat : 21501 (java) S 21470 21470 21426 0 -1 1077944384 1 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526190476048 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21502] ppid=21470 vsize=8283048 memory=651436 CPUtime=2573.32 cores=0-7 /proc/21493/task/21502/stat : 21502 (java) S 21470 21470 21426 0 -1 1077944384 3 1715035 0 0 0 0 257035 297 20 0 22 0 419269430 8481841152 31871 33554432000 4194304 4196468 140725933798208 140526189423504 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21503] ppid=21470 vsize=8283048 memory=1164 CPUtime=2573.33 cores=0-7 /proc/21493/task/21503/stat : 21503 (java) S 21470 21470 21426 0 -1 1077944384 7 1715035 0 0 0 1 257035 297 20 0 22 0 419269431 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525148535024 140526391339650 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21504] ppid=21470 vsize=8283048 memory=6904 CPUtime=2573.32 cores=0-7 /proc/21493/task/21504/stat : 21504 (java) S 21470 21470 21426 0 -1 1077944384 13 1715035 0 0 0 0 257035 297 20 0 22 0 419269432 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525021684896 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21505] ppid=21470 vsize=8283048 memory=2120 CPUtime=2573.32 cores=0-7 /proc/21493/task/21505/stat : 21505 (java) S 21470 21470 21426 0 -1 1077944384 1 1715035 0 0 0 0 257035 297 20 0 22 0 419269432 8481841152 31871 33554432000 4194304 4196468 140725933798208 140524753249008 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21506] ppid=21470 vsize=8283048 memory=281087491019792 CPUtime=2573.32 cores=0-7 /proc/21493/task/21506/stat : 21506 (java) S 21470 21470 21426 0 -1 1077944384 1 1715035 0 0 0 0 257035 297 20 0 22 0 419269434 8481841152 31871 33554432000 4194304 4196468 140725933798208 140524378740688 140526391347099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21507] ppid=21470 vsize=8283048 memory=7236264694147278435 CPUtime=2573.36 cores=0-7 /proc/21493/task/21507/stat : 21507 (java) S 21470 21470 21426 0 -1 1077944384 486 1715035 0 0 4 0 257035 297 20 0 22 0 419269434 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525147482864 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21508] ppid=21470 vsize=8283048 memory=928 CPUtime=2573.43 cores=0-7 /proc/21493/task/21508/stat : 21508 (java) R 21470 21470 21426 0 -1 4202560 588 1715035 0 0 11 0 257035 297 20 0 22 0 419269434 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525146430320 140526371172093 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21509] ppid=21470 vsize=8283048 memory=1680 CPUtime=2573.43 cores=0-7 /proc/21493/task/21509/stat : 21509 (java) S 21470 21470 21426 0 -1 1077944384 364 1715035 0 0 11 0 257035 297 20 0 22 0 419269434 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525145377264 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21510] ppid=21470 vsize=8283048 memory=1444 CPUtime=2573.55 cores=0-7 /proc/21493/task/21510/stat : 21510 (java) S 21470 21470 21426 0 -1 1077944384 896 1715035 0 0 23 0 257035 297 20 0 22 0 419269435 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525144324720 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21511] ppid=21470 vsize=8283048 memory=123196 CPUtime=2573.32 cores=0-7 /proc/21493/task/21511/stat : 21511 (java) S 21470 21470 21426 0 -1 1077944384 3 1715035 0 0 0 0 257035 297 20 0 22 0 419269435 8481841152 31871 33554432000 4194304 4196468 140725933798208 140523880835552 140526391338709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21512] ppid=21470 vsize=8283048 memory=651604 CPUtime=2573.54 cores=0-7 /proc/21493/task/21512/stat : 21512 (java) S 21470 21470 21426 0 -1 1077944384 22 1715035 0 0 15 7 257035 297 20 0 22 0 419269435 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525143272112 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21514] ppid=21470 vsize=8283048 memory=1408 CPUtime=2573.32 cores=0-7 /proc/21493/task/21514/stat : 21514 (java) S 21470 21470 21426 0 -1 1077944384 26 1715035 0 0 0 0 257035 297 20 0 22 0 419269542 8481841152 31871 33554432000 4194304 4196468 140725933798208 140525135794320 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 [pid=21493/tid=21518] ppid=21470 vsize=8283048 memory=3580 CPUtime=2573.32 cores=0-7 /proc/21493/task/21518/stat : 21518 (java) S 21470 21470 21426 0 -1 1077944384 10 1715035 0 0 0 0 257035 297 20 0 22 0 419269544 8481841152 31871 33554432000 4194304 4196468 140725933798208 140522941310128 140526391339650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20922368 140725933802487 140725933802646 140725933802646 140725933805519 0 Current children cumulated CPU time: 2580.36 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 128956 KiB Child status: 0 Real time (s): 334.295 CPU time (s): 2580.54 CPU user time (s): 2577.19 CPU system time (s): 3.34946 CPU usage (%): 771.936 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 778112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2577.19 system time used= 3.34946 maximum resident set size= 751752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1765776 page faults= 0 swaps= 0 block input operations= 8 block output operations= 5816 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23033 involuntary context switches= 23715 # summary of solver processes directly reported to runsolver: # pid: 21470 # total CPU time (s): 2580.54 # total CPU user time (s): 2577.19 # total CPU system time (s): 3.34946 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.15853 second user time and 4.68234 second system time The end
Begin job on node107 at 2019-09-14 04:00:15 IDJOB=4392416 IDBENCH=127917 IDSOLVER=2838 FILE ID=node107/4392416-1568430132 RUNJOBID= node107-1568426415-21453 PBS_JOBID= 21702309 Free space on /tmp= 59040 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-023.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-4392416-1568430132/watcher-4392416-1568430132 -o /tmp/evaluation-result-4392416-1568430132/solver-4392416-1568430132 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --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-4392416-1568430132.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f753def11f9f341c6e9dbf54b2480dee RANDOM SEED=1706430930 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31070624 kB MemAvailable: 31830908 kB Buffers: 174060 kB Cached: 858744 kB SwapCached: 79076 kB Active: 562880 kB Inactive: 549740 kB Active(anon): 9996 kB Inactive(anon): 101144 kB Active(file): 552884 kB Inactive(file): 448596 kB Unevictable: 109964 kB Mlocked: 109964 kB SwapTotal: 67108860 kB SwapFree: 66922952 kB Dirty: 20640 kB Writeback: 0 kB AnonPages: 111872 kB Mapped: 34900 kB Shmem: 22680 kB Slab: 177596 kB SReclaimable: 149276 kB SUnreclaim: 28320 kB KernelStack: 3360 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 488908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59020 MiB End job on node107 at 2019-09-14 04:05:50