Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 2314.79 | 300.73 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-30-098.xml |
MD5SUM | fb27cd1d2814d0f1760e6f4b9d041fef |
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 | 153.956 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 435 |
Number of domains | 30 |
Minimum domain size | 69 |
Maximum domain size | 98 |
Distribution of domain sizes | [{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}] |
Minimum variable degree | 29 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":29,"count":60}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":435}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 435 |
Distribution of constraint types | [{"type":"intension","count":435}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17619-serial-file.bin HOME/instance-4392831-1568449928.xml 0.66/0.60 0.66/0.60 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.60 0.77/0.63 c BEGIN-Prog: Thu Dec 15 16:52:31 CET 2011 0.77/0.63 c PID: 17622 0.77/0.63 c IP: 172.20.3.120 0.77/0.63 c HOST: node120.alineos.net 0.77/0.64 c (0,0) Parsing Begin 2.76/1.35 c (0,0) Parsing End 2.76/1.35 c (0,0) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98 2.76/1.36 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.76/1.36 c (0,0) Constraint Name Generate Begin 2.76/1.37 c (0,0) Ctr:HOME/instance-4392831-1568449928.xml,Add:Le:Num:Or:Var 2.76/1.37 c (0,0) Constraint Name Generate End 2.76/1.37 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.76/1.37 c (0,0) CSP to CSPinCNF Begin 3.49/1.53 c (0,0) translated 44 (10%) constraints 3.49/1.56 c (0,0) translated 87 (20%) constraints 3.49/1.58 c (0,0) translated 131 (30%) constraints 3.82/1.60 c (0,0) translated 174 (40%) constraints 3.82/1.62 c (1,1) translated 218 (50%) constraints 3.82/1.63 c (1,1) translated 261 (60%) constraints 3.82/1.64 c (1,1) translated 305 (70%) constraints 3.82/1.65 c (1,1) translated 348 (80%) constraints 3.82/1.66 c (1,1) translated 392 (90%) constraints 3.82/1.67 c (1,1) translated 435 (100%) constraints 3.82/1.67 c (1,1) =========================================== 4.16/1.70 c (1,1) Hybrid: #OE=60, #LE=0 4.16/1.70 c (1,1) Hybrid 4.16/1.70 c (1,1) =========================================== 4.16/1.71 c (1,1) translated 44 (10%) constraints 4.16/1.72 c (1,1) translated 87 (20%) constraints 4.16/1.73 c (1,1) translated 131 (30%) constraints 4.16/1.73 c (1,1) translated 174 (40%) constraints 4.16/1.74 c (1,1) translated 218 (50%) constraints 4.16/1.74 c (1,1) translated 261 (60%) constraints 4.16/1.74 c (1,1) translated 305 (70%) constraints 4.16/1.75 c (1,1) translated 348 (80%) constraints 4.16/1.75 c (1,1) translated 392 (90%) constraints 4.16/1.76 c (1,1) translated 435 (100%) constraints 4.16/1.76 c (1,1) CSP to CSPinCNF End 4.16/1.76 c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98 4.16/1.76 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 4.16/1.76 c (1,1) CSPinCNF Propagation Begin 4.16/1.79 c (1,1) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 4.16/1.79 c (1,1) CSPinCNF Propagation End 4.16/1.79 c (1,1) CSP: 60 int (0 aux), 0 bool (0 aux), 435 ctr, max domain size 98 4.16/1.79 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 4.45/1.80 c (1,1) Hybrid: #OE=60, #LE=0 4.45/1.80 c (1,1) Simplify CSPinCNF Begin 4.76/1.93 c (1,1) Simplify CSPinCNF End 4.76/1.94 c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98 4.76/1.94 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 4.76/1.94 c (1,1) Calculate Precise Domain Begin 4.76/1.94 c (1,1) 0 values are removed by re-calculation 4.76/1.94 c (1,1) Calculate Precise Domain End 4.76/1.94 c (1,1) CSP: 60 int (0 aux), 1740 bool (1740 aux), 2175 ctr, max domain size 98 4.76/1.94 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 4.76/1.94 c (1,1) CSPinCNF to SatSolver Begin 5.79/2.29 c (1,1) 218 (10 %) CSP clauses are encoded (0 SAT variables, 19599 SAT clauses) 6.20/2.40 c (1,1) 435 (20 %) CSP clauses are encoded (0 SAT variables, 33364 SAT clauses) 6.61/2.47 c (1,1) 653 (30 %) CSP clauses are encoded (0 SAT variables, 47010 SAT clauses) 6.77/2.55 c (1,1) 870 (40 %) CSP clauses are encoded (0 SAT variables, 60181 SAT clauses) 6.93/2.61 c (2,1) 1088 (50 %) CSP clauses are encoded (0 SAT variables, 72772 SAT clauses) 6.93/2.68 c (2,2) 1305 (60 %) CSP clauses are encoded (0 SAT variables, 84757 SAT clauses) 7.04/2.74 c (2,2) 1523 (70 %) CSP clauses are encoded (0 SAT variables, 96237 SAT clauses) 7.04/2.80 c (2,2) 1740 (80 %) CSP clauses are encoded (0 SAT variables, 106960 SAT clauses) 7.18/2.85 c (2,2) 1958 (90 %) CSP clauses are encoded (0 SAT variables, 116806 SAT clauses) 7.18/2.89 c (2,2) 2175 (100 %) CSP clauses are encoded (0 SAT variables, 125344 SAT clauses) 7.18/2.89 c (2,2) CSPinCNF to SatSolver End 7.18/2.89 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 7.18/2.90 c (2,2) 6690 bool, 125385 clause 7.18/2.90 c (2,2) Export Begin 7.34/2.99 c (2,2) Export to HOME/scop-17619-serial-file.bin 7.34/2.99 c (2,2) Export End 7.34/2.99 c (2,2) Export File Size: 0.01 MB 7.34/2.99 c (2,2) 0,0,1,1,1,1,2,STOP-AFTER(DIMACS) 7.34/2.99 c END-Prog: Thu Dec 15 16:52:34 CET 2011 0.00/3.01 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17619-serial-file.bin 7.55/3.52 c (0,0) Read Serial File Begin 7.55/3.52 c (0,0) HOME/scop-17619-serial-file.bin 7.55/3.75 c (0,0) Read Serial File End 7.55/3.76 7.55/3.76 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 7.55/3.76 (Solving Process) 7.55/3.76 7.55/3.79 c BEGIN-Prog: Thu Dec 15 16:52:34 CET 2011 7.55/3.79 c PID: 17642 7.55/3.79 c IP: 172.20.3.120 7.55/3.79 c HOST: node120.alineos.net 7.55/3.79 c (0,0) SatSolver.solve Begin 7.55/3.79 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392831-1568449928.xml-scop-17622.cnf 7.55/3.82 c (0,0) c 7.55/3.82 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) 7.55/3.82 c (0,0) c 7.55/3.82 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 7.55/3.82 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 7.55/3.82 c (0,0) c ========================================[ Problem Statistics ]=========================================== 7.55/3.82 c (0,0) c | | 7.55/3.87 c (0,0) c | Number of variables: 6690 | 7.55/3.87 c (0,0) c | Number of clauses: 125385 | 7.55/3.87 c (0,0) c | Parse time: 0.05 s | 7.55/3.87 c (0,0) c | | 7.55/4.00 c (0,0) c | Simplification time: 0.13 s | 7.55/4.00 c (0,0) c | | 7.55/4.00 c (0,0) c | Generating clones | 8.98/4.04 c (0,0) c | all clones generated. Memory = 93.52Mb. | 8.98/4.04 c (0,0) c ========================================================================================================| 8.98/4.04 c (0,0) c 8.98/4.04 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 8.98/4.04 c (0,0) c 8.98/4.04 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.98/4.04 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8.98/4.04 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 8.98/4.04 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 8.98/4.04 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 8.98/4.04 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 8.98/4.04 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 8.98/4.04 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 8.98/4.04 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 8.98/4.04 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 8.98/4.04 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 8.98/4.04 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 8.98/4.04 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 8.98/4.04 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 8.98/4.04 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 8.98/4.04 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 8.98/4.04 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 8.98/4.04 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 8.98/4.04 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 246.98/33.97 c (30,0) c 246.98/33.97 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 246.98/33.97 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 246.98/33.97 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 246.98/33.97 c (30,0) c | 0 | 988 | 722076 | 227772 | 59835 | 60211 | 33008 | 219851 | 16076 | 261 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 1 | 923 | 697503 | 225058 | 59365 | 57478 | 32653 | 216960 | 15686 | 257 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 2 | 1083 | 749647 | 237163 | 59171 | 38974 | 33877 | 225429 | 16947 | 271 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 3 | 1079 | 732465 | 229480 | 58629 | 31304 | 33088 | 222238 | 16433 | 265 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 4 | 999 | 747359 | 239915 | 59735 | 41738 | 34621 | 228158 | 16794 | 276 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 5 | 917 | 718797 | 236042 | 57415 | 37860 | 34395 | 224180 | 16605 | 271 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 6 | 1116 | 756997 | 237030 | 58884 | 38861 | 33840 | 227034 | 16860 | 273 | 20 | 0.000 | 246.98/33.97 c (30,0) c | 7 | 1011 | 742867 | 237141 | 60441 | 38954 | 34203 | 227121 | 16761 | 274 | 20 | 0.000 | 246.98/33.97 c (30,0) c 246.98/33.98 c (30,0) c synthesis 1869603 conflicts 348832051 propagations 7849 conflicts/sec 1464485 propagations/sec 246.98/33.98 c (30,0) c real: 30.1558 s, cpu: 238.194 s, memory: 669.32 Mb 479.00/63.97 c (60,0) c 479.00/63.97 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 479.00/63.97 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 479.00/63.97 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 479.00/63.97 c (60,0) c | 0 | 1698 | 1191089 | 383102 | 63655 | 77520 | 51309 | 349626 | 28038 | 511 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 1 | 1641 | 1150985 | 375984 | 61027 | 70421 | 49835 | 345153 | 27536 | 499 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 2 | 1731 | 1203003 | 390500 | 62862 | 43920 | 51952 | 352474 | 28204 | 519 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 3 | 1784 | 1206850 | 387798 | 63929 | 41222 | 51423 | 353194 | 28382 | 519 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 4 | 1692 | 1190106 | 385099 | 62834 | 79513 | 51554 | 351190 | 28252 | 515 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 5 | 1642 | 1181853 | 387600 | 62873 | 82020 | 52098 | 352634 | 28297 | 519 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 6 | 1855 | 1215141 | 387904 | 62197 | 41322 | 51299 | 352882 | 28497 | 519 | 20 | 0.000 | 479.00/63.97 c (60,0) c | 7 | 1697 | 1201254 | 387944 | 63204 | 41378 | 51585 | 352542 | 28336 | 518 | 20 | 0.000 | 479.00/63.97 c (60,0) c 479.00/63.99 c (60,0) c synthesis 3085932 conflicts 588329242 propagations 6568 conflicts/sec 1252121 propagations/sec 479.00/63.99 c (60,0) c real: 60.1558 s, cpu: 469.866 s, memory: 849.08 Mb 702.83/92.97 c (89,0) c 702.83/92.97 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 702.83/92.97 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 702.83/92.97 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 702.83/92.97 c (89,0) c | 0 | 2261 | 1574166 | 514202 | 65615 | 77817 | 65470 | 448123 | 36839 | 752 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 1 | 2193 | 1530304 | 505230 | 62942 | 68850 | 63900 | 442894 | 36154 | 736 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 2 | 2380 | 1587687 | 518384 | 64245 | 82007 | 65372 | 448444 | 36827 | 752 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 3 | 2381 | 1569426 | 508765 | 65841 | 72390 | 64241 | 444360 | 36140 | 740 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 4 | 2300 | 1577814 | 513793 | 64857 | 77423 | 65552 | 448507 | 36818 | 752 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 5 | 2123 | 1530519 | 505613 | 67122 | 69228 | 65214 | 439584 | 36002 | 732 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 6 | 2493 | 1601379 | 515694 | 63822 | 79306 | 64848 | 449037 | 36951 | 752 | 20 | 0.000 | 702.83/92.97 c (89,0) c | 7 | 2366 | 1585389 | 515455 | 65514 | 79080 | 64547 | 449281 | 37075 | 752 | 20 | 0.000 | 702.83/92.97 c (89,0) c 702.83/92.98 c (89,0) c synthesis 4097136 conflicts 789224406 propagations 5907 conflicts/sec 1137880 propagations/sec 702.83/92.98 c (89,0) c real: 89.1558 s, cpu: 693.592 s, memory: 849.10 Mb 941.87/122.97 c (119,0) c 941.87/122.97 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 941.87/122.97 c (119,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 941.87/122.97 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 941.87/122.97 c (119,0) c | 0 | 2794 | 1917616 | 631322 | 66310 | 94739 | 77459 | 533109 | 44041 | 991 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 1 | 2728 | 1892334 | 629509 | 66478 | 92929 | 77125 | 531692 | 43672 | 987 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 2 | 3045 | 1951570 | 638228 | 66061 | 101659 | 77366 | 536570 | 44352 | 1000 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 3 | 3001 | 1944511 | 636812 | 67403 | 100244 | 77404 | 538685 | 44080 | 1005 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 4 | 2880 | 1934182 | 632538 | 66384 | 95963 | 77934 | 535081 | 44242 | 998 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 5 | 2687 | 1897689 | 632965 | 68171 | 96407 | 78447 | 532783 | 43732 | 992 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 6 | 3170 | 1968370 | 638277 | 64618 | 101686 | 77118 | 538362 | 44719 | 1005 | 20 | 0.000 | 941.87/122.97 c (119,0) c | 7 | 2992 | 1951259 | 638943 | 66274 | 102362 | 77213 | 539564 | 44711 | 1007 | 20 | 0.000 | 941.87/122.97 c (119,0) c 941.87/122.97 c (119,0) c synthesis 5078594 conflicts 986569099 propagations 5448 conflicts/sec 1058309 propagations/sec 941.87/122.97 c (119,0) c real: 119.156 s, cpu: 932.213 s, memory: 938.01 Mb 1168.12/151.97 c (148,0) c 1168.12/151.97 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1168.12/151.97 c (148,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1168.12/151.97 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1168.12/151.97 c (148,0) c | 0 | 3310 | 2237333 | 739599 | 68662 | 92417 | 88306 | 608448 | 50349 | 1227 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 1 | 3273 | 2204390 | 735208 | 66974 | 88036 | 87344 | 606821 | 49928 | 1221 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 2 | 3618 | 2281450 | 747989 | 66400 | 100814 | 87997 | 613249 | 50736 | 1240 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 3 | 3512 | 2246435 | 736736 | 69581 | 89560 | 87410 | 606432 | 49732 | 1220 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 4 | 3386 | 2248620 | 740861 | 66750 | 93681 | 88567 | 611350 | 50537 | 1236 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 5 | 3235 | 2226030 | 745323 | 68598 | 98157 | 89412 | 611574 | 50416 | 1240 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 6 | 3681 | 2267178 | 738018 | 65705 | 90827 | 87265 | 607385 | 50562 | 1221 | 20 | 0.000 | 1168.12/151.97 c (148,0) c | 7 | 3517 | 2263128 | 745900 | 67096 | 98729 | 87718 | 612102 | 50645 | 1237 | 20 | 0.000 | 1168.12/151.97 c (148,0) c 1168.12/151.97 c (148,0) c synthesis 5929634 conflicts 1159008422 propagations 5119 conflicts/sec 1000589 propagations/sec 1168.12/151.99 c (148,0) c real: 148.156 s, cpu: 1158.33 s, memory: 938.01 Mb 1403.55/181.97 c (178,0) c 1403.55/181.97 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1403.55/181.97 c (178,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1403.55/181.97 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1403.55/181.97 c (178,0) c | 0 | 3806 | 2546646 | 845879 | 69109 | 77707 | 99000 | 680467 | 56306 | 1478 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 1 | 3794 | 2512699 | 841548 | 67389 | 73363 | 97509 | 678759 | 55951 | 1469 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 2 | 4084 | 2575374 | 852131 | 66703 | 83942 | 98067 | 682196 | 56380 | 1480 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 3 | 4003 | 2554358 | 844444 | 70034 | 76257 | 97822 | 675526 | 55668 | 1465 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 4 | 3856 | 2544596 | 843432 | 67223 | 75248 | 98240 | 680486 | 56272 | 1476 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 5 | 3752 | 2523238 | 847358 | 68918 | 79184 | 99139 | 681310 | 56149 | 1481 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 6 | 4211 | 2566837 | 839464 | 66884 | 71280 | 96635 | 677436 | 56231 | 1463 | 20 | 0.000 | 1403.55/181.97 c (178,0) c | 7 | 3994 | 2564753 | 851205 | 70337 | 83024 | 97896 | 682345 | 56454 | 1481 | 20 | 0.000 | 1403.55/181.97 c (178,0) c 1403.55/181.97 c (178,0) c synthesis 6765462 conflicts 1328870769 propagations 4855 conflicts/sec 953663 propagations/sec 1403.55/181.99 c (178,0) c real: 178.156 s, cpu: 1393.44 s, memory: 849.10 Mb 1624.90/210.97 c (207,0) c 1624.90/210.97 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1624.90/210.97 c (207,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1624.90/210.97 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1624.90/210.97 c (207,0) c | 0 | 4268 | 2808720 | 934848 | 69501 | 102269 | 107305 | 740425 | 61010 | 1697 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 1 | 4219 | 2772007 | 929652 | 67514 | 97064 | 106007 | 737425 | 60576 | 1682 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 2 | 4480 | 2833413 | 943522 | 68179 | 110940 | 106656 | 742168 | 61104 | 1702 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 3 | 4471 | 2836682 | 942661 | 70646 | 110076 | 107020 | 742151 | 60823 | 1701 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 4 | 4330 | 2816911 | 935420 | 68003 | 102833 | 106760 | 742465 | 61249 | 1701 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 5 | 4177 | 2784437 | 937742 | 69663 | 105166 | 107711 | 741540 | 60999 | 1701 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 6 | 4666 | 2847146 | 938912 | 67439 | 106330 | 105877 | 743144 | 61323 | 1701 | 20 | 0.000 | 1624.90/210.97 c (207,0) c | 7 | 4392 | 2823914 | 942110 | 70665 | 109536 | 106168 | 742784 | 61155 | 1702 | 20 | 0.000 | 1624.90/210.97 c (207,0) c 1624.90/210.97 c (207,0) c synthesis 7504867 conflicts 1479746723 propagations 4648 conflicts/sec 916496 propagations/sec 1624.90/210.97 c (207,0) c real: 207.156 s, cpu: 1614.57 s, memory: 938.01 Mb 1849.45/239.97 c (236,0) c 1849.45/239.97 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1849.45/239.97 c (236,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1849.45/239.97 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1849.45/239.97 c (236,0) c | 0 | 4720 | 3072440 | 1026584 | 69862 | 126999 | 115725 | 801049 | 65779 | 1936 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 1 | 4685 | 3037294 | 1022180 | 67628 | 122596 | 114546 | 797692 | 65408 | 1918 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 2 | 4904 | 3079818 | 1029990 | 68426 | 130407 | 114723 | 798849 | 65664 | 1923 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 3 | 4855 | 3084342 | 1030416 | 72245 | 130842 | 115391 | 797697 | 65344 | 1922 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 4 | 4758 | 3077004 | 1026310 | 68997 | 126718 | 115287 | 801790 | 65968 | 1936 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 5 | 4626 | 3051009 | 1029775 | 70302 | 130192 | 116254 | 801148 | 65843 | 1938 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 6 | 5089 | 3111074 | 1031109 | 68969 | 131522 | 114365 | 803179 | 66003 | 1938 | 20 | 0.000 | 1849.45/239.97 c (236,0) c | 7 | 4847 | 3084700 | 1032530 | 70919 | 132943 | 114125 | 802980 | 65858 | 1937 | 20 | 0.000 | 1849.45/239.97 c (236,0) c 1849.45/239.97 c (236,0) c synthesis 8228894 conflicts 1627764255 propagations 4475 conflicts/sec 885252 propagations/sec 1849.45/239.97 c (236,0) c real: 236.156 s, cpu: 1838.76 s, memory: 986.57 Mb 2086.25/269.97 c (266,0) c 2086.25/269.97 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2086.25/269.97 c (266,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2086.25/269.97 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2086.25/269.97 c (266,0) c | 0 | 5170 | 3306110 | 1107677 | 70141 | 138505 | 122747 | 854681 | 69923 | 2161 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 1 | 5081 | 3288448 | 1110941 | 68068 | 141763 | 123138 | 853228 | 69701 | 2156 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 2 | 5306 | 3342804 | 1123172 | 69258 | 81822 | 123448 | 854999 | 70075 | 2164 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 3 | 5286 | 3325298 | 1115843 | 72398 | 74472 | 122634 | 852283 | 69516 | 2150 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 4 | 5157 | 3305993 | 1106044 | 69068 | 136853 | 122449 | 852690 | 70125 | 2151 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 5 | 5022 | 3284955 | 1112494 | 71181 | 143315 | 123808 | 855038 | 70015 | 2165 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 6 | 5502 | 3361127 | 1118514 | 70126 | 77124 | 122370 | 856286 | 70240 | 2166 | 20 | 0.000 | 2086.25/269.97 c (266,0) c | 7 | 5261 | 3330844 | 1118789 | 71424 | 77422 | 121731 | 856918 | 70328 | 2166 | 20 | 0.000 | 2086.25/269.97 c (266,0) c 2086.25/269.97 c (266,0) c synthesis 8913475 conflicts 1768877359 propagations 4295 conflicts/sec 852294 propagations/sec 2086.25/269.97 c (266,0) c real: 266.156 s, cpu: 2075.43 s, memory: 1082.89 Mb 2309.00/298.97 c (295,0) c 2309.00/298.97 c (295,0) c |------------------------------------------------------------------------------------------------------------------------| 2309.00/298.97 c (295,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2309.00/298.97 c (295,0) c |------------------------------------------------------------------------------------------------------------------------| 2309.00/298.97 c (295,0) c | 0 | 5532 | 3538251 | 1189708 | 70344 | 148324 | 130143 | 907477 | 73901 | 2388 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 1 | 5412 | 3518146 | 1195997 | 68315 | 79823 | 130836 | 906139 | 73733 | 2385 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 2 | 5728 | 3563380 | 1199287 | 69638 | 83117 | 130019 | 904825 | 73846 | 2375 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 3 | 5682 | 3573725 | 1203500 | 73614 | 87348 | 131047 | 905225 | 73478 | 2381 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 4 | 5553 | 3532403 | 1184318 | 69528 | 142931 | 129386 | 903213 | 73804 | 2368 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 5 | 5384 | 3519238 | 1195358 | 71712 | 79186 | 131239 | 906512 | 73882 | 2388 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 6 | 5906 | 3588361 | 1197741 | 70696 | 81559 | 129298 | 906964 | 73958 | 2382 | 20 | 0.000 | 2309.00/298.97 c (295,0) c | 7 | 5704 | 3565018 | 1200168 | 72564 | 84002 | 128741 | 908832 | 74257 | 2387 | 20 | 0.000 | 2309.00/298.97 c (295,0) c 2309.00/298.97 c (295,0) c synthesis 9566078 conflicts 1904126395 propagations 4163 conflicts/sec 828589 propagations/sec 2309.00/298.99 c (295,0) c real: 295.156 s, cpu: 2298.03 s, memory: 1034.73 Mb 2314.29/300.53 c (297,0) c 2314.29/300.53 c (297,0) c real time : 296.716 s 2314.29/300.53 c (297,0) c cpu time : 2302.76 s 2314.29/300.53 c (297,0) c 2314.29/300.53 c (297,0) c 2314.29/300.55 c (297,0) c 2314.29/300.55 c (297,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2314.29/300.55 c (297,0) c 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | Conflicts | 9582557 | 1190715 | 1197524 | 1202679 | 1205234 | 1189303 | 1197107 | 1198674 | 1201321 | 2314.29/300.55 c (297,0) c | Decisions | 28446508 | 3541124 | 3521825 | 3573090 | 3580787 | 3546073 | 3524543 | 3590911 | 3568155 | 2314.29/300.55 c (297,0) c | Propagations | 1907592191 | 236291063 | 236536886 | 240213188 | 241125869 | 235877482 | 236948120 | 239875659 | 240723924 | 2314.29/300.55 c (297,0) c | ReduceDBs | 238 | 29 | 30 | 30 | 30 | 29 | 30 | 30 | 30 | 2314.29/300.55 c (297,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2314.29/300.55 c (297,0) c | Restarts | 44980 | 5537 | 5414 | 5752 | 5690 | 5574 | 5388 | 5913 | 5712 | 2314.29/300.55 c (297,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2314.29/300.55 c (297,0) c | PropBinClauses| 2149797733 | 266317621 | 266572286 | 270859435 | 271741928 | 265562136 | 267052332 | 270235408 | 271456587 | 2314.29/300.55 c (297,0) c | PropPreBlocker| 68022403524 | 8485466596 | 8484577244 | 8527179537 | 8532732738 | 8446098654 | 8480783979 | 8521909147 | 8543655629 | 2314.29/300.55 c (297,0) c | PropNotBlocker| 16626478994 | 2097627096 | 2083346775 | 2061846342 | 2053376021 | 2100968245 | 2092219626 | 2067599049 | 2069495840 | 2314.29/300.55 c (297,0) c | LitFullScans | 114635197305 |14352867106 |14336963056 |14310811163 |14311868511 |14310856229 |14352854302 |14313663427 |14345313511 | 2314.29/300.55 c (297,0) c | LitScanFracts | 6573529 | 856521 | 810999 | 806255 | 816323 | 841314 | 834024 | 796162 | 811931 | 2314.29/300.55 c (297,0) c | DecisionLevel0| 44980 | 5537 | 5414 | 5752 | 5690 | 5574 | 5388 | 5913 | 5712 | 2314.29/300.55 c (297,0) c | Periods | 19103 | 2392 | 2389 | 2385 | 2385 | 2385 | 2392 | 2385 | 2390 | 2314.29/300.55 c (297,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2314.29/300.55 c (297,0) c | Avg_Trail | | 2862 | 2862 | 2878 | 2890 | 2864 | 2865 | 2880 | 2881 | 2314.29/300.55 c (297,0) c | Avg_DL | | 60 | 59 | 62 | 61 | 60 | 59 | 62 | 62 | 2314.29/300.55 c (297,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2314.29/300.55 c (297,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | Exported | 1042003 | 130219 | 130951 | 130269 | 131211 | 129774 | 131399 | 129355 | 128825 | 2314.29/300.55 c (297,0) c | Imported | 7257962 | 908105 | 906838 | 906525 | 905772 | 906890 | 906879 | 907540 | 909413 | 2314.29/300.55 c (297,0) c | Good | 672 | 77 | 81 | 89 | 89 | 81 | 80 | 83 | 92 | 2314.29/300.55 c (297,0) c | Purge | 7257290 | 908028 | 906757 | 906436 | 905683 | 906809 | 906799 | 907457 | 909321 | 2314.29/300.55 c (297,0) c | Promoted | 591625 | 73965 | 73776 | 73987 | 73538 | 74106 | 73953 | 73987 | 74313 | 2314.29/300.55 c (297,0) c | Remove_Imp | 5942448 | 714418 | 753623 | 750471 | 748817 | 713057 | 754090 | 753787 | 754185 | 2314.29/300.55 c (297,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2314.29/300.55 c (297,0) c | Binaries | | 20 | 15 | 7 | 7 | 15 | 16 | 13 | 4 | 2314.29/300.55 c (297,0) c | Glues | | 477 | 500 | 434 | 443 | 439 | 483 | 441 | 460 | 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | Orig_Seen | 56 % | 70345 | 68317 | 69638 | 74291 | 69528 | 71716 | 70696 | 72564 | 2314.29/300.55 c (297,0) c | Diff Orig seen| | - 3946 | - 5974 | - 4653 | X | - 4763 | - 2575 | - 3595 | - 1727 | 2314.29/300.55 c (297,0) c | Hamming | 29 % | 2001 | 2128 | 1900 | X | 1842 | 1858 | 1959 | 2308 | 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c | RunningTime | | 292.8 99%| 294.3 100%| 286.8 97%| 291.7 99%| 288.5 97%| 288.3 98%| 284.7 96%| 283.1 96%| 2314.29/300.55 c (297,0) c | WaitingTime | | 2.0 1%| 0.4 0%| 8.5 3%| 3.0 1%| 7.4 2%| 6.5 2%| 10.0 3%| 11.7 4%| 2314.29/300.55 c (297,0) c | ExchangingTime| | 0.4 0%| 0.4 0%| 0.5 0%| 0.4 0%| 0.5 0%| 0.4 0%| 0.4 0%| 0.4 0%| 2314.29/300.55 c (297,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%| 2314.29/300.55 c (297,0) c | SolvingTime | | 295.3 | 295.2 | 295.7 | 295.2 | 296.4 | 295.3 | 295.2 | 295.2 | 2314.29/300.55 c (297,0) c | PropagationTim| | 264.0 89%| 263.9 89%| 262.6 89%| 261.9 89%| 264.7 89%| 262.7 89%| 262.7 89%| 262.8 89%| 2314.29/300.55 c (297,0) c | AnalysisTime | | 21.6 7%| 21.5 7%| 23.0 8%| 23.1 8%| 22.0 7%| 22.8 8%| 22.4 8%| 22.4 8%| 2314.29/300.55 c (297,0) c | ReductionTime | | 2.6 1%| 2.8 1%| 2.8 1%| 2.8 1%| 2.6 1%| 2.7 1%| 2.8 1%| 2.9 1%| 2314.29/300.55 c (297,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 2314.29/300.55 c (297,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%| 2314.29/300.55 c (297,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%| 2314.29/300.55 c (297,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.55 c (297,0) c 2314.29/300.55 c (297,0) c 2314.29/300.55 c (297,0) c Threads : 8 2314.29/300.55 c (297,0) c Winner : 3 2314.29/300.55 c (297,0) c Conflicts_0 : 1190715 2314.29/300.55 c (297,0) c Conflicts_1 : 1197524 2314.29/300.55 c (297,0) c Conflicts_2 : 1202679 2314.29/300.55 c (297,0) c Conflicts_3 : 1205234 2314.29/300.55 c (297,0) c Conflicts_4 : 1189303 2314.29/300.55 c (297,0) c Conflicts_5 : 1197107 2314.29/300.55 c (297,0) c Conflicts_6 : 1198674 2314.29/300.55 c (297,0) c Conflicts_7 : 1201321 2314.29/300.55 c (297,0) c Conflicts_total : 9582557 2314.29/300.55 c (297,0) c Conflicts_winner : 1205234 2314.29/300.55 c (297,0) c Decisions_0 : 3541124 2314.29/300.55 c (297,0) c Decisions_1 : 3521825 2314.29/300.55 c (297,0) c Decisions_2 : 3573090 2314.29/300.55 c (297,0) c Decisions_3 : 3580787 2314.29/300.55 c (297,0) c Decisions_4 : 3546073 2314.29/300.55 c (297,0) c Decisions_5 : 3524543 2314.29/300.55 c (297,0) c Decisions_6 : 3590911 2314.29/300.55 c (297,0) c Decisions_7 : 3568155 2314.29/300.55 c (297,0) c Decisions_total : 28446508 2314.29/300.55 c (297,0) c Decisions_winner : 3580787 2314.29/300.55 c (297,0) c Propagations_0 : 236291063 2314.29/300.55 c (297,0) c Propagations_1 : 236536886 2314.29/300.55 c (297,0) c Propagations_2 : 240213188 2314.29/300.55 c (297,0) c Propagations_3 : 241125869 2314.29/300.55 c (297,0) c Propagations_4 : 235877482 2314.29/300.55 c (297,0) c Propagations_5 : 236948120 2314.29/300.55 c (297,0) c Propagations_6 : 239875659 2314.29/300.55 c (297,0) c Propagations_7 : 240723924 2314.29/300.55 c (297,0) c Propagations_total : 1907592191 2314.29/300.55 c (297,0) c Propagations_winner : 241125869 2314.29/300.55 c (297,0) c ReduceDBs_0 : 29 2314.29/300.55 c (297,0) c ReduceDBs_1 : 30 2314.29/300.55 c (297,0) c ReduceDBs_2 : 30 2314.29/300.55 c (297,0) c ReduceDBs_3 : 30 2314.29/300.55 c (297,0) c ReduceDBs_4 : 29 2314.29/300.55 c (297,0) c ReduceDBs_5 : 30 2314.29/300.55 c (297,0) c ReduceDBs_6 : 30 2314.29/300.55 c (297,0) c ReduceDBs_7 : 30 2314.29/300.55 c (297,0) c ReduceDBs_total : 238 2314.29/300.55 c (297,0) c ReduceDBs_winner : 30 2314.29/300.55 c (297,0) c SimpDBs_0 : 1 2314.29/300.55 c (297,0) c SimpDBs_1 : 1 2314.29/300.55 c (297,0) c SimpDBs_2 : 1 2314.29/300.55 c (297,0) c SimpDBs_3 : 1 2314.29/300.55 c (297,0) c SimpDBs_4 : 1 2314.29/300.55 c (297,0) c SimpDBs_5 : 1 2314.29/300.55 c (297,0) c SimpDBs_6 : 1 2314.29/300.55 c (297,0) c SimpDBs_7 : 1 2314.29/300.55 c (297,0) c SimpDBs_total : 8 2314.29/300.55 c (297,0) c SimpDBs_winner : 1 2314.29/300.55 c (297,0) c Restarts_0 : 5537 2314.29/300.55 c (297,0) c Restarts_1 : 5414 2314.29/300.55 c (297,0) c Restarts_2 : 5752 2314.29/300.55 c (297,0) c Restarts_3 : 5690 2314.29/300.55 c (297,0) c Restarts_4 : 5574 2314.29/300.55 c (297,0) c Restarts_5 : 5388 2314.29/300.55 c (297,0) c Restarts_6 : 5913 2314.29/300.55 c (297,0) c Restarts_7 : 5712 2314.29/300.55 c (297,0) c Restarts_total : 44980 2314.29/300.55 c (297,0) c Restarts_winner : 5690 2314.29/300.55 c (297,0) c ForcedImports_0 : 0 2314.29/300.55 c (297,0) c ForcedImports_1 : 0 2314.29/300.55 c (297,0) c ForcedImports_2 : 0 2314.29/300.55 c (297,0) c ForcedImports_3 : 0 2314.29/300.55 c (297,0) c ForcedImports_4 : 0 2314.29/300.55 c (297,0) c ForcedImports_5 : 0 2314.29/300.55 c (297,0) c ForcedImports_6 : 0 2314.29/300.55 c (297,0) c ForcedImports_7 : 0 2314.29/300.55 c (297,0) c ForcedImports_total : 0 2314.29/300.55 c (297,0) c ForcedImports_winner : 0 2314.29/300.55 c (297,0) c PropsBinClauses_0 : 266317621 2314.29/300.55 c (297,0) c PropsBinClauses_1 : 266572286 2314.29/300.55 c (297,0) c PropsBinClauses_2 : 270859435 2314.29/300.55 c (297,0) c PropsBinClauses_3 : 271741928 2314.29/300.55 c (297,0) c PropsBinClauses_4 : 265562136 2314.29/300.55 c (297,0) c PropsBinClauses_5 : 267052332 2314.29/300.55 c (297,0) c PropsBinClauses_6 : 270235408 2314.29/300.55 c (297,0) c PropsBinClauses_7 : 271456587 2314.29/300.55 c (297,0) c PropsBinClauses_total : 2149797733 2314.29/300.55 c (297,0) c PropsBinClauses_winner : 271741928 2314.29/300.55 c (297,0) c PropsPreBlocker_0 : 8485466596 2314.29/300.55 c (297,0) c PropsPreBlocker_1 : 8484577244 2314.29/300.55 c (297,0) c PropsPreBlocker_2 : 8527179537 2314.29/300.55 c (297,0) c PropsPreBlocker_3 : 8532732738 2314.29/300.55 c (297,0) c PropsPreBlocker_4 : 8446098654 2314.29/300.55 c (297,0) c PropsPreBlocker_5 : 8480783979 2314.29/300.55 c (297,0) c PropsPreBlocker_6 : 8521909147 2314.29/300.55 c (297,0) c PropsPreBlocker_7 : 8543655629 2314.29/300.55 c (297,0) c PropsPreBlocker_total : 68022403524 2314.29/300.55 c (297,0) c PropsPreBlocker_winner : 8532732738 2314.29/300.55 c (297,0) c PropsNotBlocker_0 : 2097627096 2314.29/300.55 c (297,0) c PropsNotBlocker_1 : 2083346775 2314.29/300.55 c (297,0) c PropsNotBlocker_2 : 2061846342 2314.29/300.55 c (297,0) c PropsNotBlocker_3 : 2053376021 2314.29/300.55 c (297,0) c PropsNotBlocker_4 : 2100968245 2314.29/300.55 c (297,0) c PropsNotBlocker_5 : 2092219626 2314.29/300.55 c (297,0) c PropsNotBlocker_6 : 2067599049 2314.29/300.55 c (297,0) c PropsNotBlocker_7 : 2069495840 2314.29/300.55 c (297,0) c PropsNotBlocker_total : 16626478994 2314.29/300.55 c (297,0) c PropsNotBlocker_winner : 2053376021 2314.29/300.55 c (297,0) c PropsLitFullScans_0 : 14352867106 2314.29/300.55 c (297,0) c PropsLitFullScans_1 : 14336963056 2314.29/300.55 c (297,0) c PropsLitFullScans_2 : 14310811163 2314.29/300.55 c (297,0) c PropsLitFullScans_3 : 14311868511 2314.29/300.55 c (297,0) c PropsLitFullScans_4 : 14310856229 2314.29/300.55 c (297,0) c PropsLitFullScans_5 : 14352854302 2314.29/300.55 c (297,0) c PropsLitFullScans_6 : 14313663427 2314.29/300.55 c (297,0) c PropsLitFullScans_7 : 14345313511 2314.29/300.55 c (297,0) c PropsLitFullScans_total : 114635197305 2314.29/300.55 c (297,0) c PropsLitFullScans_winner : 14311868511 2314.29/300.55 c (297,0) c LitScanFractions_0 : 856521 2314.29/300.55 c (297,0) c LitScanFractions_1 : 810999 2314.29/300.55 c (297,0) c LitScanFractions_2 : 806255 2314.29/300.55 c (297,0) c LitScanFractions_3 : 816323 2314.29/300.55 c (297,0) c LitScanFractions_4 : 841314 2314.29/300.55 c (297,0) c LitScanFractions_5 : 834024 2314.29/300.55 c (297,0) c LitScanFractions_6 : 796162 2314.29/300.55 c (297,0) c LitScanFractions_7 : 811931 2314.29/300.55 c (297,0) c LitScanFractions_total : 6573529 2314.29/300.55 c (297,0) c LitScanFractions_winner : 816323 2314.29/300.55 c (297,0) c DecisionLevel0_0 : 5537 2314.29/300.55 c (297,0) c DecisionLevel0_1 : 5414 2314.29/300.55 c (297,0) c DecisionLevel0_2 : 5752 2314.29/300.55 c (297,0) c DecisionLevel0_3 : 5690 2314.29/300.56 c (297,0) c DecisionLevel0_4 : 5574 2314.29/300.56 c (297,0) c DecisionLevel0_5 : 5388 2314.29/300.56 c (297,0) c DecisionLevel0_6 : 5913 2314.29/300.56 c (297,0) c DecisionLevel0_7 : 5712 2314.29/300.56 c (297,0) c DecisionLevel0_total : 44980 2314.29/300.56 c (297,0) c DecisionLevel0_winner : 5690 2314.29/300.56 c (297,0) c Periods_0 : 2392 2314.29/300.56 c (297,0) c Periods_1 : 2389 2314.29/300.56 c (297,0) c Periods_2 : 2385 2314.29/300.56 c (297,0) c Periods_3 : 2385 2314.29/300.56 c (297,0) c Periods_4 : 2385 2314.29/300.56 c (297,0) c Periods_5 : 2392 2314.29/300.56 c (297,0) c Periods_6 : 2385 2314.29/300.56 c (297,0) c Periods_7 : 2390 2314.29/300.56 c (297,0) c Periods_total : 19103 2314.29/300.56 c (297,0) c Periods_winner : 2385 2314.29/300.56 c (297,0) c Margin_0 : 20 2314.29/300.56 c (297,0) c Margin_1 : 20 2314.29/300.56 c (297,0) c Margin_2 : 20 2314.29/300.56 c (297,0) c Margin_3 : 20 2314.29/300.56 c (297,0) c Margin_4 : 20 2314.29/300.56 c (297,0) c Margin_5 : 20 2314.29/300.56 c (297,0) c Margin_6 : 20 2314.29/300.56 c (297,0) c Margin_7 : 20 2314.29/300.56 c (297,0) c Margin_total : 160 2314.29/300.56 c (297,0) c Margin_winner : 20 2314.29/300.56 c (297,0) c Exported_0 : 130219 2314.29/300.56 c (297,0) c Exported_1 : 130951 2314.29/300.56 c (297,0) c Exported_2 : 130269 2314.29/300.56 c (297,0) c Exported_3 : 131211 2314.29/300.56 c (297,0) c Exported_4 : 129774 2314.29/300.56 c (297,0) c Exported_5 : 131399 2314.29/300.56 c (297,0) c Exported_6 : 129355 2314.29/300.56 c (297,0) c Exported_7 : 128825 2314.29/300.56 c (297,0) c Exported_total : 1042003 2314.29/300.56 c (297,0) c Exported_winner : 131211 2314.29/300.56 c (297,0) c Imported_0 : 908105 2314.29/300.56 c (297,0) c Imported_1 : 906838 2314.29/300.56 c (297,0) c Imported_2 : 906525 2314.29/300.56 c (297,0) c Imported_3 : 905772 2314.29/300.56 c (297,0) c Imported_4 : 906890 2314.29/300.56 c (297,0) c Imported_5 : 906879 2314.29/300.56 c (297,0) c Imported_6 : 907540 2314.29/300.56 c (297,0) c Imported_7 : 909413 2314.29/300.56 c (297,0) c Imported_total : 7257962 2314.29/300.56 c (297,0) c Imported_winner : 905772 2314.29/300.56 c (297,0) c Good_0 : 77 2314.29/300.56 c (297,0) c Good_1 : 81 2314.29/300.56 c (297,0) c Good_2 : 89 2314.29/300.56 c (297,0) c Good_3 : 89 2314.29/300.56 c (297,0) c Good_4 : 81 2314.29/300.56 c (297,0) c Good_5 : 80 2314.29/300.56 c (297,0) c Good_6 : 83 2314.29/300.56 c (297,0) c Good_7 : 92 2314.29/300.56 c (297,0) c Good_total : 672 2314.29/300.56 c (297,0) c Good_winner : 89 2314.29/300.56 c (297,0) c Purge_0 : 908028 2314.29/300.56 c (297,0) c Purge_1 : 906757 2314.29/300.56 c (297,0) c Purge_2 : 906436 2314.29/300.56 c (297,0) c Purge_3 : 905683 2314.29/300.56 c (297,0) c Purge_4 : 906809 2314.29/300.56 c (297,0) c Purge_5 : 906799 2314.29/300.56 c (297,0) c Purge_6 : 907457 2314.29/300.56 c (297,0) c Purge_7 : 909321 2314.29/300.56 c (297,0) c Purge_total : 7257290 2314.29/300.56 c (297,0) c Purge_winner : 905683 2314.29/300.56 c (297,0) c Promoted_0 : 73965 2314.29/300.56 c (297,0) c Promoted_1 : 73776 2314.29/300.56 c (297,0) c Promoted_2 : 73987 2314.29/300.56 c (297,0) c Promoted_3 : 73538 2314.29/300.56 c (297,0) c Promoted_4 : 74106 2314.29/300.56 c (297,0) c Promoted_5 : 73953 2314.29/300.56 c (297,0) c Promoted_6 : 73987 2314.29/300.56 c (297,0) c Promoted_7 : 74313 2314.29/300.56 c (297,0) c Promoted_total : 591625 2314.29/300.56 c (297,0) c Promoted_winner : 73538 2314.29/300.56 c (297,0) c Remove_Imp_0 : 714418 2314.29/300.56 c (297,0) c Remove_Imp_1 : 753623 2314.29/300.56 c (297,0) c Remove_Imp_2 : 750471 2314.29/300.56 c (297,0) c Remove_Imp_3 : 748817 2314.29/300.56 c (297,0) c Remove_Imp_4 : 713057 2314.29/300.56 c (297,0) c Remove_Imp_5 : 754090 2314.29/300.56 c (297,0) c Remove_Imp_6 : 753787 2314.29/300.56 c (297,0) c Remove_Imp_7 : 754185 2314.29/300.56 c (297,0) c Remove_Imp_total : 5942448 2314.29/300.56 c (297,0) c Remove_Imp_winner : 748817 2314.29/300.56 c (297,0) c Blocked_Reuse_0 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_1 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_2 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_3 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_4 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_5 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_6 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_7 : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_total : 0 2314.29/300.56 c (297,0) c Blocked_Reuse_winner : 0 2314.29/300.56 c (297,0) c Unaries_0 : 0 2314.29/300.56 c (297,0) c Unaries_1 : 0 2314.29/300.56 c (297,0) c Unaries_2 : 0 2314.29/300.56 c (297,0) c Unaries_3 : 0 2314.29/300.56 c (297,0) c Unaries_4 : 0 2314.29/300.56 c (297,0) c Unaries_5 : 0 2314.29/300.56 c (297,0) c Unaries_6 : 0 2314.29/300.56 c (297,0) c Unaries_7 : 0 2314.29/300.56 c (297,0) c Unaries_total : 0 2314.29/300.56 c (297,0) c Unaries_winner : 0 2314.29/300.56 c (297,0) c Binaries_0 : 20 2314.29/300.56 c (297,0) c Binaries_1 : 15 2314.29/300.56 c (297,0) c Binaries_2 : 7 2314.29/300.56 c (297,0) c Binaries_3 : 7 2314.29/300.56 c (297,0) c Binaries_4 : 15 2314.29/300.56 c (297,0) c Binaries_5 : 16 2314.29/300.56 c (297,0) c Binaries_6 : 13 2314.29/300.56 c (297,0) c Binaries_7 : 4 2314.29/300.56 c (297,0) c Binaries_total : 97 2314.29/300.56 c (297,0) c Binaries_winner : 7 2314.29/300.56 c (297,0) c Glues_0 : 477 2314.29/300.56 c (297,0) c Glues_1 : 500 2314.29/300.56 c (297,0) c Glues_2 : 434 2314.29/300.56 c (297,0) c Glues_3 : 443 2314.29/300.56 c (297,0) c Glues_4 : 439 2314.29/300.56 c (297,0) c Glues_5 : 483 2314.29/300.56 c (297,0) c Glues_6 : 441 2314.29/300.56 c (297,0) c Glues_7 : 460 2314.29/300.56 c (297,0) c Glues_total : 3677 2314.29/300.56 c (297,0) c Glues_winner : 443 2314.29/300.56 c (297,0) c RunningTime_0 : 292.824219 2314.29/300.56 c (297,0) c RunningTime_1 : 294.308152 2314.29/300.56 c (297,0) c RunningTime_2 : 286.755597 2314.29/300.56 c (297,0) c RunningTime_3 : 291.713992 2314.29/300.56 c (297,0) c RunningTime_4 : 288.480820 2314.29/300.56 c (297,0) c RunningTime_5 : 288.288561 2314.29/300.56 c (297,0) c RunningTime_6 : 284.743491 2314.29/300.56 c (297,0) c RunningTime_7 : 283.066231 2314.29/300.56 c (297,0) c RunningTime_total : 2310.181063 2314.29/300.56 c (297,0) c RunningTime_winner : 291.713992 2314.29/300.56 c (297,0) c WaitingTime_0 : 1.972996 2314.29/300.56 c (297,0) c WaitingTime_1 : 0.444825 2314.29/300.56 c (297,0) c WaitingTime_2 : 8.501229 2314.29/300.56 c (297,0) c WaitingTime_3 : 2.992714 2314.29/300.56 c (297,0) c WaitingTime_4 : 7.404246 2314.29/300.56 c (297,0) c WaitingTime_5 : 6.539729 2314.29/300.56 c (297,0) c WaitingTime_6 : 9.964957 2314.29/300.56 c (297,0) c WaitingTime_7 : 11.666738 2314.29/300.56 c (297,0) c WaitingTime_total : 49.487434 2314.29/300.56 c (297,0) c WaitingTime_winner : 2.992714 2314.29/300.56 c (297,0) c ExchangingTime_0 : 0.445426 2314.29/300.56 c (297,0) c ExchangingTime_1 : 0.402253 2314.29/300.56 c (297,0) c ExchangingTime_2 : 0.458376 2314.29/300.56 c (297,0) c ExchangingTime_3 : 0.431554 2314.29/300.56 c (297,0) c ExchangingTime_4 : 0.459956 2314.29/300.56 c (297,0) c ExchangingTime_5 : 0.409219 2314.29/300.56 c (297,0) c ExchangingTime_6 : 0.431093 2314.29/300.56 c (297,0) c ExchangingTime_7 : 0.409241 2314.29/300.56 c (297,0) c ExchangingTime_total : 3.447119 2314.29/300.56 c (297,0) c ExchangingTime_winner : 0.431554 2314.29/300.56 c (297,0) c PeriodProcTime_0 : 0.018506 2314.29/300.56 c (297,0) c PeriodProcTime_1 : 0.024453 2314.29/300.56 c (297,0) c PeriodProcTime_2 : 0.021462 2314.29/300.56 c (297,0) c PeriodProcTime_3 : 0.020245 2314.29/300.56 c (297,0) c PeriodProcTime_4 : 0.020658 2314.29/300.56 c (297,0) c PeriodProcTime_5 : 0.020845 2314.29/300.56 c (297,0) c PeriodProcTime_6 : 0.022039 2314.29/300.56 c (297,0) c PeriodProcTime_7 : 0.022136 2314.29/300.56 c (297,0) c PeriodProcTime_total : 0.170345 2314.29/300.56 c (297,0) c PeriodProcTime_winner : 0.020245 2314.29/300.56 c (297,0) c SolvingTime_0 : 295.261147 2314.29/300.56 c (297,0) c SolvingTime_1 : 295.179683 2314.29/300.56 c (297,0) c SolvingTime_2 : 295.736665 2314.29/300.56 c (297,0) c SolvingTime_3 : 295.158505 2314.29/300.56 c (297,0) c SolvingTime_4 : 296.365680 2314.29/300.56 c (297,0) c SolvingTime_5 : 295.258354 2314.29/300.56 c (297,0) c SolvingTime_6 : 295.161580 2314.29/300.56 c (297,0) c SolvingTime_7 : 295.164347 2314.29/300.56 c (297,0) c SolvingTime_total : 2363.285961 2314.29/300.56 c (297,0) c SolvingTime_winner : 295.158505 2314.29/300.56 c (297,0) c PropagationTime_0 : 264.013202 2314.29/300.56 c (297,0) c PropagationTime_1 : 263.912984 2314.29/300.56 c (297,0) c PropagationTime_2 : 262.637268 2314.29/300.56 c (297,0) c PropagationTime_3 : 261.864266 2314.29/300.56 c (297,0) c PropagationTime_4 : 264.710310 2314.29/300.56 c (297,0) c PropagationTime_5 : 262.658998 2314.29/300.56 c (297,0) c PropagationTime_6 : 262.681581 2314.29/300.56 c (297,0) c PropagationTime_7 : 262.842613 2314.29/300.56 c (297,0) c PropagationTime_total : 2105.321222 2314.29/300.56 c (297,0) c PropagationTime_winner : 261.864266 2314.29/300.56 c (297,0) c AnalysisTime_0 : 21.609687 2314.29/300.56 c (297,0) c AnalysisTime_1 : 21.507506 2314.29/300.56 c (297,0) c AnalysisTime_2 : 22.977259 2314.29/300.56 c (297,0) c AnalysisTime_3 : 23.143693 2314.29/300.56 c (297,0) c AnalysisTime_4 : 21.991088 2314.29/300.56 c (297,0) c AnalysisTime_5 : 22.834129 2314.29/300.56 c (297,0) c AnalysisTime_6 : 22.422227 2314.29/300.56 c (297,0) c AnalysisTime_7 : 22.408396 2314.29/300.56 c (297,0) c AnalysisTime_total : 178.893984 2314.29/300.56 c (297,0) c AnalysisTime_winner : 23.143693 2314.29/300.56 c (297,0) c ReductionTime_0 : 2.619565 2314.29/300.56 c (297,0) c ReductionTime_1 : 2.763446 2314.29/300.56 c (297,0) c ReductionTime_2 : 2.811036 2314.29/300.56 c (297,0) c ReductionTime_3 : 2.764138 2314.29/300.56 c (297,0) c ReductionTime_4 : 2.590729 2314.29/300.56 c (297,0) c ReductionTime_5 : 2.668450 2314.29/300.56 c (297,0) c ReductionTime_6 : 2.783090 2314.29/300.56 c (297,0) c ReductionTime_7 : 2.867249 2314.29/300.56 c (297,0) c ReductionTime_total : 21.867703 2314.29/300.56 c (297,0) c ReductionTime_winner : 2.764138 2314.29/300.56 c (297,0) c SimplifyTime_0 : 0.000560 2314.29/300.56 c (297,0) c SimplifyTime_1 : 0.000483 2314.29/300.56 c (297,0) c SimplifyTime_2 : 0.000612 2314.29/300.56 c (297,0) c SimplifyTime_3 : 0.000550 2314.29/300.56 c (297,0) c SimplifyTime_4 : 0.000589 2314.29/300.56 c (297,0) c SimplifyTime_5 : 0.000650 2314.29/300.56 c (297,0) c SimplifyTime_6 : 0.000631 2314.29/300.56 c (297,0) c SimplifyTime_7 : 0.000628 2314.29/300.56 c (297,0) c SimplifyTime_total : 0.004703 2314.29/300.56 c (297,0) c SimplifyTime_winner : 0.000550 2314.29/300.56 c (297,0) c UsedRateTime_0 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_1 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_2 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_3 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_4 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_5 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_6 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_7 : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_total : 0.000000 2314.29/300.56 c (297,0) c UsedRateTime_winner : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_0 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_1 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_2 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_3 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_4 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_5 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_6 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_7 : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_total : 0.000000 2314.29/300.56 c (297,0) c OverlapRateTime_winner : 0.000000 2314.29/300.56 c (297,0) c 2314.29/300.56 c (297,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2314.29/300.56 c (297,0) c 2314.29/300.56 c (297,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.56 c (297,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2314.29/300.56 c (297,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.56 c (297,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2314.29/300.56 c (297,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2314.29/300.56 c (297,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2314.29/300.56 c (297,0) c | Initial random_seed | 870843542 | 786356241 | 333298242 | 2001581776 | 86325787 | 784353429 | 1558629916 | 916128149 | 2314.29/300.56 c (297,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2314.29/300.56 c (297,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2314.29/300.56 c (297,0) c | glureduce | True | True | True | True | True | True | True | True | 2314.29/300.56 c (297,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2314.29/300.56 c (297,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2314.29/300.56 c (297,0) c | luby_restart | False | False | False | False | False | False | False | False | 2314.29/300.56 c (297,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2314.29/300.56 c (297,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2314.29/300.56 c (297,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2314.29/300.56 c (297,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2314.29/300.56 c (297,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2314.29/300.56 c (297,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2314.29/300.56 c (297,0) 2314.29/300.56 c (297,0) s SATISFIABLE 2314.29/300.59 c (297,0) SatSolver.solve End 2314.29/300.59 c (297,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2314.29/300.59 c (297,0) Show results Begin 2314.73/300.70 c (297,0) x[0] = 51 2314.73/300.70 c (297,0) x[1] = 28 2314.73/300.70 c (297,0) x[2] = 60 2314.73/300.70 c (297,0) x[3] = 65 2314.73/300.70 c (297,0) x[4] = 77 2314.73/300.70 c (297,0) x[5] = 77 2314.73/300.70 c (297,0) x[6] = 65 2314.73/300.70 c (297,0) x[7] = 90 2314.73/300.70 c (297,0) x[8] = 81 2314.73/300.70 c (297,0) x[9] = 30 2314.73/300.70 c (297,0) x[10] = 52 2314.73/300.70 c (297,0) x[11] = 40 2314.73/300.70 c (297,0) x[12] = 52 2314.73/300.70 c (297,0) x[13] = 63 2314.73/300.70 c (297,0) x[14] = 83 2314.73/300.70 c (297,0) x[15] = 36 2314.73/300.70 c (297,0) x[16] = 19 2314.73/300.70 c (297,0) x[17] = 80 2314.73/300.70 c (297,0) x[18] = 0 2314.73/300.70 c (297,0) x[19] = 52 2314.73/300.70 c (297,0) x[20] = 30 2314.73/300.70 c (297,0) x[21] = 0 2314.73/300.70 c (297,0) x[22] = 46 2314.73/300.70 c (297,0) x[23] = 22 2314.73/300.70 c (297,0) x[24] = 27 2314.73/300.70 c (297,0) x[25] = 72 2314.73/300.70 c (297,0) x[26] = 0 2314.73/300.70 c (297,0) x[27] = 52 2314.73/300.70 c (297,0) x[28] = 69 2314.73/300.70 c (297,0) x[29] = 0 2314.73/300.70 c (297,0) y[0] = 62 2314.73/300.70 c (297,0) y[1] = 71 2314.73/300.70 c (297,0) y[2] = 84 2314.73/300.70 c (297,0) y[3] = 24 2314.73/300.70 c (297,0) y[4] = 86 2314.73/300.70 c (297,0) y[5] = 91 2314.73/300.70 c (297,0) y[6] = 29 2314.73/300.70 c (297,0) y[7] = 75 2314.73/300.70 c (297,0) y[8] = 74 2314.73/300.70 c (297,0) y[9] = 41 2314.73/300.70 c (297,0) y[10] = 87 2314.73/300.70 c (297,0) y[11] = 40 2314.73/300.70 c (297,0) y[12] = 23 2314.73/300.70 c (297,0) y[13] = 84 2314.73/300.70 c (297,0) y[14] = 83 2314.73/300.70 c (297,0) y[15] = 24 2314.73/300.70 c (297,0) y[16] = 24 2314.73/300.70 c (297,0) y[17] = 56 2314.73/300.70 c (297,0) y[18] = 22 2314.73/300.70 c (297,0) y[19] = 36 2314.73/300.70 c (297,0) y[20] = 52 2314.73/300.70 c (297,0) y[21] = 0 2314.73/300.70 c (297,0) y[22] = 0 2314.73/300.70 c (297,0) y[23] = 0 2314.73/300.70 c (297,0) y[24] = 73 2314.73/300.70 c (297,0) y[25] = 30 2314.73/300.70 c (297,0) y[26] = 71 2314.73/300.70 c (297,0) y[27] = 56 2314.73/300.70 c (297,0) y[28] = 0 2314.73/300.70 c (297,0) y[29] = 41 2314.73/300.70 s SATISFIABLE 2314.73/300.70 v <instantiation> 2314.73/300.70 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] x[24] x[25] x[26] x[27] x[28] x[29] 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] y[24] y[25] y[26] y[27] y[28] y[29]</list> 2314.73/300.70 v <values>51 28 60 65 77 77 65 90 81 30 52 40 52 63 83 36 19 80 0 52 30 0 46 22 27 72 0 52 69 0 62 71 84 24 86 91 29 75 74 41 87 40 23 84 83 24 24 56 22 36 52 0 0 0 73 30 71 56 0 41</values> 2314.73/300.70 v </instantiation> 2314.73/300.70 c (297,0) Show results End 2314.73/300.70 c (297,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 2314.73/300.70 c (297,0) 297,297,STOP-AFTER(ALL) 2314.73/300.70 c END-Prog: Thu Dec 15 16:57:31 CET 2011
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: 16375 MiB (13738 MiB free) memory of node 1: 16384 MiB (13846 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392831-1568449928/watcher-4392831-1568449928 -o /tmp/evaluation-result-4392831-1568449928/solver-4392831-1568449928 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323958268-16286 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392831-1568449928.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17619, runsolver pid=17616 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 8.14 7.65 6.95 2/212 17641 /proc/meminfo: memFree=28153384/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420999116 115843072 349 33554432000 4194304 5098028 140734674544512 140734674541768 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 349 296 221 0 87 0 [pid=17622] ppid=17619 vsize=27314120 memory=104604 CPUtime=0.1 cores=0-7 /proc/17622/stat : 17622 (java) S 17619 17619 16259 0 -1 1077944320 6739 0 0 0 8 2 0 0 20 0 20 0 420999116 27969658880 26151 33554432000 4194304 4196468 140737478367744 140737478350288 140209811918583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 /proc/17622/statm: 6828530 26151 2776 1 0 6790935 0 [pid=17622/tid=17623] ppid=17619 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/17622/task/17623/stat : 17623 (java) R 17619 17619 16259 0 -1 4202560 4832 0 0 0 7 1 0 0 20 0 20 0 420999117 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209783753712 140209811940509 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17624] ppid=17619 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17622/task/17624/stat : 17624 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209816160656 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17625] ppid=17619 vsize=27314120 memory=140226255746688 CPUtime=0 cores=0-7 /proc/17622/task/17625/stat : 17625 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209630316816 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17626] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17626/stat : 17626 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209629264528 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17627] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17627/stat : 17627 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209628211728 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17628] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17628/stat : 17628 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209627159440 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17629] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17629/stat : 17629 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209626106640 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17630] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17630/stat : 17630 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209625054352 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17631] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17631/stat : 17631 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 26151 33554432000 4194304 4196468 140737478367744 140209624001552 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17632] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17632/stat : 17632 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208379553904 140209811929730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17633] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17633/stat : 17633 (java) S 17619 17619 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 26151 33554432000 4194304 4196468 140737478367744 140207596757792 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17634] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17634/stat : 17634 (java) S 17619 17619 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999122 27969658880 26151 33554432000 4194304 4196468 140737478367744 140207462536304 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17635] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17635/stat : 17635 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 26151 33554432000 4194304 4196468 140737478367744 140207088031824 140209811937179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17636] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17636/stat : 17636 (java) S 17619 17619 16259 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208378501744 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17637] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17637/stat : 17637 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208377448944 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17638] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17638/stat : 17638 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208376396656 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17639] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17639/stat : 17639 (java) S 17619 17619 16259 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208375343856 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17640] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17640/stat : 17640 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 26151 33554432000 4194304 4196468 140737478367744 140206590126432 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17641] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17641/stat : 17641 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 26151 33554432000 4194304 4196468 140737478367744 140208374290736 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106000 KiB [startup+0.211485 s]* /proc/loadavg: 8.14 7.65 6.95 2/212 17641 /proc/meminfo: memFree=28134544/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420999116 115843072 349 33554432000 4194304 5098028 140734674544512 140734674541768 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 349 296 221 0 87 0 [pid=17622] ppid=17619 vsize=27314120 memory=124040 CPUtime=0.23 cores=0-7 /proc/17622/stat : 17622 (java) S 17619 17619 16259 0 -1 1077944320 12239 0 0 0 20 3 0 0 20 0 20 0 420999116 27969658880 31010 33554432000 4194304 4196468 140737478367744 140737478350288 140209811918583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 /proc/17622/statm: 6828530 31010 2938 1 0 6790935 0 [pid=17622/tid=17623] ppid=17619 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17622/task/17623/stat : 17623 (java) R 17619 17619 16259 0 -1 4202560 10002 0 0 0 17 3 0 0 20 0 20 0 420999117 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209783732992 140209795962213 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17624] ppid=17619 vsize=27314120 memory=339 CPUtime=0 cores=0-7 /proc/17622/task/17624/stat : 17624 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209816160656 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17625] ppid=17619 vsize=27314120 memory=288370602407458432 CPUtime=0 cores=0-7 /proc/17622/task/17625/stat : 17625 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209630316816 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17626] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17626/stat : 17626 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209629264528 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17627] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17627/stat : 17627 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209628211728 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17628] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17628/stat : 17628 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209627159440 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17629] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17629/stat : 17629 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209626106640 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17630] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17630/stat : 17630 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209625054352 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17631] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17631/stat : 17631 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31010 33554432000 4194304 4196468 140737478367744 140209624001552 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17632] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17632/stat : 17632 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208379553904 140209811929730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17633] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17633/stat : 17633 (java) S 17619 17619 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 31010 33554432000 4194304 4196468 140737478367744 140207596757792 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17634] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17634/stat : 17634 (java) S 17619 17619 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999122 27969658880 31010 33554432000 4194304 4196468 140737478367744 140207462536304 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17635] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17635/stat : 17635 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31010 33554432000 4194304 4196468 140737478367744 140207088031824 140209811937179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17636] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17636/stat : 17636 (java) S 17619 17619 16259 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208378501744 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17637] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17637/stat : 17637 (java) R 17619 17619 16259 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208377448944 140209811929730 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17638] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17638/stat : 17638 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208376396656 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17639] ppid=17619 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/17622/task/17639/stat : 17639 (java) S 17619 17619 16259 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 20 0 420999124 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208375343856 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17640] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17640/stat : 17640 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 31010 33554432000 4194304 4196468 140737478367744 140206590126432 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17641] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17641/stat : 17641 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 31010 33554432000 4194304 4196468 140737478367744 140208374290736 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125436 KiB [startup+0.310785 s]* /proc/loadavg: 8.14 7.65 6.95 3/212 17641 /proc/meminfo: memFree=28129828/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420999116 115843072 349 33554432000 4194304 5098028 140734674544512 140734674541768 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 349 296 221 0 87 0 [pid=17622] ppid=17619 vsize=27314120 memory=127212 CPUtime=0.43 cores=0-7 /proc/17622/stat : 17622 (java) S 17619 17619 16259 0 -1 1077944320 12736 0 0 0 39 4 0 0 20 0 20 0 420999116 27969658880 31803 33554432000 4194304 4196468 140737478367744 140737478350288 140209811918583 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 /proc/17622/statm: 6828530 31803 3018 1 0 6790935 0 [pid=17622/tid=17623] ppid=17619 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/17622/task/17623/stat : 17623 (java) R 17619 17619 16259 0 -1 4202560 10280 0 0 0 26 3 0 0 20 0 20 0 420999117 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209783746384 140209795999070 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17624] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17624/stat : 17624 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209816160656 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17625] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17625/stat : 17625 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209630316816 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17626] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17626/stat : 17626 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209629264528 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17627] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17627/stat : 17627 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209628211728 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17628] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17628/stat : 17628 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209627159440 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17629] ppid=17619 vsize=27314120 memory=140226118904495 CPUtime=0 cores=0-7 /proc/17622/task/17629/stat : 17629 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209626106640 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17630] ppid=17619 vsize=27314120 memory=140226118906800 CPUtime=0 cores=0-7 /proc/17622/task/17630/stat : 17630 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209625054352 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17631] ppid=17619 vsize=27314120 memory=140226118909104 CPUtime=0 cores=0-7 /proc/17622/task/17631/stat : 17631 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27969658880 31803 33554432000 4194304 4196468 140737478367744 140209624001552 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17632] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17632/stat : 17632 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208379553904 140209811929730 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17633] ppid=17619 vsize=27314120 memory=280452237832080 CPUtime=0 cores=0-7 /proc/17622/task/17633/stat : 17633 (java) S 17619 17619 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420999121 27969658880 31803 33554432000 4194304 4196468 140737478367744 140207596757792 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17634] ppid=17619 vsize=27314120 memory=280452237829776 CPUtime=0 cores=0-7 /proc/17622/task/17634/stat : 17634 (java) S 17619 17619 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999122 27969658880 31803 33554432000 4194304 4196468 140737478367744 140207462536304 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17635] ppid=17619 vsize=27314120 memory=280452237836688 CPUtime=0 cores=0-7 /proc/17622/task/17635/stat : 17635 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31803 33554432000 4194304 4196468 140737478367744 140207088031824 140209811937179 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17636] ppid=17619 vsize=27314120 memory=280452237777968 CPUtime=0.01 cores=0-7 /proc/17622/task/17636/stat : 17636 (java) S 17619 17619 16259 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 420999124 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208378501744 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17637] ppid=17619 vsize=27314120 memory=280452237850512 CPUtime=0.02 cores=0-7 /proc/17622/task/17637/stat : 17637 (java) S 17619 17619 16259 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 420999124 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208377448944 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17638] ppid=17619 vsize=27314120 memory=280452237857424 CPUtime=0 cores=0-7 /proc/17622/task/17638/stat : 17638 (java) S 17619 17619 16259 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420999124 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208376396656 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17639] ppid=17619 vsize=27314120 memory=280452237855120 CPUtime=0.07 cores=0-7 /proc/17622/task/17639/stat : 17639 (java) S 17619 17619 16259 0 -1 1077944384 452 0 0 0 7 0 0 0 20 0 20 0 420999124 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208375343856 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17640] ppid=17619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17640/stat : 17640 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 31803 33554432000 4194304 4196468 140737478367744 140206590126432 140209811928789 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17641] ppid=17619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17622/task/17641/stat : 17641 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999125 27969658880 31803 33554432000 4194304 4196468 140737478367744 140208374290736 140209811929730 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128608 KiB [startup+0.700952 s] /proc/loadavg: 8.14 7.65 6.95 2/212 17641 /proc/meminfo: memFree=28121320/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420999116 115843072 349 33554432000 4194304 5098028 140734674544512 140734674541768 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 349 296 221 0 87 0 [pid=17622] ppid=17619 vsize=27320392 memory=157540 CPUtime=0.91 cores=0-7 /proc/17622/stat : 17622 (java) S 17619 17619 16259 0 -1 1077944320 19547 0 0 0 85 6 0 0 20 0 20 0 420999116 27976081408 39385 33554432000 4194304 4196468 140737478367744 140737478350288 140209811918583 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 /proc/17622/statm: 6830098 39385 3134 1 0 6791447 0 [pid=17622/tid=17623] ppid=17619 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/17622/task/17623/stat : 17623 (java) R 17619 17619 16259 0 -1 4202560 16931 0 0 0 63 4 0 0 20 0 20 0 420999117 27976081408 39385 33554432000 4194304 4196468 140737478367744 140209783744328 140209805015419 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17624] ppid=17619 vsize=27320392 memory=140226119115632 CPUtime=0 cores=0-7 /proc/17622/task/17624/stat : 17624 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27976081408 39385 33554432000 4194304 4196468 140737478367744 140209816160656 140209811928789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17625] ppid=17619 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/17622/task/17625/stat : 17625 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999119 27976081408 39385 33554432000 4194304 4196468 140737478367744 140209630316816 140209811928789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 [pid=17622/tid=17626] ppid=17619 vsize=27320392 memory=1176 CPUtime=0 cores=0-7 /proc/17622/task/17626/stat : 17626 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999119 27976081408 39385 33554432000 4194304 4196468 140737478367744 140209629264528 140209811928789 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23965696 140737478370026 140737478370454 140737478370454 140737478373327 0 ################ # More data... # ################ [pid=17642/tid=17643] ppid=17619 vsize=8414124 memory=120572 CPUtime=0.84 cores=0-7 /proc/17642/task/17643/stat : 17643 (java) S 17619 17619 16259 0 -1 1077944384 17365 0 0 0 78 6 0 0 20 0 24 0 420999418 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713398763424 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17644] ppid=17619 vsize=8414124 memory=936484 CPUtime=0 cores=0-7 /proc/17642/task/17644/stat : 17644 (java) S 17619 17619 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713431165840 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17645] ppid=17619 vsize=8414124 memory=1656 CPUtime=0 cores=0-7 /proc/17642/task/17645/stat : 17645 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713231334160 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17646] ppid=17619 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/17642/task/17646/stat : 17646 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713230281872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17647] ppid=17619 vsize=8414124 memory=-9032360914460111250 CPUtime=0 cores=0-7 /proc/17642/task/17647/stat : 17647 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713229229072 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17648] ppid=17619 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/17642/task/17648/stat : 17648 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713228175760 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17649] ppid=17619 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/17642/task/17649/stat : 17649 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713227122960 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17650] ppid=17619 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/17642/task/17650/stat : 17650 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713226070672 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17651] ppid=17619 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/17642/task/17651/stat : 17651 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420999419 8616062976 30143 33554432000 4194304 4196468 140720926117408 139713225017872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17652] ppid=17619 vsize=8414124 memory=1724 CPUtime=0 cores=0-7 /proc/17642/task/17652/stat : 17652 (java) S 17619 17619 16259 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420999421 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712386091632 139713426934402 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17653] ppid=17619 vsize=8414124 memory=1964 CPUtime=0 cores=0-7 /proc/17642/task/17653/stat : 17653 (java) S 17619 17619 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420999421 8616062976 30143 33554432000 4194304 4196468 140720926117408 139711997797664 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17654] ppid=17619 vsize=8414124 memory=2776 CPUtime=0 cores=0-7 /proc/17642/task/17654/stat : 17654 (java) S 17619 17619 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420999422 8616062976 30143 33554432000 4194304 4196468 140720926117408 139711863576176 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17655] ppid=17619 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/17642/task/17655/stat : 17655 (java) S 17619 17619 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420999424 8616062976 30143 33554432000 4194304 4196468 140720926117408 139711489071696 139713426941851 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17656] ppid=17619 vsize=8414124 memory=1444 CPUtime=0.03 cores=0-7 /proc/17642/task/17656/stat : 17656 (java) S 17619 17619 16259 0 -1 1077944384 502 0 0 0 3 0 0 0 20 0 24 0 420999424 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712385038448 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17657] ppid=17619 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7 /proc/17642/task/17657/stat : 17657 (java) S 17619 17619 16259 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 420999424 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712383985648 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17658] ppid=17619 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7 /proc/17642/task/17658/stat : 17658 (java) S 17619 17619 16259 0 -1 1077944384 261 0 0 0 8 0 0 0 20 0 24 0 420999424 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712382933360 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17659] ppid=17619 vsize=8414124 memory=120572 CPUtime=0.22 cores=0-7 /proc/17642/task/17659/stat : 17659 (java) S 17619 17619 16259 0 -1 1077944384 759 0 0 0 22 0 0 0 20 0 24 0 420999424 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712381880560 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17660] ppid=17619 vsize=8414124 memory=782664 CPUtime=0 cores=0-7 /proc/17642/task/17660/stat : 17660 (java) S 17619 17619 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420999425 8616062976 30143 33554432000 4194304 4196468 140720926117408 139710991166304 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17661] ppid=17619 vsize=8414124 memory=120572 CPUtime=0.18 cores=0-7 /proc/17642/task/17661/stat : 17661 (java) S 17619 17619 16259 0 -1 1077944384 19 0 0 0 6 12 0 0 20 0 24 0 420999425 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712380828464 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17663] ppid=17619 vsize=8414124 memory=815192 CPUtime=0 cores=0-7 /proc/17642/task/17663/stat : 17663 (java) S 17619 17619 16259 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420999498 8616062976 30143 33554432000 4194304 4196468 140720926117408 139712372795200 139713426947865 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17665] ppid=17619 vsize=8414124 memory=1556 CPUtime=0.01 cores=0-7 /proc/17642/task/17665/stat : 17665 (java) S 17619 17619 16259 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 420999498 8616062976 30143 33554432000 4194304 4196468 140720926117408 139710320065936 139713426945181 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17666] ppid=17619 vsize=8414124 memory=9588 CPUtime=0 cores=0-7 /proc/17642/task/17666/stat : 17666 (java) S 17619 17619 16259 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420999498 8616062976 30143 33554432000 4194304 4196468 140720926117408 139710588501264 139713426945181 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17667] ppid=17619 vsize=8414124 memory=1712 CPUtime=0 cores=0-7 /proc/17642/task/17667/stat : 17667 (java) S 17619 17619 16259 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420999501 8616062976 30143 33554432000 4194304 4196468 140720926117408 139710051638576 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 Current children cumulated CPU time: 2314.19 s Current children cumulated vsize: 9586812 KiB Current children cumulated memory: 904788 KiB [startup+300.601 s] /proc/loadavg: 8.27 7.95 7.26 2/217 17695 /proc/meminfo: memFree=27352336/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1476 CPUtime=7.55 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 583 28968 0 0 0 0 733 22 20 0 1 0 420999116 115843072 369 33554432000 4194304 5098028 140734674544512 140734674541256 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 369 311 221 0 87 0 [pid=17642] ppid=17619 vsize=8283048 memory=128312 CPUtime=2307 cores=0-7 /proc/17642/stat : 17642 (java) S 17619 17619 16259 0 -1 1077944320 23697 1076310 0 0 155 12 230276 257 20 0 22 0 420999418 8481841152 32078 33554432000 4194304 4196468 140720926117408 140720926099952 139713426923255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 /proc/17642/statm: 2070762 32078 3220 1 0 2032106 0 [pid=17642/tid=17643] ppid=17619 vsize=8283048 memory=800 CPUtime=2306.17 cores=0-7 /proc/17642/task/17643/stat : 17643 (java) R 17619 17619 16259 0 -1 4202560 17383 1076310 0 0 78 6 230276 257 20 0 22 0 420999418 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713398763424 139713410110081 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17644] ppid=17619 vsize=8283048 memory=1808 CPUtime=2305.33 cores=0-7 /proc/17642/task/17644/stat : 17644 (java) S 17619 17619 16259 0 -1 1077944384 2 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713431165840 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17645] ppid=17619 vsize=8283048 memory=924 CPUtime=2305.33 cores=0-7 /proc/17642/task/17645/stat : 17645 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713231334160 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17646] ppid=17619 vsize=8283048 memory=4760 CPUtime=2305.33 cores=0-7 /proc/17642/task/17646/stat : 17646 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713230281872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17647] ppid=17619 vsize=8283048 memory=4100 CPUtime=2305.33 cores=0-7 /proc/17642/task/17647/stat : 17647 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713229229072 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17648] ppid=17619 vsize=8283048 memory=1412 CPUtime=2305.33 cores=0-7 /proc/17642/task/17648/stat : 17648 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713228175760 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17649] ppid=17619 vsize=8283048 memory=3868 CPUtime=2305.33 cores=0-7 /proc/17642/task/17649/stat : 17649 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713227122960 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17650] ppid=17619 vsize=8283048 memory=1476 CPUtime=2305.33 cores=0-7 /proc/17642/task/17650/stat : 17650 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713226070672 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17651] ppid=17619 vsize=8283048 memory=120572 CPUtime=2305.33 cores=0-7 /proc/17642/task/17651/stat : 17651 (java) S 17619 17619 16259 0 -1 1077944384 3 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 32078 33554432000 4194304 4196468 140720926117408 139713225017872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17652] ppid=17619 vsize=8282792 memory=784712 CPUtime=2305.33 cores=0-7 /proc/17642/task/17652/stat : 17652 (java) S 17619 17619 16259 0 -1 1077944384 8 1076310 0 0 0 0 230276 257 20 0 22 0 420999421 8481579008 32107 33554432000 4194304 4196468 140720926117408 139712386091632 139713426934402 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17653] ppid=17619 vsize=8283048 memory=1656 CPUtime=2305.33 cores=0-7 /proc/17642/task/17653/stat : 17653 (java) S 17619 17619 16259 0 -1 1077944384 13 1076310 0 0 0 0 230276 257 20 0 22 0 420999421 8481841152 32107 33554432000 4194304 4196468 140720926117408 139711997797664 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17654] ppid=17619 vsize=8283048 memory=304274648164728858 CPUtime=2305.33 cores=0-7 /proc/17642/task/17654/stat : 17654 (java) S 17619 17619 16259 0 -1 1077944384 21 1076310 0 0 0 0 230276 257 20 0 22 0 420999422 8481841152 32107 33554432000 4194304 4196468 140720926117408 139711863576176 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17655] ppid=17619 vsize=8283048 memory=4872558044660077418 CPUtime=2305.33 cores=0-7 /proc/17642/task/17655/stat : 17655 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999424 8481841152 32107 33554432000 4194304 4196468 140720926117408 139711489071696 139713426941851 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17656] ppid=17619 vsize=8283048 memory=7594871506914661206 CPUtime=2305.39 cores=0-7 /proc/17642/task/17656/stat : 17656 (java) R 17619 17619 16259 0 -1 4202560 775 1076310 0 0 6 0 230276 257 20 0 22 0 420999424 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712385029952 139713404773441 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17657] ppid=17619 vsize=8283048 memory=7594871506914661206 CPUtime=2305.43 cores=0-7 /proc/17642/task/17657/stat : 17657 (java) S 17619 17619 16259 0 -1 1077944384 438 1076310 0 0 10 0 230276 257 20 0 22 0 420999424 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712383985648 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17658] ppid=17619 vsize=8283048 memory=7594871506914661206 CPUtime=2305.43 cores=0-7 /proc/17642/task/17658/stat : 17658 (java) R 17619 17619 16259 0 -1 4202560 432 1076310 0 0 10 0 230276 257 20 0 22 0 420999424 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712382923744 139713411852653 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17659] ppid=17619 vsize=8283048 memory=7594871506914661206 CPUtime=2305.59 cores=0-7 /proc/17642/task/17659/stat : 17659 (java) R 17619 17619 16259 0 -1 4202560 951 1076310 0 0 26 0 230276 257 20 0 22 0 420999424 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712381875136 139713405884519 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17660] ppid=17619 vsize=8283048 memory=7378978030650349161 CPUtime=2305.33 cores=0-7 /proc/17642/task/17660/stat : 17660 (java) S 17619 17619 16259 0 -1 1077944384 3 1076310 0 0 0 0 230276 257 20 0 22 0 420999425 8481841152 32107 33554432000 4194304 4196468 140720926117408 139710991166304 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17661] ppid=17619 vsize=8283048 memory=7378978030650349161 CPUtime=2305.51 cores=0-7 /proc/17642/task/17661/stat : 17661 (java) S 17619 17619 16259 0 -1 1077944384 19 1076310 0 0 6 12 230276 257 20 0 22 0 420999425 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712380828464 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17663] ppid=17619 vsize=8283048 memory=7594871506914661206 CPUtime=2305.33 cores=0-7 /proc/17642/task/17663/stat : 17663 (java) S 17619 17619 16259 0 -1 1077944384 34 1076310 0 0 0 0 230276 257 20 0 22 0 420999498 8481841152 32107 33554432000 4194304 4196468 140720926117408 139712372794384 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17667] ppid=17619 vsize=8283048 memory=7450480328115120490 CPUtime=2305.33 cores=0-7 /proc/17642/task/17667/stat : 17667 (java) S 17619 17619 16259 0 -1 1077944384 12 1076310 0 0 0 0 230276 257 20 0 22 0 420999501 8481841152 32107 33554432000 4194304 4196468 140720926117408 139710051640368 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 Current children cumulated CPU time: 2314.55 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 129788 KiB [startup+300.701 s] /proc/loadavg: 8.27 7.95 7.26 2/217 17695 /proc/meminfo: memFree=27352336/32770688 swapFree=66919992/67108860 [pid=17619] ppid=17616 vsize=113128 memory=1476 CPUtime=7.55 cores=0-7 /proc/17619/stat : 17619 (scop.sh) S 17616 17619 16259 0 -1 4202496 583 28968 0 0 0 0 733 22 20 0 1 0 420999116 115843072 369 33554432000 4194304 5098028 140734674544512 140734674541256 140275305472636 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29396992 140734674551588 140734674551916 140734674551916 140734674554829 0 /proc/17619/statm: 28282 369 311 221 0 87 0 [pid=17642] ppid=17619 vsize=8283048 memory=134112 CPUtime=2307.18 cores=0-7 /proc/17642/stat : 17642 (java) S 17619 17619 16259 0 -1 1077944320 24102 1076310 0 0 173 12 230276 257 20 0 22 0 420999418 8481841152 33528 33554432000 4194304 4196468 140720926117408 140720926099952 139713426923255 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 /proc/17642/statm: 2070762 33528 3223 1 0 2032106 0 [pid=17642/tid=17643] ppid=17619 vsize=8283048 memory=1476 CPUtime=2306.27 cores=0-7 /proc/17642/task/17643/stat : 17643 (java) R 17619 17619 16259 0 -1 4202560 17650 1076310 0 0 88 6 230276 257 20 0 22 0 420999418 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713398760944 139712889317271 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17644] ppid=17619 vsize=8283048 memory=120572 CPUtime=2305.33 cores=0-7 /proc/17642/task/17644/stat : 17644 (java) S 17619 17619 16259 0 -1 1077944384 2 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713431165840 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17645] ppid=17619 vsize=8283048 memory=120572 CPUtime=2305.33 cores=0-7 /proc/17642/task/17645/stat : 17645 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713231334160 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17646] ppid=17619 vsize=8283048 memory=120572 CPUtime=2305.33 cores=0-7 /proc/17642/task/17646/stat : 17646 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713230281872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17647] ppid=17619 vsize=8283048 memory=1476 CPUtime=2305.33 cores=0-7 /proc/17642/task/17647/stat : 17647 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713229229072 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17648] ppid=17619 vsize=8283048 memory=5980 CPUtime=2305.33 cores=0-7 /proc/17642/task/17648/stat : 17648 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713228175760 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17649] ppid=17619 vsize=8283048 memory=3624 CPUtime=2305.33 cores=0-7 /proc/17642/task/17649/stat : 17649 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713227122960 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17650] ppid=17619 vsize=8283048 memory=0 CPUtime=2305.33 cores=0-7 /proc/17642/task/17650/stat : 17650 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713226070672 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17651] ppid=17619 vsize=8283048 memory=7163327482302064498 CPUtime=2305.33 cores=0-7 /proc/17642/task/17651/stat : 17651 (java) S 17619 17619 16259 0 -1 1077944384 3 1076310 0 0 0 0 230276 257 20 0 22 0 420999419 8481841152 33528 33554432000 4194304 4196468 140720926117408 139713225017872 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17652] ppid=17619 vsize=8283048 memory=1476 CPUtime=2305.33 cores=0-7 /proc/17642/task/17652/stat : 17652 (java) S 17619 17619 16259 0 -1 1077944384 8 1076310 0 0 0 0 230276 257 20 0 22 0 420999421 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712386091632 139713426934402 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17653] ppid=17619 vsize=8283048 memory=120456 CPUtime=2305.33 cores=0-7 /proc/17642/task/17653/stat : 17653 (java) S 17619 17619 16259 0 -1 1077944384 13 1076310 0 0 0 0 230276 257 20 0 22 0 420999421 8481841152 33528 33554432000 4194304 4196468 140720926117408 139711997797664 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17654] ppid=17619 vsize=8283048 memory=9588 CPUtime=2305.33 cores=0-7 /proc/17642/task/17654/stat : 17654 (java) S 17619 17619 16259 0 -1 1077944384 21 1076310 0 0 0 0 230276 257 20 0 22 0 420999422 8481841152 33528 33554432000 4194304 4196468 140720926117408 139711863576176 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17655] ppid=17619 vsize=8283048 memory=1712 CPUtime=2305.33 cores=0-7 /proc/17642/task/17655/stat : 17655 (java) S 17619 17619 16259 0 -1 1077944384 1 1076310 0 0 0 0 230276 257 20 0 22 0 420999424 8481841152 33528 33554432000 4194304 4196468 140720926117408 139711489071696 139713426941851 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17656] ppid=17619 vsize=8283048 memory=120572 CPUtime=2305.4 cores=0-7 /proc/17642/task/17656/stat : 17656 (java) S 17619 17619 16259 0 -1 1077944384 785 1076310 0 0 7 0 230276 257 20 0 22 0 420999424 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712385038448 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17657] ppid=17619 vsize=8283048 memory=1476 CPUtime=2305.44 cores=0-7 /proc/17642/task/17657/stat : 17657 (java) S 17619 17619 16259 0 -1 1077944384 445 1076310 0 0 11 0 230276 257 20 0 22 0 420999424 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712383985648 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17658] ppid=17619 vsize=8283048 memory=12096 CPUtime=2305.44 cores=0-7 /proc/17642/task/17658/stat : 17658 (java) S 17619 17619 16259 0 -1 1077944384 439 1076310 0 0 11 0 230276 257 20 0 22 0 420999424 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712382933360 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17659] ppid=17619 vsize=8283048 memory=84 CPUtime=2305.64 cores=0-7 /proc/17642/task/17659/stat : 17659 (java) S 17619 17619 16259 0 -1 1077944384 1064 1076310 0 0 31 0 230276 257 20 0 22 0 420999424 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712381880560 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17660] ppid=17619 vsize=8283048 memory=48396 CPUtime=2305.33 cores=0-7 /proc/17642/task/17660/stat : 17660 (java) S 17619 17619 16259 0 -1 1077944384 3 1076310 0 0 0 0 230276 257 20 0 22 0 420999425 8481841152 33528 33554432000 4194304 4196468 140720926117408 139710991166304 139713426933461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17661] ppid=17619 vsize=8283048 memory=984 CPUtime=2305.51 cores=0-7 /proc/17642/task/17661/stat : 17661 (java) S 17619 17619 16259 0 -1 1077944384 19 1076310 0 0 6 12 230276 257 20 0 22 0 420999425 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712380828464 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17663] ppid=17619 vsize=8283048 memory=2020 CPUtime=2305.33 cores=0-7 /proc/17642/task/17663/stat : 17663 (java) S 17619 17619 16259 0 -1 1077944384 34 1076310 0 0 0 0 230276 257 20 0 22 0 420999498 8481841152 33528 33554432000 4194304 4196468 140720926117408 139712372794384 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 [pid=17642/tid=17667] ppid=17619 vsize=8283048 memory=1476 CPUtime=2305.33 cores=0-7 /proc/17642/task/17667/stat : 17667 (java) S 17619 17619 16259 0 -1 1077944384 12 1076310 0 0 0 0 230276 257 20 0 22 0 420999501 8481841152 33528 33554432000 4194304 4196468 140720926117408 139710051640368 139713426934402 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31850496 140720926118903 140720926119062 140720926119062 140720926121935 0 Current children cumulated CPU time: 2314.73 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 135588 KiB Child status: 0 Real time (s): 300.73 CPU time (s): 2314.79 CPU user time (s): 2311.85 CPU system time (s): 2.94341 CPU usage (%): 769.723 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 1107016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2311.85 system time used= 2.94341 maximum resident set size= 1016420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1129991 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23797 involuntary context switches= 24626 # summary of solver processes directly reported to runsolver: # pid: 17619 # total CPU time (s): 2314.79 # total CPU user time (s): 2311.85 # total CPU system time (s): 2.94341 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.11657 second user time and 4.37413 second system time The end
Begin job on node120 at 2011-12-15 16:52:30 IDJOB=4392831 IDBENCH=141718 IDSOLVER=2839 FILE ID=node120/4392831-1568449928 RUNJOBID= node120-1323958268-16286 PBS_JOBID= 21702347 Free space on /tmp= 61648 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-30-098.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392831-1568449928/watcher-4392831-1568449928 -o /tmp/evaluation-result-4392831-1568449928/solver-4392831-1568449928 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323958268-16286 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392831-1568449928.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fb27cd1d2814d0f1760e6f4b9d041fef RANDOM SEED=102182951 node120.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28248220 kB MemAvailable: 31828812 kB Buffers: 204796 kB Cached: 3680804 kB SwapCached: 77548 kB Active: 1109228 kB Inactive: 2859020 kB Active(anon): 4560 kB Inactive(anon): 127612 kB Active(file): 1104668 kB Inactive(file): 2731408 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 20740 kB Writeback: 0 kB AnonPages: 138280 kB Mapped: 49092 kB Shmem: 41008 kB Slab: 149776 kB SReclaimable: 120704 kB SUnreclaim: 29072 kB KernelStack: 3728 kB PageTables: 4896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 515580 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61628 MiB End job on node120 at 2011-12-15 16:57:31